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 (12549 MiB free)
memory of node 1: 16384 MiB (15783 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400980-1568682887/watcher-4400980-1568682887 -o /tmp/evaluation-result-4400980-1568682887/solver-4400980-1568682887 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568673292-1030 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=548403584 HOME/instance-4400980-1568682887.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4279, runsolver pid=4276
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.41 1.50 1.49 3/222 4336
/proc/meminfo: memFree=29005504/32770624 swapFree=66998740/67108860
[pid=4279] ppid=4276 vsize=9972712 memory=18328 CPUtime=0.08 cores=1,3,5,7
/proc/4279/stat : 4279 (java) S 4276 4279 998 0 -1 1077944320 4346 13322 0 0 1 0 5 2 20 0 6 0 444553572 10212057088 4582 33554432000 4194304 4196468 140722852353136 140722852335680 139755533491959 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
/proc/4279/statm: 2493178 4582 1931 1 0 2481616 0
[pid=4279/tid=4332] ppid=4276 vsize=9972712 memory=8514726395714820750 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4332/stat : 4332 (java) R 4276 4279 998 0 -1 4202560 2159 13322 0 0 0 0 5 2 20 0 6 0 444553581 10212057088 4648 33554432000 4194304 4196468 140722852353136 139755505328720 139755518614896 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4333] ppid=4276 vsize=9972712 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4333/stat : 4333 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 6 0 444553582 10212057088 4648 33554432000 4194304 4196468 140722852353136 139755537733904 139755533502165 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4334] ppid=4276 vsize=9972712 memory=139974843795072 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4334/stat : 4334 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 6 0 444553582 10212057088 4648 33554432000 4194304 4196468 140722852353136 139755426007440 139755533502165 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4335] ppid=4276 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4335/stat : 4335 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 6 0 444553582 10212057088 4648 33554432000 4194304 4196468 140722852353136 139755424954896 139755533502165 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4336] ppid=4276 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4336/stat : 4336 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 6 0 444553582 10212057088 4648 33554432000 4194304 4196468 140722852353136 139755423902352 139755533502165 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210214 s]*
/proc/loadavg: 1.41 1.50 1.49 4/231 4345
/proc/meminfo: memFree=28979300/32770624 swapFree=66998740/67108860
[pid=4279] ppid=4276 vsize=10820196 memory=47156 CPUtime=0.26 cores=1,3,5,7
/proc/4279/stat : 4279 (java) S 4276 4279 998 0 -1 1077944320 7078 13322 0 0 17 2 5 2 20 0 15 0 444553572 11079880704 11789 33554432000 4194304 4196468 140722852353136 140722852335680 139755533491959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
/proc/4279/statm: 2705049 11789 3306 1 0 2667149 0
[pid=4279/tid=4332] ppid=4276 vsize=10820196 memory=5450916389569530688 CPUtime=0.18 cores=1,3,5,7
/proc/4279/task/4332/stat : 4332 (java) R 4276 4279 998 0 -1 4202560 3576 13322 0 0 10 1 5 2 20 0 15 0 444553581 11079880704 11789 33554432000 4194304 4196468 140722852353136 139755505315120 139755098571886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4333] ppid=4276 vsize=10820196 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4333/stat : 4333 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553582 11079880704 11789 33554432000 4194304 4196468 140722852353136 139755537733904 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4334] ppid=4276 vsize=10820196 memory=139974843795072 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4334/stat : 4334 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553582 11079880704 11789 33554432000 4194304 4196468 140722852353136 139755426007440 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4335] ppid=4276 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4335/stat : 4335 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553582 11079880704 11789 33554432000 4194304 4196468 140722852353136 139755424954896 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4336] ppid=4276 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4336/stat : 4336 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553582 11079880704 11789 33554432000 4194304 4196468 140722852353136 139755423902352 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4337] ppid=4276 vsize=10820196 memory=139974843795072 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4337/stat : 4337 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553583 11079880704 11789 33554432000 4194304 4196468 140722852353136 139754992507376 139755533503106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4338] ppid=4276 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4338/stat : 4338 (java) S 4276 4279 998 0 -1 1077944384 33 13322 0 0 0 0 5 2 20 0 15 0 444553584 11079880704 11789 33554432000 4194304 4196468 140722852353136 139754991453600 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4339] ppid=4276 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4339/stat : 4339 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553584 11079880704 11789 33554432000 4194304 4196468 140722852353136 139754880361968 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4340] ppid=4276 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4340/stat : 4340 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553587 11079880704 11789 33554432000 4194304 4196468 140722852353136 139754276383440 139755533510555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4341] ppid=4276 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4341/stat : 4341 (java) S 4276 4279 998 0 -1 1077944384 441 13322 0 0 0 0 5 2 20 0 15 0 444553587 11079880704 11789 33554432000 4194304 4196468 140722852353136 139754957895664 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4342] ppid=4276 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4279/task/4342/stat : 4342 (java) S 4276 4279 998 0 -1 1077944384 198 13322 0 0 1 0 5 2 20 0 15 0 444553587 11079880704 11789 33554432000 4194304 4196468 140722852353136 139754956843120 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4343] ppid=4276 vsize=10820196 memory=139974843795072 CPUtime=0.1 cores=1,3,5,7
/proc/4279/task/4343/stat : 4343 (java) S 4276 4279 998 0 -1 1077944384 610 13322 0 0 3 0 5 2 20 0 15 0 444553587 11079880704 11789 33554432000 4194304 4196468 140722852353136 139754955790576 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4344] ppid=4276 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4344/stat : 4344 (java) S 4276 4279 998 0 -1 1077944384 3 13322 0 0 0 0 5 2 20 0 15 0 444553587 11079880704 11789 33554432000 4194304 4196468 140722852353136 139753806621280 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4345] ppid=4276 vsize=10820196 memory=139974843795072 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4345/stat : 4345 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553587 11079880704 11789 33554432000 4194304 4196468 140722852353136 139754954738480 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 47156 KiB
[startup+0.310697 s]*
/proc/loadavg: 1.41 1.50 1.49 3/231 4345
/proc/meminfo: memFree=28969276/32770624 swapFree=66998740/67108860
[pid=4279] ppid=4276 vsize=10820196 memory=55464 CPUtime=0.39 cores=1,3,5,7
/proc/4279/stat : 4279 (java) S 4276 4279 998 0 -1 1077944320 10570 13322 0 0 28 4 5 2 20 0 15 0 444553572 11079880704 13866 33554432000 4194304 4196468 140722852353136 140722852335680 139755533491959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
/proc/4279/statm: 2705049 13866 3317 1 0 2667149 0
[pid=4279/tid=4332] ppid=4276 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=1,3,5,7
/proc/4279/task/4332/stat : 4332 (java) R 4276 4279 998 0 -1 4202560 7055 13322 0 0 18 3 5 2 20 0 15 0 444553581 11079880704 13866 33554432000 4194304 4196468 140722852353136 139755505300912 139755533513885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4333] ppid=4276 vsize=10820196 memory=7301291937839211602 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4333/stat : 4333 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553582 11079880704 13866 33554432000 4194304 4196468 140722852353136 139755537733904 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4334] ppid=4276 vsize=10820196 memory=2080 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4334/stat : 4334 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553582 11079880704 13866 33554432000 4194304 4196468 140722852353136 139755426007440 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4335] ppid=4276 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4335/stat : 4335 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553582 11079880704 13866 33554432000 4194304 4196468 140722852353136 139755424954896 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4336] ppid=4276 vsize=10820196 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4336/stat : 4336 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553582 11079880704 13866 33554432000 4194304 4196468 140722852353136 139755423902352 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4337] ppid=4276 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4337/stat : 4337 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553583 11079880704 13866 33554432000 4194304 4196468 140722852353136 139754992507376 139755533503106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4338] ppid=4276 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4338/stat : 4338 (java) S 4276 4279 998 0 -1 1077944384 33 13322 0 0 0 0 5 2 20 0 15 0 444553584 11079880704 13866 33554432000 4194304 4196468 140722852353136 139754991453600 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4339] ppid=4276 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4339/stat : 4339 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553584 11079880704 13866 33554432000 4194304 4196468 140722852353136 139754880361968 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4340] ppid=4276 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4340/stat : 4340 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553587 11079880704 13866 33554432000 4194304 4196468 140722852353136 139754276383440 139755533510555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4341] ppid=4276 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4279/task/4341/stat : 4341 (java) S 4276 4279 998 0 -1 1077944384 444 13322 0 0 1 0 5 2 20 0 15 0 444553587 11079880704 13866 33554432000 4194304 4196468 140722852353136 139754957895664 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4342] ppid=4276 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4279/task/4342/stat : 4342 (java) S 4276 4279 998 0 -1 1077944384 198 13322 0 0 2 0 5 2 20 0 15 0 444553587 11079880704 13866 33554432000 4194304 4196468 140722852353136 139754956843120 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4343] ppid=4276 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4279/task/4343/stat : 4343 (java) R 4276 4279 998 0 -1 4202560 618 13322 0 0 5 0 5 2 20 0 15 0 444553587 11079880704 13866 33554432000 4194304 4196468 140722852353136 139754955790576 139755533513306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4344] ppid=4276 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4344/stat : 4344 (java) S 4276 4279 998 0 -1 1077944384 3 13322 0 0 0 0 5 2 20 0 15 0 444553587 11079880704 13866 33554432000 4194304 4196468 140722852353136 139753806621280 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4345] ppid=4276 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4345/stat : 4345 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553587 11079880704 13866 33554432000 4194304 4196468 140722852353136 139754954738480 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 55464 KiB
[startup+0.700732 s]
/proc/loadavg: 1.41 1.50 1.49 8/231 4345
/proc/meminfo: memFree=28954736/32770624 swapFree=66998740/67108860
[pid=4279] ppid=4276 vsize=10824364 memory=87248 CPUtime=1.14 cores=1,3,5,7
/proc/4279/stat : 4279 (java) S 4276 4279 998 0 -1 1077944320 14539 13322 0 0 101 6 5 2 20 0 15 0 444553572 11084148736 21812 33554432000 4194304 4196468 140722852353136 140722852335680 139755533491959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
/proc/4279/statm: 2706091 21812 3509 1 0 2668173 0
[pid=4279/tid=4332] ppid=4276 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/4279/task/4332/stat : 4332 (java) R 4276 4279 998 0 -1 4202560 10035 13322 0 0 55 4 5 2 20 0 15 0 444553581 11084148736 21816 33554432000 4194304 4196468 140722852353136 139755505316352 139755517535589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4333] ppid=4276 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4333/stat : 4333 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553582 11084148736 21816 33554432000 4194304 4196468 140722852353136 139755537733904 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4334] ppid=4276 vsize=10824364 memory=239 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4334/stat : 4334 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553582 11084148736 21816 33554432000 4194304 4196468 140722852353136 139755426007440 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4335] ppid=4276 vsize=10824364 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4335/stat : 4335 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553582 11084148736 21816 33554432000 4194304 4196468 140722852353136 139755424954896 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4336] ppid=4276 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4336/stat : 4336 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553582 11084148736 21816 33554432000 4194304 4196468 140722852353136 139755423902352 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4337] ppid=4276 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4337/stat : 4337 (java) S 4276 4279 998 0 -1 1077944384 5 13322 0 0 0 0 5 2 20 0 15 0 444553583 11084148736 21816 33554432000 4194304 4196468 140722852353136 139754992507376 139755533503106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4338] ppid=4276 vsize=10824364 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4338/stat : 4338 (java) S 4276 4279 998 0 -1 1077944384 33 13322 0 0 0 0 5 2 20 0 15 0 444553584 11084148736 21816 33554432000 4194304 4196468 140722852353136 139754991453600 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4339] ppid=4276 vsize=10824364 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4339/stat : 4339 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553584 11084148736 21816 33554432000 4194304 4196468 140722852353136 139754880361968 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4340] ppid=4276 vsize=10824364 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4340/stat : 4340 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553587 11084148736 21816 33554432000 4194304 4196468 140722852353136 139754276383440 139755533510555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4341] ppid=4276 vsize=10824364 memory=11044 CPUtime=0.22 cores=1,3,5,7
/proc/4279/task/4341/stat : 4341 (java) R 4276 4279 998 0 -1 4202560 858 13322 0 0 15 0 5 2 20 0 15 0 444553587 11084148736 21816 33554432000 4194304 4196468 140722852353136 139754957895664 139755517397926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4342] ppid=4276 vsize=10824364 memory=13252 CPUtime=0.2 cores=1,3,5,7
/proc/4279/task/4342/stat : 4342 (java) R 4276 4279 998 0 -1 4202560 615 13322 0 0 13 0 5 2 20 0 15 0 444553587 11084148736 21816 33554432000 4194304 4196468 140722852353136 139754956843120 139755516977872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4343] ppid=4276 vsize=10824364 memory=15460 CPUtime=0.24 cores=1,3,5,7
/proc/4279/task/4343/stat : 4343 (java) S 4276 4279 998 0 -1 1077944384 774 13322 0 0 17 0 5 2 20 0 15 0 444553587 11084148736 21816 33554432000 4194304 4196468 140722852353136 139754955790576 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4344] ppid=4276 vsize=10824364 memory=17668 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4344/stat : 4344 (java) S 4276 4279 998 0 -1 1077944384 3 13322 0 0 0 0 5 2 20 0 15 0 444553587 11084148736 21816 33554432000 4194304 4196468 140722852353136 139753806621280 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4345] ppid=4276 vsize=10824364 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4345/stat : 4345 (java) S 4276 4279 998 0 -1 1077944384 1 13322 0 0 0 0 5 2 20 0 15 0 444553587 11084148736 21816 33554432000 4194304 4196468 140722852353136 139754954738480 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87248 KiB
[startup+1.50069 s]
/proc/loadavg: 1.41 1.50 1.49 3/231 4345
/proc/meminfo: memFree=28903428/32770624 swapFree=66998740/67108860
[pid=4279] ppid=4276 vsize=10834680 memory=193164 CPUtime=2.76 cores=1,3,5,7
/proc/4279/stat : 4279 (java) S 4276 4279 998 0 -1 1077944320 24220 13322 0 0 258 11 5 2 20 0 15 0 444553572 11094712320 48291 33554432000 4194304 4196468 140722852353136 140722852335680 139755533491959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
/proc/4279/statm: 2708670 48291 3581 1 0 2670733 0
[pid=4279/tid=4332] ppid=4276 vsize=10834680 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/4279/task/4332/stat : 4332 (java) R 4276 4279 998 0 -1 4202560 15886 13322 0 0 129 6 5 2 20 0 15 0 444553581 11094712320 48291 33554432000 4194304 4196468 140722852353136 139755505323376 139755517535589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4333] ppid=4276 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4279/task/4333/stat : 4333 (java) S 4276 4279 998 0 -1 1077944384 325 13322 0 0 1 0 5 2 20 0 15 0 444553582 11094712320 48291 33554432000 4194304 4196468 140722852353136 139755537733904 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4334] ppid=4276 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4279/task/4334/stat : 4334 (java) S 4276 4279 998 0 -1 1077944384 78 13322 0 0 1 0 5 2 20 0 15 0 444553582 11094712320 48291 33554432000 4194304 4196468 140722852353136 139755426007440 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4335] ppid=4276 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4279/task/4335/stat : 4335 (java) S 4276 4279 998 0 -1 1077944384 32 13322 0 0 1 0 5 2 20 0 15 0 444553582 11094712320 48291 33554432000 4194304 4196468 140722852353136 139755424954896 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4336] ppid=4276 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4279/task/4336/stat : 4336 (java) S 4276 4279 998 0 -1 1077944384 60 13322 0 0 1 0 5 2 20 0 15 0 444553582 11094712320 48291 33554432000 4194304 4196468 140722852353136 139755423902352 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4337] ppid=4276 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4279/task/4337/stat : 4337 (java) S 4276 4279 998 0 -1 1077944384 1440 13322 0 0 1 0 5 2 20 0 15 0 444553583 11094712320 48291 33554432000 4194304 4196468 140722852353136 139754992507376 139755533503106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4338] ppid=4276 vsize=10834680 memory=-9178176117148050014 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4338/stat : 4338 (java) S 4276 4279 998 0 -1 1077944384 34 13322 0 0 0 0 5 2 20 0 15 0 444553584 11094712320 48291 33554432000 4194304 4196468 140722852353136 139754991453664 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4339] ppid=4276 vsize=10834680 memory=279949458090240 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4339/stat : 4339 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553584 11094712320 48291 33554432000 4194304 4196468 140722852353136 139754880361984 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4340] ppid=4276 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4340/stat : 4340 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553587 11094712320 48291 33554432000 4194304 4196468 140722852353136 139754276383440 139755533510555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4341] ppid=4276 vsize=10834680 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/4279/task/4341/stat : 4341 (java) S 4276 4279 998 0 -1 1077944384 1483 13322 0 0 42 0 5 2 20 0 15 0 444553587 11094712320 48291 33554432000 4194304 4196468 140722852353136 139754957895664 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4342] ppid=4276 vsize=10834680 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/4279/task/4342/stat : 4342 (java) S 4276 4279 998 0 -1 1077944384 1109 13322 0 0 40 0 5 2 20 0 15 0 444553587 11094712320 48291 33554432000 4194304 4196468 140722852353136 139754956843120 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4343] ppid=4276 vsize=10834680 memory=4580 CPUtime=0.46 cores=1,3,5,7
/proc/4279/task/4343/stat : 4343 (java) S 4276 4279 998 0 -1 1077944384 1553 13322 0 0 39 0 5 2 20 0 15 0 444553587 11094712320 48291 33554432000 4194304 4196468 140722852353136 139754955790576 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4344] ppid=4276 vsize=10834680 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4344/stat : 4344 (java) S 4276 4279 998 0 -1 1077944384 3 13322 0 0 0 0 5 2 20 0 15 0 444553587 11094712320 48291 33554432000 4194304 4196468 140722852353136 139753806621280 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4345] ppid=4276 vsize=10834680 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4345/stat : 4345 (java) S 4276 4279 998 0 -1 1077944384 3 13322 0 0 0 0 5 2 20 0 15 0 444553587 11094712320 48318 33554432000 4194304 4196468 140722852353136 139754954738480 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/4279/task/4332/stat : 4332 (java) R 4276 4279 998 0 -1 4202560 73676 13322 0 0 236740 44 5 2 20 0 15 0 444553581 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755505326672 139755112937615 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4333] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.19 cores=1,3,5,7
/proc/4279/task/4333/stat : 4333 (java) S 4276 4279 998 0 -1 1077944384 20200 13322 0 0 578 34 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755537733904 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4334] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.19 cores=1,3,5,7
/proc/4279/task/4334/stat : 4334 (java) S 4276 4279 998 0 -1 1077944384 20474 13322 0 0 579 33 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755426007440 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4335] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.14 cores=1,3,5,7
/proc/4279/task/4335/stat : 4335 (java) S 4276 4279 998 0 -1 1077944384 24546 13322 0 0 571 36 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755424954896 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4336] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.19 cores=1,3,5,7
/proc/4279/task/4336/stat : 4336 (java) S 4276 4279 998 0 -1 1077944384 30676 13322 0 0 577 35 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755423902352 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4337] ppid=4276 vsize=10849036 memory=1324840 CPUtime=5.7 cores=1,3,5,7
/proc/4279/task/4337/stat : 4337 (java) S 4276 4279 998 0 -1 1077944384 21473 13322 0 0 534 29 5 2 20 0 15 0 444553583 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754992507376 139755533503106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4338] ppid=4276 vsize=10849036 memory=1324840 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4338/stat : 4338 (java) S 4276 4279 998 0 -1 1077944384 38 13322 0 0 0 0 5 2 20 0 15 0 444553584 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754991453664 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4339] ppid=4276 vsize=10849036 memory=1324840 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4339/stat : 4339 (java) S 4276 4279 998 0 -1 1077944384 4 13322 0 0 0 0 5 2 20 0 15 0 444553584 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754880361984 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4340] ppid=4276 vsize=10849036 memory=240838 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4340/stat : 4340 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754276383440 139755533510555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4341] ppid=4276 vsize=10849036 memory=3580 CPUtime=4.69 cores=1,3,5,7
/proc/4279/task/4341/stat : 4341 (java) S 4276 4279 998 0 -1 1077944384 21645 13322 0 0 460 2 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754957895664 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4342] ppid=4276 vsize=10849036 memory=0 CPUtime=4.6 cores=1,3,5,7
/proc/4279/task/4342/stat : 4342 (java) S 4276 4279 998 0 -1 1077944384 24055 13322 0 0 450 3 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754956843120 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4343] ppid=4276 vsize=10849036 memory=1324840 CPUtime=1.81 cores=1,3,5,7
/proc/4279/task/4343/stat : 4343 (java) S 4276 4279 998 0 -1 1077944384 11547 13322 0 0 170 4 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754955790576 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4344] ppid=4276 vsize=10849036 memory=2872 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4344/stat : 4344 (java) S 4276 4279 998 0 -1 1077944384 3 13322 0 0 0 0 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139753806621280 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4345] ppid=4276 vsize=10849036 memory=7 CPUtime=1.35 cores=1,3,5,7
/proc/4279/task/4345/stat : 4345 (java) S 4276 4279 998 0 -1 1077944384 1593 13322 0 0 63 65 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754954738480 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
Current children cumulated CPU time: 2410.26 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1324840 KiB
[startup+2442.3 s]
/proc/loadavg: 1.32 1.32 1.38 3/228 4757
/proc/meminfo: memFree=28276144/32770624 swapFree=66998744/67108860
[pid=4279] ppid=4276 vsize=10849036 memory=1324840 CPUtime=2470.77 cores=1,3,5,7
/proc/4279/stat : 4279 (java) S 4276 4279 998 0 -1 1077944320 253460 13322 0 0 246819 251 5 2 20 0 15 0 444553572 11109412864 331210 33554432000 4194304 4196468 140722852353136 140722852335680 139755533491959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
/proc/4279/statm: 2712259 331210 3633 1 0 2674317 0
[pid=4279/tid=4332] ppid=4276 vsize=10849036 memory=1324840 CPUtime=2427.52 cores=1,3,5,7
/proc/4279/task/4332/stat : 4332 (java) R 4276 4279 998 0 -1 4202560 74253 13322 0 0 242700 45 5 2 20 0 15 0 444553581 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755505326736 139755112938464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4333] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.37 cores=1,3,5,7
/proc/4279/task/4333/stat : 4333 (java) S 4276 4279 998 0 -1 1077944384 20216 13322 0 0 595 35 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755537733904 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4334] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.37 cores=1,3,5,7
/proc/4279/task/4334/stat : 4334 (java) S 4276 4279 998 0 -1 1077944384 20527 13322 0 0 596 34 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755426007440 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4335] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.32 cores=1,3,5,7
/proc/4279/task/4335/stat : 4335 (java) S 4276 4279 998 0 -1 1077944384 24555 13322 0 0 588 37 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755424954896 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4336] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.37 cores=1,3,5,7
/proc/4279/task/4336/stat : 4336 (java) S 4276 4279 998 0 -1 1077944384 31108 13322 0 0 594 36 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755423902352 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4337] ppid=4276 vsize=10849036 memory=1324840 CPUtime=5.87 cores=1,3,5,7
/proc/4279/task/4337/stat : 4337 (java) S 4276 4279 998 0 -1 1077944384 21679 13322 0 0 550 30 5 2 20 0 15 0 444553583 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754992507376 139755533503106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4338] ppid=4276 vsize=10849036 memory=1324840 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4338/stat : 4338 (java) S 4276 4279 998 0 -1 1077944384 38 13322 0 0 0 0 5 2 20 0 15 0 444553584 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754991453664 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4339] ppid=4276 vsize=10849036 memory=1324840 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4339/stat : 4339 (java) S 4276 4279 998 0 -1 1077944384 4 13322 0 0 0 0 5 2 20 0 15 0 444553584 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754880361984 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4340] ppid=4276 vsize=10849036 memory=1324840 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4340/stat : 4340 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754276383440 139755533510555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4341] ppid=4276 vsize=10849036 memory=1324840 CPUtime=4.69 cores=1,3,5,7
/proc/4279/task/4341/stat : 4341 (java) S 4276 4279 998 0 -1 1077944384 21647 13322 0 0 460 2 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754957895664 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4342] ppid=4276 vsize=10849036 memory=1324840 CPUtime=4.6 cores=1,3,5,7
/proc/4279/task/4342/stat : 4342 (java) S 4276 4279 998 0 -1 1077944384 24057 13322 0 0 450 3 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754956843120 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4343] ppid=4276 vsize=10849036 memory=1324840 CPUtime=1.81 cores=1,3,5,7
/proc/4279/task/4343/stat : 4343 (java) S 4276 4279 998 0 -1 1077944384 11550 13322 0 0 170 4 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754955790576 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4344] ppid=4276 vsize=10849036 memory=-7533511066075829596 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4344/stat : 4344 (java) S 4276 4279 998 0 -1 1077944384 3 13322 0 0 0 0 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139753806621280 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4345] ppid=4276 vsize=10849036 memory=1324840 CPUtime=1.38 cores=1,3,5,7
/proc/4279/task/4345/stat : 4345 (java) S 4276 4279 998 0 -1 1077944384 1611 13322 0 0 65 66 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754954738480 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
Current children cumulated CPU time: 2470.77 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1324840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.11 s]
/proc/loadavg: 1.38 1.34 1.38 3/227 4761
/proc/meminfo: memFree=28273760/32770624 swapFree=66998744/67108860
[pid=4279] ppid=4276 vsize=10849036 memory=1324840 CPUtime=2520 cores=1,3,5,7
/proc/4279/stat : 4279 (java) S 4276 4279 998 0 -1 1077944320 255594 13322 0 0 251738 255 5 2 20 0 15 0 444553572 11109412864 331210 33554432000 4194304 4196468 140722852353136 140722852335680 139755533491959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
/proc/4279/statm: 2712259 331210 3633 1 0 2674317 0
[pid=4279/tid=4332] ppid=4276 vsize=10849036 memory=1324840 CPUtime=2475.93 cores=1,3,5,7
/proc/4279/task/4332/stat : 4332 (java) R 4276 4279 998 0 -1 4202560 74933 13322 0 0 247541 45 5 2 20 0 15 0 444553581 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755505326736 139755112938192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4333] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.54 cores=1,3,5,7
/proc/4279/task/4333/stat : 4333 (java) S 4276 4279 998 0 -1 1077944384 20984 13322 0 0 611 36 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755537733904 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4334] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.53 cores=1,3,5,7
/proc/4279/task/4334/stat : 4334 (java) S 4276 4279 998 0 -1 1077944384 20657 13322 0 0 611 35 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755426007440 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4335] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.47 cores=1,3,5,7
/proc/4279/task/4335/stat : 4335 (java) S 4276 4279 998 0 -1 1077944384 24609 13322 0 0 603 37 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755424954896 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4336] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.53 cores=1,3,5,7
/proc/4279/task/4336/stat : 4336 (java) S 4276 4279 998 0 -1 1077944384 31156 13322 0 0 609 37 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755423902352 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4337] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.02 cores=1,3,5,7
/proc/4279/task/4337/stat : 4337 (java) S 4276 4279 998 0 -1 1077944384 22078 13322 0 0 564 31 5 2 20 0 15 0 444553583 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754992507376 139755533503106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4338] ppid=4276 vsize=10849036 memory=1324840 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4338/stat : 4338 (java) S 4276 4279 998 0 -1 1077944384 38 13322 0 0 0 0 5 2 20 0 15 0 444553584 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754991453664 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4339] ppid=4276 vsize=10849036 memory=1324840 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4339/stat : 4339 (java) S 4276 4279 998 0 -1 1077944384 4 13322 0 0 0 0 5 2 20 0 15 0 444553584 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754880361984 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4340] ppid=4276 vsize=10849036 memory=1324840 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4340/stat : 4340 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754276383440 139755533510555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4341] ppid=4276 vsize=10849036 memory=1324840 CPUtime=4.69 cores=1,3,5,7
/proc/4279/task/4341/stat : 4341 (java) S 4276 4279 998 0 -1 1077944384 21651 13322 0 0 460 2 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754957895664 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4342] ppid=4276 vsize=10849036 memory=1324840 CPUtime=4.6 cores=1,3,5,7
/proc/4279/task/4342/stat : 4342 (java) S 4276 4279 998 0 -1 1077944384 24061 13322 0 0 450 3 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754956843120 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4343] ppid=4276 vsize=10849036 memory=45656 CPUtime=1.81 cores=1,3,5,7
/proc/4279/task/4343/stat : 4343 (java) S 4276 4279 998 0 -1 1077944384 11554 13322 0 0 170 4 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754955790576 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4344] ppid=4276 vsize=10849036 memory=279949458670984 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4344/stat : 4344 (java) S 4276 4279 998 0 -1 1077944384 3 13322 0 0 0 0 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139753806621280 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4345] ppid=4276 vsize=10849036 memory=3580 CPUtime=1.41 cores=1,3,5,7
/proc/4279/task/4345/stat : 4345 (java) S 4276 4279 998 0 -1 1077944384 1654 13322 0 0 66 68 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754954738480 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1324840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.14 s]
# the end of solver process 4279 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.46 s, system=2.59919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2491.11 s]
/proc/loadavg: 1.38 1.34 1.38 3/227 4761
/proc/meminfo: memFree=28273760/32770624 swapFree=66998744/67108860
[pid=4279] ppid=4276 vsize=10849036 memory=1324840 CPUtime=2520 cores=1,3,5,7
/proc/4279/stat : 4279 (java) S 4276 4279 998 0 -1 1077944320 255594 13322 0 0 251738 255 5 2 20 0 15 0 444553572 11109412864 331210 33554432000 4194304 4196468 140722852353136 140722852335680 139755533491959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
/proc/4279/statm: 2712259 331210 3633 1 0 2674317 0
[pid=4279/tid=4332] ppid=4276 vsize=10849036 memory=1324840 CPUtime=2475.93 cores=1,3,5,7
/proc/4279/task/4332/stat : 4332 (java) R 4276 4279 998 0 -1 4202560 74933 13322 0 0 247541 45 5 2 20 0 15 0 444553581 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755505326736 139755112938192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4333] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.54 cores=1,3,5,7
/proc/4279/task/4333/stat : 4333 (java) S 4276 4279 998 0 -1 1077944384 20984 13322 0 0 611 36 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755537733904 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4334] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.53 cores=1,3,5,7
/proc/4279/task/4334/stat : 4334 (java) S 4276 4279 998 0 -1 1077944384 20657 13322 0 0 611 35 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755426007440 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4335] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.47 cores=1,3,5,7
/proc/4279/task/4335/stat : 4335 (java) S 4276 4279 998 0 -1 1077944384 24609 13322 0 0 603 37 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755424954896 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4336] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.53 cores=1,3,5,7
/proc/4279/task/4336/stat : 4336 (java) S 4276 4279 998 0 -1 1077944384 31156 13322 0 0 609 37 5 2 20 0 15 0 444553582 11109412864 331210 33554432000 4194304 4196468 140722852353136 139755423902352 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4337] ppid=4276 vsize=10849036 memory=1324840 CPUtime=6.02 cores=1,3,5,7
/proc/4279/task/4337/stat : 4337 (java) S 4276 4279 998 0 -1 1077944384 22078 13322 0 0 564 31 5 2 20 0 15 0 444553583 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754992507376 139755533503106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4338] ppid=4276 vsize=10849036 memory=1324840 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4338/stat : 4338 (java) S 4276 4279 998 0 -1 1077944384 38 13322 0 0 0 0 5 2 20 0 15 0 444553584 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754991453664 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4339] ppid=4276 vsize=10849036 memory=1324840 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4339/stat : 4339 (java) S 4276 4279 998 0 -1 1077944384 4 13322 0 0 0 0 5 2 20 0 15 0 444553584 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754880361984 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4340] ppid=4276 vsize=10849036 memory=1324840 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4340/stat : 4340 (java) S 4276 4279 998 0 -1 1077944384 2 13322 0 0 0 0 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754276383440 139755533510555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4341] ppid=4276 vsize=10849036 memory=1324840 CPUtime=4.69 cores=1,3,5,7
/proc/4279/task/4341/stat : 4341 (java) S 4276 4279 998 0 -1 1077944384 21651 13322 0 0 460 2 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754957895664 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4342] ppid=4276 vsize=10849036 memory=1324840 CPUtime=4.6 cores=1,3,5,7
/proc/4279/task/4342/stat : 4342 (java) S 4276 4279 998 0 -1 1077944384 24061 13322 0 0 450 3 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754956843120 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4343] ppid=4276 vsize=10849036 memory=45656 CPUtime=1.81 cores=1,3,5,7
/proc/4279/task/4343/stat : 4343 (java) S 4276 4279 998 0 -1 1077944384 11554 13322 0 0 170 4 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754955790576 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4344] ppid=4276 vsize=10849036 memory=279949458670984 CPUtime=0.07 cores=1,3,5,7
/proc/4279/task/4344/stat : 4344 (java) S 4276 4279 998 0 -1 1077944384 3 13322 0 0 0 0 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139753806621280 139755533502165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
[pid=4279/tid=4345] ppid=4276 vsize=10849036 memory=3580 CPUtime=1.41 cores=1,3,5,7
/proc/4279/task/4345/stat : 4345 (java) S 4276 4279 998 0 -1 1077944384 1654 13322 0 0 66 68 5 2 20 0 15 0 444553587 11109412864 331210 33554432000 4194304 4196468 140722852353136 139754954738480 139755533503106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140722852354800 140722852357317 140722852357317 140722852360143 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1324840 KiB
Child status: 143
Real time (s): 2491.14
CPU time (s): 2520.06
CPU user time (s): 2517.46
CPU system time (s): 2.59919
CPU usage (%): 101.161
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 1361548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.46
system time used= 2.59919
maximum resident set size= 1363596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270180
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 181151
involuntary context switches= 5654
# summary of solver processes directly reported to runsolver:
# pid: 4279
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.46
# total CPU system time (s): 2.59919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5524 second user time and 24.1794 second system time
The end