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-4246256-1500687287/watcher-4246256-1500687287 -o /tmp/evaluation-result-4246256-1500687287/solver-4246256-1500687287 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 585311225 HOME/instance-4246256-1500687287.xml
pid=4726
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: 15.15 15.06 14.76 10/271 4729
/proc/meminfo: memFree=30888408/32770624 swapFree=5804/255572
[pid=4729] ppid=4726 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4729/stat : 4729 (xcsp3-exec) S 4726 4729 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3995024 9740288 346 33554432000 4194304 5098028 140730109277744 140730109275848 139916277404284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33484800 140730109281423 140730109281632 140730109281632 140730109284331 0
/proc/4729/statm: 2378 346 289 221 0 87 0
[startup+0.100136 s]
/proc/loadavg: 15.15 15.06 14.76 10/271 4729
/proc/meminfo: memFree=30888408/32770624 swapFree=5804/255572
[pid=4729] ppid=4726 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4729/stat : 4729 (xcsp3-exec) S 4726 4729 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3995024 9740288 346 33554432000 4194304 5098028 140730109277744 140730109275848 139916277404284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33484800 140730109281423 140730109281632 140730109281632 140730109284331 0
/proc/4729/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200327 s]
/proc/loadavg: 15.15 15.06 14.76 10/271 4729
/proc/meminfo: memFree=30888408/32770624 swapFree=5804/255572
[pid=4729] ppid=4726 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4729/stat : 4729 (xcsp3-exec) S 4726 4729 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3995024 9740288 346 33554432000 4194304 5098028 140730109277744 140730109275848 139916277404284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33484800 140730109281423 140730109281632 140730109281632 140730109284331 0
/proc/4729/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300338 s]
/proc/loadavg: 15.15 15.06 14.76 10/271 4729
/proc/meminfo: memFree=30888408/32770624 swapFree=5804/255572
[pid=4729] ppid=4726 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4729/stat : 4729 (xcsp3-exec) S 4726 4729 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3995024 9740288 346 33554432000 4194304 5098028 140730109277744 140730109275848 139916277404284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33484800 140730109281423 140730109281632 140730109281632 140730109284331 0
/proc/4729/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700196 s]
/proc/loadavg: 15.15 15.06 14.76 10/271 4729
/proc/meminfo: memFree=30888408/32770624 swapFree=5804/255572
[pid=4729] ppid=4726 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4729/stat : 4729 (xcsp3-exec) S 4726 4729 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3995024 9740288 346 33554432000 4194304 5098028 140730109277744 140730109275848 139916277404284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33484800 140730109281423 140730109281632 140730109281632 140730109284331 0
/proc/4729/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50153 s]
/proc/loadavg: 15.15 15.06 14.76 20/300 4758
/proc/meminfo: memFree=30727388/32770624 swapFree=5804/255600
[pid=4729] ppid=4726 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4729/stat : 4729 (xcsp3-exec) S 4726 4729 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3995024 9740288 346 33554432000 4194304 5098028 140730109277744 140730109275848 139916277404284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33484800 140730109281423 140730109281632 140730109281632 140730109284331 0
/proc/4729/statm: 2378 346 289 221 0 87 0
[pid=4730] ppid=4729 vsize=13801768 CPUtime=7.05 cores=0,2,4,6,8,10,12,14
/proc/4730/stat : 4730 (java) S 4729 4729 14782 0 -1 1077944320 16264 0 0 0 694 11 0 0 20 0 28 0 3995025 14133010432 45761 33554432000 4194304 4196468 140727949716592 140727949699136 139673293119223 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
/proc/4730/statm: 3450442 45761 3217 1 0 3437675 0
[pid=4730/tid=4731] ppid=4729 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4731/stat : 4731 (java) S 4729 4729 14782 0 -1 1077944384 6881 0 0 0 85 6 0 0 20 0 28 0 3995025 14133010432 45761 33554432000 4194304 4196468 140727949716592 139673297360000 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4733] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4733/stat : 4733 (java) S 4729 4729 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3995026 14133010432 45761 33554432000 4194304 4196468 140727949716592 139673211599760 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4734] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4734/stat : 4734 (java) S 4729 4729 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3995026 14133010432 45761 33554432000 4194304 4196468 140727949716592 139673210546960 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4735] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4735/stat : 4735 (java) S 4729 4729 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3995026 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672890109072 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4736] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4736/stat : 4736 (java) S 4729 4729 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3995026 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672889056272 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4737] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4737/stat : 4737 (java) S 4729 4729 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3995026 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672888002960 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4738] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4738/stat : 4738 (java) S 4729 4729 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3995026 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672886950160 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4739] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4739/stat : 4739 (java) S 4729 4729 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3995026 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672885897872 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4740] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4740/stat : 4740 (java) S 4729 4729 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3995026 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672884845072 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4741] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4741/stat : 4741 (java) S 4729 4729 14782 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3995029 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672755354224 139673293130370 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4742] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4742/stat : 4742 (java) S 4729 4729 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3995029 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672754300192 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4743] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4743/stat : 4743 (java) S 4729 4729 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3995030 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672753247856 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4744] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4744/stat : 4744 (java) S 4729 4729 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3995033 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672752196176 139673293137819 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4745] ppid=4729 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4745/stat : 4745 (java) R 4729 4729 14782 0 -1 4202560 2071 0 0 0 90 0 0 0 20 0 28 0 3995033 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672751128904 139673270866222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4746] ppid=4729 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4746/stat : 4746 (java) R 4729 4729 14782 0 -1 4202560 1522 0 0 0 93 1 0 0 20 0 28 0 3995033 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672750071632 139673278048693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4747] ppid=4729 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4747/stat : 4747 (java) R 4729 4729 14782 0 -1 4202560 1647 0 0 0 86 0 0 0 20 0 28 0 3995033 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672749018952 139673277015235 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4748] ppid=4729 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4748/stat : 4748 (java) S 4729 4729 14782 0 -1 1077944384 2475 0 0 0 65 0 0 0 20 0 28 0 3995033 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672747985136 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4749] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4749/stat : 4749 (java) S 4729 4729 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3995034 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672746933088 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4750] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4750/stat : 4750 (java) S 4729 4729 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3995034 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672745880368 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4751] ppid=4729 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4751/stat : 4751 (java) R 4729 4729 14782 0 -1 4202560 53 0 0 0 42 0 0 0 20 0 28 0 3995118 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672669902760 139672895933785 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4752] ppid=4729 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4752/stat : 4752 (java) R 4729 4729 14782 0 -1 4202560 56 0 0 0 34 0 0 0 20 0 28 0 3995118 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672668844704 139673279389641 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4753] ppid=4729 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4753/stat : 4753 (java) R 4729 4729 14782 0 -1 4202560 45 0 0 0 28 0 0 0 20 0 28 0 3995118 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672667794360 139672890234550 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4754] ppid=4729 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4754/stat : 4754 (java) R 4729 4729 14782 0 -1 4202560 73 0 0 0 32 0 0 0 20 0 28 0 3995118 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672666739840 139672895794017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4755] ppid=4729 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4755/stat : 4755 (java) R 4729 4729 14782 0 -1 1077944384 35 0 0 0 27 0 0 0 20 0 28 0 3995118 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672665689136 139673293129429 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4756] ppid=4729 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4756/stat : 4756 (java) R 4729 4729 14782 0 -1 4202560 28 0 0 0 34 0 0 0 20 0 28 0 3995118 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672664640312 139672890432556 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4757] ppid=4729 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4757/stat : 4757 (java) R 4729 4729 14782 0 -1 4202560 38 0 0 0 38 0 0 0 20 0 28 0 3995118 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672663584048 139672895732833 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4758] ppid=4729 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4758/stat : 4758 (java) R 4729 4729 14782 0 -1 4202560 33 0 0 0 33 0 0 0 20 0 28 0 3995118 14133010432 45761 33554432000 4194304 4196468 140727949716592 139672662534208 139672896214323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 13811280
[startup+3.10154 s]
/proc/loadavg: 15.15 15.06 14.76 20/300 4758
/proc/meminfo: memFree=30675064/32770624 swapFree=5804/255608
[pid=4729] ppid=4726 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4729/stat : 4729 (xcsp3-exec) S 4726 4729 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3995024 9740288 346 33554432000 4194304 5098028 140730109277744 140730109275848 139916277404284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33484800 140730109281423 140730109281632 140730109281632 140730109284331 0
/proc/4729/statm: 2378 346 289 221 0 87 0
[pid=4730] ppid=4729 vsize=13801768 CPUtime=19.73 cores=0,2,4,6,8,10,12,14
/proc/4730/stat : 4730 (java) S 4729 4729 14782 0 -1 1077944320 31458 0 0 0 1950 23 0 0 20 0 28 0 3995025 14133010432 59116 33554432000 4194304 4196468 140727949716592 140727949699136 139673293119223 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
/proc/4730/statm: 3450442 59116 3269 1 0 3437675 0
[pid=4730/tid=4731] ppid=4729 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4731/stat : 4731 (java) S 4729 4729 14782 0 -1 1077944384 6881 0 0 0 85 6 0 0 20 0 28 0 3995025 14133010432 59116 33554432000 4194304 4196468 140727949716592 139673297360000 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4733] ppid=4729 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4733/stat : 4733 (java) S 4729 4729 14782 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 28 0 3995026 14133010432 59116 33554432000 4194304 4196468 140727949716592 139673211599760 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4734] ppid=4729 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4734/stat : 4734 (java) S 4729 4729 14782 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 28 0 3995026 14133010432 59116 33554432000 4194304 4196468 140727949716592 139673210546960 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4735] ppid=4729 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4735/stat : 4735 (java) S 4729 4729 14782 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 28 0 3995026 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672890109072 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4736] ppid=4729 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4736/stat : 4736 (java) S 4729 4729 14782 0 -1 1077944384 129 0 0 0 1 1 0 0 20 0 28 0 3995026 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672889056272 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4737] ppid=4729 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4737/stat : 4737 (java) S 4729 4729 14782 0 -1 1077944384 264 0 0 0 1 1 0 0 20 0 28 0 3995026 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672888002960 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4738] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4738/stat : 4738 (java) S 4729 4729 14782 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3995026 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672886950160 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4739] ppid=4729 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4739/stat : 4739 (java) S 4729 4729 14782 0 -1 1077944384 47 0 0 0 1 1 0 0 20 0 28 0 3995026 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672885897872 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4740] ppid=4729 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4740/stat : 4740 (java) S 4729 4729 14782 0 -1 1077944384 66 0 0 0 0 1 0 0 20 0 28 0 3995026 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672884845072 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4741] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4741/stat : 4741 (java) S 4729 4729 14782 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 28 0 3995029 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672755354224 139673293130370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4742] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4742/stat : 4742 (java) S 4729 4729 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3995029 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672754300192 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4743] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4743/stat : 4743 (java) S 4729 4729 14782 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3995030 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672753247856 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4744] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4744/stat : 4744 (java) S 4729 4729 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3995033 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672752196176 139673293137819 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4745] ppid=4729 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4745/stat : 4745 (java) R 4729 4729 14782 0 -1 1077944384 7565 0 0 0 176 1 0 0 20 0 28 0 3995033 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672751143024 139673293130370 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4746] ppid=4729 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4746/stat : 4746 (java) R 4729 4729 14782 0 -1 4202560 4112 0 0 0 176 1 0 0 20 0 28 0 3995033 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672750090520 139673276650757 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4747] ppid=4729 vsize=13801768 CPUtime=1.75 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4747/stat : 4747 (java) R 4729 4729 14782 0 -1 4202560 4395 0 0 0 174 1 0 0 20 0 28 0 3995033 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672749037936 139673277522081 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4748] ppid=4729 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4748/stat : 4748 (java) S 4729 4729 14782 0 -1 1077944384 4847 0 0 0 83 1 0 0 20 0 28 0 3995033 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672747985136 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4749] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4749/stat : 4749 (java) S 4729 4729 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3995034 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672746933088 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4750] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4750/stat : 4750 (java) S 4729 4729 14782 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3995034 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672745880368 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4751] ppid=4729 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4751/stat : 4751 (java) R 4729 4729 14782 0 -1 4202560 243 0 0 0 160 0 0 0 20 0 28 0 3995118 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672669900816 139672895882341 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4752] ppid=4729 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4752/stat : 4752 (java) R 4729 4729 14782 0 -1 4202560 112 0 0 0 163 0 0 0 20 0 28 0 3995118 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672668848536 139672896501163 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4753] ppid=4729 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4753/stat : 4753 (java) R 4729 4729 14782 0 -1 4202560 251 0 0 0 145 0 0 0 20 0 28 0 3995118 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672667794816 139673293140570 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4754] ppid=4729 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4754/stat : 4754 (java) R 4729 4729 14782 0 -1 4202560 169 0 0 0 165 0 0 0 20 0 28 0 3995118 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672666742808 139672896500913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4755] ppid=4729 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4755/stat : 4755 (java) R 4729 4729 14782 0 -1 4202560 185 0 0 0 148 0 0 0 20 0 28 0 3995118 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672665689720 139672896500964 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4756] ppid=4729 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4756/stat : 4756 (java) R 4729 4729 14782 0 -1 4202560 82 0 0 0 150 0 0 0 20 0 28 0 3995118 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672664637496 139672896500786 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4757] ppid=4729 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4757/stat : 4757 (java) R 4729 4729 14782 0 -1 4202560 74 0 0 0 145 0 0 0 20 0 28 0 3995118 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672663585208 139672896500913 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4758] ppid=4729 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4758/stat : 4758 (java) R 4729 4729 14782 0 -1 4202560 213 0 0 0 165 0 0 0 20 0 28 0 3995118 14133010432 59116 33554432000 4194304 4196468 140727949716592 139672662532320 139673279186909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
Current children cumulated CPU time (s) 19.73
Current children cumulated vsize (KiB) 13811280
[startup+6.30152 s]
/proc/loadavg: 14.74 14.97 14.73 17/300 4758
/proc/meminfo: memFree=30643616/32770624 swapFree=5804/255612
################
# More data... #
################
[pid=4730/tid=4757] ppid=4729 vsize=13801768 CPUtime=217.64 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4757/stat : 4757 (java) R 4729 4729 14782 0 -1 4202560 456 0 0 0 21763 1 0 0 20 0 28 0 3995118 14133010432 104535 33554432000 4194304 4196468 140727949716592 139672663585224 139672896500727 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4758] ppid=4729 vsize=13801768 CPUtime=217.9 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4758/stat : 4758 (java) R 4729 4729 14782 0 -1 4202560 1011 0 0 0 21789 1 0 0 20 0 28 0 3995118 14133010432 104535 33554432000 4194304 4196468 140727949716592 139672662531824 139672898604017 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
Current children cumulated CPU time (s) 1753.35
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.89 15.61 15.08 17/299 5122
/proc/meminfo: memFree=29327004/32770624 swapFree=5804/256004
[pid=4729] ppid=4726 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4729/stat : 4729 (xcsp3-exec) S 4726 4729 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3995024 9740288 346 33554432000 4194304 5098028 140730109277744 140730109275848 139916277404284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33484800 140730109281423 140730109281632 140730109281632 140730109284331 0
/proc/4729/statm: 2378 346 289 221 0 87 0
[pid=4730] ppid=4729 vsize=13801768 CPUtime=2224.03 cores=0,2,4,6,8,10,12,14
/proc/4730/stat : 4730 (java) S 4729 4729 14782 0 -1 1077944320 75509 0 0 0 222026 377 0 0 20 0 28 0 3995025 14133010432 97274 33554432000 4194304 4196468 140727949716592 140727949699136 139673293119223 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
/proc/4730/statm: 3450442 97274 3291 1 0 3437675 0
[pid=4730/tid=4731] ppid=4729 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4731/stat : 4731 (java) S 4729 4729 14782 0 -1 1077944384 6881 0 0 0 85 6 0 0 20 0 28 0 3995025 14133010432 97274 33554432000 4194304 4196468 140727949716592 139673297360000 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4733] ppid=4729 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4733/stat : 4733 (java) S 4729 4729 14782 0 -1 1077944384 1207 0 0 0 62 20 0 0 20 0 28 0 3995026 14133010432 97274 33554432000 4194304 4196468 140727949716592 139673211599760 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4734] ppid=4729 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4734/stat : 4734 (java) S 4729 4729 14782 0 -1 1077944384 2337 0 0 0 62 20 0 0 20 0 28 0 3995026 14133010432 97274 33554432000 4194304 4196468 140727949716592 139673210546960 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4735] ppid=4729 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4735/stat : 4735 (java) S 4729 4729 14782 0 -1 1077944384 994 0 0 0 60 20 0 0 20 0 28 0 3995026 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672890109072 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4736] ppid=4729 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4736/stat : 4736 (java) S 4729 4729 14782 0 -1 1077944384 1849 0 0 0 60 21 0 0 20 0 28 0 3995026 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672889056272 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4737] ppid=4729 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4737/stat : 4737 (java) S 4729 4729 14782 0 -1 1077944384 1685 0 0 0 63 20 0 0 20 0 28 0 3995026 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672888002960 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4738] ppid=4729 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4738/stat : 4738 (java) S 4729 4729 14782 0 -1 1077944384 863 0 0 0 61 20 0 0 20 0 28 0 3995026 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672886950160 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4739] ppid=4729 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4739/stat : 4739 (java) S 4729 4729 14782 0 -1 1077944384 901 0 0 0 64 20 0 0 20 0 28 0 3995026 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672885897872 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4740] ppid=4729 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4740/stat : 4740 (java) S 4729 4729 14782 0 -1 1077944384 2195 0 0 0 62 20 0 0 20 0 28 0 3995026 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672884845072 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4741] ppid=4729 vsize=13801768 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4741/stat : 4741 (java) S 4729 4729 14782 0 -1 1077944384 5980 0 0 0 122 176 0 0 20 0 28 0 3995029 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672755354224 139673293130370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4742] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4742/stat : 4742 (java) S 4729 4729 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3995029 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672754300192 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4743] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4743/stat : 4743 (java) S 4729 4729 14782 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3995030 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672753247856 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4744] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4744/stat : 4744 (java) S 4729 4729 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3995033 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672752196176 139673293137819 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4745] ppid=4729 vsize=13801768 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4745/stat : 4745 (java) S 4729 4729 14782 0 -1 1077944384 10735 0 0 0 230 2 0 0 20 0 28 0 3995033 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672751143024 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4746] ppid=4729 vsize=13801768 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4746/stat : 4746 (java) S 4729 4729 14782 0 -1 1077944384 6996 0 0 0 246 2 0 0 20 0 28 0 3995033 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672750090224 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4747] ppid=4729 vsize=13801768 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4747/stat : 4747 (java) S 4729 4729 14782 0 -1 1077944384 8167 0 0 0 260 1 0 0 20 0 28 0 3995033 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672749037936 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4748] ppid=4729 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4748/stat : 4748 (java) S 4729 4729 14782 0 -1 1077944384 7447 0 0 0 95 1 0 0 20 0 28 0 3995033 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672747985136 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4749] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4749/stat : 4749 (java) S 4729 4729 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3995034 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672746933088 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4750] ppid=4729 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4750/stat : 4750 (java) S 4729 4729 14782 0 -1 1077944384 405 0 0 0 8 5 0 0 20 0 28 0 3995034 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672745880368 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4751] ppid=4729 vsize=13801768 CPUtime=275.49 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4751/stat : 4751 (java) R 4729 4729 14782 0 -1 4202560 3555 0 0 0 27547 2 0 0 20 0 28 0 3995118 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672669900136 139672896501005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4752] ppid=4729 vsize=13801768 CPUtime=275.26 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4752/stat : 4752 (java) R 4729 4729 14782 0 -1 4202560 395 0 0 0 27525 1 0 0 20 0 28 0 3995118 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672668848712 139672896501010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4753] ppid=4729 vsize=13801768 CPUtime=276.06 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4753/stat : 4753 (java) R 4729 4729 14782 0 -1 4202560 1417 0 0 0 27602 4 0 0 20 0 28 0 3995118 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672667794800 139672898603872 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4754] ppid=4729 vsize=13801768 CPUtime=275.14 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4754/stat : 4754 (java) R 4729 4729 14782 0 -1 4202560 6352 0 0 0 27509 5 0 0 20 0 28 0 3995118 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672666742648 139672898194294 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4755] ppid=4729 vsize=13801768 CPUtime=275.62 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4755/stat : 4755 (java) R 4729 4729 14782 0 -1 4202560 1759 0 0 0 27560 2 0 0 20 0 28 0 3995118 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672665689960 139672898603892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4756] ppid=4729 vsize=13801768 CPUtime=274.95 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4756/stat : 4756 (java) R 4729 4729 14782 0 -1 4202560 440 0 0 0 27494 1 0 0 20 0 28 0 3995118 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672664637512 139672896501095 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4757] ppid=4729 vsize=13801768 CPUtime=275.64 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4757/stat : 4757 (java) R 4729 4729 14782 0 -1 4202560 477 0 0 0 27563 1 0 0 20 0 28 0 3995118 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672663585304 139672896500579 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4758] ppid=4729 vsize=13801768 CPUtime=276.71 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4758/stat : 4758 (java) R 4729 4729 14782 0 -1 4202560 1130 0 0 0 27669 2 0 0 20 0 28 0 3995118 14133010432 97274 33554432000 4194304 4196468 140727949716592 139672662534672 139672898603899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
Current children cumulated CPU time (s) 2224.03
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+305.001 s]
/proc/loadavg: 15.93 15.64 15.11 17/299 5123
/proc/meminfo: memFree=29396928/32770624 swapFree=5804/256036
[pid=4729] ppid=4726 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4729/stat : 4729 (xcsp3-exec) S 4726 4729 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3995024 9740288 346 33554432000 4194304 5098028 140730109277744 140730109275848 139916277404284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33484800 140730109281423 140730109281632 140730109281632 140730109284331 0
/proc/4729/statm: 2378 346 289 221 0 87 0
[pid=4730] ppid=4729 vsize=13801768 CPUtime=2400.72 cores=0,2,4,6,8,10,12,14
/proc/4730/stat : 4730 (java) S 4729 4729 14782 0 -1 1077944320 77510 0 0 0 239648 424 0 0 20 0 28 0 3995025 14133010432 95833 33554432000 4194304 4196468 140727949716592 140727949699136 139673293119223 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
/proc/4730/statm: 3450442 95833 3291 1 0 3437675 0
[pid=4730/tid=4731] ppid=4729 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4731/stat : 4731 (java) S 4729 4729 14782 0 -1 1077944384 6881 0 0 0 85 6 0 0 20 0 28 0 3995025 14133010432 95833 33554432000 4194304 4196468 140727949716592 139673297360000 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4733] ppid=4729 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4733/stat : 4733 (java) S 4729 4729 14782 0 -1 1077944384 1250 0 0 0 69 20 0 0 20 0 28 0 3995026 14133010432 95833 33554432000 4194304 4196468 140727949716592 139673211599760 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4734] ppid=4729 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4734/stat : 4734 (java) S 4729 4729 14782 0 -1 1077944384 2379 0 0 0 68 20 0 0 20 0 28 0 3995026 14133010432 95833 33554432000 4194304 4196468 140727949716592 139673210546960 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4735] ppid=4729 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4735/stat : 4735 (java) S 4729 4729 14782 0 -1 1077944384 1031 0 0 0 67 21 0 0 20 0 28 0 3995026 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672890109072 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4736] ppid=4729 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4736/stat : 4736 (java) S 4729 4729 14782 0 -1 1077944384 1897 0 0 0 67 21 0 0 20 0 28 0 3995026 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672889056272 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4737] ppid=4729 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4737/stat : 4737 (java) S 4729 4729 14782 0 -1 1077944384 1739 0 0 0 69 20 0 0 20 0 28 0 3995026 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672888002960 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4738] ppid=4729 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4738/stat : 4738 (java) S 4729 4729 14782 0 -1 1077944384 885 0 0 0 67 20 0 0 20 0 28 0 3995026 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672886950160 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4739] ppid=4729 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4739/stat : 4739 (java) S 4729 4729 14782 0 -1 1077944384 950 0 0 0 71 21 0 0 20 0 28 0 3995026 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672885897872 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4740] ppid=4729 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4740/stat : 4740 (java) S 4729 4729 14782 0 -1 1077944384 2276 0 0 0 69 20 0 0 20 0 28 0 3995026 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672884845072 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4741] ppid=4729 vsize=13801768 CPUtime=3.64 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4741/stat : 4741 (java) S 4729 4729 14782 0 -1 1077944384 6108 0 0 0 144 220 0 0 20 0 28 0 3995029 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672755354224 139673293130370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4742] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4742/stat : 4742 (java) S 4729 4729 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3995029 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672754300192 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4743] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4743/stat : 4743 (java) S 4729 4729 14782 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3995030 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672753247856 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4744] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4744/stat : 4744 (java) S 4729 4729 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3995033 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672752196176 139673293137819 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4745] ppid=4729 vsize=13801768 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4745/stat : 4745 (java) S 4729 4729 14782 0 -1 1077944384 10737 0 0 0 230 2 0 0 20 0 28 0 3995033 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672751143024 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4746] ppid=4729 vsize=13801768 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4746/stat : 4746 (java) S 4729 4729 14782 0 -1 1077944384 8320 0 0 0 251 2 0 0 20 0 28 0 3995033 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672750090224 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4747] ppid=4729 vsize=13801768 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4747/stat : 4747 (java) S 4729 4729 14782 0 -1 1077944384 8169 0 0 0 260 1 0 0 20 0 28 0 3995033 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672749037936 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4748] ppid=4729 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4748/stat : 4748 (java) S 4729 4729 14782 0 -1 1077944384 7449 0 0 0 95 1 0 0 20 0 28 0 3995033 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672747985136 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4749] ppid=4729 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4749/stat : 4749 (java) S 4729 4729 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3995034 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672746933088 139673293129429 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4750] ppid=4729 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4750/stat : 4750 (java) S 4729 4729 14782 0 -1 1077944384 409 0 0 0 9 5 0 0 20 0 28 0 3995034 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672745880368 139673293130370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4751] ppid=4729 vsize=13801768 CPUtime=297.37 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4751/stat : 4751 (java) R 4729 4729 14782 0 -1 4202560 3600 0 0 0 29735 2 0 0 20 0 28 0 3995118 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672669902832 139672896500722 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4752] ppid=4729 vsize=13801768 CPUtime=297.05 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4752/stat : 4752 (java) R 4729 4729 14782 0 -1 4202560 406 0 0 0 29703 2 0 0 20 0 28 0 3995118 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672668848712 139672896500840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4753] ppid=4729 vsize=13801768 CPUtime=298.15 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4753/stat : 4753 (java) R 4729 4729 14782 0 -1 4202560 1432 0 0 0 29811 4 0 0 20 0 28 0 3995118 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672667795048 139672898603915 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4754] ppid=4729 vsize=13801768 CPUtime=297.04 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4754/stat : 4754 (java) R 4729 4729 14782 0 -1 4202560 6387 0 0 0 29699 5 0 0 20 0 28 0 3995118 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672666742648 139672897056086 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4755] ppid=4729 vsize=13801768 CPUtime=297.56 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4755/stat : 4755 (java) R 4729 4729 14782 0 -1 4202560 1773 0 0 0 29753 3 0 0 20 0 28 0 3995118 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672665690824 139672896500860 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4756] ppid=4729 vsize=13801768 CPUtime=296.8 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4756/stat : 4756 (java) R 4729 4729 14782 0 -1 4202560 456 0 0 0 29679 1 0 0 20 0 28 0 3995118 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672664637512 139672896500913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4757] ppid=4729 vsize=13801768 CPUtime=297.54 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4757/stat : 4757 (java) R 4729 4729 14782 0 -1 4202560 491 0 0 0 29752 2 0 0 20 0 28 0 3995118 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672663585224 139672896500815 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
[pid=4730/tid=4758] ppid=4729 vsize=13801768 CPUtime=298.79 cores=0,2,4,6,8,10,12,14
/proc/4730/task/4758/stat : 4758 (java) R 4729 4729 14782 0 -1 4202560 1143 0 0 0 29877 2 0 0 20 0 28 0 3995118 14133010432 95833 33554432000 4194304 4196468 140727949716592 139672662531824 139672898604058 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7438336 140727949722812 140727949722988 140727949722988 140727949725647 0
Current children cumulated CPU time (s) 2400.72
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 4730 sig 9
??? kill 4729 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 4729 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2081
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1633
# CPU time returned by wait4() is 0.003714
# while last known CPU time is 2400.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 305.012
CPU time (s): 2400.72
CPU user time (s): 2396.48
CPU system time (s): 4.24
CPU usage (%): 787.091
Max. virtual memory (cumulated for all children) (KiB): 13813364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002081
system time used= 0.001633
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.60901 second user time and 4.21904 second system time
The end