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 (12553 MiB free)
memory of node 1: 16384 MiB (14750 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301256-1532877146/watcher-4301256-1532877146 -o /tmp/evaluation-result-4301256-1532877146/solver-4301256-1532877146 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532875965-20369 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301256-1532877146.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB
solver pid=21500, runsolver pid=21497
[startup+0.100122 s]*
/proc/loadavg: 3.11 2.68 2.48 4/217 21515
/proc/meminfo: memFree=27938692/32770624 swapFree=67108792/67108860
[pid=21500] ppid=21497 vsize=10659012 memory=31112 CPUtime=0.12 cores=1,3,5,7
/proc/21500/stat : 21500 (java) S 21497 21500 16915 0 -1 1077944320 6402 0 0 0 11 1 0 0 20 0 15 0 105277843 10914828288 7778 33554432000 4194304 4196468 140725279775104 140725279757648 140031635218167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
/proc/21500/statm: 2664753 7778 2841 1 0 2627263 0
[pid=21500/tid=21502] ppid=21497 vsize=10659012 memory=-8701690554792318082 CPUtime=0.09 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (java) R 21497 21500 16915 0 -1 4202560 4248 0 0 0 8 1 0 0 20 0 15 0 105277843 10914828288 7778 33554432000 4194304 4196468 140725279775104 140031639432160 140031635240093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21503] ppid=21497 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21503/stat : 21503 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277844 10914828288 7778 33554432000 4194304 4196468 140725279775104 140031571909264 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21504] ppid=21497 vsize=10659012 memory=140253597898368 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21504/stat : 21504 (java) S 21497 21500 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105277844 10914828288 7778 33554432000 4194304 4196468 140725279775104 140031240825360 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21505] ppid=21497 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21505/stat : 21505 (java) S 21497 21500 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105277844 10914828288 7778 33554432000 4194304 4196468 140725279775104 140031239772560 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21506] ppid=21497 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277844 10914828288 7778 33554432000 4194304 4196468 140725279775104 140031238719760 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21507] ppid=21497 vsize=10659012 memory=140253597898368 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21497 21500 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105277845 10914828288 7778 33554432000 4194304 4196468 140725279775104 140030872681328 140031635229314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21508] ppid=21497 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21508/stat : 21508 (java) S 21497 21500 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105277846 10914828288 7778 33554432000 4194304 4196468 140725279775104 140030871627296 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21509] ppid=21497 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21509/stat : 21509 (java) S 21497 21500 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105277846 10914828288 7778 33554432000 4194304 4196468 140725279775104 140030870574448 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21510] ppid=21497 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21510/stat : 21510 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105277848 10914828288 7778 33554432000 4194304 4196468 140725279775104 140030869522768 140031635236763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21511] ppid=21497 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21511/stat : 21511 (java) S 21497 21500 16915 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 105277848 10914828288 7778 33554432000 4194304 4196468 140725279775104 140030868470128 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21512] ppid=21497 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21512/stat : 21512 (java) S 21497 21500 16915 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 105277848 10914828288 7778 33554432000 4194304 4196468 140725279775104 140030867417328 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21513] ppid=21497 vsize=10659012 memory=140253597898368 CPUtime=0.02 cores=1,3,5,7
/proc/21500/task/21513/stat : 21513 (java) S 21497 21500 16915 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 15 0 105277848 10914828288 7778 33554432000 4194304 4196468 140725279775104 140030866364528 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21514] ppid=21497 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21514/stat : 21514 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105277849 10914828288 7778 33554432000 4194304 4196468 140725279775104 140030865311968 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21515] ppid=21497 vsize=10659012 memory=140253597898368 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21515/stat : 21515 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277849 10914828288 7778 33554432000 4194304 4196468 140725279775104 140030864260272 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31112 KiB
[startup+0.210561 s]*
/proc/loadavg: 3.11 2.68 2.48 4/217 21515
/proc/meminfo: memFree=27930668/32770624 swapFree=67108792/67108860
[pid=21500] ppid=21497 vsize=10659012 memory=41892 CPUtime=0.33 cores=1,3,5,7
/proc/21500/stat : 21500 (java) S 21497 21500 16915 0 -1 1077944320 7602 0 0 0 31 2 0 0 20 0 15 0 105277843 10914828288 10473 33554432000 4194304 4196468 140725279775104 140725279757648 140031635218167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
/proc/21500/statm: 2664753 10473 3004 1 0 2627263 0
[pid=21500/tid=21502] ppid=21497 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (java) R 21497 21500 16915 0 -1 4202560 4596 0 0 0 19 1 0 0 20 0 15 0 105277843 10914828288 10473 33554432000 4194304 4196468 140725279775104 140031639449376 140031619298654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21503] ppid=21497 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21503/stat : 21503 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277844 10914828288 10473 33554432000 4194304 4196468 140725279775104 140031571909264 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21504] ppid=21497 vsize=10659012 memory=288370629749610112 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21504/stat : 21504 (java) S 21497 21500 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105277844 10914828288 10473 33554432000 4194304 4196468 140725279775104 140031240825360 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21505] ppid=21497 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21505/stat : 21505 (java) S 21497 21500 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105277844 10914828288 10473 33554432000 4194304 4196468 140725279775104 140031239772560 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21506] ppid=21497 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277844 10914828288 10473 33554432000 4194304 4196468 140725279775104 140031238719760 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21507] ppid=21497 vsize=10659012 memory=140253597898368 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21497 21500 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105277845 10914828288 10473 33554432000 4194304 4196468 140725279775104 140030872681328 140031635229314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21508] ppid=21497 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21508/stat : 21508 (java) S 21497 21500 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105277846 10914828288 10473 33554432000 4194304 4196468 140725279775104 140030871627296 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21509] ppid=21497 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21509/stat : 21509 (java) S 21497 21500 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105277846 10914828288 10473 33554432000 4194304 4196468 140725279775104 140030870574448 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21510] ppid=21497 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21510/stat : 21510 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105277848 10914828288 10473 33554432000 4194304 4196468 140725279775104 140030869522768 140031635236763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21511] ppid=21497 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21500/task/21511/stat : 21511 (java) S 21497 21500 16915 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 15 0 105277848 10914828288 10473 33554432000 4194304 4196468 140725279775104 140030868470128 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21512] ppid=21497 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21500/task/21512/stat : 21512 (java) S 21497 21500 16915 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 15 0 105277848 10914828288 10473 33554432000 4194304 4196468 140725279775104 140030867417328 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21513] ppid=21497 vsize=10659012 memory=140253597898368 CPUtime=0.07 cores=1,3,5,7
/proc/21500/task/21513/stat : 21513 (java) S 21497 21500 16915 0 -1 1077944384 639 0 0 0 7 0 0 0 20 0 15 0 105277848 10914828288 10473 33554432000 4194304 4196468 140725279775104 140030866364528 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21514] ppid=21497 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21514/stat : 21514 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105277849 10914828288 10473 33554432000 4194304 4196468 140725279775104 140030865311968 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21515] ppid=21497 vsize=10659012 memory=140253597898368 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21515/stat : 21515 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277849 10914828288 10473 33554432000 4194304 4196468 140725279775104 140030864260272 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41892 KiB
[startup+0.310576 s]*
/proc/loadavg: 3.11 2.68 2.48 5/217 21515
/proc/meminfo: memFree=27918496/32770624 swapFree=67108792/67108860
[pid=21500] ppid=21497 vsize=10659088 memory=52496 CPUtime=0.58 cores=1,3,5,7
/proc/21500/stat : 21500 (java) S 21497 21500 16915 0 -1 1077944320 9285 0 0 0 56 2 0 0 20 0 15 0 105277843 10914906112 13124 33554432000 4194304 4196468 140725279775104 140725279757648 140031635218167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
/proc/21500/statm: 2664772 13124 3068 1 0 2627263 0
[pid=21500/tid=21502] ppid=21497 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (java) R 21497 21500 16915 0 -1 4202560 5203 0 0 0 28 1 0 0 20 0 15 0 105277843 10914906112 13124 33554432000 4194304 4196468 140725279775104 140031639454560 140031619261797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21503] ppid=21497 vsize=10659088 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21503/stat : 21503 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277844 10914906112 13124 33554432000 4194304 4196468 140725279775104 140031571909264 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21504] ppid=21497 vsize=10659088 memory=288370629749610112 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21504/stat : 21504 (java) S 21497 21500 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105277844 10914906112 13124 33554432000 4194304 4196468 140725279775104 140031240825360 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21505] ppid=21497 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21505/stat : 21505 (java) S 21497 21500 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105277844 10914906112 13124 33554432000 4194304 4196468 140725279775104 140031239772560 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21506] ppid=21497 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277844 10914906112 13124 33554432000 4194304 4196468 140725279775104 140031238719760 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21507] ppid=21497 vsize=10659088 memory=140253597898368 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21497 21500 16915 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105277845 10914906112 13124 33554432000 4194304 4196468 140725279775104 140030872681328 140031635229314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21508] ppid=21497 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21508/stat : 21508 (java) S 21497 21500 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105277846 10914906112 13124 33554432000 4194304 4196468 140725279775104 140030871627296 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21509] ppid=21497 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21509/stat : 21509 (java) S 21497 21500 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105277846 10914906112 13124 33554432000 4194304 4196468 140725279775104 140030870574448 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21510] ppid=21497 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21510/stat : 21510 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105277848 10914906112 13124 33554432000 4194304 4196468 140725279775104 140030869522768 140031635236763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21511] ppid=21497 vsize=10659088 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21500/task/21511/stat : 21511 (java) R 21497 21500 16915 0 -1 1077944384 933 0 0 0 6 0 0 0 20 0 15 0 105277848 10914906112 13124 33554432000 4194304 4196468 140725279775104 140030868470128 140031635229314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21512] ppid=21497 vsize=10659088 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21500/task/21512/stat : 21512 (java) R 21497 21500 16915 0 -1 4202560 893 0 0 0 7 0 0 0 20 0 15 0 105277848 10914906112 13124 33554432000 4194304 4196468 140725279775104 140030867398920 140031618718248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21513] ppid=21497 vsize=10659088 memory=140253597898368 CPUtime=0.13 cores=1,3,5,7
/proc/21500/task/21513/stat : 21513 (java) R 21497 21500 16915 0 -1 4202560 889 0 0 0 13 0 0 0 20 0 15 0 105277848 10914906112 13124 33554432000 4194304 4196468 140725279775104 140030866364528 140031628317867 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21514] ppid=21497 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21514/stat : 21514 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105277849 10914906112 13124 33554432000 4194304 4196468 140725279775104 140030865311968 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21515] ppid=21497 vsize=10659088 memory=140253597898368 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21515/stat : 21515 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277849 10914906112 13124 33554432000 4194304 4196468 140725279775104 140030864260272 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52496 KiB
[startup+0.701588 s]
/proc/loadavg: 3.11 2.68 2.48 5/217 21515
/proc/meminfo: memFree=27897960/32770624 swapFree=67108792/67108860
[pid=21500] ppid=21497 vsize=10661136 memory=142708 CPUtime=1.87 cores=1,3,5,7
/proc/21500/stat : 21500 (java) S 21497 21500 16915 0 -1 1077944320 12432 0 0 0 183 4 0 0 20 0 15 0 105277843 10917003264 35677 33554432000 4194304 4196468 140725279775104 140725279757648 140031635218167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
/proc/21500/statm: 2665284 35677 3113 1 0 2627775 0
[pid=21500/tid=21502] ppid=21497 vsize=10661136 memory=232625360889698 CPUtime=0.67 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (java) R 21497 21500 16915 0 -1 4202560 5590 0 0 0 64 3 0 0 20 0 15 0 105277843 10917003264 35677 33554432000 4194304 4196468 140725279775104 140031639451984 140031255671752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21503] ppid=21497 vsize=10661136 memory=3977296629253554382 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21503/stat : 21503 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277844 10917003264 35677 33554432000 4194304 4196468 140725279775104 140031571909264 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21504] ppid=21497 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21504/stat : 21504 (java) S 21497 21500 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105277844 10917003264 35677 33554432000 4194304 4196468 140725279775104 140031240825360 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21505] ppid=21497 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21505/stat : 21505 (java) S 21497 21500 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105277844 10917003264 35677 33554432000 4194304 4196468 140725279775104 140031239772560 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21506] ppid=21497 vsize=10661136 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277844 10917003264 35677 33554432000 4194304 4196468 140725279775104 140031238719760 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21507] ppid=21497 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21497 21500 16915 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105277845 10917003264 35677 33554432000 4194304 4196468 140725279775104 140030872681328 140031635229314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21508] ppid=21497 vsize=10661136 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21508/stat : 21508 (java) S 21497 21500 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105277846 10917003264 35677 33554432000 4194304 4196468 140725279775104 140030871627296 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21509] ppid=21497 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21509/stat : 21509 (java) S 21497 21500 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105277846 10917003264 35677 33554432000 4194304 4196468 140725279775104 140030870574448 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21510] ppid=21497 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21510/stat : 21510 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105277848 10917003264 35677 33554432000 4194304 4196468 140725279775104 140030869522768 140031635236763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21511] ppid=21497 vsize=10661136 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/21500/task/21511/stat : 21511 (java) R 21497 21500 16915 0 -1 4202560 2008 0 0 0 37 0 0 0 20 0 15 0 105277848 10917003264 35677 33554432000 4194304 4196468 140725279775104 140030868457360 140031614407729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21512] ppid=21497 vsize=10661136 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/21500/task/21512/stat : 21512 (java) R 21497 21500 16915 0 -1 4202560 1495 0 0 0 40 0 0 0 20 0 15 0 105277848 10917003264 35677 33554432000 4194304 4196468 140725279775104 140030867403424 140031616739232 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21513] ppid=21497 vsize=10661136 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/21500/task/21513/stat : 21513 (java) S 21497 21500 16915 0 -1 1077944384 1968 0 0 0 40 0 0 0 20 0 15 0 105277848 10917003264 35677 33554432000 4194304 4196468 140725279775104 140030866364528 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21514] ppid=21497 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21514/stat : 21514 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105277849 10917003264 35677 33554432000 4194304 4196468 140725279775104 140030865311968 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21515] ppid=21497 vsize=10661136 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21515/stat : 21515 (java) S 21497 21500 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105277849 10917003264 35677 33554432000 4194304 4196468 140725279775104 140030864260272 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 142708 KiB
[startup+1.50159 s]
/proc/loadavg: 3.11 2.68 2.48 5/217 21515
/proc/meminfo: memFree=27763300/32770624 swapFree=67108792/67108860
[pid=21500] ppid=21497 vsize=10727700 memory=278980 CPUtime=4.56 cores=1,3,5,7
/proc/21500/stat : 21500 (java) S 21497 21500 16915 0 -1 1077944320 23130 0 0 0 444 12 0 0 20 0 16 0 105277843 10985164800 69745 33554432000 4194304 4196468 140725279775104 140725279757648 140031635218167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
/proc/21500/statm: 2681925 69745 3145 1 0 2644416 0
[pid=21500/tid=21502] ppid=21497 vsize=10727700 memory=10799 CPUtime=1.38 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (java) R 21497 21500 16915 0 -1 4202560 5786 0 0 0 134 4 0 0 20 0 16 0 105277843 10985164800 69745 33554432000 4194304 4196468 140725279775104 140031639446608 140031258129720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21503] ppid=21497 vsize=10727700 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/21500/task/21503/stat : 21503 (java) S 21497 21500 16915 0 -1 1077944384 140 0 0 0 3 1 0 0 20 0 16 0 105277844 10985164800 69745 33554432000 4194304 4196468 140725279775104 140031571909264 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21504] ppid=21497 vsize=10727700 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21500/task/21504/stat : 21504 (java) S 21497 21500 16915 0 -1 1077944384 30 0 0 0 3 0 0 0 20 0 16 0 105277844 10985164800 69745 33554432000 4194304 4196468 140725279775104 140031240825360 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21505] ppid=21497 vsize=10727700 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21500/task/21505/stat : 21505 (java) S 21497 21500 16915 0 -1 1077944384 38 0 0 0 3 1 0 0 20 0 16 0 105277844 10985164800 69745 33554432000 4194304 4196468 140725279775104 140031239772560 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21506] ppid=21497 vsize=10727700 memory=6943526294502006880 CPUtime=0.04 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21497 21500 16915 0 -1 1077944384 175 0 0 0 4 0 0 0 20 0 16 0 105277844 10985164800 69745 33554432000 4194304 4196468 140725279775104 140031238719760 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21507] ppid=21497 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21497 21500 16915 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 16 0 105277845 10985164800 69745 33554432000 4194304 4196468 140725279775104 140030872681328 140031635229314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
################
# More data... #
################
/proc/21500/task/21505/stat : 21505 (java) S 21497 21500 16915 0 -1 1077944384 38 0 0 0 3 1 0 0 20 0 16 0 105277844 10985164800 77424 33554432000 4194304 4196468 140725279775104 140031239772560 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21506] ppid=21497 vsize=10727700 memory=307648 CPUtime=0.04 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21497 21500 16915 0 -1 1077944384 175 0 0 0 4 0 0 0 20 0 16 0 105277844 10985164800 77424 33554432000 4194304 4196468 140725279775104 140031238719760 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21507] ppid=21497 vsize=10727700 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21497 21500 16915 0 -1 1077944384 1194 0 0 0 1 0 0 0 20 0 16 0 105277845 10985164800 77424 33554432000 4194304 4196468 140725279775104 140030872681328 140031635229314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21508] ppid=21497 vsize=10727700 memory=307648 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21508/stat : 21508 (java) S 21497 21500 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105277846 10985164800 77424 33554432000 4194304 4196468 140725279775104 140030871627296 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21509] ppid=21497 vsize=10727700 memory=307648 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21509/stat : 21509 (java) S 21497 21500 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105277846 10985164800 77424 33554432000 4194304 4196468 140725279775104 140030870574448 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21510] ppid=21497 vsize=10727700 memory=307648 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21510/stat : 21510 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105277848 10985164800 77424 33554432000 4194304 4196468 140725279775104 140030869522768 140031635236763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21511] ppid=21497 vsize=10727700 memory=307648 CPUtime=2.26 cores=1,3,5,7
/proc/21500/task/21511/stat : 21511 (java) S 21497 21500 16915 0 -1 1077944384 13042 0 0 0 224 2 0 0 20 0 16 0 105277848 10985164800 77424 33554432000 4194304 4196468 140725279775104 140030868470128 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21512] ppid=21497 vsize=10727700 memory=6791534058613427641 CPUtime=2.44 cores=1,3,5,7
/proc/21500/task/21512/stat : 21512 (java) S 21497 21500 16915 0 -1 1077944384 11168 0 0 0 242 2 0 0 20 0 16 0 105277848 10985164800 77424 33554432000 4194304 4196468 140725279775104 140030867417328 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21513] ppid=21497 vsize=10727700 memory=1728 CPUtime=0.76 cores=1,3,5,7
/proc/21500/task/21513/stat : 21513 (java) S 21497 21500 16915 0 -1 1077944384 5946 0 0 0 75 1 0 0 20 0 16 0 105277848 10985164800 77424 33554432000 4194304 4196468 140725279775104 140030866364528 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21514] ppid=21497 vsize=10727700 memory=305600 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21514/stat : 21514 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105277849 10985164800 77424 33554432000 4194304 4196468 140725279775104 140030865311968 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21515] ppid=21497 vsize=10727700 memory=305600 CPUtime=0.09 cores=1,3,5,7
/proc/21500/task/21515/stat : 21515 (java) S 21497 21500 16915 0 -1 1077944384 1187 0 0 0 4 5 0 0 20 0 16 0 105277849 10985164800 77424 33554432000 4194304 4196468 140725279775104 140030864260272 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21516] ppid=21497 vsize=10727700 memory=307648 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21516/stat : 21516 (java) S 21497 21500 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105277990 10985164800 77424 33554432000 4194304 4196468 140725279775104 140030861108656 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
Current children cumulated CPU time: 167.97 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 309696 KiB
[startup+222.301 s]
/proc/loadavg: 2.04 2.34 2.39 3/217 21601
/proc/meminfo: memFree=27255984/32770624 swapFree=67108792/67108860
[pid=21500] ppid=21497 vsize=10727700 memory=352728 CPUtime=228 cores=1,3,5,7
/proc/21500/stat : 21500 (java) S 21497 21500 16915 0 -1 1077944320 46388 0 0 0 22778 22 0 0 20 0 16 0 105277843 10985164800 88182 33554432000 4194304 4196468 140725279775104 140725279757648 140031635218167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
/proc/21500/statm: 2681925 88182 3161 1 0 2644416 0
[pid=21500/tid=21502] ppid=21497 vsize=10727700 memory=352728 CPUtime=222.17 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (java) R 21497 21500 16915 0 -1 4202560 11588 0 0 0 22211 6 0 0 20 0 16 0 105277843 10985164800 88182 33554432000 4194304 4196468 140725279775104 140031639449744 140031259412254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21503] ppid=21497 vsize=10727700 memory=340440 CPUtime=0.04 cores=1,3,5,7
/proc/21500/task/21503/stat : 21503 (java) S 21497 21500 16915 0 -1 1077944384 140 0 0 0 3 1 0 0 20 0 16 0 105277844 10985164800 88182 33554432000 4194304 4196468 140725279775104 140031571909264 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21504] ppid=21497 vsize=10727700 memory=348632 CPUtime=0.03 cores=1,3,5,7
/proc/21500/task/21504/stat : 21504 (java) S 21497 21500 16915 0 -1 1077944384 30 0 0 0 3 0 0 0 20 0 16 0 105277844 10985164800 88182 33554432000 4194304 4196468 140725279775104 140031240825360 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21505] ppid=21497 vsize=10727700 memory=348632 CPUtime=0.04 cores=1,3,5,7
/proc/21500/task/21505/stat : 21505 (java) S 21497 21500 16915 0 -1 1077944384 38 0 0 0 3 1 0 0 20 0 16 0 105277844 10985164800 88182 33554432000 4194304 4196468 140725279775104 140031239772560 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21506] ppid=21497 vsize=10727700 memory=350680 CPUtime=0.04 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21497 21500 16915 0 -1 1077944384 175 0 0 0 4 0 0 0 20 0 16 0 105277844 10985164800 88182 33554432000 4194304 4196468 140725279775104 140031238719760 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21507] ppid=21497 vsize=10727700 memory=350680 CPUtime=0.01 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21497 21500 16915 0 -1 1077944384 1204 0 0 0 1 0 0 0 20 0 16 0 105277845 10985164800 88182 33554432000 4194304 4196468 140725279775104 140030872681328 140031635229314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21508] ppid=21497 vsize=10727700 memory=352728 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21508/stat : 21508 (java) S 21497 21500 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105277846 10985164800 88182 33554432000 4194304 4196468 140725279775104 140030871627296 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21509] ppid=21497 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21509/stat : 21509 (java) S 21497 21500 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105277846 10985164800 88182 33554432000 4194304 4196468 140725279775104 140030870574448 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21510] ppid=21497 vsize=10727700 memory=352728 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21510/stat : 21510 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105277848 10985164800 88182 33554432000 4194304 4196468 140725279775104 140030869522768 140031635236763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21511] ppid=21497 vsize=10727700 memory=352728 CPUtime=2.26 cores=1,3,5,7
/proc/21500/task/21511/stat : 21511 (java) S 21497 21500 16915 0 -1 1077944384 13239 0 0 0 224 2 0 0 20 0 16 0 105277848 10985164800 88182 33554432000 4194304 4196468 140725279775104 140030868470128 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21512] ppid=21497 vsize=10727700 memory=4136 CPUtime=2.44 cores=1,3,5,7
/proc/21500/task/21512/stat : 21512 (java) S 21497 21500 16915 0 -1 1077944384 11310 0 0 0 242 2 0 0 20 0 16 0 105277848 10985164800 88182 33554432000 4194304 4196468 140725279775104 140030867417328 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21513] ppid=21497 vsize=10727700 memory=30328 CPUtime=0.76 cores=1,3,5,7
/proc/21500/task/21513/stat : 21513 (java) S 21497 21500 16915 0 -1 1077944384 6050 0 0 0 75 1 0 0 20 0 16 0 105277848 10985164800 88182 33554432000 4194304 4196468 140725279775104 140030866364528 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21514] ppid=21497 vsize=10727700 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21514/stat : 21514 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105277849 10985164800 88182 33554432000 4194304 4196468 140725279775104 140030865311968 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21515] ppid=21497 vsize=10727700 memory=12 CPUtime=0.12 cores=1,3,5,7
/proc/21500/task/21515/stat : 21515 (java) S 21497 21500 16915 0 -1 1077944384 1233 0 0 0 5 7 0 0 20 0 16 0 105277849 10985164800 88182 33554432000 4194304 4196468 140725279775104 140030864260272 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21516] ppid=21497 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21516/stat : 21516 (java) S 21497 21500 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105277990 10985164800 88182 33554432000 4194304 4196468 140725279775104 140030861108656 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
Current children cumulated CPU time: 228 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 352728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+246.201 s]
/proc/loadavg: 2.02 2.31 2.38 3/217 21601
/proc/meminfo: memFree=27148620/32770624 swapFree=67108792/67108860
[pid=21500] ppid=21497 vsize=10727700 memory=431388 CPUtime=252.06 cores=1,3,5,7
/proc/21500/stat : 21500 (java) S 21497 21500 16915 0 -1 1077944320 48295 0 0 0 25175 31 0 0 20 0 16 0 105277843 10985164800 107847 33554432000 4194304 4196468 140725279775104 140725279757648 140031635218167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
/proc/21500/statm: 2681925 107847 3170 1 0 2644416 0
[pid=21500/tid=21502] ppid=21497 vsize=10727700 memory=304556131815260474 CPUtime=246.01 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (java) R 21497 21500 16915 0 -1 4202560 11632 0 0 0 24595 6 0 0 20 0 16 0 105277843 10985164800 107847 33554432000 4194304 4196468 140725279775104 140031639449744 140031258385760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21503] ppid=21497 vsize=10727700 memory=14410445029116127 CPUtime=0.09 cores=1,3,5,7
/proc/21500/task/21503/stat : 21503 (java) S 21497 21500 16915 0 -1 1077944384 282 0 0 0 6 3 0 0 20 0 16 0 105277844 10985164800 107847 33554432000 4194304 4196468 140725279775104 140031571909264 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21504] ppid=21497 vsize=10727700 memory=2200 CPUtime=0.08 cores=1,3,5,7
/proc/21500/task/21504/stat : 21504 (java) S 21497 21500 16915 0 -1 1077944384 1020 0 0 0 6 2 0 0 20 0 16 0 105277844 10985164800 107847 33554432000 4194304 4196468 140725279775104 140031240825360 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21505] ppid=21497 vsize=10727700 memory=7892 CPUtime=0.09 cores=1,3,5,7
/proc/21500/task/21505/stat : 21505 (java) S 21497 21500 16915 0 -1 1077944384 98 0 0 0 6 3 0 0 20 0 16 0 105277844 10985164800 107847 33554432000 4194304 4196468 140725279775104 140031239772560 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21506] ppid=21497 vsize=10727700 memory=840 CPUtime=0.09 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21497 21500 16915 0 -1 1077944384 517 0 0 0 7 2 0 0 20 0 16 0 105277844 10985164800 107847 33554432000 4194304 4196468 140725279775104 140031238719760 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21507] ppid=21497 vsize=10727700 memory=1800 CPUtime=0.01 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21497 21500 16915 0 -1 1077944384 1531 0 0 0 1 0 0 0 20 0 16 0 105277845 10985164800 107847 33554432000 4194304 4196468 140725279775104 140030872681328 140031635229314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21508] ppid=21497 vsize=10727700 memory=920 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21508/stat : 21508 (java) S 21497 21500 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105277846 10985164800 107847 33554432000 4194304 4196468 140725279775104 140030871627296 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21509] ppid=21497 vsize=10727700 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21509/stat : 21509 (java) S 21497 21500 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105277846 10985164800 107847 33554432000 4194304 4196468 140725279775104 140030870574448 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21510] ppid=21497 vsize=10727700 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21510/stat : 21510 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105277848 10985164800 107847 33554432000 4194304 4196468 140725279775104 140030869522768 140031635236763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21511] ppid=21497 vsize=10727700 memory=2584 CPUtime=2.26 cores=1,3,5,7
/proc/21500/task/21511/stat : 21511 (java) S 21497 21500 16915 0 -1 1077944384 13239 0 0 0 224 2 0 0 20 0 16 0 105277848 10985164800 107847 33554432000 4194304 4196468 140725279775104 140030868470128 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21512] ppid=21497 vsize=10727700 memory=2584 CPUtime=2.44 cores=1,3,5,7
/proc/21500/task/21512/stat : 21512 (java) S 21497 21500 16915 0 -1 1077944384 11310 0 0 0 242 2 0 0 20 0 16 0 105277848 10985164800 107847 33554432000 4194304 4196468 140725279775104 140030867417328 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21513] ppid=21497 vsize=10727700 memory=1408 CPUtime=0.76 cores=1,3,5,7
/proc/21500/task/21513/stat : 21513 (java) S 21497 21500 16915 0 -1 1077944384 6050 0 0 0 75 1 0 0 20 0 16 0 105277848 10985164800 107847 33554432000 4194304 4196468 140725279775104 140030866364528 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21514] ppid=21497 vsize=10727700 memory=3164 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21514/stat : 21514 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105277849 10985164800 107847 33554432000 4194304 4196468 140725279775104 140030865311968 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21515] ppid=21497 vsize=10727700 memory=14410445029116127 CPUtime=0.13 cores=1,3,5,7
/proc/21500/task/21515/stat : 21515 (java) S 21497 21500 16915 0 -1 1077944384 1235 0 0 0 6 7 0 0 20 0 16 0 105277849 10985164800 107847 33554432000 4194304 4196468 140725279775104 140030864260272 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21516] ppid=21497 vsize=10727700 memory=303430223234596890 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21516/stat : 21516 (java) S 21497 21500 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105277990 10985164800 107847 33554432000 4194304 4196468 140725279775104 140030861108656 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 431388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+246.43 s]
# the end of solver process 21500 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.819 s, system=0.329109 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+246.401 s]
/proc/loadavg: 2.02 2.31 2.38 3/217 21601
/proc/meminfo: memFree=27148620/32770624 swapFree=67108792/67108860
[pid=21500] ppid=21497 vsize=10927392 memory=431612 CPUtime=252.12 cores=1,3,5,7
/proc/21500/stat : 21500 (java) S 21497 21500 16915 0 -1 1077944320 49524 0 0 0 25180 32 0 0 20 0 17 0 105277843 11189649408 107903 33554432000 4194304 4196468 140725279775104 140725279757648 140031635218167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
/proc/21500/statm: 2731848 107903 3172 1 0 2694339 0
[pid=21500/tid=21502] ppid=21497 vsize=10927392 memory=30328 CPUtime=246.06 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (java) S 21497 21500 16915 0 -1 1077944384 11707 0 0 0 24600 6 0 0 20 0 17 0 105277843 11189649408 107903 33554432000 4194304 4196468 140725279775104 140031639461040 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21503] ppid=21497 vsize=10927392 memory=303430223234596890 CPUtime=0.09 cores=1,3,5,7
/proc/21500/task/21503/stat : 21503 (java) S 21497 21500 16915 0 -1 1077944384 282 0 0 0 6 3 0 0 20 0 17 0 105277844 11189649408 107903 33554432000 4194304 4196468 140725279775104 140031571909264 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21504] ppid=21497 vsize=10927392 memory=288230583166042426 CPUtime=0.08 cores=1,3,5,7
/proc/21500/task/21504/stat : 21504 (java) S 21497 21500 16915 0 -1 1077944384 1020 0 0 0 6 2 0 0 20 0 17 0 105277844 11189649408 107903 33554432000 4194304 4196468 140725279775104 140031240825360 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21505] ppid=21497 vsize=10927392 memory=14410445029116127 CPUtime=0.09 cores=1,3,5,7
/proc/21500/task/21505/stat : 21505 (java) S 21497 21500 16915 0 -1 1077944384 98 0 0 0 6 3 0 0 20 0 17 0 105277844 11189649408 107903 33554432000 4194304 4196468 140725279775104 140031239772560 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21506] ppid=21497 vsize=10927392 memory=1408 CPUtime=0.09 cores=1,3,5,7
/proc/21500/task/21506/stat : 21506 (java) S 21497 21500 16915 0 -1 1077944384 517 0 0 0 7 2 0 0 20 0 17 0 105277844 11189649408 107903 33554432000 4194304 4196468 140725279775104 140031238719760 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21507] ppid=21497 vsize=10927392 memory=3004 CPUtime=0.01 cores=1,3,5,7
/proc/21500/task/21507/stat : 21507 (java) S 21497 21500 16915 0 -1 1077944384 1531 0 0 0 1 0 0 0 20 0 17 0 105277845 11189649408 107903 33554432000 4194304 4196468 140725279775104 140030872681328 140031635229314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21508] ppid=21497 vsize=10927392 memory=653252 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21508/stat : 21508 (java) S 21497 21500 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 105277846 11189649408 107903 33554432000 4194304 4196468 140725279775104 140030871627296 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21509] ppid=21497 vsize=10927392 memory=381400 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21509/stat : 21509 (java) S 21497 21500 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 105277846 11189649408 107903 33554432000 4194304 4196468 140725279775104 140030870574448 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21510] ppid=21497 vsize=10927392 memory=381400 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21510/stat : 21510 (java) S 21497 21500 16915 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 17 0 105277848 11189649408 107903 33554432000 4194304 4196468 140725279775104 140030869522768 140031635236763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21511] ppid=21497 vsize=10927392 memory=92406221416470 CPUtime=2.27 cores=1,3,5,7
/proc/21500/task/21511/stat : 21511 (java) S 21497 21500 16915 0 -1 1077944384 13284 0 0 0 225 2 0 0 20 0 17 0 105277848 11189649408 107903 33554432000 4194304 4196468 140725279775104 140030868470128 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21512] ppid=21497 vsize=10927392 memory=367064 CPUtime=2.45 cores=1,3,5,7
/proc/21500/task/21512/stat : 21512 (java) S 21497 21500 16915 0 -1 1077944384 11546 0 0 0 243 2 0 0 20 0 17 0 105277848 11189649408 107903 33554432000 4194304 4196468 140725279775104 140030867417328 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21513] ppid=21497 vsize=10927392 memory=431388 CPUtime=0.76 cores=1,3,5,7
/proc/21500/task/21513/stat : 21513 (java) S 21497 21500 16915 0 -1 1077944384 6557 0 0 0 75 1 0 0 20 0 17 0 105277848 11189649408 107903 33554432000 4194304 4196468 140725279775104 140030866364528 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21514] ppid=21497 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21514/stat : 21514 (java) S 21497 21500 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105277849 11189649408 107903 33554432000 4194304 4196468 140725279775104 140030865311968 140031635228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
[pid=21500/tid=21515] ppid=21497 vsize=10927392 memory=8027502965288102754 CPUtime=0.13 cores=1,3,5,7
/proc/21500/task/21515/stat : 21515 (java) S 21497 21500 16915 0 -1 1077944384 1235 0 0 0 6 7 0 0 20 0 17 0 105277849 11189649408 107903 33554432000 4194304 4196468 140725279775104 140030864260272 140031635229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10186752 140725279777910 140725279778062 140725279778062 140725279780815 0
Current children cumulated CPU time: 252.12 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 431612 KiB
Child status: 143
Real time (s): 246.43
CPU time (s): 252.148
CPU user time (s): 251.819
CPU system time (s): 0.329109
CPU usage (%): 102.32
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 431612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.819
system time used= 0.329109
maximum resident set size= 432056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7853
involuntary context switches= 178
# summary of solver processes directly reported to runsolver:
# pid: 21500
# total CPU time (s): 252.148
# total CPU user time (s): 251.819
# total CPU system time (s): 0.329109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4287 second user time and 2.4618 second system time
The end