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-4248227-1500691764/watcher-4248227-1500691764 -o /tmp/evaluation-result-4248227-1500691764/solver-4248227-1500691764 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1111374787 HOME/instance-4248227-1500691764.xml
pid=5598
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.72 14.64 14.93 10/271 5601
/proc/meminfo: memFree=28514568/32770624 swapFree=5812/117916
[pid=5601] ppid=5598 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5601/stat : 5601 (xcsp3-exec) S 5598 5601 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4441547 9740288 346 33554432000 4194304 5098028 140723149580000 140723149578104 140151387759228 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7831552 140723149587598 140723149587808 140723149587808 140723149590507 0
/proc/5601/statm: 2378 346 289 221 0 87 0
[startup+0.100101 s]
/proc/loadavg: 14.72 14.64 14.93 10/271 5601
/proc/meminfo: memFree=28514568/32770624 swapFree=5812/117916
[pid=5601] ppid=5598 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5601/stat : 5601 (xcsp3-exec) S 5598 5601 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4441547 9740288 346 33554432000 4194304 5098028 140723149580000 140723149578104 140151387759228 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7831552 140723149587598 140723149587808 140723149587808 140723149590507 0
/proc/5601/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200267 s]
/proc/loadavg: 14.72 14.64 14.93 10/271 5601
/proc/meminfo: memFree=28514568/32770624 swapFree=5812/117916
[pid=5601] ppid=5598 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5601/stat : 5601 (xcsp3-exec) S 5598 5601 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4441547 9740288 346 33554432000 4194304 5098028 140723149580000 140723149578104 140151387759228 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7831552 140723149587598 140723149587808 140723149587808 140723149590507 0
/proc/5601/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300286 s]
/proc/loadavg: 14.72 14.64 14.93 10/271 5601
/proc/meminfo: memFree=28514568/32770624 swapFree=5812/117916
[pid=5601] ppid=5598 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5601/stat : 5601 (xcsp3-exec) S 5598 5601 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4441547 9740288 346 33554432000 4194304 5098028 140723149580000 140723149578104 140151387759228 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7831552 140723149587598 140723149587808 140723149587808 140723149590507 0
/proc/5601/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700203 s]
/proc/loadavg: 14.72 14.64 14.93 10/271 5601
/proc/meminfo: memFree=28514568/32770624 swapFree=5812/117916
[pid=5601] ppid=5598 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5601/stat : 5601 (xcsp3-exec) S 5598 5601 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4441547 9740288 346 33554432000 4194304 5098028 140723149580000 140723149578104 140151387759228 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7831552 140723149587598 140723149587808 140723149587808 140723149590507 0
/proc/5601/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50157 s]
/proc/loadavg: 14.72 14.64 14.93 20/300 5630
/proc/meminfo: memFree=28394088/32770624 swapFree=5812/117948
[pid=5601] ppid=5598 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5601/stat : 5601 (xcsp3-exec) S 5598 5601 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4441547 9740288 346 33554432000 4194304 5098028 140723149580000 140723149578104 140151387759228 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7831552 140723149587598 140723149587808 140723149587808 140723149590507 0
/proc/5601/statm: 2378 346 289 221 0 87 0
[pid=5602] ppid=5601 vsize=13801768 CPUtime=7.9 cores=0,2,4,6,8,10,12,14
/proc/5602/stat : 5602 (java) S 5601 5601 15196 0 -1 1077944320 15371 0 0 0 779 11 0 0 20 0 28 0 4441548 14133010432 51841 33554432000 4194304 4196468 140731681286944 140731681269488 139693645004535 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
/proc/5602/statm: 3450442 51841 3237 1 0 3437675 0
[pid=5602/tid=5603] ppid=5601 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5603/stat : 5603 (java) S 5601 5601 15196 0 -1 1077944384 6387 0 0 0 65 3 0 0 20 0 28 0 4441548 14133010432 51841 33554432000 4194304 4196468 140731681286944 139693649245312 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5605] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5605/stat : 5605 (java) S 5601 5601 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4441549 14133010432 51841 33554432000 4194304 4196468 140731681286944 139693244402576 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5606] ppid=5601 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5606/stat : 5606 (java) S 5601 5601 15196 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 4441549 14133010432 51841 33554432000 4194304 4196468 140731681286944 139693243349776 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5607] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5607/stat : 5607 (java) S 5601 5601 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4441549 14133010432 51841 33554432000 4194304 4196468 140731681286944 139693242297488 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5608] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5608/stat : 5608 (java) S 5601 5601 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4441549 14133010432 51841 33554432000 4194304 4196468 140731681286944 139693241244688 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5609] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5609/stat : 5609 (java) S 5601 5601 15196 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4441549 14133010432 51841 33554432000 4194304 4196468 140731681286944 139693240191376 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5610] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5610/stat : 5610 (java) S 5601 5601 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4441549 14133010432 51841 33554432000 4194304 4196468 140731681286944 139693239138576 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5611] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5611/stat : 5611 (java) S 5601 5601 15196 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4441549 14133010432 51841 33554432000 4194304 4196468 140731681286944 139693238086288 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5612] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5612/stat : 5612 (java) S 5601 5601 15196 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4441549 14133010432 51841 33554432000 4194304 4196468 140731681286944 139693237033488 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5613] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5613/stat : 5613 (java) S 5601 5601 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4441551 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692973120112 139693645015682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5614] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5614/stat : 5614 (java) S 5601 5601 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4441552 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692972066080 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5615] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5615/stat : 5615 (java) S 5601 5601 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4441553 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692971013744 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5616] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5616/stat : 5616 (java) S 5601 5601 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441557 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692969962064 139693645023131 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5617] ppid=5601 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5617/stat : 5617 (java) R 5601 5601 15196 0 -1 4202560 1993 0 0 0 71 0 0 0 20 0 28 0 4441557 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692968897792 139693628910489 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5618] ppid=5601 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5618/stat : 5618 (java) R 5601 5601 15196 0 -1 4202560 1685 0 0 0 73 0 0 0 20 0 28 0 4441557 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692967856408 139693625705150 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5619] ppid=5601 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5619/stat : 5619 (java) R 5601 5601 15196 0 -1 4202560 1200 0 0 0 71 0 0 0 20 0 28 0 4441557 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692966789704 139693629928822 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5620] ppid=5601 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5620/stat : 5620 (java) S 5601 5601 15196 0 -1 1077944384 2204 0 0 0 50 0 0 0 20 0 28 0 4441557 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692965751024 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5621] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5621/stat : 5621 (java) S 5601 5601 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4441557 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692964698976 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5622] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5622/stat : 5622 (java) S 5601 5601 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441557 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692963646256 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5623] ppid=5601 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5623/stat : 5623 (java) R 5601 5601 15196 0 -1 4202560 64 0 0 0 48 0 0 0 20 0 28 0 4441619 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692955630656 139693286599589 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5624] ppid=5601 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5624/stat : 5624 (java) R 5601 5601 15196 0 -1 4202560 58 0 0 0 57 0 0 0 20 0 28 0 4441619 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692954581560 139693286599737 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5625] ppid=5601 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5625/stat : 5625 (java) R 5601 5601 15196 0 -1 4202560 48 0 0 0 40 0 0 0 20 0 28 0 4441619 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692953526072 139693286599723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5626] ppid=5601 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5626/stat : 5626 (java) R 5601 5601 15196 0 -1 4202560 87 0 0 0 61 0 0 0 20 0 28 0 4441619 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692952471984 139693287321357 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5627] ppid=5601 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5627/stat : 5627 (java) R 5601 5601 15196 0 -1 4202560 48 0 0 0 57 0 0 0 20 0 28 0 4441619 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692951421568 139693282512213 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5628] ppid=5601 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5628/stat : 5628 (java) R 5601 5601 15196 0 -1 4202560 39 0 0 0 60 0 0 0 20 0 28 0 4441619 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692950367016 139693286599921 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5629] ppid=5601 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5629/stat : 5629 (java) R 5601 5601 15196 0 -1 4202560 41 0 0 0 58 0 0 0 20 0 28 0 4441619 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692949315312 139693287437163 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5630] ppid=5601 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5630/stat : 5630 (java) R 5601 5601 15196 0 -1 4202560 40 0 0 0 57 0 0 0 20 0 28 0 4441619 14133010432 51841 33554432000 4194304 4196468 140731681286944 139692948265520 139693286599827 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 13811280
[startup+3.10155 s]
/proc/loadavg: 14.72 14.64 14.93 18/300 5630
/proc/meminfo: memFree=28168556/32770624 swapFree=5812/117948
[pid=5601] ppid=5598 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5601/stat : 5601 (xcsp3-exec) S 5598 5601 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4441547 9740288 346 33554432000 4194304 5098028 140723149580000 140723149578104 140151387759228 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7831552 140723149587598 140723149587808 140723149587808 140723149590507 0
/proc/5601/statm: 2378 346 289 221 0 87 0
[pid=5602] ppid=5601 vsize=13801768 CPUtime=20.57 cores=0,2,4,6,8,10,12,14
/proc/5602/stat : 5602 (java) S 5601 5601 15196 0 -1 1077944320 16401 0 0 0 2009 48 0 0 20 0 28 0 4441548 14133010432 109998 33554432000 4194304 4196468 140731681286944 140731681269488 139693645004535 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
/proc/5602/statm: 3450442 109998 3251 1 0 3437675 0
[pid=5602/tid=5603] ppid=5601 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5603/stat : 5603 (java) S 5601 5601 15196 0 -1 1077944384 6387 0 0 0 65 3 0 0 20 0 28 0 4441548 14133010432 109998 33554432000 4194304 4196468 140731681286944 139693649245312 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5605] ppid=5601 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5605/stat : 5605 (java) S 5601 5601 15196 0 -1 1077944384 39 0 0 0 3 3 0 0 20 0 28 0 4441549 14133010432 109998 33554432000 4194304 4196468 140731681286944 139693244402576 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5606] ppid=5601 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5606/stat : 5606 (java) S 5601 5601 15196 0 -1 1077944384 50 0 0 0 3 4 0 0 20 0 28 0 4441549 14133010432 109998 33554432000 4194304 4196468 140731681286944 139693243349776 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5607] ppid=5601 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5607/stat : 5607 (java) S 5601 5601 15196 0 -1 1077944384 47 0 0 0 3 4 0 0 20 0 28 0 4441549 14133010432 109998 33554432000 4194304 4196468 140731681286944 139693242297488 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5608] ppid=5601 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5608/stat : 5608 (java) S 5601 5601 15196 0 -1 1077944384 46 0 0 0 3 4 0 0 20 0 28 0 4441549 14133010432 109998 33554432000 4194304 4196468 140731681286944 139693241244688 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5609] ppid=5601 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5609/stat : 5609 (java) S 5601 5601 15196 0 -1 1077944384 43 0 0 0 3 4 0 0 20 0 28 0 4441549 14133010432 109998 33554432000 4194304 4196468 140731681286944 139693240191376 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5610] ppid=5601 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5610/stat : 5610 (java) S 5601 5601 15196 0 -1 1077944384 41 0 0 0 2 4 0 0 20 0 28 0 4441549 14133010432 109998 33554432000 4194304 4196468 140731681286944 139693239138576 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5611] ppid=5601 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5611/stat : 5611 (java) S 5601 5601 15196 0 -1 1077944384 40 0 0 0 3 4 0 0 20 0 28 0 4441549 14133010432 109998 33554432000 4194304 4196468 140731681286944 139693238086288 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5612] ppid=5601 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5612/stat : 5612 (java) S 5601 5601 15196 0 -1 1077944384 43 0 0 0 3 4 0 0 20 0 28 0 4441549 14133010432 109998 33554432000 4194304 4196468 140731681286944 139693237033488 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5613] ppid=5601 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5613/stat : 5613 (java) S 5601 5601 15196 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 4441551 14133010432 109998 33554432000 4194304 4196468 140731681286944 139692973120112 139693645015682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5614] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5614/stat : 5614 (java) S 5601 5601 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4441552 14133010432 109998 33554432000 4194304 4196468 140731681286944 139692972066080 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5615] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5615/stat : 5615 (java) S 5601 5601 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4441553 14133010432 109998 33554432000 4194304 4196468 140731681286944 139692971013744 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5616] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5616/stat : 5616 (java) S 5601 5601 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441557 14133010432 109998 33554432000 4194304 4196468 140731681286944 139692969962064 139693645023131 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5617] ppid=5601 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5617/stat : 5617 (java) R 5601 5601 15196 0 -1 4202560 2073 0 0 0 132 0 0 0 20 0 28 0 4441557 14133010432 109998 33554432000 4194304 4196468 140731681286944 139692968898720 139693629905020 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5618] ppid=5601 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5618/stat : 5618 (java) R 5601 5601 15196 0 -1 4202560 1769 0 0 0 136 0 0 0 20 0 28 0 4441557 14133010432 109998 33554432000 4194304 4196468 140731681286944 139692967849304 139693630130771 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5619] ppid=5601 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5619/stat : 5619 (java) R 5601 5601 15196 0 -1 4202560 1282 0 0 0 133 0 0 0 20 0 28 0 4441557 14133010432 109998 33554432000 4194304 4196468 140731681286944 139692966790560 139693636959425 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5620] ppid=5601 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5620/stat : 5620 (java) S 5601 5601 15196 0 -1 1077944384 2374 0 0 0 66 0 0 0 20 0 28 0 4441557 14133010432 109998 33554432000 4194304 4196468 140731681286944 139692965751024 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5621] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5621/stat : 5621 (java) S 5601 5601 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4441557 14133010432 110510 33554432000 4194304 4196468 140731681286944 139692964698976 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5622] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5622/stat : 5622 (java) S 5601 5601 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441557 14133010432 110510 33554432000 4194304 4196468 140731681286944 139692963646256 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5623] ppid=5601 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5623/stat : 5623 (java) R 5601 5601 15196 0 -1 4202560 89 0 0 0 155 0 0 0 20 0 28 0 4441619 14133010432 110510 33554432000 4194304 4196468 140731681286944 139692955631440 139693287437133 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5624] ppid=5601 vsize=13801768 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5624/stat : 5624 (java) R 5601 5601 15196 0 -1 4202560 92 0 0 0 181 0 0 0 20 0 28 0 4441619 14133010432 110510 33554432000 4194304 4196468 140731681286944 139692954579504 139693287581706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5625] ppid=5601 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5625/stat : 5625 (java) R 5601 5601 15196 0 -1 4202560 88 0 0 0 168 1 0 0 20 0 28 0 4441619 14133010432 110510 33554432000 4194304 4196468 140731681286944 139692953527528 139693287581665 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5626] ppid=5601 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5626/stat : 5626 (java) R 5601 5601 15196 0 -1 4202560 122 0 0 0 196 0 0 0 20 0 28 0 4441619 14133010432 110510 33554432000 4194304 4196468 140731681286944 139692952475128 139693288626979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5627] ppid=5601 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5627/stat : 5627 (java) R 5601 5601 15196 0 -1 4202560 71 0 0 0 169 0 0 0 20 0 28 0 4441619 14133010432 110510 33554432000 4194304 4196468 140731681286944 139692951423256 139693287623233 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5628] ppid=5601 vsize=13801768 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5628/stat : 5628 (java) R 5601 5601 15196 0 -1 4202560 63 0 0 0 166 0 0 0 20 0 28 0 4441619 14133010432 110510 33554432000 4194304 4196468 140731681286944 139692950368536 139693287437427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5629] ppid=5601 vsize=13801768 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5629/stat : 5629 (java) R 5601 5601 15196 0 -1 4202560 71 0 0 0 209 0 0 0 20 0 28 0 4441619 14133010432 110510 33554432000 4194304 4196468 140731681286944 139692949317352 139693287436835 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5630] ppid=5601 vsize=13801768 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5630/stat : 5630 (java) R 5601 5601 15196 0 -1 4202560 67 0 0 0 197 1 0 0 20 0 28 0 4441619 14133010432 110510 33554432000 4194304 4196468 140731681286944 139692948265640 139693287779653 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
Current children cumulated CPU time (s) 20.57
Current children cumulated vsize (KiB) 13811280
[startup+6.30104 s]
/proc/loadavg: 15.06 14.71 14.95 17/300 5630
/proc/meminfo: memFree=27772896/32770624 swapFree=5808/117960
################
# More data... #
################
[pid=5602/tid=5629] ppid=5601 vsize=13801768 CPUtime=218.37 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5629/stat : 5629 (java) R 5601 5601 15196 0 -1 4202560 2180 0 0 0 21831 6 0 0 20 0 28 0 4441619 14133010432 791291 33554432000 4194304 4196468 140731681286944 139692949316280 139693287888754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5630] ppid=5601 vsize=13801768 CPUtime=218.98 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5630/stat : 5630 (java) R 5601 5601 15196 0 -1 4202560 1592 0 0 0 21893 5 0 0 20 0 28 0 4441619 14133010432 791291 33554432000 4194304 4196468 140731681286944 139692948265744 139693289541563 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.54 15.42 15.21 17/301 6512
/proc/meminfo: memFree=28420044/32770624 swapFree=5808/118380
[pid=5601] ppid=5598 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5601/stat : 5601 (xcsp3-exec) S 5598 5601 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4441547 9740288 346 33554432000 4194304 5098028 140723149580000 140723149578104 140151387759228 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7831552 140723149587598 140723149587808 140723149587808 140723149590507 0
/proc/5601/statm: 2378 346 289 221 0 87 0
[pid=5602] ppid=5601 vsize=13801768 CPUtime=2238.9 cores=0,2,4,6,8,10,12,14
/proc/5602/stat : 5602 (java) S 5601 5601 15196 0 -1 1077944320 65400 0 0 0 223625 265 0 0 20 0 28 0 4441548 14133010432 760540 33554432000 4194304 4196468 140731681286944 140731681269488 139693645004535 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
/proc/5602/statm: 3450442 760540 3272 1 0 3437675 0
[pid=5602/tid=5603] ppid=5601 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5603/stat : 5603 (java) S 5601 5601 15196 0 -1 1077944384 6387 0 0 0 65 3 0 0 20 0 28 0 4441548 14133010432 760540 33554432000 4194304 4196468 140731681286944 139693649245312 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5605] ppid=5601 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5605/stat : 5605 (java) S 5601 5601 15196 0 -1 1077944384 439 0 0 0 37 16 0 0 20 0 28 0 4441549 14133010432 760540 33554432000 4194304 4196468 140731681286944 139693244402576 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5606] ppid=5601 vsize=13801768 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5606/stat : 5606 (java) S 5601 5601 15196 0 -1 1077944384 954 0 0 0 38 17 0 0 20 0 28 0 4441549 14133010432 760540 33554432000 4194304 4196468 140731681286944 139693243349776 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5607] ppid=5601 vsize=13801768 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5607/stat : 5607 (java) S 5601 5601 15196 0 -1 1077944384 1229 0 0 0 37 18 0 0 20 0 28 0 4441549 14133010432 760540 33554432000 4194304 4196468 140731681286944 139693242297488 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5608] ppid=5601 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5608/stat : 5608 (java) S 5601 5601 15196 0 -1 1077944384 1059 0 0 0 36 15 0 0 20 0 28 0 4441549 14133010432 760540 33554432000 4194304 4196468 140731681286944 139693241244688 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5609] ppid=5601 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5609/stat : 5609 (java) S 5601 5601 15196 0 -1 1077944384 1149 0 0 0 35 16 0 0 20 0 28 0 4441549 14133010432 760540 33554432000 4194304 4196468 140731681286944 139693240191376 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5610] ppid=5601 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5610/stat : 5610 (java) S 5601 5601 15196 0 -1 1077944384 1382 0 0 0 36 15 0 0 20 0 28 0 4441549 14133010432 760540 33554432000 4194304 4196468 140731681286944 139693239138576 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5611] ppid=5601 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5611/stat : 5611 (java) S 5601 5601 15196 0 -1 1077944384 1234 0 0 0 37 16 0 0 20 0 28 0 4441549 14133010432 760540 33554432000 4194304 4196468 140731681286944 139693238086288 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5612] ppid=5601 vsize=13801768 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5612/stat : 5612 (java) S 5601 5601 15196 0 -1 1077944384 618 0 0 0 36 16 0 0 20 0 28 0 4441549 14133010432 760540 33554432000 4194304 4196468 140731681286944 139693237033488 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5613] ppid=5601 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5613/stat : 5613 (java) S 5601 5601 15196 0 -1 1077944384 4494 0 0 0 35 48 0 0 20 0 28 0 4441551 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692973120112 139693645015682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5614] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5614/stat : 5614 (java) S 5601 5601 15196 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 4441552 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692972066144 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5615] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5615/stat : 5615 (java) S 5601 5601 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4441553 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692971013760 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5616] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5616/stat : 5616 (java) S 5601 5601 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441557 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692969962064 139693645023131 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5617] ppid=5601 vsize=13801768 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5617/stat : 5617 (java) S 5601 5601 15196 0 -1 1077944384 6045 0 0 0 231 1 0 0 20 0 28 0 4441557 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692968908912 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5618] ppid=5601 vsize=13801768 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5618/stat : 5618 (java) S 5601 5601 15196 0 -1 1077944384 6136 0 0 0 262 1 0 0 20 0 28 0 4441557 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692967856112 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5619] ppid=5601 vsize=13801768 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5619/stat : 5619 (java) S 5601 5601 15196 0 -1 1077944384 5116 0 0 0 262 1 0 0 20 0 28 0 4441557 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692966803824 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5620] ppid=5601 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5620/stat : 5620 (java) S 5601 5601 15196 0 -1 1077944384 5024 0 0 0 81 0 0 0 20 0 28 0 4441557 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692965751024 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5621] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5621/stat : 5621 (java) S 5601 5601 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4441557 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692964698976 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5622] ppid=5601 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5622/stat : 5622 (java) S 5601 5601 15196 0 -1 1077944384 725 0 0 0 7 5 0 0 20 0 28 0 4441557 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692963646256 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 7 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5623] ppid=5601 vsize=13801768 CPUtime=277.62 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5623/stat : 5623 (java) R 5601 5601 15196 0 -1 4202560 2254 0 0 0 27756 6 0 0 20 0 28 0 4441619 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692955630920 139693289859976 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5624] ppid=5601 vsize=13801768 CPUtime=278.85 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5624/stat : 5624 (java) R 5601 5601 15196 0 -1 4202560 2164 0 0 0 27880 5 0 0 20 0 28 0 4441619 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692954579256 139693282818812 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5625] ppid=5601 vsize=13801768 CPUtime=278.3 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5625/stat : 5625 (java) R 5601 5601 15196 0 -1 4202560 4896 0 0 0 27814 16 0 0 20 0 28 0 4441619 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692953525584 139693290418792 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5626] ppid=5601 vsize=13801768 CPUtime=278.62 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5626/stat : 5626 (java) R 5601 5601 15196 0 -1 4202560 5067 0 0 0 27845 17 0 0 20 0 28 0 4441619 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692952473032 139693289541986 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5627] ppid=5601 vsize=13801768 CPUtime=278.01 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5627/stat : 5627 (java) R 5601 5601 15196 0 -1 4202560 2199 0 0 0 27795 6 0 0 20 0 28 0 4441619 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692951420536 139693287535107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5628] ppid=5601 vsize=13801768 CPUtime=277.46 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5628/stat : 5628 (java) R 5601 5601 15196 0 -1 4202560 1207 0 0 0 27741 5 0 0 20 0 28 0 4441619 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692950367576 139693287581811 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5629] ppid=5601 vsize=13801768 CPUtime=277.57 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5629/stat : 5629 (java) R 5601 5601 15196 0 -1 4202560 2472 0 0 0 27751 6 0 0 20 0 28 0 4441619 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692949318064 139693289859377 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5630] ppid=5601 vsize=13801768 CPUtime=277.96 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5630/stat : 5630 (java) R 5601 5601 15196 0 -1 4202560 1828 0 0 0 27791 5 0 0 20 0 28 0 4441619 14133010432 760540 33554432000 4194304 4196468 140731681286944 139692948262856 139693289541995 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
Current children cumulated CPU time (s) 2238.9
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.801 s]
/proc/loadavg: 15.75 15.48 15.23 17/301 6529
/proc/meminfo: memFree=27844700/32770624 swapFree=5808/118412
[pid=5601] ppid=5598 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5601/stat : 5601 (xcsp3-exec) S 5598 5601 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4441547 9740288 346 33554432000 4194304 5098028 140723149580000 140723149578104 140151387759228 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7831552 140723149587598 140723149587808 140723149587808 140723149590507 0
/proc/5601/statm: 2378 346 289 221 0 87 0
[pid=5602] ppid=5601 vsize=13801768 CPUtime=2400.61 cores=0,2,4,6,8,10,12,14
/proc/5602/stat : 5602 (java) S 5601 5601 15196 0 -1 1077944320 67833 0 0 0 239776 285 0 0 20 0 28 0 4441548 14133010432 751002 33554432000 4194304 4196468 140731681286944 140731681269488 139693645004535 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
/proc/5602/statm: 3450442 751002 3272 1 0 3437675 0
[pid=5602/tid=5603] ppid=5601 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5603/stat : 5603 (java) S 5601 5601 15196 0 -1 1077944384 6387 0 0 0 65 3 0 0 20 0 28 0 4441548 14133010432 751002 33554432000 4194304 4196468 140731681286944 139693649245312 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5605] ppid=5601 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5605/stat : 5605 (java) S 5601 5601 15196 0 -1 1077944384 479 0 0 0 42 17 0 0 20 0 28 0 4441549 14133010432 751002 33554432000 4194304 4196468 140731681286944 139693244402576 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5606] ppid=5601 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5606/stat : 5606 (java) S 5601 5601 15196 0 -1 1077944384 1101 0 0 0 43 18 0 0 20 0 28 0 4441549 14133010432 751002 33554432000 4194304 4196468 140731681286944 139693243349776 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5607] ppid=5601 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5607/stat : 5607 (java) S 5601 5601 15196 0 -1 1077944384 1618 0 0 0 41 18 0 0 20 0 28 0 4441549 14133010432 751002 33554432000 4194304 4196468 140731681286944 139693242297488 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5608] ppid=5601 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5608/stat : 5608 (java) S 5601 5601 15196 0 -1 1077944384 1146 0 0 0 41 16 0 0 20 0 28 0 4441549 14133010432 751002 33554432000 4194304 4196468 140731681286944 139693241244688 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5609] ppid=5601 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5609/stat : 5609 (java) S 5601 5601 15196 0 -1 1077944384 1210 0 0 0 40 17 0 0 20 0 28 0 4441549 14133010432 751002 33554432000 4194304 4196468 140731681286944 139693240191376 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5610] ppid=5601 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5610/stat : 5610 (java) S 5601 5601 15196 0 -1 1077944384 1417 0 0 0 42 16 0 0 20 0 28 0 4441549 14133010432 751002 33554432000 4194304 4196468 140731681286944 139693239138576 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5611] ppid=5601 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5611/stat : 5611 (java) S 5601 5601 15196 0 -1 1077944384 1284 0 0 0 42 16 0 0 20 0 28 0 4441549 14133010432 751002 33554432000 4194304 4196468 140731681286944 139693238086288 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5612] ppid=5601 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5612/stat : 5612 (java) S 5601 5601 15196 0 -1 1077944384 720 0 0 0 41 17 0 0 20 0 28 0 4441549 14133010432 751002 33554432000 4194304 4196468 140731681286944 139693237033488 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5613] ppid=5601 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5613/stat : 5613 (java) S 5601 5601 15196 0 -1 1077944384 4825 0 0 0 45 62 0 0 20 0 28 0 4441551 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692973120112 139693645015682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5614] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5614/stat : 5614 (java) S 5601 5601 15196 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 4441552 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692972066144 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5615] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5615/stat : 5615 (java) S 5601 5601 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4441553 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692971013760 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5616] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5616/stat : 5616 (java) S 5601 5601 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441557 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692969962064 139693645023131 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5617] ppid=5601 vsize=13801768 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5617/stat : 5617 (java) S 5601 5601 15196 0 -1 1077944384 6047 0 0 0 231 1 0 0 20 0 28 0 4441557 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692968908912 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5618] ppid=5601 vsize=13801768 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5618/stat : 5618 (java) S 5601 5601 15196 0 -1 1077944384 6138 0 0 0 262 1 0 0 20 0 28 0 4441557 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692967856112 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5619] ppid=5601 vsize=13801768 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5619/stat : 5619 (java) S 5601 5601 15196 0 -1 1077944384 5119 0 0 0 262 1 0 0 20 0 28 0 4441557 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692966803824 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5620] ppid=5601 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5620/stat : 5620 (java) S 5601 5601 15196 0 -1 1077944384 5026 0 0 0 81 0 0 0 20 0 28 0 4441557 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692965751024 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5621] ppid=5601 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5621/stat : 5621 (java) S 5601 5601 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4441557 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692964698976 139693645014741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5622] ppid=5601 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5622/stat : 5622 (java) S 5601 5601 15196 0 -1 1077944384 745 0 0 0 8 5 0 0 20 0 28 0 4441557 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692963646256 139693645015682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5623] ppid=5601 vsize=13801768 CPUtime=297.76 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5623/stat : 5623 (java) R 5601 5601 15196 0 -1 4202560 2372 0 0 0 29769 7 0 0 20 0 28 0 4441619 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692955630440 139693282818800 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5624] ppid=5601 vsize=13801768 CPUtime=298.99 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5624/stat : 5624 (java) R 5601 5601 15196 0 -1 4202560 2299 0 0 0 29894 5 0 0 20 0 28 0 4441619 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692954578616 139693287888909 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5625] ppid=5601 vsize=13801768 CPUtime=298.54 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5625/stat : 5625 (java) R 5601 5601 15196 0 -1 4202560 5194 0 0 0 29837 17 0 0 20 0 28 0 4441619 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692953525584 139693289541986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5626] ppid=5601 vsize=13801768 CPUtime=298.75 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5626/stat : 5626 (java) R 5601 5601 15196 0 -1 4202560 5185 0 0 0 29857 18 0 0 20 0 28 0 4441619 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692952473032 139693289541972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5627] ppid=5601 vsize=13801768 CPUtime=298.11 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5627/stat : 5627 (java) R 5601 5601 15196 0 -1 4202560 2346 0 0 0 29805 6 0 0 20 0 28 0 4441619 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692951420376 139693290418854 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5628] ppid=5601 vsize=13801768 CPUtime=297.63 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5628/stat : 5628 (java) R 5601 5601 15196 0 -1 4202560 1250 0 0 0 29758 5 0 0 20 0 28 0 4441619 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692950367576 139693287779705 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5629] ppid=5601 vsize=13801768 CPUtime=297.68 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5629/stat : 5629 (java) R 5601 5601 15196 0 -1 4202560 2680 0 0 0 29762 6 0 0 20 0 28 0 4441619 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692949315528 139693282818812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
[pid=5602/tid=5630] ppid=5601 vsize=13801768 CPUtime=297.99 cores=0,2,4,6,8,10,12,14
/proc/5602/task/5630/stat : 5630 (java) R 5601 5601 15196 0 -1 4202560 1923 0 0 0 29793 6 0 0 20 0 28 0 4441619 14133010432 751002 33554432000 4194304 4196468 140731681286944 139692948265264 139693287778616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6901760 140731681293500 140731681293676 140731681293676 140731681296335 0
Current children cumulated CPU time (s) 2400.61
Current children cumulated vsize (KiB) 13811280
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 5602 sig 9
??? kill 5601 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5601 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1432
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2004
# CPU time returned by wait4() is 0.003436
# while last known CPU time is 2400.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.812
CPU time (s): 2400.61
CPU user time (s): 2397.76
CPU system time (s): 2.85
CPU usage (%): 792.772
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001432
system time used= 0.002004
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.60492 second user time and 4.2642 second system time
The end