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-4106678-1466273285/watcher-4106678-1466273285 -o /tmp/evaluation-result-4106678-1466273285/solver-4106678-1466273285 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24567 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106678-1466273285.opb
pid=28534
running on 4 cores: 1,3,5,7
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.14 2.09 2.02 3/194 28537
/proc/meminfo: memFree=31210628/32872528 swapFree=338416/354768
[pid=28537] ppid=28534 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/28537/stat : 28537 (java) S 28534 28537 24550 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 29375280 98570240 978 33554432000 1073741824 1073778376 140736449570160 140736449561296 242170757181 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28537/statm: 24065 978 744 9 0 16771 0
[pid=28537/tid=28538] ppid=28534 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28538/stat : 28538 (java) R 28534 28537 24550 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 29375281 98570240 978 33554432000 1073741824 1073778376 140736449570160 139818026470952 242167399808 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100163 s]
/proc/loadavg: 2.14 2.09 2.02 3/194 28537
/proc/meminfo: memFree=31210628/32872528 swapFree=338416/354768
[pid=28537] ppid=28534 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/28537/stat : 28537 (java) S 28534 28537 24550 0 -1 4202496 4440 0 1 0 9 0 0 0 20 0 18 0 29375280 9787879424 5569 33554432000 1073741824 1073778376 140736449570160 140736449561296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28537/statm: 2389619 5569 2125 9 0 2380296 0
[pid=28537/tid=28538] ppid=28534 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/28537/task/28538/stat : 28538 (java) R 28534 28537 24550 0 -1 4202560 2431 0 1 0 7 0 0 0 20 0 18 0 29375281 9787879424 5569 33554432000 1073741824 1073778376 140736449570160 139818026474400 242170782989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200399 s]
/proc/loadavg: 2.14 2.09 2.02 3/194 28537
/proc/meminfo: memFree=31210628/32872528 swapFree=338416/354768
[pid=28537] ppid=28534 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/28537/stat : 28537 (java) S 28534 28537 24550 0 -1 4202496 4743 0 1 0 23 1 0 0 20 0 18 0 29375280 9787879424 6306 33554432000 1073741824 1073778376 140736449570160 140736449561296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28537/statm: 2389619 6306 2199 9 0 2380296 0
[pid=28537/tid=28538] ppid=28534 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/28537/task/28538/stat : 28538 (java) R 28534 28537 24550 0 -1 4202560 2454 0 1 0 17 0 0 0 20 0 18 0 29375281 9787879424 6306 33554432000 1073741824 1073778376 140736449570160 139818026474400 242170772536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300267 s]
/proc/loadavg: 2.14 2.09 2.02 3/194 28537
/proc/meminfo: memFree=31210628/32872528 swapFree=338416/354768
[pid=28537] ppid=28534 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/28537/stat : 28537 (java) S 28534 28537 24550 0 -1 4202496 5577 0 1 0 43 1 0 0 20 0 18 0 29375280 9787879424 8515 33554432000 1073741824 1073778376 140736449570160 140736449561296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28537/statm: 2389619 8515 2233 9 0 2380296 0
[pid=28537/tid=28538] ppid=28534 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/28537/task/28538/stat : 28538 (java) R 28534 28537 24550 0 -1 4202560 2459 0 1 0 27 0 0 0 20 0 18 0 29375281 9787879424 8515 33554432000 1073741824 1073778376 140736449570160 139818026474776 139817966277924 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700217 s]
/proc/loadavg: 2.14 2.09 2.02 3/194 28537
/proc/meminfo: memFree=31210628/32872528 swapFree=338416/354768
[pid=28537] ppid=28534 vsize=9558476 CPUtime=1.64 cores=1,3,5,7
/proc/28537/stat : 28537 (java) S 28534 28537 24550 0 -1 4202496 26609 0 1 0 157 7 0 0 20 0 18 0 29375280 9787879424 34717 33554432000 1073741824 1073778376 140736449570160 140736449561296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28537/statm: 2389619 34717 2256 9 0 2380296 0
[pid=28537/tid=28538] ppid=28534 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/28537/task/28538/stat : 28538 (java) R 28534 28537 24550 0 -1 4202560 2489 0 1 0 66 1 0 0 20 0 18 0 29375281 9787879424 34717 33554432000 1073741824 1073778376 140736449570160 139818026474776 139817966189190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9558476
[startup+1.50096 s]
/proc/loadavg: 2.28 2.12 2.03 5/213 28556
/proc/meminfo: memFree=31074932/32872528 swapFree=338416/354768
[pid=28537] ppid=28534 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/28537/stat : 28537 (java) S 28534 28537 24550 0 -1 4202496 31522 0 1 0 369 8 0 0 20 0 19 0 29375280 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 140736449561296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28537/statm: 2406260 36952 2270 9 0 2396937 0
[pid=28537/tid=28538] ppid=28534 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/28537/task/28538/stat : 28538 (java) R 28534 28537 24550 0 -1 4202560 2500 0 1 0 146 2 0 0 20 0 19 0 29375281 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139818026475720 139817967327973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28540] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28540/stat : 28540 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817965206440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28541] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28541/stat : 28541 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817964153896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28542] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28542/stat : 28542 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817868016296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28543] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28543/stat : 28543 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817866963752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28544] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28544/stat : 28544 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817865910696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28545] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817864858152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28546] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28546/stat : 28546 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817863805096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28547] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28547/stat : 28547 (java) S 28534 28537 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817862752552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28548] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28548/stat : 28548 (java) S 28534 28537 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817850555240 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28549] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28549/stat : 28549 (java) S 28534 28537 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817849501560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28550] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28550/stat : 28550 (java) S 28534 28537 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817848448392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28551] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28551/stat : 28551 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817847397136 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28552] ppid=28534 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/28537/task/28552/stat : 28552 (java) S 28534 28537 24550 0 -1 4202560 12161 0 0 0 111 2 0 0 20 0 19 0 29375286 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817846343992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28553] ppid=28534 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/28537/task/28553/stat : 28553 (java) S 28534 28537 24550 0 -1 4202560 15585 0 0 0 108 5 0 0 20 0 19 0 29375286 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817845291448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28554] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28554/stat : 28554 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817844238584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28555] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28555/stat : 28555 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817843186248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28556] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28556/stat : 28556 (java) S 28534 28537 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29375356 9856040960 36952 33554432000 1073741824 1073778376 140736449570160 139817842132520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9625040
[startup+3.10096 s]
/proc/loadavg: 2.28 2.12 2.03 3/213 28556
/proc/meminfo: memFree=31055880/32872528 swapFree=338416/354768
[pid=28537] ppid=28534 vsize=9625040 CPUtime=5.55 cores=1,3,5,7
/proc/28537/stat : 28537 (java) S 28534 28537 24550 0 -1 4202496 31570 0 1 0 547 8 0 0 20 0 19 0 29375280 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 140736449561296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28537/statm: 2406260 44152 2277 9 0 2396937 0
[pid=28537/tid=28538] ppid=28534 vsize=9625040 CPUtime=3.08 cores=1,3,5,7
/proc/28537/task/28538/stat : 28538 (java) R 28534 28537 24550 0 -1 4202560 2514 0 1 0 305 3 0 0 20 0 19 0 29375281 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139818026467040 139817966791784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28540] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28540/stat : 28540 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817965206440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28541] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28541/stat : 28541 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817964153896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28542] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28542/stat : 28542 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817868016296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28543] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28543/stat : 28543 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817866963752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28544] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28544/stat : 28544 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817865910696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28545] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817864858152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28546] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28546/stat : 28546 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817863805096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28547] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28547/stat : 28547 (java) S 28534 28537 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817862752552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28548] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28548/stat : 28548 (java) S 28534 28537 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817850555240 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28549] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28549/stat : 28549 (java) S 28534 28537 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817849501560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28550] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28550/stat : 28550 (java) S 28534 28537 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817848448392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28551] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28551/stat : 28551 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817847397136 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28552] ppid=28534 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/28537/task/28552/stat : 28552 (java) S 28534 28537 24550 0 -1 4202560 12172 0 0 0 119 3 0 0 20 0 19 0 29375286 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817846343992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28553] ppid=28534 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/28537/task/28553/stat : 28553 (java) S 28534 28537 24550 0 -1 4202560 15607 0 0 0 118 5 0 0 20 0 19 0 29375286 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817845291448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28554] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28554/stat : 28554 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817844238584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28555] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28555/stat : 28555 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817843186248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28556] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28556/stat : 28556 (java) S 28534 28537 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29375356 9856040960 44152 33554432000 1073741824 1073778376 140736449570160 139817842132520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 9625040
[startup+6.301 s]
/proc/loadavg: 2.28 2.12 2.03 3/213 28556
/proc/meminfo: memFree=30981464/32872528 swapFree=338416/354768
[pid=28537] ppid=28534 vsize=9625040 CPUtime=8.92 cores=1,3,5,7
/proc/28537/stat : 28537 (java) S 28534 28537 24550 0 -1 4202496 32149 0 1 0 879 13 0 0 20 0 19 0 29375280 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 140736449561296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28537/statm: 2406260 59080 2290 9 0 2396937 0
[pid=28537/tid=28538] ppid=28534 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/28537/task/28538/stat : 28538 (java) R 28534 28537 24550 0 -1 4202560 2536 0 1 0 621 3 0 0 20 0 19 0 29375281 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139818026474808 139817967443754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28540] ppid=28534 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/28537/task/28540/stat : 28540 (java) S 28534 28537 24550 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 29375281 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817965206440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28541] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28541/stat : 28541 (java) S 28534 28537 24550 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817964153896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28542] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28542/stat : 28542 (java) S 28534 28537 24550 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817868016296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28543] ppid=28534 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/28537/task/28543/stat : 28543 (java) S 28534 28537 24550 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 19 0 29375281 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817866963752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28544] ppid=28534 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/28537/task/28544/stat : 28544 (java) S 28534 28537 24550 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 29375281 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817865910696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28545] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (java) S 28534 28537 24550 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817864858152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28546] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28546/stat : 28546 (java) S 28534 28537 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817863805096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28547] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28547/stat : 28547 (java) S 28534 28537 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29375281 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817862752552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28548] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28548/stat : 28548 (java) S 28534 28537 24550 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817850555240 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28549] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28549/stat : 28549 (java) S 28534 28537 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817849501560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28550] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28550/stat : 28550 (java) S 28534 28537 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817848448392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28551] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28551/stat : 28551 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817847397136 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28552] ppid=28534 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/28537/task/28552/stat : 28552 (java) S 28534 28537 24550 0 -1 4202560 12647 0 0 0 125 3 0 0 20 0 19 0 29375286 9856040960 59080 33554432000 1073741824 1073778376 140736449570160 139817846343992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28553] ppid=28534 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
################
# More data... #
################
[pid=28537/tid=28549] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28549/stat : 28549 (java) S 28534 28537 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 115822 33554432000 1073741824 1073778376 140736449570160 139817849501560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28550] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28550/stat : 28550 (java) S 28534 28537 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 115822 33554432000 1073741824 1073778376 140736449570160 139817848448392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28551] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28551/stat : 28551 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 115822 33554432000 1073741824 1073778376 140736449570160 139817847397136 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28552] ppid=28534 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/28537/task/28552/stat : 28552 (java) S 28534 28537 24550 0 -1 4202560 12653 0 0 0 127 3 0 0 20 0 19 0 29375286 9856040960 115822 33554432000 1073741824 1073778376 140736449570160 139817846343992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28553] ppid=28534 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/28537/task/28553/stat : 28553 (java) S 28534 28537 24550 0 -1 4202560 15608 0 0 0 118 5 0 0 20 0 19 0 29375286 9856040960 115822 33554432000 1073741824 1073778376 140736449570160 139817845291448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28554] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28554/stat : 28554 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 115822 33554432000 1073741824 1073778376 140736449570160 139817844238584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28555] ppid=28534 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/28537/task/28555/stat : 28555 (java) S 28534 28537 24550 0 -1 4202560 93 0 0 0 37 38 0 0 20 0 19 0 29375286 9856040960 115822 33554432000 1073741824 1073778376 140736449570160 139817843186248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28556] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28556/stat : 28556 (java) S 28534 28537 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29375356 9856040960 115822 33554432000 1073741824 1073778376 140736449570160 139817842132520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1680.86
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/213 28730
/proc/meminfo: memFree=30338204/32872528 swapFree=338416/354768
[pid=28537] ppid=28534 vsize=9625040 CPUtime=1741.54 cores=1,3,5,7
/proc/28537/stat : 28537 (java) S 28534 28537 24550 0 -1 4202496 45927 0 1 0 173966 188 0 0 20 0 19 0 29375280 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 140736449561296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28537/statm: 2406260 100757 2299 9 0 2396937 0
[pid=28537/tid=28538] ppid=28534 vsize=9625040 CPUtime=1709.02 cores=1,3,5,7
/proc/28537/task/28538/stat : 28538 (java) R 28534 28537 24550 0 -1 4202560 3058 0 1 0 170869 33 0 0 20 0 19 0 29375281 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139818026474704 139817967443168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28540] ppid=28534 vsize=9625040 CPUtime=2.86 cores=1,3,5,7
/proc/28537/task/28540/stat : 28540 (java) S 28534 28537 24550 0 -1 4202560 1423 0 0 0 270 16 0 0 20 0 19 0 29375281 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817965206440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28541] ppid=28534 vsize=9625040 CPUtime=2.96 cores=1,3,5,7
/proc/28537/task/28541/stat : 28541 (java) S 28534 28537 24550 0 -1 4202560 1409 0 0 0 277 19 0 0 20 0 19 0 29375281 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817964153896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28542] ppid=28534 vsize=9625040 CPUtime=2.8 cores=1,3,5,7
/proc/28537/task/28542/stat : 28542 (java) S 28534 28537 24550 0 -1 4202560 1501 0 0 0 265 15 0 0 20 0 19 0 29375281 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817868016296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28543] ppid=28534 vsize=9625040 CPUtime=2.9 cores=1,3,5,7
/proc/28537/task/28543/stat : 28543 (java) S 28534 28537 24550 0 -1 4202560 1940 0 0 0 275 15 0 0 20 0 19 0 29375281 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817866963752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28544] ppid=28534 vsize=9625040 CPUtime=3.01 cores=1,3,5,7
/proc/28537/task/28544/stat : 28544 (java) S 28534 28537 24550 0 -1 4202560 1469 0 0 0 280 21 0 0 20 0 19 0 29375281 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817865910696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28545] ppid=28534 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (java) S 28534 28537 24550 0 -1 4202560 1826 0 0 0 289 17 0 0 20 0 19 0 29375281 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817864858152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28546] ppid=28534 vsize=9625040 CPUtime=3.18 cores=1,3,5,7
/proc/28537/task/28546/stat : 28546 (java) S 28534 28537 24550 0 -1 4202560 1427 0 0 0 301 17 0 0 20 0 19 0 29375281 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817863805096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28547] ppid=28534 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/28537/task/28547/stat : 28547 (java) S 28534 28537 24550 0 -1 4202560 1151 0 0 0 275 18 0 0 20 0 19 0 29375281 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817862752552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28548] ppid=28534 vsize=9625040 CPUtime=5.93 cores=1,3,5,7
/proc/28537/task/28548/stat : 28548 (java) S 28534 28537 24550 0 -1 4202560 1103 0 0 0 586 7 0 0 20 0 19 0 29375283 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817850555240 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28549] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28549/stat : 28549 (java) S 28534 28537 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817849501560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28550] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28550/stat : 28550 (java) S 28534 28537 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817848448392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28551] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28551/stat : 28551 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817847397136 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28552] ppid=28534 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/28537/task/28552/stat : 28552 (java) S 28534 28537 24550 0 -1 4202560 12653 0 0 0 127 3 0 0 20 0 19 0 29375286 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817846343992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28553] ppid=28534 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/28537/task/28553/stat : 28553 (java) S 28534 28537 24550 0 -1 4202560 15608 0 0 0 118 5 0 0 20 0 19 0 29375286 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817845291448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28554] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28554/stat : 28554 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817844238584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28555] ppid=28534 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/28537/task/28555/stat : 28555 (java) S 28534 28537 24550 0 -1 4202560 97 0 0 0 39 38 0 0 20 0 19 0 29375286 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817843186248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28556] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28556/stat : 28556 (java) S 28534 28537 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29375356 9856040960 100757 33554432000 1073741824 1073778376 140736449570160 139817842132520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1741.54
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1780.1 s]
/proc/loadavg: 2.03 2.05 2.00 3/212 28731
/proc/meminfo: memFree=30202356/32872528 swapFree=338416/354768
[pid=28537] ppid=28534 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/28537/stat : 28537 (java) S 28534 28537 24550 0 -1 4202496 46720 0 1 0 179809 197 0 0 20 0 19 0 29375280 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 140736449561296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28537/statm: 2406260 115518 2299 9 0 2396937 0
[pid=28537/tid=28538] ppid=28534 vsize=9625040 CPUtime=1766.3 cores=1,3,5,7
/proc/28537/task/28538/stat : 28538 (java) R 28534 28537 24550 0 -1 4202560 3088 0 1 0 176596 34 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139818026474720 139817967443643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28540] ppid=28534 vsize=9625040 CPUtime=2.99 cores=1,3,5,7
/proc/28537/task/28540/stat : 28540 (java) S 28534 28537 24550 0 -1 4202560 1503 0 0 0 282 17 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817965206440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28541] ppid=28534 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/28537/task/28541/stat : 28541 (java) S 28534 28537 24550 0 -1 4202560 1417 0 0 0 288 19 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817964153896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28542] ppid=28534 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/28537/task/28542/stat : 28542 (java) S 28534 28537 24550 0 -1 4202560 1602 0 0 0 277 16 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817868016296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28543] ppid=28534 vsize=9625040 CPUtime=3.01 cores=1,3,5,7
/proc/28537/task/28543/stat : 28543 (java) S 28534 28537 24550 0 -1 4202560 2040 0 0 0 285 16 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817866963752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28544] ppid=28534 vsize=9625040 CPUtime=3.15 cores=1,3,5,7
/proc/28537/task/28544/stat : 28544 (java) S 28534 28537 24550 0 -1 4202560 1478 0 0 0 294 21 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817865910696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28545] ppid=28534 vsize=9625040 CPUtime=3.19 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (java) S 28534 28537 24550 0 -1 4202560 1833 0 0 0 302 17 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817864858152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28546] ppid=28534 vsize=9625040 CPUtime=3.3 cores=1,3,5,7
/proc/28537/task/28546/stat : 28546 (java) S 28534 28537 24550 0 -1 4202560 1708 0 0 0 312 18 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817863805096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28547] ppid=28534 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/28537/task/28547/stat : 28547 (java) S 28534 28537 24550 0 -1 4202560 1249 0 0 0 287 18 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817862752552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28548] ppid=28534 vsize=9625040 CPUtime=6.15 cores=1,3,5,7
/proc/28537/task/28548/stat : 28548 (java) S 28534 28537 24550 0 -1 4202560 1178 0 0 0 608 7 0 0 20 0 19 0 29375283 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817850555240 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28549] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28549/stat : 28549 (java) S 28534 28537 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817849501560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28550] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28550/stat : 28550 (java) S 28534 28537 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817848448392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28551] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28551/stat : 28551 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817847397136 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28552] ppid=28534 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/28537/task/28552/stat : 28552 (java) S 28534 28537 24550 0 -1 4202560 12653 0 0 0 127 3 0 0 20 0 19 0 29375286 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817846343992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28553] ppid=28534 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/28537/task/28553/stat : 28553 (java) S 28534 28537 24550 0 -1 4202560 15608 0 0 0 118 5 0 0 20 0 19 0 29375286 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817845291448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28554] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28554/stat : 28554 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817844238584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28555] ppid=28534 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/28537/task/28555/stat : 28555 (java) S 28534 28537 24550 0 -1 4202560 101 0 0 0 40 40 0 0 20 0 19 0 29375286 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817843186248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28556] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28556/stat : 28556 (java) S 28534 28537 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29375356 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817842132520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 28537 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1780.1 s]
/proc/loadavg: 2.03 2.05 2.00 3/212 28731
/proc/meminfo: memFree=30202356/32872528 swapFree=338416/354768
[pid=28537] ppid=28534 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/28537/stat : 28537 (java) S 28534 28537 24550 0 -1 4202496 46720 0 1 0 179809 197 0 0 20 0 19 0 29375280 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 140736449561296 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28537/statm: 2406260 115518 2299 9 0 2396937 0
[pid=28537/tid=28538] ppid=28534 vsize=9625040 CPUtime=1766.3 cores=1,3,5,7
/proc/28537/task/28538/stat : 28538 (java) R 28534 28537 24550 0 -1 4202560 3088 0 1 0 176596 34 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139818026474720 139817967443643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28540] ppid=28534 vsize=9625040 CPUtime=2.99 cores=1,3,5,7
/proc/28537/task/28540/stat : 28540 (java) S 28534 28537 24550 0 -1 4202560 1503 0 0 0 282 17 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817965206440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28541] ppid=28534 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/28537/task/28541/stat : 28541 (java) S 28534 28537 24550 0 -1 4202560 1417 0 0 0 288 19 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817964153896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28542] ppid=28534 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/28537/task/28542/stat : 28542 (java) S 28534 28537 24550 0 -1 4202560 1602 0 0 0 277 16 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817868016296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28543] ppid=28534 vsize=9625040 CPUtime=3.01 cores=1,3,5,7
/proc/28537/task/28543/stat : 28543 (java) S 28534 28537 24550 0 -1 4202560 2040 0 0 0 285 16 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817866963752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28544] ppid=28534 vsize=9625040 CPUtime=3.15 cores=1,3,5,7
/proc/28537/task/28544/stat : 28544 (java) S 28534 28537 24550 0 -1 4202560 1478 0 0 0 294 21 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817865910696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28545] ppid=28534 vsize=9625040 CPUtime=3.19 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (java) S 28534 28537 24550 0 -1 4202560 1833 0 0 0 302 17 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817864858152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28546] ppid=28534 vsize=9625040 CPUtime=3.3 cores=1,3,5,7
/proc/28537/task/28546/stat : 28546 (java) S 28534 28537 24550 0 -1 4202560 1708 0 0 0 312 18 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817863805096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28547] ppid=28534 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/28537/task/28547/stat : 28547 (java) S 28534 28537 24550 0 -1 4202560 1249 0 0 0 287 18 0 0 20 0 19 0 29375281 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817862752552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28548] ppid=28534 vsize=9625040 CPUtime=6.15 cores=1,3,5,7
/proc/28537/task/28548/stat : 28548 (java) S 28534 28537 24550 0 -1 4202560 1178 0 0 0 608 7 0 0 20 0 19 0 29375283 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817850555240 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28537/tid=28549] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28549/stat : 28549 (java) S 28534 28537 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817849501560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28550] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28550/stat : 28550 (java) S 28534 28537 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29375283 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817848448392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28551] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28551/stat : 28551 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817847397136 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28552] ppid=28534 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/28537/task/28552/stat : 28552 (java) S 28534 28537 24550 0 -1 4202560 12653 0 0 0 127 3 0 0 20 0 19 0 29375286 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817846343992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28537/tid=28553] ppid=28534 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/28537/task/28553/stat : 28553 (java) S 28534 28537 24550 0 -1 4202560 15608 0 0 0 118 5 0 0 20 0 19 0 29375286 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817845291448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28554] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28554/stat : 28554 (java) S 28534 28537 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29375286 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817844238584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28537/tid=28555] ppid=28534 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/28537/task/28555/stat : 28555 (java) S 28534 28537 24550 0 -1 4202560 101 0 0 0 40 40 0 0 20 0 19 0 29375286 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817843186248 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28537/tid=28556] ppid=28534 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28537/task/28556/stat : 28556 (java) S 28534 28537 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29375356 9856040960 115518 33554432000 1073741824 1073778376 140736449570160 139817842132520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1780.14
CPU time (s): 1800.81
CPU user time (s): 1798.36
CPU system time (s): 2.45063
CPU usage (%): 101.161
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 2.45063
maximum resident set size= 749752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46756
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54288
involuntary context switches= 53531
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4949 second user time and 10.7724 second system time
The end