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 (11055 MiB free)
memory of node 1: 16384 MiB (15835 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301439-1532880326/watcher-4301439-1532880326 -o /tmp/evaluation-result-4301439-1532880326/solver-4301439-1532880326 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301439-1532880326.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=14254, runsolver pid=14251
[startup+0.100447 s]*
/proc/loadavg: 2.01 2.16 1.94 3/216 14269
/proc/meminfo: memFree=27518160/32770624 swapFree=67108860/67108860
[pid=14254] ppid=14251 vsize=10659012 memory=30508 CPUtime=0.13 cores=1,3,5,7
/proc/14254/stat : 14254 (java) S 14251 14254 13514 0 -1 1077944320 6688 0 0 0 11 2 0 0 20 0 15 0 105595821 10914828288 7627 33554432000 4194304 4196468 140734537685136 140734537667680 139980854144759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
/proc/14254/statm: 2664753 7627 2840 1 0 2627263 0
[pid=14254/tid=14256] ppid=14251 vsize=10659012 memory=-8773748148830246014 CPUtime=0.09 cores=1,3,5,7
/proc/14254/task/14256/stat : 14256 (java) R 14251 14254 13514 0 -1 4202560 4533 0 0 0 8 1 0 0 20 0 15 0 105595822 10914828288 7627 33554432000 4194304 4196468 140734537685136 139980858349424 139980854156694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14257] ppid=14251 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14257/stat : 14257 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595822 10914828288 7627 33554432000 4194304 4196468 140734537685136 139980780218768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14258] ppid=14251 vsize=10659012 memory=140652491507328 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14258/stat : 14258 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595822 10914828288 7627 33554432000 4194304 4196468 140734537685136 139980779165968 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14259] ppid=14251 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14259/stat : 14259 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595822 10914828288 7627 33554432000 4194304 4196468 140734537685136 139980778113680 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14260] ppid=14251 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14260/stat : 14260 (java) S 14251 14254 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105595822 10914828288 7627 33554432000 4194304 4196468 140734537685136 139980777060880 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14261] ppid=14251 vsize=10659012 memory=140652491507328 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14261/stat : 14261 (java) S 14251 14254 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105595824 10914828288 7627 33554432000 4194304 4196468 140734537685136 139979887962736 139980854155906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14262] ppid=14251 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14262/stat : 14262 (java) S 14251 14254 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105595824 10914828288 7627 33554432000 4194304 4196468 140734537685136 139979886908704 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14263] ppid=14251 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14263/stat : 14263 (java) S 14251 14254 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105595824 10914828288 7627 33554432000 4194304 4196468 140734537685136 139979885856368 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14264] ppid=14251 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14264/stat : 14264 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105595827 10914828288 7627 33554432000 4194304 4196468 140734537685136 139979884804688 139980854163355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14265] ppid=14251 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14265/stat : 14265 (java) S 14251 14254 13514 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 105595827 10914828288 7627 33554432000 4194304 4196468 140734537685136 139979883751536 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14266] ppid=14251 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14266/stat : 14266 (java) S 14251 14254 13514 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 105595827 10914828288 7627 33554432000 4194304 4196468 140734537685136 139979882698736 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14267] ppid=14251 vsize=10659012 memory=140652491507328 CPUtime=0.02 cores=1,3,5,7
/proc/14254/task/14267/stat : 14267 (java) R 14251 14254 13514 0 -1 4202560 336 0 0 0 2 0 0 0 20 0 15 0 105595827 10914828288 7627 33554432000 4194304 4196468 140734537685136 139979881646448 139980832589504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14268] ppid=14251 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14268/stat : 14268 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105595827 10914828288 7627 33554432000 4194304 4196468 140734537685136 139979880593888 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14269] ppid=14251 vsize=10659012 memory=140652491507328 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14269/stat : 14269 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595827 10914828288 7627 33554432000 4194304 4196468 140734537685136 139979879541680 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30508 KiB
[startup+0.210538 s]*
/proc/loadavg: 2.01 2.16 1.94 3/216 14269
/proc/meminfo: memFree=27508464/32770624 swapFree=67108860/67108860
[pid=14254] ppid=14251 vsize=10659012 memory=41872 CPUtime=0.33 cores=1,3,5,7
/proc/14254/stat : 14254 (java) S 14251 14254 13514 0 -1 1077944320 8083 0 0 0 30 3 0 0 20 0 15 0 105595821 10914828288 10468 33554432000 4194304 4196468 140734537685136 140734537667680 139980854144759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
/proc/14254/statm: 2664753 10468 3007 1 0 2627263 0
[pid=14254/tid=14256] ppid=14251 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/14254/task/14256/stat : 14256 (java) R 14251 14254 13514 0 -1 4202560 5029 0 0 0 18 2 0 0 20 0 15 0 105595822 10914828288 10468 33554432000 4194304 4196468 140734537685136 139980858372016 139980854166685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14257] ppid=14251 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14257/stat : 14257 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595822 10914828288 10468 33554432000 4194304 4196468 140734537685136 139980780218768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14258] ppid=14251 vsize=10659012 memory=140652492126677 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14258/stat : 14258 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595822 10914828288 10468 33554432000 4194304 4196468 140734537685136 139980779165968 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14259] ppid=14251 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14259/stat : 14259 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595822 10914828288 10468 33554432000 4194304 4196468 140734537685136 139980778113680 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14260] ppid=14251 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14260/stat : 14260 (java) S 14251 14254 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105595822 10914828288 10468 33554432000 4194304 4196468 140734537685136 139980777060880 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14261] ppid=14251 vsize=10659012 memory=140652491507328 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14261/stat : 14261 (java) S 14251 14254 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105595824 10914828288 10468 33554432000 4194304 4196468 140734537685136 139979887962736 139980854155906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14262] ppid=14251 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14262/stat : 14262 (java) S 14251 14254 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105595824 10914828288 10468 33554432000 4194304 4196468 140734537685136 139979886908704 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14263] ppid=14251 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14263/stat : 14263 (java) S 14251 14254 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105595824 10914828288 10468 33554432000 4194304 4196468 140734537685136 139979885856368 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14264] ppid=14251 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14264/stat : 14264 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105595827 10914828288 10468 33554432000 4194304 4196468 140734537685136 139979884804688 139980854163355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14265] ppid=14251 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14254/task/14265/stat : 14265 (java) S 14251 14254 13514 0 -1 1077944384 496 0 0 0 2 0 0 0 20 0 15 0 105595827 10914828288 10468 33554432000 4194304 4196468 140734537685136 139979883751536 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14266] ppid=14251 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14254/task/14266/stat : 14266 (java) S 14251 14254 13514 0 -1 1077944384 484 0 0 0 1 0 0 0 20 0 15 0 105595827 10914828288 10468 33554432000 4194304 4196468 140734537685136 139979882698736 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14267] ppid=14251 vsize=10659012 memory=140652491507328 CPUtime=0.07 cores=1,3,5,7
/proc/14254/task/14267/stat : 14267 (java) R 14251 14254 13514 0 -1 4202560 708 0 0 0 7 0 0 0 20 0 15 0 105595827 10914828288 10468 33554432000 4194304 4196468 140734537685136 139979881646448 139980832849520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14268] ppid=14251 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14268/stat : 14268 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105595827 10914828288 10468 33554432000 4194304 4196468 140734537685136 139979880593888 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14269] ppid=14251 vsize=10659012 memory=140652491507328 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14269/stat : 14269 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595827 10914828288 10468 33554432000 4194304 4196468 140734537685136 139979879541680 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41872 KiB
[startup+0.310318 s]*
/proc/loadavg: 2.01 2.16 1.94 4/216 14269
/proc/meminfo: memFree=27500648/32770624 swapFree=67108860/67108860
[pid=14254] ppid=14251 vsize=10659088 memory=47240 CPUtime=0.52 cores=1,3,5,7
/proc/14254/stat : 14254 (java) S 14251 14254 13514 0 -1 1077944320 9028 0 0 0 48 4 0 0 20 0 15 0 105595821 10914906112 11810 33554432000 4194304 4196468 140734537685136 140734537667680 139980854144759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
/proc/14254/statm: 2664772 11810 3057 1 0 2627263 0
[pid=14254/tid=14256] ppid=14251 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/14254/task/14256/stat : 14256 (java) R 14251 14254 13514 0 -1 4202560 5746 0 0 0 27 2 0 0 20 0 15 0 105595822 10914906112 11810 33554432000 4194304 4196468 140734537685136 139980858381968 139980450158684 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14257] ppid=14251 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14257/stat : 14257 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595822 10914906112 11810 33554432000 4194304 4196468 140734537685136 139980780218768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14258] ppid=14251 vsize=10659088 memory=140652492132361 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14258/stat : 14258 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595822 10914906112 11810 33554432000 4194304 4196468 140734537685136 139980779165968 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14259] ppid=14251 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14259/stat : 14259 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595822 10914906112 11810 33554432000 4194304 4196468 140734537685136 139980778113680 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14260] ppid=14251 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14260/stat : 14260 (java) S 14251 14254 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105595822 10914906112 11810 33554432000 4194304 4196468 140734537685136 139980777060880 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14261] ppid=14251 vsize=10659088 memory=140652491507328 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14261/stat : 14261 (java) S 14251 14254 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105595824 10914906112 11810 33554432000 4194304 4196468 140734537685136 139979887962736 139980854155906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14262] ppid=14251 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14262/stat : 14262 (java) S 14251 14254 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105595824 10914906112 11810 33554432000 4194304 4196468 140734537685136 139979886908704 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14263] ppid=14251 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14263/stat : 14263 (java) S 14251 14254 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105595824 10914906112 11810 33554432000 4194304 4196468 140734537685136 139979885856368 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14264] ppid=14251 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14264/stat : 14264 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105595827 10914906112 11810 33554432000 4194304 4196468 140734537685136 139979884804688 139980854163355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14265] ppid=14251 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14254/task/14265/stat : 14265 (java) R 14251 14254 13514 0 -1 4202560 587 0 0 0 4 0 0 0 20 0 15 0 105595827 10914906112 11810 33554432000 4194304 4196468 140734537685136 139979883751536 139980833301824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14266] ppid=14251 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/14254/task/14266/stat : 14266 (java) R 14251 14254 13514 0 -1 4202560 538 0 0 0 4 0 0 0 20 0 15 0 105595827 10914906112 11810 33554432000 4194304 4196468 140734537685136 139979882689120 139980837531540 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14267] ppid=14251 vsize=10659088 memory=140652491507328 CPUtime=0.12 cores=1,3,5,7
/proc/14254/task/14267/stat : 14267 (java) R 14251 14254 13514 0 -1 1077944384 794 0 0 0 12 0 0 0 20 0 15 0 105595827 10914906112 11810 33554432000 4194304 4196468 140734537685136 139979881642816 139980854154965 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14268] ppid=14251 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14268/stat : 14268 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105595827 10914906112 11810 33554432000 4194304 4196468 140734537685136 139979880593888 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14269] ppid=14251 vsize=10659088 memory=140652491507328 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14269/stat : 14269 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595827 10914906112 11810 33554432000 4194304 4196468 140734537685136 139979879541680 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47240 KiB
[startup+0.701561 s]
/proc/loadavg: 2.01 2.16 1.94 6/216 14269
/proc/meminfo: memFree=27454564/32770624 swapFree=67108860/67108860
[pid=14254] ppid=14251 vsize=10659088 memory=206300 CPUtime=1.84 cores=1,3,5,7
/proc/14254/stat : 14254 (java) S 14251 14254 13514 0 -1 1077944320 14635 0 0 0 175 9 0 0 20 0 15 0 105595821 10914906112 51575 33554432000 4194304 4196468 140734537685136 140734537667680 139980854144759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
/proc/14254/statm: 2664772 51575 3115 1 0 2627263 0
[pid=14254/tid=14256] ppid=14251 vsize=10659088 memory=16816 CPUtime=0.65 cores=1,3,5,7
/proc/14254/task/14256/stat : 14256 (java) R 14251 14254 13514 0 -1 4202560 6019 0 0 0 61 4 0 0 20 0 15 0 105595822 10914906112 51575 33554432000 4194304 4196468 140734537685136 139980858378536 139980453836188 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14257] ppid=14251 vsize=10659088 memory=2324 CPUtime=0.01 cores=1,3,5,7
/proc/14254/task/14257/stat : 14257 (java) S 14251 14254 13514 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 105595822 10914906112 51575 33554432000 4194304 4196468 140734537685136 139980780218768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14258] ppid=14251 vsize=10659088 memory=1584 CPUtime=0.01 cores=1,3,5,7
/proc/14254/task/14258/stat : 14258 (java) S 14251 14254 13514 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 15 0 105595822 10914906112 51575 33554432000 4194304 4196468 140734537685136 139980779165968 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14259] ppid=14251 vsize=10659088 memory=496 CPUtime=0.01 cores=1,3,5,7
/proc/14254/task/14259/stat : 14259 (java) S 14251 14254 13514 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 105595822 10914906112 51575 33554432000 4194304 4196468 140734537685136 139980778113680 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14260] ppid=14251 vsize=10659088 memory=928 CPUtime=0.01 cores=1,3,5,7
/proc/14254/task/14260/stat : 14260 (java) S 14251 14254 13514 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 105595822 10914906112 51575 33554432000 4194304 4196468 140734537685136 139980777060880 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14261] ppid=14251 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14261/stat : 14261 (java) S 14251 14254 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105595824 10914906112 51575 33554432000 4194304 4196468 140734537685136 139979887962736 139980854155906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14262] ppid=14251 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14262/stat : 14262 (java) S 14251 14254 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105595824 10914906112 51575 33554432000 4194304 4196468 140734537685136 139979886908704 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14263] ppid=14251 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14263/stat : 14263 (java) S 14251 14254 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105595824 10914906112 51575 33554432000 4194304 4196468 140734537685136 139979885856368 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14264] ppid=14251 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14264/stat : 14264 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105595827 10914906112 51575 33554432000 4194304 4196468 140734537685136 139979884804688 139980854163355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14265] ppid=14251 vsize=10659088 memory=6081108994580573287 CPUtime=0.38 cores=1,3,5,7
/proc/14254/task/14265/stat : 14265 (java) R 14251 14254 13514 0 -1 4202560 2534 0 0 0 38 0 0 0 20 0 15 0 105595827 10914906112 51575 33554432000 4194304 4196468 140734537685136 139979883744560 139980839023184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14266] ppid=14251 vsize=10659088 memory=6004820471124940137 CPUtime=0.38 cores=1,3,5,7
/proc/14254/task/14266/stat : 14266 (java) R 14251 14254 13514 0 -1 4202560 2369 0 0 0 37 1 0 0 20 0 15 0 105595827 10914906112 51575 33554432000 4194304 4196468 140734537685136 139979882687488 139980838532051 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14267] ppid=14251 vsize=10659088 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/14254/task/14267/stat : 14267 (java) S 14251 14254 13514 0 -1 1077944384 2199 0 0 0 32 0 0 0 20 0 15 0 105595827 10914906112 51575 33554432000 4194304 4196468 140734537685136 139979881646448 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14268] ppid=14251 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14268/stat : 14268 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105595827 10914906112 51575 33554432000 4194304 4196468 140734537685136 139979880593888 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14269] ppid=14251 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14269/stat : 14269 (java) S 14251 14254 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105595827 10914906112 51575 33554432000 4194304 4196468 140734537685136 139979879541680 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 206300 KiB
[startup+1.5008 s]
/proc/loadavg: 2.01 2.16 1.94 5/216 14269
/proc/meminfo: memFree=27273468/32770624 swapFree=67108860/67108860
[pid=14254] ppid=14251 vsize=10725652 memory=274360 CPUtime=4.06 cores=1,3,5,7
/proc/14254/stat : 14254 (java) S 14251 14254 13514 0 -1 1077944320 15526 0 0 0 389 17 0 0 20 0 16 0 105595821 10983067648 68590 33554432000 4194304 4196468 140734537685136 140734537667680 139980854144759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
/proc/14254/statm: 2681413 68590 3144 1 0 2643904 0
[pid=14254/tid=14256] ppid=14251 vsize=10725652 memory=274160 CPUtime=1.37 cores=1,3,5,7
/proc/14254/task/14256/stat : 14256 (java) R 14251 14254 13514 0 -1 4202560 6076 0 0 0 133 4 0 0 20 0 16 0 105595822 10983067648 68590 33554432000 4194304 4196468 140734537685136 139980858381480 139980455022131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14257] ppid=14251 vsize=10725652 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/14254/task/14257/stat : 14257 (java) S 14251 14254 13514 0 -1 1077944384 113 0 0 0 6 2 0 0 20 0 16 0 105595822 10983067648 68590 33554432000 4194304 4196468 140734537685136 139980780218768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14258] ppid=14251 vsize=10725652 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14254/task/14258/stat : 14258 (java) S 14251 14254 13514 0 -1 1077944384 113 0 0 0 6 2 0 0 20 0 16 0 105595822 10983067648 68590 33554432000 4194304 4196468 140734537685136 139980779165968 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14259] ppid=14251 vsize=10725652 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/14254/task/14259/stat : 14259 (java) S 14251 14254 13514 0 -1 1077944384 121 0 0 0 6 2 0 0 20 0 16 0 105595822 10983067648 68590 33554432000 4194304 4196468 140734537685136 139980778113680 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14260] ppid=14251 vsize=10725652 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14254/task/14260/stat : 14260 (java) S 14251 14254 13514 0 -1 1077944384 118 0 0 0 6 2 0 0 20 0 16 0 105595822 10983067648 68590 33554432000 4194304 4196468 140734537685136 139980777060880 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14261] ppid=14251 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14261/stat : 14261 (java) S 14251 14254 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 105595824 10983067648 68590 33554432000 4194304 4196468 140734537685136 139979887962736 139980854155906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
################
# More data... #
################
/proc/14254/task/14259/stat : 14259 (java) S 14251 14254 13514 0 -1 1077944384 384 0 0 0 12 5 0 0 20 0 16 0 105595822 10985164800 120566 33554432000 4194304 4196468 140734537685136 139980778113680 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14260] ppid=14251 vsize=10727700 memory=482264 CPUtime=0.17 cores=1,3,5,7
/proc/14254/task/14260/stat : 14260 (java) S 14251 14254 13514 0 -1 1077944384 397 0 0 0 12 5 0 0 20 0 16 0 105595822 10985164800 120566 33554432000 4194304 4196468 140734537685136 139980777060880 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14261] ppid=14251 vsize=10727700 memory=1172 CPUtime=0.01 cores=1,3,5,7
/proc/14254/task/14261/stat : 14261 (java) S 14251 14254 13514 0 -1 1077944384 1416 0 0 0 1 0 0 0 20 0 16 0 105595824 10985164800 120566 33554432000 4194304 4196468 140734537685136 139979887962736 139980854155906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14262] ppid=14251 vsize=10727700 memory=482264 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14262/stat : 14262 (java) S 14251 14254 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105595824 10985164800 120566 33554432000 4194304 4196468 140734537685136 139979886908768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14263] ppid=14251 vsize=10727700 memory=14572 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14263/stat : 14263 (java) S 14251 14254 13514 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 105595824 10985164800 120566 33554432000 4194304 4196468 140734537685136 139979885856384 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14264] ppid=14251 vsize=10727700 memory=482264 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14264/stat : 14264 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105595827 10985164800 120566 33554432000 4194304 4196468 140734537685136 139979884804688 139980854163355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14265] ppid=14251 vsize=10727700 memory=4140 CPUtime=1.69 cores=1,3,5,7
/proc/14254/task/14265/stat : 14265 (java) S 14251 14254 13514 0 -1 1077944384 8332 0 0 0 168 1 0 0 20 0 16 0 105595827 10985164800 120566 33554432000 4194304 4196468 140734537685136 139979883751536 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14266] ppid=14251 vsize=10727700 memory=30156 CPUtime=1.64 cores=1,3,5,7
/proc/14254/task/14266/stat : 14266 (java) S 14251 14254 13514 0 -1 1077944384 10099 0 0 0 163 1 0 0 20 0 16 0 105595827 10985164800 120566 33554432000 4194304 4196468 140734537685136 139979882698736 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14267] ppid=14251 vsize=10727700 memory=482264 CPUtime=0.54 cores=1,3,5,7
/proc/14254/task/14267/stat : 14267 (java) S 14251 14254 13514 0 -1 1077944384 6296 0 0 0 53 1 0 0 20 0 16 0 105595827 10985164800 120566 33554432000 4194304 4196468 140734537685136 139979881646448 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14268] ppid=14251 vsize=10727700 memory=482264 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14268/stat : 14268 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105595827 10985164800 120566 33554432000 4194304 4196468 140734537685136 139979880593888 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14269] ppid=14251 vsize=10727700 memory=1992 CPUtime=0.07 cores=1,3,5,7
/proc/14254/task/14269/stat : 14269 (java) S 14251 14254 13514 0 -1 1077944384 767 0 0 0 4 3 0 0 20 0 16 0 105595827 10985164800 120566 33554432000 4194304 4196468 140734537685136 139979879541680 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14270] ppid=14251 vsize=10727700 memory=482264 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14270/stat : 14270 (java) S 14251 14254 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105595934 10985164800 120566 33554432000 4194304 4196468 140734537685136 139979878487216 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
Current children cumulated CPU time: 166.79 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 482264 KiB
[startup+222.301 s]
/proc/loadavg: 1.88 2.03 1.94 3/217 14351
/proc/meminfo: memFree=27324416/32770624 swapFree=67108860/67108860
[pid=14254] ppid=14251 vsize=10727700 memory=832908 CPUtime=227.1 cores=1,3,5,7
/proc/14254/stat : 14254 (java) S 14251 14254 13514 0 -1 1077944320 43639 0 0 0 22650 60 0 0 20 0 16 0 105595821 10985164800 208227 33554432000 4194304 4196468 140734537685136 140734537667680 139980854144759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
/proc/14254/statm: 2681925 208227 3164 1 0 2644416 0
[pid=14254/tid=14256] ppid=14251 vsize=10727700 memory=832908 CPUtime=221.96 cores=1,3,5,7
/proc/14254/task/14256/stat : 14256 (java) R 14251 14254 13514 0 -1 4202560 11462 0 0 0 22186 10 0 0 20 0 16 0 105595822 10985164800 208227 33554432000 4194304 4196468 140734537685136 139980858383744 139980455022637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14257] ppid=14251 vsize=10727700 memory=496 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14257/stat : 14257 (java) S 14251 14254 13514 0 -1 1077944384 1160 0 0 0 16 10 0 0 20 0 16 0 105595822 10985164800 208227 33554432000 4194304 4196468 140734537685136 139980780218768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14258] ppid=14251 vsize=10727700 memory=832908 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14258/stat : 14258 (java) S 14251 14254 13514 0 -1 1077944384 1048 0 0 0 17 9 0 0 20 0 16 0 105595822 10985164800 208227 33554432000 4194304 4196468 140734537685136 139980779165968 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14259] ppid=14251 vsize=10727700 memory=2204 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14259/stat : 14259 (java) S 14251 14254 13514 0 -1 1077944384 492 0 0 0 17 9 0 0 20 0 16 0 105595822 10985164800 208227 33554432000 4194304 4196468 140734537685136 139980778113680 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14260] ppid=14251 vsize=10727700 memory=1240 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14260/stat : 14260 (java) S 14251 14254 13514 0 -1 1077944384 524 0 0 0 17 9 0 0 20 0 16 0 105595822 10985164800 208227 33554432000 4194304 4196468 140734537685136 139980777060880 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14261] ppid=14251 vsize=10727700 memory=3472328296227679313 CPUtime=0.01 cores=1,3,5,7
/proc/14254/task/14261/stat : 14261 (java) S 14251 14254 13514 0 -1 1077944384 1933 0 0 0 1 0 0 0 20 0 16 0 105595824 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979887962736 139980854155906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14262] ppid=14251 vsize=10727700 memory=7593442060010480740 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14262/stat : 14262 (java) S 14251 14254 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105595824 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979886908768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14263] ppid=14251 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14263/stat : 14263 (java) S 14251 14254 13514 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 105595824 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979885856384 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14264] ppid=14251 vsize=10727700 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14264/stat : 14264 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979884804688 139980854163355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14265] ppid=14251 vsize=10727700 memory=5456 CPUtime=1.7 cores=1,3,5,7
/proc/14254/task/14265/stat : 14265 (java) S 14251 14254 13514 0 -1 1077944384 8332 0 0 0 169 1 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979883751536 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14266] ppid=14251 vsize=10727700 memory=756 CPUtime=1.64 cores=1,3,5,7
/proc/14254/task/14266/stat : 14266 (java) S 14251 14254 13514 0 -1 1077944384 10099 0 0 0 163 1 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979882698736 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14267] ppid=14251 vsize=10727700 memory=1172 CPUtime=0.54 cores=1,3,5,7
/proc/14254/task/14267/stat : 14267 (java) S 14251 14254 13514 0 -1 1077944384 6396 0 0 0 53 1 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979881646448 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14268] ppid=14251 vsize=10727700 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14268/stat : 14268 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979880593888 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14269] ppid=14251 vsize=10727700 memory=2204 CPUtime=0.11 cores=1,3,5,7
/proc/14254/task/14269/stat : 14269 (java) S 14251 14254 13514 0 -1 1077944384 771 0 0 0 5 6 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979879541680 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14270] ppid=14251 vsize=10727700 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14270/stat : 14270 (java) S 14251 14254 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105595934 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979878487216 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
Current children cumulated CPU time: 227.1 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 832908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+247.201 s]
/proc/loadavg: 1.92 2.03 1.94 3/217 14352
/proc/meminfo: memFree=27205072/32770624 swapFree=67108860/67108860
[pid=14254] ppid=14251 vsize=10727700 memory=832908 CPUtime=252.02 cores=1,3,5,7
/proc/14254/stat : 14254 (java) S 14251 14254 13514 0 -1 1077944320 43689 0 0 0 25141 61 0 0 20 0 16 0 105595821 10985164800 208227 33554432000 4194304 4196468 140734537685136 140734537667680 139980854144759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
/proc/14254/statm: 2681925 208227 3164 1 0 2644416 0
[pid=14254/tid=14256] ppid=14251 vsize=10727700 memory=1172 CPUtime=246.86 cores=1,3,5,7
/proc/14254/task/14256/stat : 14256 (java) R 14251 14254 13514 0 -1 4202560 11500 0 0 0 24676 10 0 0 20 0 16 0 105595822 10985164800 208227 33554432000 4194304 4196468 140734537685136 139980858383744 139980455188671 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14257] ppid=14251 vsize=10727700 memory=1812 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14257/stat : 14257 (java) S 14251 14254 13514 0 -1 1077944384 1160 0 0 0 16 10 0 0 20 0 16 0 105595822 10985164800 208227 33554432000 4194304 4196468 140734537685136 139980780218768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14258] ppid=14251 vsize=10727700 memory=6791534058613427641 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14258/stat : 14258 (java) S 14251 14254 13514 0 -1 1077944384 1048 0 0 0 17 9 0 0 20 0 16 0 105595822 10985164800 208227 33554432000 4194304 4196468 140734537685136 139980779165968 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14259] ppid=14251 vsize=10727700 memory=832908 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14259/stat : 14259 (java) S 14251 14254 13514 0 -1 1077944384 492 0 0 0 17 9 0 0 20 0 16 0 105595822 10985164800 208227 33554432000 4194304 4196468 140734537685136 139980778113680 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14260] ppid=14251 vsize=10727700 memory=4140 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14260/stat : 14260 (java) S 14251 14254 13514 0 -1 1077944384 524 0 0 0 17 9 0 0 20 0 16 0 105595822 10985164800 208227 33554432000 4194304 4196468 140734537685136 139980777060880 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14261] ppid=14251 vsize=10727700 memory=4140 CPUtime=0.01 cores=1,3,5,7
/proc/14254/task/14261/stat : 14261 (java) S 14251 14254 13514 0 -1 1077944384 1935 0 0 0 1 0 0 0 20 0 16 0 105595824 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979887962736 139980854155906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14262] ppid=14251 vsize=10727700 memory=30156 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14262/stat : 14262 (java) S 14251 14254 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105595824 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979886908768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14263] ppid=14251 vsize=10727700 memory=2204 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14263/stat : 14263 (java) S 14251 14254 13514 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 105595824 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979885856384 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14264] ppid=14251 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14264/stat : 14264 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979884804688 139980854163355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14265] ppid=14251 vsize=10727700 memory=1520 CPUtime=1.7 cores=1,3,5,7
/proc/14254/task/14265/stat : 14265 (java) S 14251 14254 13514 0 -1 1077944384 8334 0 0 0 169 1 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979883751536 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14266] ppid=14251 vsize=10727700 memory=844 CPUtime=1.64 cores=1,3,5,7
/proc/14254/task/14266/stat : 14266 (java) S 14251 14254 13514 0 -1 1077944384 10101 0 0 0 163 1 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979882698736 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14267] ppid=14251 vsize=10727700 memory=3360 CPUtime=0.54 cores=1,3,5,7
/proc/14254/task/14267/stat : 14267 (java) S 14251 14254 13514 0 -1 1077944384 6398 0 0 0 53 1 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979881646448 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14268] ppid=14251 vsize=10727700 memory=2724 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14268/stat : 14268 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979880593888 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14269] ppid=14251 vsize=10727700 memory=1256 CPUtime=0.11 cores=1,3,5,7
/proc/14254/task/14269/stat : 14269 (java) S 14251 14254 13514 0 -1 1077944384 775 0 0 0 5 6 0 0 20 0 16 0 105595827 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979879541680 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14270] ppid=14251 vsize=10727700 memory=14572 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14270/stat : 14270 (java) S 14251 14254 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105595934 10985164800 208227 33554432000 4194304 4196468 140734537685136 139979878487216 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 832908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+247.431 s]
# the end of solver process 14254 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.479 s, system=0.620258 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+247.401 s]
/proc/loadavg: 1.92 2.03 1.94 3/217 14352
/proc/meminfo: memFree=27205072/32770624 swapFree=67108860/67108860
[pid=14254] ppid=14251 vsize=10927392 memory=833148 CPUtime=252.07 cores=1,3,5,7
/proc/14254/stat : 14254 (java) S 14251 14254 13514 0 -1 1077944320 45018 0 0 0 25146 61 0 0 20 0 17 0 105595821 11189649408 208287 33554432000 4194304 4196468 140734537685136 140734537667680 139980854144759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
/proc/14254/statm: 2731848 208287 3166 1 0 2694339 0
[pid=14254/tid=14256] ppid=14251 vsize=10927392 memory=30156 CPUtime=246.91 cores=1,3,5,7
/proc/14254/task/14256/stat : 14256 (java) S 14251 14254 13514 0 -1 1077944384 11588 0 0 0 24681 10 0 0 20 0 17 0 105595822 11189649408 208287 33554432000 4194304 4196468 140734537685136 139980858387632 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14257] ppid=14251 vsize=10927392 memory=2204 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14257/stat : 14257 (java) S 14251 14254 13514 0 -1 1077944384 1160 0 0 0 16 10 0 0 20 0 17 0 105595822 11189649408 208287 33554432000 4194304 4196468 140734537685136 139980780218768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14258] ppid=14251 vsize=10927392 memory=1240 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14258/stat : 14258 (java) S 14251 14254 13514 0 -1 1077944384 1048 0 0 0 17 9 0 0 20 0 17 0 105595822 11189649408 208287 33554432000 4194304 4196468 140734537685136 139980779165968 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14259] ppid=14251 vsize=10927392 memory=1520 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14259/stat : 14259 (java) S 14251 14254 13514 0 -1 1077944384 492 0 0 0 17 9 0 0 20 0 17 0 105595822 11189649408 208287 33554432000 4194304 4196468 140734537685136 139980778113680 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14260] ppid=14251 vsize=10927392 memory=844 CPUtime=0.26 cores=1,3,5,7
/proc/14254/task/14260/stat : 14260 (java) S 14251 14254 13514 0 -1 1077944384 524 0 0 0 17 9 0 0 20 0 17 0 105595822 11189649408 208287 33554432000 4194304 4196468 140734537685136 139980777060880 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14261] ppid=14251 vsize=10927392 memory=3360 CPUtime=0.01 cores=1,3,5,7
/proc/14254/task/14261/stat : 14261 (java) S 14251 14254 13514 0 -1 1077944384 1935 0 0 0 1 0 0 0 20 0 17 0 105595824 11189649408 208287 33554432000 4194304 4196468 140734537685136 139979887962736 139980854155906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14262] ppid=14251 vsize=10927392 memory=2724 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14262/stat : 14262 (java) S 14251 14254 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 105595824 11189649408 208287 33554432000 4194304 4196468 140734537685136 139979886908768 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14263] ppid=14251 vsize=10927392 memory=1256 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14263/stat : 14263 (java) S 14251 14254 13514 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 105595824 11189649408 208287 33554432000 4194304 4196468 140734537685136 139979885856384 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14264] ppid=14251 vsize=10927392 memory=10368 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14264/stat : 14264 (java) S 14251 14254 13514 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 17 0 105595827 11189649408 208287 33554432000 4194304 4196468 140734537685136 139979884804688 139980854163355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14265] ppid=14251 vsize=10927392 memory=1700 CPUtime=1.7 cores=1,3,5,7
/proc/14254/task/14265/stat : 14265 (java) S 14251 14254 13514 0 -1 1077944384 8510 0 0 0 169 1 0 0 20 0 17 0 105595827 11189649408 208287 33554432000 4194304 4196468 140734537685136 139979883751536 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14266] ppid=14251 vsize=10927392 memory=1172 CPUtime=1.64 cores=1,3,5,7
/proc/14254/task/14266/stat : 14266 (java) S 14251 14254 13514 0 -1 1077944384 10278 0 0 0 163 1 0 0 20 0 17 0 105595827 11189649408 208287 33554432000 4194304 4196468 140734537685136 139979882698736 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14267] ppid=14251 vsize=10927392 memory=1812 CPUtime=0.54 cores=1,3,5,7
/proc/14254/task/14267/stat : 14267 (java) S 14251 14254 13514 0 -1 1077944384 6801 0 0 0 53 1 0 0 20 0 17 0 105595827 11189649408 208287 33554432000 4194304 4196468 140734537685136 139979881646448 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14268] ppid=14251 vsize=10927392 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/14254/task/14268/stat : 14268 (java) S 14251 14254 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105595827 11189649408 208287 33554432000 4194304 4196468 140734537685136 139979880593888 139980854154965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
[pid=14254/tid=14269] ppid=14251 vsize=10927392 memory=5456 CPUtime=0.11 cores=1,3,5,7
/proc/14254/task/14269/stat : 14269 (java) S 14251 14254 13514 0 -1 1077944384 775 0 0 0 5 6 0 0 20 0 17 0 105595827 11189649408 208287 33554432000 4194304 4196468 140734537685136 139979879541680 139980854155906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140734537692278 140734537692430 140734537692430 140734537695183 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 833148 KiB
Child status: 143
Real time (s): 247.431
CPU time (s): 252.099
CPU user time (s): 251.479
CPU system time (s): 0.620258
CPU usage (%): 101.887
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 833148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.479
system time used= 0.620258
maximum resident set size= 833636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7600
involuntary context switches= 206
# summary of solver processes directly reported to runsolver:
# pid: 14254
# total CPU time (s): 252.099
# total CPU user time (s): 251.479
# total CPU system time (s): 0.620258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49469 second user time and 2.37201 second system time
The end