runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4085713-1465278190/watcher-4085713-1465278190 -o /tmp/evaluation-result-4085713-1465278190/solver-4085713-1465278190 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465270992-28819 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085713-1465278190.opb
pid=29681
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 29684
/proc/meminfo: memFree=29518916/32872528 swapFree=11320/319964
[pid=29684] ppid=29681 vsize=9488 CPUtime=0 cores=0,2,4,6
/proc/29684/stat : 29684 (java) R 29681 29684 28803 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 109752301 9715712 132 33554432000 1073741824 1073778376 140735354278208 140735354275336 262962799543 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29684/statm: 2323 141 104 9 0 71 0
[startup+0.100111 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 29684
/proc/meminfo: memFree=29518916/32872528 swapFree=11320/319964
[pid=29684] ppid=29681 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/29684/stat : 29684 (java) S 29681 29684 28803 0 -1 4202496 4406 0 1 0 8 1 0 0 20 0 18 0 109752301 9787879424 5521 33554432000 1073741824 1073778376 140734694336224 140734694327360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29684/statm: 2389619 5521 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200282 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 29684
/proc/meminfo: memFree=29518916/32872528 swapFree=11320/319964
[pid=29684] ppid=29681 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/29684/stat : 29684 (java) S 29681 29684 28803 0 -1 4202496 4956 0 1 0 26 1 0 0 20 0 18 0 109752301 9787879424 6954 33554432000 1073741824 1073778376 140734694336224 140734694327360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29684/statm: 2389619 6954 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300328 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 29684
/proc/meminfo: memFree=29518916/32872528 swapFree=11320/319964
[pid=29684] ppid=29681 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/29684/stat : 29684 (java) S 29681 29684 28803 0 -1 4202496 7390 0 1 0 50 2 0 0 20 0 18 0 109752301 9787879424 10438 33554432000 1073741824 1073778376 140734694336224 140734694327360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29684/statm: 2389619 10438 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700281 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 29684
/proc/meminfo: memFree=29518916/32872528 swapFree=11320/319964
[pid=29684] ppid=29681 vsize=9558476 CPUtime=0.98 cores=0,2,4,6
/proc/29684/stat : 29684 (java) S 29681 29684 28803 0 -1 4202496 7536 0 1 0 94 4 0 0 20 0 18 0 109752301 9787879424 40006 33554432000 1073741824 1073778376 140734694336224 140734694327360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29684/statm: 2389619 40006 2249 9 0 2380296 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9558476
[startup+1.5007 s]
/proc/loadavg: 2.04 2.03 2.00 3/212 29702
/proc/meminfo: memFree=29361236/32872528 swapFree=11320/319964
[pid=29684] ppid=29681 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/29684/stat : 29684 (java) S 29681 29684 28803 0 -1 4202496 9479 0 1 0 202 5 0 0 20 0 19 0 109752301 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140734694327360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29684/statm: 2406260 42887 2267 9 0 2396937 0
[pid=29684/tid=29686] ppid=29681 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/29684/task/29686/stat : 29686 (java) R 29681 29684 28803 0 -1 4202560 2472 0 1 0 141 3 0 0 20 0 19 0 109752302 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281640579160 140281500669908 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29687] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29687/stat : 29687 (java) S 29681 29684 28803 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281483786792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29688] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29688/stat : 29688 (java) S 29681 29684 28803 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281482733992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29689] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29689/stat : 29689 (java) S 29681 29684 28803 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281481681192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29690] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29690/stat : 29690 (java) S 29681 29684 28803 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281480628392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29691] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29691/stat : 29691 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281479576616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29692] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29692/stat : 29692 (java) S 29681 29684 28803 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281478523816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29693] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29693/stat : 29693 (java) S 29681 29684 28803 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281477471016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29694] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29694/stat : 29694 (java) S 29681 29684 28803 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281476418216 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29695] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29695/stat : 29695 (java) S 29681 29684 28803 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 109752304 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281464220136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29696] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29696/stat : 29696 (java) S 29681 29684 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281463166200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29697] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29697/stat : 29697 (java) S 29681 29684 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281462113288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29698] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29698/stat : 29698 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281461061776 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29699] ppid=29681 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/29684/task/29699/stat : 29699 (java) S 29681 29684 28803 0 -1 4202560 3082 0 0 0 30 0 0 0 20 0 19 0 109752307 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281460009912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29700] ppid=29681 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/29684/task/29700/stat : 29700 (java) S 29681 29684 28803 0 -1 4202560 2551 0 0 0 25 0 0 0 20 0 19 0 109752307 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281458957112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29701] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29701/stat : 29701 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281457904504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29702] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29702/stat : 29702 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 42887 33554432000 1073741824 1073778376 140734694336224 140281456851912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9625040
[startup+3.10083 s]
/proc/loadavg: 2.12 2.04 2.01 3/213 29703
/proc/meminfo: memFree=29355396/32872528 swapFree=11320/319964
[pid=29684] ppid=29681 vsize=9625040 CPUtime=3.84 cores=0,2,4,6
/proc/29684/stat : 29684 (java) S 29681 29684 28803 0 -1 4202496 10003 0 1 0 379 5 0 0 20 0 19 0 109752301 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140734694327360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29684/statm: 2406260 42917 2275 9 0 2396937 0
[pid=29684/tid=29686] ppid=29681 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/29684/task/29686/stat : 29686 (java) R 29681 29684 28803 0 -1 4202560 2474 0 1 0 300 3 0 0 20 0 19 0 109752302 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281640570576 140281501049472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29687] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29687/stat : 29687 (java) S 29681 29684 28803 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281483786792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29688] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29688/stat : 29688 (java) S 29681 29684 28803 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281482733992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29689] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29689/stat : 29689 (java) S 29681 29684 28803 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281481681192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29690] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29690/stat : 29690 (java) S 29681 29684 28803 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281480628392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29691] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29691/stat : 29691 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281479576616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29692] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29692/stat : 29692 (java) S 29681 29684 28803 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281478523816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29693] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29693/stat : 29693 (java) S 29681 29684 28803 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281477471016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29694] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29694/stat : 29694 (java) S 29681 29684 28803 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281476418216 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29695] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29695/stat : 29695 (java) S 29681 29684 28803 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 109752304 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281464220136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29696] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29696/stat : 29696 (java) S 29681 29684 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281463166200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29697] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29697/stat : 29697 (java) S 29681 29684 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281462113288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29698] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29698/stat : 29698 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281461061776 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29699] ppid=29681 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/29684/task/29699/stat : 29699 (java) S 29681 29684 28803 0 -1 4202560 3242 0 0 0 37 0 0 0 20 0 19 0 109752307 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281460009912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29700] ppid=29681 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/29684/task/29700/stat : 29700 (java) S 29681 29684 28803 0 -1 4202560 2912 0 0 0 36 0 0 0 20 0 19 0 109752307 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281458957112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29701] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29701/stat : 29701 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281457904504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29702] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29702/stat : 29702 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281456851912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29703] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29703/stat : 29703 (java) S 29681 29684 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109752432 9856040960 42917 33554432000 1073741824 1073778376 140734694336224 140281455797416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9625040
[startup+6.30087 s]
/proc/loadavg: 2.12 2.04 2.01 3/213 29769
/proc/meminfo: memFree=31103996/32872528 swapFree=11320/319964
[pid=29684] ppid=29681 vsize=9625040 CPUtime=7.12 cores=0,2,4,6
/proc/29684/stat : 29684 (java) S 29681 29684 28803 0 -1 4202496 10389 0 1 0 703 9 0 0 20 0 19 0 109752301 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140734694327360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29684/statm: 2406260 49369 2275 9 0 2396937 0
[pid=29684/tid=29686] ppid=29681 vsize=9625040 CPUtime=6.19 cores=0,2,4,6
/proc/29684/task/29686/stat : 29686 (java) R 29681 29684 28803 0 -1 4202560 2477 0 1 0 616 3 0 0 20 0 19 0 109752302 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281640578256 140281501002912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29687] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29687/stat : 29687 (java) S 29681 29684 28803 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281483786792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29688] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29688/stat : 29688 (java) S 29681 29684 28803 0 -1 4202560 93 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281482733992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29689] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29689/stat : 29689 (java) S 29681 29684 28803 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281481681192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29690] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29690/stat : 29690 (java) S 29681 29684 28803 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281480628392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29691] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29691/stat : 29691 (java) S 29681 29684 28803 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281479576616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29692] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29692/stat : 29692 (java) S 29681 29684 28803 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281478523816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29693] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29693/stat : 29693 (java) S 29681 29684 28803 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281477471016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29694] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29694/stat : 29694 (java) S 29681 29684 28803 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109752303 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281476418216 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29695] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29695/stat : 29695 (java) S 29681 29684 28803 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 109752304 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281464220136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29696] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29696/stat : 29696 (java) S 29681 29684 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281463166200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29697] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29697/stat : 29697 (java) S 29681 29684 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281462113288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29698] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29698/stat : 29698 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281461061776 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29699] ppid=29681 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/29684/task/29699/stat : 29699 (java) S 29681 29684 28803 0 -1 4202560 3242 0 0 0 40 0 0 0 20 0 19 0 109752307 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281460009912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29700] ppid=29681 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/29684/task/29700/stat : 29700 (java) S 29681 29684 28803 0 -1 4202560 2912 0 0 0 37 0 0 0 20 0 19 0 109752307 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281458957112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29701] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29701/stat : 29701 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281457904504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29702] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29702/stat : 29702 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281456851912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29703] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29703/stat : 29703 (java) S 29681 29684 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109752432 9856040960 49369 33554432000 1073741824 1073778376 140734694336224 140281455797416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 9625040
[startup+12.7009 s]
/proc/loadavg: 2.10 2.04 2.00 3/213 29769
################
# More data... #
################
/proc/29684/task/29696/stat : 29696 (java) S 29681 29684 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 228737 33554432000 1073741824 1073778376 140734694336224 140281463166200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29697] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29697/stat : 29697 (java) S 29681 29684 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 228737 33554432000 1073741824 1073778376 140734694336224 140281462113288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29698] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29698/stat : 29698 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 228737 33554432000 1073741824 1073778376 140734694336224 140281461061776 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29699] ppid=29681 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/29684/task/29699/stat : 29699 (java) S 29681 29684 28803 0 -1 4202560 3249 0 0 0 44 0 0 0 20 0 19 0 109752307 9856040960 228737 33554432000 1073741824 1073778376 140734694336224 140281460009912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29700] ppid=29681 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/29684/task/29700/stat : 29700 (java) S 29681 29684 28803 0 -1 4202560 2920 0 0 0 42 0 0 0 20 0 19 0 109752307 9856040960 228737 33554432000 1073741824 1073778376 140734694336224 140281458957112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29701] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29701/stat : 29701 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 228737 33554432000 1073741824 1073778376 140734694336224 140281457904504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29702] ppid=29681 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/29684/task/29702/stat : 29702 (java) S 29681 29684 28803 0 -1 4202560 93 0 0 0 24 28 0 0 20 0 19 0 109752307 9856040960 228737 33554432000 1073741824 1073778376 140734694336224 140281456851912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29703] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29703/stat : 29703 (java) S 29681 29684 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109752432 9856040960 228737 33554432000 1073741824 1073778376 140734694336224 140281455797416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1626.92
Current children cumulated vsize (KiB) 9625040
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 29900
/proc/meminfo: memFree=27652624/32872528 swapFree=11320/319964
[pid=29684] ppid=29681 vsize=9625040 CPUtime=1687.66 cores=0,2,4,6
/proc/29684/stat : 29684 (java) S 29681 29684 28803 0 -1 4202496 24242 0 1 0 168481 285 0 0 20 0 19 0 109752301 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140734694327360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29684/statm: 2406260 237748 2284 9 0 2396937 0
[pid=29684/tid=29686] ppid=29681 vsize=9625040 CPUtime=1646.85 cores=0,2,4,6
/proc/29684/task/29686/stat : 29686 (java) R 29681 29684 28803 0 -1 4202560 2685 0 1 0 164654 31 0 0 20 0 19 0 109752302 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281640578352 140281501102008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29687] ppid=29681 vsize=9625040 CPUtime=4.12 cores=0,2,4,6
/proc/29684/task/29687/stat : 29687 (java) S 29681 29684 28803 0 -1 4202560 1324 0 0 0 382 30 0 0 20 0 19 0 109752303 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281483786792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29688] ppid=29681 vsize=9625040 CPUtime=4.19 cores=0,2,4,6
/proc/29684/task/29688/stat : 29688 (java) S 29681 29684 28803 0 -1 4202560 1802 0 0 0 389 30 0 0 20 0 19 0 109752303 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281482733992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29689] ppid=29681 vsize=9625040 CPUtime=4.01 cores=0,2,4,6
/proc/29684/task/29689/stat : 29689 (java) S 29681 29684 28803 0 -1 4202560 1268 0 0 0 368 33 0 0 20 0 19 0 109752303 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281481681192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29690] ppid=29681 vsize=9625040 CPUtime=4.06 cores=0,2,4,6
/proc/29684/task/29690/stat : 29690 (java) S 29681 29684 28803 0 -1 4202560 1117 0 0 0 374 32 0 0 20 0 19 0 109752303 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281480628392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29691] ppid=29681 vsize=9625040 CPUtime=4.25 cores=0,2,4,6
/proc/29684/task/29691/stat : 29691 (java) S 29681 29684 28803 0 -1 4202560 1419 0 0 0 395 30 0 0 20 0 19 0 109752303 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281479576616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29692] ppid=29681 vsize=9625040 CPUtime=4.51 cores=0,2,4,6
/proc/29684/task/29692/stat : 29692 (java) S 29681 29684 28803 0 -1 4202560 1253 0 0 0 416 35 0 0 20 0 19 0 109752303 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281478523816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29693] ppid=29681 vsize=9625040 CPUtime=4.22 cores=0,2,4,6
/proc/29684/task/29693/stat : 29693 (java) S 29681 29684 28803 0 -1 4202560 1195 0 0 0 390 32 0 0 20 0 19 0 109752303 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281477471016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29694] ppid=29681 vsize=9625040 CPUtime=4.01 cores=0,2,4,6
/proc/29684/task/29694/stat : 29694 (java) S 29681 29684 28803 0 -1 4202560 1038 0 0 0 373 28 0 0 20 0 19 0 109752303 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281476418216 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29695] ppid=29681 vsize=9625040 CPUtime=6.35 cores=0,2,4,6
/proc/29684/task/29695/stat : 29695 (java) S 29681 29684 28803 0 -1 4202560 3616 0 0 0 629 6 0 0 20 0 19 0 109752304 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281464220136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29696] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29696/stat : 29696 (java) S 29681 29684 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281463166200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29697] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29697/stat : 29697 (java) S 29681 29684 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281462113288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29698] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29698/stat : 29698 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281461061776 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29699] ppid=29681 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/29684/task/29699/stat : 29699 (java) S 29681 29684 28803 0 -1 4202560 3249 0 0 0 44 0 0 0 20 0 19 0 109752307 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281460009912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29700] ppid=29681 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/29684/task/29700/stat : 29700 (java) S 29681 29684 28803 0 -1 4202560 2920 0 0 0 42 0 0 0 20 0 19 0 109752307 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281458957112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29701] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29701/stat : 29701 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281457904504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29702] ppid=29681 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/29684/task/29702/stat : 29702 (java) S 29681 29684 28803 0 -1 4202560 97 0 0 0 25 29 0 0 20 0 19 0 109752307 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281456851912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29703] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29703/stat : 29703 (java) S 29681 29684 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109752432 9856040960 237748 33554432000 1073741824 1073778376 140734694336224 140281455797416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1687.66
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 29902
/proc/meminfo: memFree=27627312/32872528 swapFree=11320/319964
[pid=29684] ppid=29681 vsize=9625040 CPUtime=1748.61 cores=0,2,4,6
/proc/29684/stat : 29684 (java) S 29681 29684 28803 0 -1 4202496 24391 0 1 0 174572 289 0 0 20 0 19 0 109752301 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140734694327360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29684/statm: 2406260 243917 2284 9 0 2396937 0
[pid=29684/tid=29686] ppid=29681 vsize=9625040 CPUtime=1706.19 cores=0,2,4,6
/proc/29684/task/29686/stat : 29686 (java) R 29681 29684 28803 0 -1 4202560 2692 0 1 0 170588 31 0 0 20 0 19 0 109752302 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281640578352 140281501102545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29687] ppid=29681 vsize=9625040 CPUtime=4.29 cores=0,2,4,6
/proc/29684/task/29687/stat : 29687 (java) S 29681 29684 28803 0 -1 4202560 1326 0 0 0 399 30 0 0 20 0 19 0 109752303 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281483786792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29688] ppid=29681 vsize=9625040 CPUtime=4.36 cores=0,2,4,6
/proc/29684/task/29688/stat : 29688 (java) S 29681 29684 28803 0 -1 4202560 1814 0 0 0 405 31 0 0 20 0 19 0 109752303 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281482733992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29689] ppid=29681 vsize=9625040 CPUtime=4.14 cores=0,2,4,6
/proc/29684/task/29689/stat : 29689 (java) S 29681 29684 28803 0 -1 4202560 1270 0 0 0 381 33 0 0 20 0 19 0 109752303 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281481681192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29690] ppid=29681 vsize=9625040 CPUtime=4.25 cores=0,2,4,6
/proc/29684/task/29690/stat : 29690 (java) S 29681 29684 28803 0 -1 4202560 1123 0 0 0 392 33 0 0 20 0 19 0 109752303 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281480628392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29691] ppid=29681 vsize=9625040 CPUtime=4.46 cores=0,2,4,6
/proc/29684/task/29691/stat : 29691 (java) S 29681 29684 28803 0 -1 4202560 1435 0 0 0 415 31 0 0 20 0 19 0 109752303 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281479576616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29692] ppid=29681 vsize=9625040 CPUtime=4.66 cores=0,2,4,6
/proc/29684/task/29692/stat : 29692 (java) S 29681 29684 28803 0 -1 4202560 1255 0 0 0 431 35 0 0 20 0 19 0 109752303 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281478523816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29693] ppid=29681 vsize=9625040 CPUtime=4.33 cores=0,2,4,6
/proc/29684/task/29693/stat : 29693 (java) S 29681 29684 28803 0 -1 4202560 1197 0 0 0 401 32 0 0 20 0 19 0 109752303 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281477471016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29694] ppid=29681 vsize=9625040 CPUtime=4.14 cores=0,2,4,6
/proc/29684/task/29694/stat : 29694 (java) S 29681 29684 28803 0 -1 4202560 1041 0 0 0 386 28 0 0 20 0 19 0 109752303 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281476418216 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29695] ppid=29681 vsize=9625040 CPUtime=6.69 cores=0,2,4,6
/proc/29684/task/29695/stat : 29695 (java) S 29681 29684 28803 0 -1 4202560 3711 0 0 0 663 6 0 0 20 0 19 0 109752304 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281464220136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29696] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29696/stat : 29696 (java) S 29681 29684 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281463166200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29697] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29697/stat : 29697 (java) S 29681 29684 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281462113288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29698] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29698/stat : 29698 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281461061776 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29699] ppid=29681 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/29684/task/29699/stat : 29699 (java) S 29681 29684 28803 0 -1 4202560 3249 0 0 0 44 0 0 0 20 0 19 0 109752307 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281460009912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29700] ppid=29681 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/29684/task/29700/stat : 29700 (java) S 29681 29684 28803 0 -1 4202560 2920 0 0 0 42 0 0 0 20 0 19 0 109752307 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281458957112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29701] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29701/stat : 29701 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281457904504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29702] ppid=29681 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/29684/task/29702/stat : 29702 (java) S 29681 29684 28803 0 -1 4202560 99 0 0 0 26 30 0 0 20 0 19 0 109752307 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281456851912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29703] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29703/stat : 29703 (java) S 29681 29684 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109752432 9856040960 243917 33554432000 1073741824 1073778376 140734694336224 140281455797416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1748.61
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1773.2 s]
/proc/loadavg: 2.05 2.02 2.00 3/213 29902
/proc/meminfo: memFree=27638476/32872528 swapFree=11320/319964
[pid=29684] ppid=29681 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/29684/stat : 29684 (java) S 29681 29684 28803 0 -1 4202496 24417 0 1 0 179712 289 0 0 20 0 19 0 109752301 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140734694327360 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29684/statm: 2406260 241149 2284 9 0 2396937 0
[pid=29684/tid=29686] ppid=29681 vsize=9625040 CPUtime=1756.7 cores=0,2,4,6
/proc/29684/task/29686/stat : 29686 (java) R 29681 29684 28803 0 -1 4202560 2697 0 1 0 175638 32 0 0 20 0 19 0 109752302 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281640570672 140281500996525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29687] ppid=29681 vsize=9625040 CPUtime=4.39 cores=0,2,4,6
/proc/29684/task/29687/stat : 29687 (java) S 29681 29684 28803 0 -1 4202560 1326 0 0 0 409 30 0 0 20 0 19 0 109752303 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281483786792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29688] ppid=29681 vsize=9625040 CPUtime=4.44 cores=0,2,4,6
/proc/29684/task/29688/stat : 29688 (java) S 29681 29684 28803 0 -1 4202560 1814 0 0 0 413 31 0 0 20 0 19 0 109752303 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281482733992 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29689] ppid=29681 vsize=9625040 CPUtime=4.22 cores=0,2,4,6
/proc/29684/task/29689/stat : 29689 (java) S 29681 29684 28803 0 -1 4202560 1270 0 0 0 389 33 0 0 20 0 19 0 109752303 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281481681192 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29690] ppid=29681 vsize=9625040 CPUtime=4.36 cores=0,2,4,6
/proc/29684/task/29690/stat : 29690 (java) S 29681 29684 28803 0 -1 4202560 1123 0 0 0 403 33 0 0 20 0 19 0 109752303 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281480628392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29691] ppid=29681 vsize=9625040 CPUtime=4.53 cores=0,2,4,6
/proc/29684/task/29691/stat : 29691 (java) S 29681 29684 28803 0 -1 4202560 1445 0 0 0 422 31 0 0 20 0 19 0 109752303 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281479576616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29692] ppid=29681 vsize=9625040 CPUtime=4.75 cores=0,2,4,6
/proc/29684/task/29692/stat : 29692 (java) S 29681 29684 28803 0 -1 4202560 1255 0 0 0 440 35 0 0 20 0 19 0 109752303 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281478523816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29693] ppid=29681 vsize=9625040 CPUtime=4.4 cores=0,2,4,6
/proc/29684/task/29693/stat : 29693 (java) S 29681 29684 28803 0 -1 4202560 1197 0 0 0 408 32 0 0 20 0 19 0 109752303 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281477471016 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29694] ppid=29681 vsize=9625040 CPUtime=4.24 cores=0,2,4,6
/proc/29684/task/29694/stat : 29694 (java) S 29681 29684 28803 0 -1 4202560 1041 0 0 0 396 28 0 0 20 0 19 0 109752303 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281476418216 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29684/tid=29695] ppid=29681 vsize=9625040 CPUtime=6.89 cores=0,2,4,6
/proc/29684/task/29695/stat : 29695 (java) S 29681 29684 28803 0 -1 4202560 3718 0 0 0 683 6 0 0 20 0 19 0 109752304 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281464220136 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29696] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29696/stat : 29696 (java) S 29681 29684 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281463166200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29697] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29697/stat : 29697 (java) S 29681 29684 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109752305 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281462113288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29698] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29698/stat : 29698 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281461061776 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29699] ppid=29681 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/29684/task/29699/stat : 29699 (java) S 29681 29684 28803 0 -1 4202560 3249 0 0 0 44 0 0 0 20 0 19 0 109752307 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281460009912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29684/tid=29700] ppid=29681 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/29684/task/29700/stat : 29700 (java) S 29681 29684 28803 0 -1 4202560 2920 0 0 0 42 0 0 0 20 0 19 0 109752307 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281458957112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29701] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29701/stat : 29701 (java) S 29681 29684 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109752307 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281457904504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29684/tid=29702] ppid=29681 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/29684/task/29702/stat : 29702 (java) S 29681 29684 28803 0 -1 4202560 103 0 0 0 27 31 0 0 20 0 19 0 109752307 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281456851912 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29684/tid=29703] ppid=29681 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29684/task/29703/stat : 29703 (java) S 29681 29684 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109752432 9856040960 241149 33554432000 1073741824 1073778376 140734694336224 140281455797416 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29684 sig 9
??? kill -29684 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1773.25
CPU time (s): 1800.68
CPU user time (s): 1797.31
CPU system time (s): 3.37149
CPU usage (%): 101.547
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.31
system time used= 3.37149
maximum resident set size= 975720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24458
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43839
involuntary context switches= 40382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.906 second user time and 15.9496 second system time
The end