runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15262 MiB free)
memory of node 1: 16384 MiB (14888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274410-1502862209/watcher-4274410-1502862209 -o /tmp/evaluation-result-4274410-1502862209/solver-4274410-1502862209 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502837205-2589 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 663465925 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274410-1502862209.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5678, runsolver pid=5675
Current StackSize limit: 8192 KiB
[startup+0.109728 s]*
/proc/loadavg: 1.15 1.29 1.33 4/215 5693
/proc/meminfo: memFree=30855012/32770624 swapFree=67108860/67108860
[pid=5678] ppid=5675 vsize=13980164 memory=34232 CPUtime=0.14 cores=0,2,4,6
/proc/5678/stat : 5678 (java) S 5675 5678 2558 0 -1 1077944320 8503 0 0 0 13 1 0 0 20 0 15 0 119308624 14315687936 8558 33554432000 4194304 4196468 140724994041152 140724994023696 139832653606647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
/proc/5678/statm: 3495041 8558 3492 1 0 3482761 0
[pid=5678/tid=5680] ppid=5675 vsize=13980164 memory=-8825472478678447296 CPUtime=0.1 cores=0,2,4,6
/proc/5678/task/5680/stat : 5680 (java) R 5675 5678 2558 0 -1 4202560 6299 0 0 0 9 1 0 0 20 0 15 0 119308625 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832657802944 139832637687134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5681] ppid=5675 vsize=13980164 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5681/stat : 5681 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832606226832 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5682] ppid=5675 vsize=13980164 memory=140506108937856 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5682/stat : 5682 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832605174032 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5683] ppid=5675 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5683/stat : 5683 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832604121744 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5684] ppid=5675 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5684/stat : 5684 (java) S 5675 5678 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119308625 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832603068944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5685] ppid=5675 vsize=13980164 memory=140506108937856 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5685/stat : 5685 (java) S 5675 5678 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119308627 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832195852912 139832653617794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5686] ppid=5675 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5686/stat : 5686 (java) S 5675 5678 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119308627 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832194798880 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5687] ppid=5675 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5687/stat : 5687 (java) S 5675 5678 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119308627 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832193746544 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5688] ppid=5675 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5688/stat : 5688 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832192694864 139832653625243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5689] ppid=5675 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5689/stat : 5689 (java) S 5675 5678 2558 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 119308630 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832191641712 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5690] ppid=5675 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5690/stat : 5690 (java) S 5675 5678 2558 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 119308630 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832122664944 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5691] ppid=5675 vsize=13980164 memory=140506108937856 CPUtime=0.02 cores=0,2,4,6
/proc/5678/task/5691/stat : 5691 (java) S 5675 5678 2558 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 119308630 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832121612656 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5692] ppid=5675 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5692/stat : 5692 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832120560096 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5693] ppid=5675 vsize=13980164 memory=140506108937856 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5693/stat : 5693 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308630 14315687936 8558 33554432000 4194304 4196468 140724994041152 139832119507888 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 34232 KiB
[startup+0.211948 s]*
/proc/loadavg: 1.15 1.29 1.33 3/215 5693
/proc/meminfo: memFree=30847520/32770624 swapFree=67108860/67108860
[pid=5678] ppid=5675 vsize=13980164 memory=42828 CPUtime=0.3 cores=0,2,4,6
/proc/5678/stat : 5678 (java) S 5675 5678 2558 0 -1 1077944320 9298 0 0 0 28 2 0 0 20 0 15 0 119308624 14315687936 10707 33554432000 4194304 4196468 140724994041152 140724994023696 139832653606647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
/proc/5678/statm: 3495041 10707 3647 1 0 3482761 0
[pid=5678/tid=5680] ppid=5675 vsize=13980164 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/5678/task/5680/stat : 5680 (java) R 5675 5678 2558 0 -1 4202560 6895 0 0 0 18 2 0 0 20 0 15 0 119308625 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832657806848 139832637687164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5681] ppid=5675 vsize=13980164 memory=345 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5681/stat : 5681 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832606226832 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5682] ppid=5675 vsize=13980164 memory=140506108943681 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5682/stat : 5682 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832605174032 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5683] ppid=5675 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5683/stat : 5683 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832604121744 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5684] ppid=5675 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5684/stat : 5684 (java) S 5675 5678 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119308625 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832603068944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5685] ppid=5675 vsize=13980164 memory=140506108937856 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5685/stat : 5685 (java) S 5675 5678 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119308627 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832195852912 139832653617794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5686] ppid=5675 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5686/stat : 5686 (java) S 5675 5678 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119308627 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832194798880 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5687] ppid=5675 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5687/stat : 5687 (java) S 5675 5678 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119308627 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832193746544 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5688] ppid=5675 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5688/stat : 5688 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832192694864 139832653625243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5689] ppid=5675 vsize=13980164 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5678/task/5689/stat : 5689 (java) R 5675 5678 2558 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 119308630 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832191641712 139832653617794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5690] ppid=5675 vsize=13980164 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5678/task/5690/stat : 5690 (java) R 5675 5678 2558 0 -1 4202560 174 0 0 0 1 0 0 0 20 0 15 0 119308630 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832122645960 139832637522079 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5691] ppid=5675 vsize=13980164 memory=140506108937856 CPUtime=0.05 cores=0,2,4,6
/proc/5678/task/5691/stat : 5691 (java) R 5675 5678 2558 0 -1 4202560 371 0 0 0 5 0 0 0 20 0 15 0 119308630 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832121612656 139832653618582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5692] ppid=5675 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5692/stat : 5692 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832120560096 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5693] ppid=5675 vsize=13980164 memory=140506108937856 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5693/stat : 5693 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308630 14315687936 10707 33554432000 4194304 4196468 140724994041152 139832119507888 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 42828 KiB
[startup+0.310116 s]*
/proc/loadavg: 1.15 1.29 1.33 3/215 5693
/proc/meminfo: memFree=30839140/32770624 swapFree=67108860/67108860
[pid=5678] ppid=5675 vsize=13980184 memory=50904 CPUtime=0.49 cores=0,2,4,6
/proc/5678/stat : 5678 (java) S 5675 5678 2558 0 -1 1077944320 10464 0 0 0 46 3 0 0 20 0 15 0 119308624 14315708416 12726 33554432000 4194304 4196468 140724994041152 140724994023696 139832653606647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
/proc/5678/statm: 3495046 12726 3714 1 0 3482761 0
[pid=5678/tid=5680] ppid=5675 vsize=13980184 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/5678/task/5680/stat : 5680 (java) R 5675 5678 2558 0 -1 4202560 7583 0 0 0 27 2 0 0 20 0 15 0 119308625 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832657830944 139832653618582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5681] ppid=5675 vsize=13980184 memory=4294976291 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5681/stat : 5681 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832606226832 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5682] ppid=5675 vsize=13980184 memory=140506109477812 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5682/stat : 5682 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832605174032 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5683] ppid=5675 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5683/stat : 5683 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832604121744 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5684] ppid=5675 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5684/stat : 5684 (java) S 5675 5678 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119308625 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832603068944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5685] ppid=5675 vsize=13980184 memory=140506108937856 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5685/stat : 5685 (java) S 5675 5678 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119308627 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832195852912 139832653617794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5686] ppid=5675 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5686/stat : 5686 (java) S 5675 5678 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119308627 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832194798880 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5687] ppid=5675 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5687/stat : 5687 (java) S 5675 5678 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119308627 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832193746544 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5688] ppid=5675 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5688/stat : 5688 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832192694864 139832653625243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5689] ppid=5675 vsize=13980184 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5678/task/5689/stat : 5689 (java) S 5675 5678 2558 0 -1 1077944384 709 0 0 0 5 0 0 0 20 0 15 0 119308630 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832191641712 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5690] ppid=5675 vsize=13980184 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/5678/task/5690/stat : 5690 (java) S 5675 5678 2558 0 -1 1077944384 406 0 0 0 4 0 0 0 20 0 15 0 119308630 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832122664944 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5691] ppid=5675 vsize=13980184 memory=140506108937856 CPUtime=0.08 cores=0,2,4,6
/proc/5678/task/5691/stat : 5691 (java) S 5675 5678 2558 0 -1 1077944384 388 0 0 0 8 0 0 0 20 0 15 0 119308630 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832121612656 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5692] ppid=5675 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5692/stat : 5692 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832120560096 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5693] ppid=5675 vsize=13980184 memory=140506108937856 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5693/stat : 5693 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308630 14315708416 12726 33554432000 4194304 4196468 140724994041152 139832119507888 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50904 KiB
[startup+0.700836 s]
/proc/loadavg: 1.15 1.29 1.33 6/215 5693
/proc/meminfo: memFree=30820776/32770624 swapFree=67108860/67108860
[pid=5678] ppid=5675 vsize=13982232 memory=124404 CPUtime=1.46 cores=0,2,4,6
/proc/5678/stat : 5678 (java) S 5675 5678 2558 0 -1 1077944320 13513 0 0 0 141 5 0 0 20 0 15 0 119308624 14317805568 31101 33554432000 4194304 4196468 140724994041152 140724994023696 139832653606647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
/proc/5678/statm: 3495558 31101 3765 1 0 3483273 0
[pid=5678/tid=5680] ppid=5675 vsize=13982232 memory=164922851862932 CPUtime=0.68 cores=0,2,4,6
/proc/5678/task/5680/stat : 5680 (java) R 5675 5678 2558 0 -1 4202560 8309 0 0 0 64 4 0 0 20 0 15 0 119308625 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832657840448 139832273758820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5681] ppid=5675 vsize=13982232 memory=524751 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5681/stat : 5681 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832606226832 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5682] ppid=5675 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5682/stat : 5682 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832605174032 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5683] ppid=5675 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5683/stat : 5683 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308625 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832604121744 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5684] ppid=5675 vsize=13982232 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5684/stat : 5684 (java) S 5675 5678 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119308625 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832603068944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5685] ppid=5675 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5685/stat : 5685 (java) S 5675 5678 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119308627 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832195852912 139832653617794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5686] ppid=5675 vsize=13982232 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5686/stat : 5686 (java) S 5675 5678 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119308627 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832194798880 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5687] ppid=5675 vsize=13982232 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5687/stat : 5687 (java) S 5675 5678 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119308627 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832193746544 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5688] ppid=5675 vsize=13982232 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5688/stat : 5688 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832192694864 139832653625243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5689] ppid=5675 vsize=13982232 memory=6944656575208382560 CPUtime=0.28 cores=0,2,4,6
/proc/5678/task/5689/stat : 5689 (java) R 5675 5678 2558 0 -1 4202560 1451 0 0 0 28 0 0 0 20 0 15 0 119308630 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832191621712 139832631201424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5690] ppid=5675 vsize=13982232 memory=6944656592455360604 CPUtime=0.26 cores=0,2,4,6
/proc/5678/task/5690/stat : 5690 (java) R 5675 5678 2558 0 -1 4202560 1369 0 0 0 26 0 0 0 20 0 15 0 119308630 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832122650848 139832638714459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5691] ppid=5675 vsize=13982232 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/5678/task/5691/stat : 5691 (java) S 5675 5678 2558 0 -1 1077944384 1003 0 0 0 22 0 0 0 20 0 15 0 119308630 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832121612656 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5692] ppid=5675 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5692/stat : 5692 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832120560096 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5693] ppid=5675 vsize=13982232 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5693/stat : 5693 (java) S 5675 5678 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119308630 14317805568 31101 33554432000 4194304 4196468 140724994041152 139832119507888 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 124404 KiB
[startup+1.50073 s]
/proc/loadavg: 1.15 1.29 1.33 5/215 5693
/proc/meminfo: memFree=30725404/32770624 swapFree=67108860/67108860
[pid=5678] ppid=5675 vsize=13984280 memory=321260 CPUtime=3.27 cores=0,2,4,6
/proc/5678/stat : 5678 (java) S 5675 5678 2558 0 -1 1077944320 21688 0 0 0 311 16 0 0 20 0 15 0 119308624 14319902720 80315 33554432000 4194304 4196468 140724994041152 140724994023696 139832653606647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
/proc/5678/statm: 3496070 80315 3807 1 0 3483785 0
[pid=5678/tid=5680] ppid=5675 vsize=13984280 memory=9220 CPUtime=1.43 cores=0,2,4,6
/proc/5678/task/5680/stat : 5680 (java) R 5675 5678 2558 0 -1 4202560 11306 0 0 0 136 7 0 0 20 0 15 0 119308625 14319902720 80315 33554432000 4194304 4196468 140724994041152 139832657839400 139832278301155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5681] ppid=5675 vsize=13984280 memory=8112282956445269571 CPUtime=0.02 cores=0,2,4,6
/proc/5678/task/5681/stat : 5681 (java) S 5675 5678 2558 0 -1 1077944384 95 0 0 0 1 1 0 0 20 0 15 0 119308625 14319902720 80315 33554432000 4194304 4196468 140724994041152 139832606226832 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5682] ppid=5675 vsize=13984280 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5678/task/5682/stat : 5682 (java) S 5675 5678 2558 0 -1 1077944384 347 0 0 0 1 1 0 0 20 0 15 0 119308625 14319902720 80315 33554432000 4194304 4196468 140724994041152 139832605174032 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5683] ppid=5675 vsize=13984280 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5678/task/5683/stat : 5683 (java) S 5675 5678 2558 0 -1 1077944384 392 0 0 0 2 1 0 0 20 0 15 0 119308625 14319902720 80315 33554432000 4194304 4196468 140724994041152 139832604121744 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5684] ppid=5675 vsize=13984280 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5678/task/5684/stat : 5684 (java) S 5675 5678 2558 0 -1 1077944384 188 0 0 0 1 1 0 0 20 0 15 0 119308625 14319902720 80315 33554432000 4194304 4196468 140724994041152 139832603068944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5685] ppid=5675 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5685/stat : 5685 (java) S 5675 5678 2558 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 119308627 14319902720 80315 33554432000 4194304 4196468 140724994041152 139832195852912 139832653617794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
################
# More data... #
################
/proc/5678/task/5680/stat : 5680 (java) R 5675 5678 2558 0 -1 4202560 129119 0 0 0 235888 80 0 0 20 0 15 0 119308625 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832657845136 139832279454843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5681] ppid=5675 vsize=13986328 memory=0 CPUtime=14.48 cores=0,2,4,6
/proc/5678/task/5681/stat : 5681 (java) S 5675 5678 2558 0 -1 1077944384 24880 0 0 0 1401 47 0 0 20 0 15 0 119308625 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832606226832 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5682] ppid=5675 vsize=13986328 memory=2218216 CPUtime=14.56 cores=0,2,4,6
/proc/5678/task/5682/stat : 5682 (java) S 5675 5678 2558 0 -1 1077944384 29433 0 0 0 1411 45 0 0 20 0 15 0 119308625 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832605174032 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5683] ppid=5675 vsize=13986328 memory=2216676 CPUtime=14.54 cores=0,2,4,6
/proc/5678/task/5683/stat : 5683 (java) S 5675 5678 2558 0 -1 1077944384 32594 0 0 0 1409 45 0 0 20 0 15 0 119308625 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832604121744 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5684] ppid=5675 vsize=13986328 memory=2214624 CPUtime=14.53 cores=0,2,4,6
/proc/5678/task/5684/stat : 5684 (java) S 5675 5678 2558 0 -1 1077944384 34147 0 0 0 1405 48 0 0 20 0 15 0 119308625 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832603068944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5685] ppid=5675 vsize=13986328 memory=2214112 CPUtime=5.72 cores=0,2,4,6
/proc/5678/task/5685/stat : 5685 (java) S 5675 5678 2558 0 -1 1077944384 37286 0 0 0 521 51 0 0 20 0 15 0 119308627 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832195852912 139832653617794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5686] ppid=5675 vsize=13986328 memory=2214112 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5686/stat : 5686 (java) S 5675 5678 2558 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 119308627 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832194798944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5687] ppid=5675 vsize=13986328 memory=2214112 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5687/stat : 5687 (java) S 5675 5678 2558 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 119308627 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832193746560 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5688] ppid=5675 vsize=13986328 memory=2214112 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5688/stat : 5688 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832192694864 139832653625243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5689] ppid=5675 vsize=13986328 memory=2213600 CPUtime=3.44 cores=0,2,4,6
/proc/5678/task/5689/stat : 5689 (java) S 5675 5678 2558 0 -1 1077944384 43071 0 0 0 340 4 0 0 20 0 15 0 119308630 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832191641712 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5690] ppid=5675 vsize=13986328 memory=2213084 CPUtime=3.21 cores=0,2,4,6
/proc/5678/task/5690/stat : 5690 (java) S 5675 5678 2558 0 -1 1077944384 44952 0 0 0 317 4 0 0 20 0 15 0 119308630 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832122664944 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5691] ppid=5675 vsize=13986328 memory=164 CPUtime=0.93 cores=0,2,4,6
/proc/5678/task/5691/stat : 5691 (java) S 5675 5678 2558 0 -1 1077944384 24742 0 0 0 90 3 0 0 20 0 15 0 119308630 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832121612656 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5692] ppid=5675 vsize=13986328 memory=8636 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5692/stat : 5692 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832120560096 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5693] ppid=5675 vsize=13986328 memory=2214112 CPUtime=1.38 cores=0,2,4,6
/proc/5678/task/5693/stat : 5693 (java) S 5675 5678 2558 0 -1 1077944384 2876 0 0 0 70 68 0 0 20 0 15 0 119308630 14321999872 553143 33554432000 4194304 4196468 140724994041152 139832119507888 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 54 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
Current children cumulated CPU time: 2432.56 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 2212572 KiB
[startup+2442.3 s]
/proc/loadavg: 1.19 1.25 1.32 3/215 5869
/proc/meminfo: memFree=26979860/32770624 swapFree=67108860/67108860
[pid=5678] ppid=5675 vsize=13986328 memory=2208980 CPUtime=2493.63 cores=0,2,4,6
/proc/5678/stat : 5678 (java) S 5675 5678 2558 0 -1 1077944320 407595 0 0 0 248998 365 0 0 20 0 15 0 119308624 14321999872 552245 33554432000 4194304 4196468 140724994041152 140724994023696 139832653606647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
/proc/5678/statm: 3496582 552245 3865 1 0 3484297 0
[pid=5678/tid=5680] ppid=5675 vsize=13986328 memory=2208980 CPUtime=2419.07 cores=0,2,4,6
/proc/5678/task/5680/stat : 5680 (java) R 5675 5678 2558 0 -1 4202560 130249 0 0 0 241826 81 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832657845024 139832279185651 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5681] ppid=5675 vsize=13986328 memory=2210520 CPUtime=14.84 cores=0,2,4,6
/proc/5678/task/5681/stat : 5681 (java) S 5675 5678 2558 0 -1 1077944384 25382 0 0 0 1436 48 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832606226832 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5682] ppid=5675 vsize=13986328 memory=2208980 CPUtime=14.93 cores=0,2,4,6
/proc/5678/task/5682/stat : 5682 (java) S 5675 5678 2558 0 -1 1077944384 29683 0 0 0 1447 46 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832605174032 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5683] ppid=5675 vsize=13986328 memory=2210520 CPUtime=14.9 cores=0,2,4,6
/proc/5678/task/5683/stat : 5683 (java) S 5675 5678 2558 0 -1 1077944384 32953 0 0 0 1445 45 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832604121744 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5684] ppid=5675 vsize=13986328 memory=0 CPUtime=14.89 cores=0,2,4,6
/proc/5678/task/5684/stat : 5684 (java) S 5675 5678 2558 0 -1 1077944384 34522 0 0 0 1440 49 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832603068944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5685] ppid=5675 vsize=13986328 memory=2218216 CPUtime=5.9 cores=0,2,4,6
/proc/5678/task/5685/stat : 5685 (java) S 5675 5678 2558 0 -1 1077944384 37652 0 0 0 537 53 0 0 20 0 15 0 119308627 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832195852912 139832653617794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5686] ppid=5675 vsize=13986328 memory=2210520 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5686/stat : 5686 (java) S 5675 5678 2558 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 119308627 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832194798944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5687] ppid=5675 vsize=13986328 memory=2210520 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5687/stat : 5687 (java) S 5675 5678 2558 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 119308627 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832193746560 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5688] ppid=5675 vsize=13986328 memory=2216676 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5688/stat : 5688 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832192694864 139832653625243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5689] ppid=5675 vsize=13986328 memory=2210520 CPUtime=3.44 cores=0,2,4,6
/proc/5678/task/5689/stat : 5689 (java) S 5675 5678 2558 0 -1 1077944384 43075 0 0 0 340 4 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832191641712 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5690] ppid=5675 vsize=13986328 memory=2210520 CPUtime=3.21 cores=0,2,4,6
/proc/5678/task/5690/stat : 5690 (java) S 5675 5678 2558 0 -1 1077944384 44956 0 0 0 317 4 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832122664944 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5691] ppid=5675 vsize=13986328 memory=4132 CPUtime=0.93 cores=0,2,4,6
/proc/5678/task/5691/stat : 5691 (java) S 5675 5678 2558 0 -1 1077944384 24746 0 0 0 90 3 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832121612656 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5692] ppid=5675 vsize=13986328 memory=2208980 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5692/stat : 5692 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832120560096 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5693] ppid=5675 vsize=13986328 memory=2208980 CPUtime=1.41 cores=0,2,4,6
/proc/5678/task/5693/stat : 5693 (java) S 5675 5678 2558 0 -1 1077944384 2895 0 0 0 71 70 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832119507888 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 54 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
Current children cumulated CPU time: 2493.63 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 2208980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.3 s]
/proc/loadavg: 1.49 1.31 1.33 3/216 5878
/proc/meminfo: memFree=26989072/32770624 swapFree=67108860/67108860
[pid=5678] ppid=5675 vsize=13986328 memory=2208980 CPUtime=2520.04 cores=0,2,4,6
/proc/5678/stat : 5678 (java) S 5675 5678 2558 0 -1 1077944320 408780 0 0 0 251637 367 0 0 20 0 15 0 119308624 14321999872 552245 33554432000 4194304 4196468 140724994041152 140724994023696 139832653606647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
/proc/5678/statm: 3496582 552245 3865 1 0 3484297 0
[pid=5678/tid=5680] ppid=5675 vsize=13986328 memory=2208980 CPUtime=2444.81 cores=0,2,4,6
/proc/5678/task/5680/stat : 5680 (java) R 5675 5678 2558 0 -1 4202560 130782 0 0 0 244400 81 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832657845136 139832279454576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5681] ppid=5675 vsize=13986328 memory=4132 CPUtime=14.98 cores=0,2,4,6
/proc/5678/task/5681/stat : 5681 (java) S 5675 5678 2558 0 -1 1077944384 25537 0 0 0 1450 48 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832606226832 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5682] ppid=5675 vsize=13986328 memory=2208980 CPUtime=15.07 cores=0,2,4,6
/proc/5678/task/5682/stat : 5682 (java) S 5675 5678 2558 0 -1 1077944384 29765 0 0 0 1461 46 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832605174032 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5683] ppid=5675 vsize=13986328 memory=2210520 CPUtime=15.06 cores=0,2,4,6
/proc/5678/task/5683/stat : 5683 (java) S 5675 5678 2558 0 -1 1077944384 33125 0 0 0 1460 46 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832604121744 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5684] ppid=5675 vsize=13986328 memory=2208980 CPUtime=15.03 cores=0,2,4,6
/proc/5678/task/5684/stat : 5684 (java) S 5675 5678 2558 0 -1 1077944384 34567 0 0 0 1453 50 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832603068944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5685] ppid=5675 vsize=13986328 memory=2208980 CPUtime=5.97 cores=0,2,4,6
/proc/5678/task/5685/stat : 5685 (java) S 5675 5678 2558 0 -1 1077944384 37832 0 0 0 544 53 0 0 20 0 15 0 119308627 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832195852912 139832653617794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5686] ppid=5675 vsize=13986328 memory=2208980 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5686/stat : 5686 (java) S 5675 5678 2558 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 119308627 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832194798944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5687] ppid=5675 vsize=13986328 memory=2208980 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5687/stat : 5687 (java) S 5675 5678 2558 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 119308627 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832193746560 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5688] ppid=5675 vsize=13986328 memory=131 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5688/stat : 5688 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832192694864 139832653625243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5689] ppid=5675 vsize=13986328 memory=0 CPUtime=3.44 cores=0,2,4,6
/proc/5678/task/5689/stat : 5689 (java) S 5675 5678 2558 0 -1 1077944384 43077 0 0 0 340 4 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832191641712 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5690] ppid=5675 vsize=13986328 memory=2208980 CPUtime=3.21 cores=0,2,4,6
/proc/5678/task/5690/stat : 5690 (java) S 5675 5678 2558 0 -1 1077944384 44958 0 0 0 317 4 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832122664944 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5691] ppid=5675 vsize=13986328 memory=2208980 CPUtime=0.93 cores=0,2,4,6
/proc/5678/task/5691/stat : 5691 (java) S 5675 5678 2558 0 -1 1077944384 24748 0 0 0 90 3 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832121612656 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5692] ppid=5675 vsize=13986328 memory=2208980 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5692/stat : 5692 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832120560096 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5693] ppid=5675 vsize=13986328 memory=2208980 CPUtime=1.43 cores=0,2,4,6
/proc/5678/task/5693/stat : 5693 (java) S 5675 5678 2558 0 -1 1077944384 2907 0 0 0 72 71 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832119507888 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 54 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 2208980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.32 s]
# the end of solver process 5678 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.38 s, system=3.68566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.3 s]
/proc/loadavg: 1.49 1.31 1.33 3/216 5878
/proc/meminfo: memFree=26989072/32770624 swapFree=67108860/67108860
[pid=5678] ppid=5675 vsize=13986328 memory=2208980 CPUtime=2520.04 cores=0,2,4,6
/proc/5678/stat : 5678 (java) S 5675 5678 2558 0 -1 1077944320 408780 0 0 0 251637 367 0 0 20 0 15 0 119308624 14321999872 552245 33554432000 4194304 4196468 140724994041152 140724994023696 139832653606647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
/proc/5678/statm: 3496582 552245 3865 1 0 3484297 0
[pid=5678/tid=5680] ppid=5675 vsize=13986328 memory=2208980 CPUtime=2444.81 cores=0,2,4,6
/proc/5678/task/5680/stat : 5680 (java) R 5675 5678 2558 0 -1 4202560 130782 0 0 0 244400 81 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832657845136 139832279454576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5681] ppid=5675 vsize=13986328 memory=4132 CPUtime=14.98 cores=0,2,4,6
/proc/5678/task/5681/stat : 5681 (java) S 5675 5678 2558 0 -1 1077944384 25537 0 0 0 1450 48 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832606226832 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5682] ppid=5675 vsize=13986328 memory=2208980 CPUtime=15.07 cores=0,2,4,6
/proc/5678/task/5682/stat : 5682 (java) S 5675 5678 2558 0 -1 1077944384 29765 0 0 0 1461 46 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832605174032 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5683] ppid=5675 vsize=13986328 memory=2210520 CPUtime=15.06 cores=0,2,4,6
/proc/5678/task/5683/stat : 5683 (java) S 5675 5678 2558 0 -1 1077944384 33125 0 0 0 1460 46 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832604121744 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5684] ppid=5675 vsize=13986328 memory=2208980 CPUtime=15.03 cores=0,2,4,6
/proc/5678/task/5684/stat : 5684 (java) S 5675 5678 2558 0 -1 1077944384 34567 0 0 0 1453 50 0 0 20 0 15 0 119308625 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832603068944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5685] ppid=5675 vsize=13986328 memory=2208980 CPUtime=5.97 cores=0,2,4,6
/proc/5678/task/5685/stat : 5685 (java) S 5675 5678 2558 0 -1 1077944384 37832 0 0 0 544 53 0 0 20 0 15 0 119308627 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832195852912 139832653617794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5686] ppid=5675 vsize=13986328 memory=2208980 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5686/stat : 5686 (java) S 5675 5678 2558 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 119308627 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832194798944 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5687] ppid=5675 vsize=13986328 memory=2208980 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5687/stat : 5687 (java) S 5675 5678 2558 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 119308627 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832193746560 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5688] ppid=5675 vsize=13986328 memory=131 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5688/stat : 5688 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832192694864 139832653625243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5689] ppid=5675 vsize=13986328 memory=0 CPUtime=3.44 cores=0,2,4,6
/proc/5678/task/5689/stat : 5689 (java) S 5675 5678 2558 0 -1 1077944384 43077 0 0 0 340 4 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832191641712 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5690] ppid=5675 vsize=13986328 memory=2208980 CPUtime=3.21 cores=0,2,4,6
/proc/5678/task/5690/stat : 5690 (java) S 5675 5678 2558 0 -1 1077944384 44958 0 0 0 317 4 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832122664944 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5691] ppid=5675 vsize=13986328 memory=2208980 CPUtime=0.93 cores=0,2,4,6
/proc/5678/task/5691/stat : 5691 (java) S 5675 5678 2558 0 -1 1077944384 24748 0 0 0 90 3 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832121612656 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5692] ppid=5675 vsize=13986328 memory=2208980 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5692/stat : 5692 (java) S 5675 5678 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832120560096 139832653616853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
[pid=5678/tid=5693] ppid=5675 vsize=13986328 memory=2208980 CPUtime=1.43 cores=0,2,4,6
/proc/5678/task/5693/stat : 5693 (java) S 5675 5678 2558 0 -1 1077944384 2907 0 0 0 72 71 0 0 20 0 15 0 119308630 14321999872 552245 33554432000 4194304 4196468 140724994041152 139832119507888 139832653617794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 54 0 0 6293624 6294260 13176832 140724994045033 140724994045215 140724994045215 140724994047951 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 2208980 KiB
Child status: 143
Real time (s): 2468.32
CPU time (s): 2520.07
CPU user time (s): 2516.38
CPU system time (s): 3.68566
CPU usage (%): 102.097
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 3847240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.38
system time used= 3.68566
maximum resident set size= 3848824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194130
involuntary context switches= 7525
# summary of solver processes directly reported to runsolver:
# pid: 5678
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.38
# total CPU system time (s): 3.68566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8508 second user time and 23.6112 second system time
The end