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 (15205 MiB free)
memory of node 1: 16384 MiB (7641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258020-1502643271/watcher-4258020-1502643271 -o /tmp/evaluation-result-4258020-1502643271/solver-4258020-1502643271 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258020-1502643271.xml
running on 4 cores: 0,2,4,6
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=6328, runsolver pid=6325
[startup+0.10009 s]*
/proc/loadavg: 3.36 2.35 1.98 4/194 6337
/proc/meminfo: memFree=31206436/32770624 swapFree=67108860/67108860
[pid=6328] ppid=6325 vsize=10151672 memory=20216 CPUtime=0.04 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6325 6328 17093 0 -1 1077944320 3929 0 0 0 3 1 0 0 20 0 9 0 66520397 10395312128 5054 18446744073709551615 4194304 4196468 140725221071888 140725221054432 139954052861687 0 0 1 16800970 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
/proc/6328/statm: 2537918 5054 2155 1 0 2527415 0
[pid=6328/tid=6330] ppid=6325 vsize=10151672 memory=7972079681069007774 CPUtime=0.03 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) R 6325 6328 17093 0 -1 4202560 2571 0 0 0 3 0 0 0 20 0 9 0 66520403 10395312128 5054 18446744073709551615 4194304 4196468 140725221071888 139954057097080 139954052883613 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6331] ppid=6325 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 9 0 66520404 10395312128 5054 18446744073709551615 4194304 4196468 140725221071888 139953993899152 139954052871893 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6332] ppid=6325 vsize=10151672 memory=139683481060992 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) S 6325 6328 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66520404 10395312128 5054 18446744073709551615 4194304 4196468 140725221071888 139953662979088 139954052871893 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6333] ppid=6325 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) S 6325 6328 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66520404 10395312128 5054 18446744073709551615 4194304 4196468 140725221071888 139953661926288 139954052871893 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6334] ppid=6325 vsize=10151672 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) S 6325 6328 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66520404 10395312128 5054 18446744073709551615 4194304 4196468 140725221071888 139953660873488 139954052871893 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6335] ppid=6325 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6325 6328 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66520405 10395312128 5054 18446744073709551615 4194304 4196468 140725221071888 139953565530480 139954052872834 0 0 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6336] ppid=6325 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6325 6328 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 66520406 10395312128 5054 18446744073709551615 4194304 4196468 140725221071888 139953564476448 139954052871893 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6337] ppid=6325 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6325 6328 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 66520406 10395312128 5054 18446744073709551615 4194304 4196468 140725221071888 139953563423600 139954052871893 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20216 KiB
[startup+0.209846 s]*
/proc/loadavg: 3.36 2.35 1.98 2/195 6352
/proc/meminfo: memFree=31542364/32770624 swapFree=67108860/67108860
[pid=6328] ppid=6325 vsize=10551156 memory=24676 CPUtime=0.08 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6325 6328 17093 0 -1 1077944320 4687 0 0 0 7 1 0 0 20 0 15 0 66520397 10804383744 6169 18446744073709551615 4194304 4196468 140725221071888 140725221054432 139954052861687 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
/proc/6328/statm: 2637789 6169 2602 1 0 2627261 0
[pid=6328/tid=6330] ppid=6325 vsize=10551156 memory=7310027617963868211 CPUtime=0.06 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) R 6325 6328 17093 0 -1 4202560 2788 0 0 0 6 0 0 0 20 0 15 0 66520403 10804383744 6235 18446744073709551615 4194304 4196468 140725221071888 139954057087376 139954052883613 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6331] ppid=6325 vsize=10551156 memory=288230587528132022 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520404 10804383744 6235 18446744073709551615 4194304 4196468 140725221071888 139953993899152 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6332] ppid=6325 vsize=10551156 memory=139683481701268 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) S 6325 6328 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66520404 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953662979088 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6333] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) S 6325 6328 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66520404 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953661926288 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6334] ppid=6325 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) S 6325 6328 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66520404 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953660873488 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6335] ppid=6325 vsize=10551156 memory=139683481060992 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6325 6328 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66520405 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953565530480 139954052872834 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6336] ppid=6325 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6325 6328 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66520406 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953564476448 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6337] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6325 6328 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66520406 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953563423600 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6338] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520408 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953562371920 139954052880283 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6340] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) D 6325 6328 17093 0 -1 4202560 356 0 0 0 0 0 0 0 20 0 15 0 66520408 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953561320600 139954037142316 0 4 1 16800974 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6341] ppid=6325 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) S 6325 6328 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66520408 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953560267504 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6342] ppid=6325 vsize=10551156 memory=139683481060992 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) R 6325 6328 17093 0 -1 4202560 237 0 0 0 0 0 0 0 20 0 15 0 66520408 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953559214704 139954034510635 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6344] ppid=6325 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6344/stat : 6344 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520409 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953558162144 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6352] ppid=6325 vsize=10551156 memory=139683481060992 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6352/stat : 6352 (java) S 6325 6328 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66520417 10804383744 6301 18446744073709551615 4194304 4196468 140725221071888 139953557109424 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 24676 KiB
[startup+0.309976 s]*
/proc/loadavg: 3.36 2.35 1.98 2/198 6357
/proc/meminfo: memFree=31529660/32770624 swapFree=67108860/67108860
[pid=6328] ppid=6325 vsize=10551156 memory=36764 CPUtime=0.23 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6325 6328 17093 0 -1 1077944320 7963 0 0 0 20 3 0 0 20 0 15 0 66520397 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 140725221054432 139954052861687 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
/proc/6328/statm: 2637789 9191 2866 1 0 2627261 0
[pid=6328/tid=6330] ppid=6325 vsize=10551156 memory=-7677926825137650786 CPUtime=0.16 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) R 6325 6328 17093 0 -1 4202560 5603 0 0 0 14 2 0 0 20 0 15 0 66520403 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139954057095936 139954052883613 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6331] ppid=6325 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520404 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953993899152 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6332] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) S 6325 6328 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66520404 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953662979088 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6333] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) S 6325 6328 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66520404 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953661926288 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6334] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) S 6325 6328 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66520404 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953660873488 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6335] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6325 6328 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66520405 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953565530480 139954052872834 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6336] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6325 6328 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66520406 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953564476448 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6337] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6325 6328 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66520406 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953563423600 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6338] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520408 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953562371920 139954052880283 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6340] ppid=6325 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) S 6325 6328 17093 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 15 0 66520408 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953561320304 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6341] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) S 6325 6328 17093 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 66520408 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953560267504 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6342] ppid=6325 vsize=10551156 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) S 6325 6328 17093 0 -1 1077944384 418 0 0 0 4 0 0 0 20 0 15 0 66520408 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953559214704 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6344] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6344/stat : 6344 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520409 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953558162144 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6352] ppid=6325 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6352/stat : 6352 (java) S 6325 6328 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66520417 10804383744 9191 18446744073709551615 4194304 4196468 140725221071888 139953557109424 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36764 KiB
[startup+0.700641 s]
/proc/loadavg: 3.36 2.35 1.98 4/196 6372
/proc/meminfo: memFree=31498024/32770624 swapFree=67108860/67108860
[pid=6328] ppid=6325 vsize=10551232 memory=104508 CPUtime=1.26 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6325 6328 17093 0 -1 1077944320 12183 0 0 0 121 5 0 0 20 0 15 0 66520397 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 140725221054432 139954052861687 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
/proc/6328/statm: 2637808 26127 3036 1 0 2627261 0
[pid=6328/tid=6330] ppid=6325 vsize=10551232 memory=534 CPUtime=0.54 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) R 6325 6328 17093 0 -1 4202560 6801 0 0 0 51 3 0 0 20 0 15 0 66520403 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139954057098096 139953675001871 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6331] ppid=6325 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520404 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953993899152 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6332] ppid=6325 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) S 6325 6328 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66520404 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953662979088 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6333] ppid=6325 vsize=10551232 memory=15 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) S 6325 6328 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66520404 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953661926288 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6334] ppid=6325 vsize=10551232 memory=69 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) S 6325 6328 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66520404 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953660873488 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6335] ppid=6325 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6325 6328 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66520405 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953565530480 139954052872834 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6336] ppid=6325 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6325 6328 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953564476448 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6337] ppid=6325 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6325 6328 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953563423600 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6338] ppid=6325 vsize=10551232 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520408 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953562371920 139954052880283 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6340] ppid=6325 vsize=10551232 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) R 6325 6328 17093 0 -1 4202560 1435 0 0 0 27 0 0 0 20 0 15 0 66520408 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953561320304 139954032517360 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6341] ppid=6325 vsize=10551232 memory=12769 CPUtime=0.24 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) R 6325 6328 17093 0 -1 1077944384 1184 0 0 0 24 0 0 0 20 0 15 0 66520408 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953560267504 139954052872834 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6342] ppid=6325 vsize=10551232 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) R 6325 6328 17093 0 -1 4202560 1392 0 0 0 17 0 0 0 20 0 15 0 66520408 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953559214704 139954032576460 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6344] ppid=6325 vsize=10551232 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6344/stat : 6344 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520409 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953558162144 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6352] ppid=6325 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6352/stat : 6352 (java) S 6325 6328 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66520417 10804461568 26127 18446744073709551615 4194304 4196468 140725221071888 139953557109424 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 104508 KiB
[startup+1.50072 s]
/proc/loadavg: 3.36 2.35 1.98 5/193 6389
/proc/meminfo: memFree=31376676/32770624 swapFree=67108860/67108860
[pid=6328] ppid=6325 vsize=10551232 memory=403164 CPUtime=3.57 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6325 6328 17093 0 -1 1077944320 15628 0 0 0 339 18 0 0 20 0 15 0 66520397 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 140725221054432 139954052861687 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
/proc/6328/statm: 2637808 100791 3093 1 0 2627261 0
[pid=6328/tid=6330] ppid=6325 vsize=10551232 memory=0 CPUtime=1.22 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) R 6325 6328 17093 0 -1 4202560 6988 0 0 0 117 5 0 0 20 0 15 0 66520403 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 139954057098976 139953673699750 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6331] ppid=6325 vsize=10551232 memory=-7751062316387021378 CPUtime=0.09 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) S 6325 6328 17093 0 -1 1077944384 92 0 0 0 6 3 0 0 20 0 15 0 66520404 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 139953993899152 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6332] ppid=6325 vsize=10551232 memory=-3621219715169225006 CPUtime=0.09 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) S 6325 6328 17093 0 -1 1077944384 86 0 0 0 7 2 0 0 20 0 15 0 66520404 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 139953662979088 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6333] ppid=6325 vsize=10551232 memory=77 CPUtime=0.08 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) S 6325 6328 17093 0 -1 1077944384 247 0 0 0 6 2 0 0 20 0 15 0 66520404 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 139953661926288 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6334] ppid=6325 vsize=10551232 memory=71 CPUtime=0.09 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) S 6325 6328 17093 0 -1 1077944384 190 0 0 0 7 2 0 0 20 0 15 0 66520404 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 139953660873488 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6335] ppid=6325 vsize=10551232 memory=25 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6325 6328 17093 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 66520405 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 139953565530480 139954052872834 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6336] ppid=6325 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6325 6328 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 139953564476448 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6337] ppid=6325 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6325 6328 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 139953563423600 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6338] ppid=6325 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520408 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 139953562371920 139954052880283 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6340] ppid=6325 vsize=10551232 memory=1232 CPUtime=0.84 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) R 6325 6328 17093 0 -1 4202560 2779 0 0 0 84 0 0 0 20 0 15 0 66520408 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 139953561299088 139954032100160 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6341] ppid=6325 vsize=10551232 memory=2248 CPUtime=0.78 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) R 6325 6328 17093 0 -1 4202560 2037 0 0 0 78 0 0 0 20 0 15 0 66520408 10804461568 100791 18446744073709551615 4194304 4196468 140725221071888 139953560258784 139954032578823 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6342] ppid=6325 vsize=10551232 memory=4300 CPUtime=0.29 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) S 6325 6328 17093 0 -1 1077944384 1641 0 0 0 29 0 0 0 20 0 15 0 66520408 10804461568 100796 18446744073709551615 4194304 4196468 140725221071888 139953559214704 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
################
# More data... #
################
[startup+95.784 s]
# the end of solver process 6328 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.855 s, system=6.15214 s
Solver just ended.
Dumping a history of the last processes samples
[startup+94.4006 s]
/proc/loadavg: 5.14 3.15 2.30 9/210 6421
/proc/meminfo: memFree=15152800/32770624 swapFree=67108860/67108860
[pid=6328] ppid=6325 vsize=10551232 memory=8095012 CPUtime=254.86 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6325 6328 17093 0 -1 1077944320 671983 0 0 0 24881 605 0 0 20 0 15 0 66520397 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 140725221054432 139954052861687 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
/proc/6328/statm: 2637808 2023753 3120 1 0 2627261 0
[pid=6328/tid=6330] ppid=6325 vsize=10551232 memory=1732 CPUtime=30.99 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) S 6325 6328 17093 0 -1 1077944384 60666 0 0 0 3067 32 0 0 20 0 15 0 66520403 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139954057095392 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6331] ppid=6325 vsize=10551232 memory=5788 CPUtime=52.53 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) R 6325 6328 17093 0 -1 4202560 165143 0 0 0 5112 141 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953993899272 139954045489895 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6332] ppid=6325 vsize=10551232 memory=4612 CPUtime=53 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) R 6325 6328 17093 0 -1 4202560 129757 0 0 0 5154 146 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953662978896 139954045489895 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6333] ppid=6325 vsize=10551232 memory=8095012 CPUtime=52.58 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) R 6325 6328 17093 0 -1 4202560 115070 0 0 0 5123 135 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953661926096 139954045489895 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6334] ppid=6325 vsize=10551232 memory=932 CPUtime=53.02 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) R 6325 6328 17093 0 -1 4202560 145478 0 0 0 5159 143 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953660873688 139954034471296 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6335] ppid=6325 vsize=10551232 memory=1624 CPUtime=9.63 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6325 6328 17093 0 -1 1077944384 43111 0 0 0 961 2 0 0 20 0 15 0 66520405 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953565529024 139954052871893 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6336] ppid=6325 vsize=10551232 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6325 6328 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953564476512 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6337] ppid=6325 vsize=10551232 memory=844 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6325 6328 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953563423600 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6338] ppid=6325 vsize=10551232 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6325 6328 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953562371568 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6340] ppid=6325 vsize=10551232 memory=1708 CPUtime=1.31 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) S 6325 6328 17093 0 -1 1077944384 4811 0 0 0 131 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953561320352 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6341] ppid=6325 vsize=10551232 memory=1444 CPUtime=1.28 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) S 6325 6328 17093 0 -1 1077944384 3730 0 0 0 128 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953560267264 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6342] ppid=6325 vsize=10551232 memory=1228 CPUtime=0.38 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) S 6325 6328 17093 0 -1 1077944384 2584 0 0 0 38 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953559214752 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6344] ppid=6325 vsize=10551232 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6344/stat : 6344 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520409 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953558162144 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6352] ppid=6325 vsize=10551232 memory=1992 CPUtime=0.05 cores=0,2,4,6
/proc/6328/task/6352/stat : 6352 (java) S 6325 6328 17093 0 -1 1077944384 246 0 0 0 3 2 0 0 20 0 15 0 66520417 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953557109424 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
Current children cumulated CPU time: 254.86 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8095012 KiB
[startup+95.2007 s]
/proc/loadavg: 5.37 3.23 2.33 6/210 6421
/proc/meminfo: memFree=15152800/32770624 swapFree=67108860/67108860
[pid=6328] ppid=6325 vsize=10551232 memory=8095012 CPUtime=257.96 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6325 6328 17093 0 -1 1077944320 671983 0 0 0 25190 606 0 0 20 0 15 0 66520397 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 140725221054432 139954052861687 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
/proc/6328/statm: 2637808 2023753 3120 1 0 2627261 0
[pid=6328/tid=6330] ppid=6325 vsize=10551232 memory=932 CPUtime=30.99 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) S 6325 6328 17093 0 -1 1077944384 60666 0 0 0 3067 32 0 0 20 0 15 0 66520403 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139954057095392 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6331] ppid=6325 vsize=10551232 memory=960 CPUtime=53.28 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) R 6325 6328 17093 0 -1 4202560 165143 0 0 0 5187 141 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953993899272 139954045489895 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6332] ppid=6325 vsize=10551232 memory=1232 CPUtime=53.77 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) R 6325 6328 17093 0 -1 4202560 129757 0 0 0 5231 146 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953662978896 139954045489895 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6333] ppid=6325 vsize=10551232 memory=2248 CPUtime=53.36 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) R 6325 6328 17093 0 -1 4202560 115070 0 0 0 5200 136 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953661926408 139954045489895 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6334] ppid=6325 vsize=10551232 memory=4300 CPUtime=53.82 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) R 6325 6328 17093 0 -1 4202560 145478 0 0 0 5239 143 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953660873688 139954034471395 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6335] ppid=6325 vsize=10551232 memory=8095012 CPUtime=9.63 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6325 6328 17093 0 -1 1077944384 43111 0 0 0 961 2 0 0 20 0 15 0 66520405 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953565529024 139954052871893 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6336] ppid=6325 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6325 6328 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953564476512 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6337] ppid=6325 vsize=10551232 memory=796 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6325 6328 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953563423600 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6338] ppid=6325 vsize=10551232 memory=8944 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6325 6328 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953562371568 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6340] ppid=6325 vsize=10551232 memory=15876 CPUtime=1.31 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) S 6325 6328 17093 0 -1 1077944384 4811 0 0 0 131 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953561320352 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6341] ppid=6325 vsize=10551232 memory=4048 CPUtime=1.28 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) S 6325 6328 17093 0 -1 1077944384 3730 0 0 0 128 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953560267264 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6342] ppid=6325 vsize=10551232 memory=21100 CPUtime=0.38 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) S 6325 6328 17093 0 -1 1077944384 2584 0 0 0 38 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953559214752 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6344] ppid=6325 vsize=10551232 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6344/stat : 6344 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520409 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953558162144 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6352] ppid=6325 vsize=10551232 memory=640 CPUtime=0.05 cores=0,2,4,6
/proc/6328/task/6352/stat : 6352 (java) S 6325 6328 17093 0 -1 1077944384 246 0 0 0 3 2 0 0 20 0 15 0 66520417 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953557109424 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
Current children cumulated CPU time: 257.96 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8095012 KiB
[startup+95.6006 s]
/proc/loadavg: 5.37 3.23 2.33 6/210 6421
/proc/meminfo: memFree=15152800/32770624 swapFree=67108860/67108860
[pid=6328] ppid=6325 vsize=10551232 memory=8095012 CPUtime=259.51 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6325 6328 17093 0 -1 1077944320 671983 0 0 0 25344 607 0 0 20 0 15 0 66520397 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 140725221054432 139954052861687 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
/proc/6328/statm: 2637808 2023753 3120 1 0 2627261 0
[pid=6328/tid=6330] ppid=6325 vsize=10551232 memory=1708 CPUtime=30.99 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) S 6325 6328 17093 0 -1 1077944384 60666 0 0 0 3067 32 0 0 20 0 15 0 66520403 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139954057095392 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6331] ppid=6325 vsize=10551232 memory=37532 CPUtime=53.67 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) R 6325 6328 17093 0 -1 4202560 165143 0 0 0 5225 142 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953993899272 139954045489895 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6332] ppid=6325 vsize=10551232 memory=1296 CPUtime=54.16 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) R 6325 6328 17093 0 -1 4202560 129757 0 0 0 5269 147 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953662978896 139954045489895 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6333] ppid=6325 vsize=10551232 memory=2420 CPUtime=53.74 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) R 6325 6328 17093 0 -1 4202560 115070 0 0 0 5238 136 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953661926096 139954045489895 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6334] ppid=6325 vsize=10551232 memory=-8774313645642428999 CPUtime=54.22 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) R 6325 6328 17093 0 -1 4202560 145478 0 0 0 5279 143 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953660873688 139954037851330 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6335] ppid=6325 vsize=10551232 memory=21100 CPUtime=9.63 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6325 6328 17093 0 -1 1077944384 43111 0 0 0 961 2 0 0 20 0 15 0 66520405 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953565529024 139954052871893 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6336] ppid=6325 vsize=10551232 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6325 6328 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953564476512 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6337] ppid=6325 vsize=10551232 memory=640 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6325 6328 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953563423600 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6338] ppid=6325 vsize=10551232 memory=960 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6325 6328 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953562371568 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6340] ppid=6325 vsize=10551232 memory=1232 CPUtime=1.31 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) S 6325 6328 17093 0 -1 1077944384 4811 0 0 0 131 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953561320352 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6341] ppid=6325 vsize=10551232 memory=2248 CPUtime=1.28 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) S 6325 6328 17093 0 -1 1077944384 3730 0 0 0 128 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953560267264 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6342] ppid=6325 vsize=10551232 memory=4300 CPUtime=0.38 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) S 6325 6328 17093 0 -1 1077944384 2584 0 0 0 38 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953559214752 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6344] ppid=6325 vsize=10551232 memory=932 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6344/stat : 6344 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520409 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953558162144 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6352] ppid=6325 vsize=10551232 memory=1624 CPUtime=0.05 cores=0,2,4,6
/proc/6328/task/6352/stat : 6352 (java) S 6325 6328 17093 0 -1 1077944384 246 0 0 0 3 2 0 0 20 0 15 0 66520417 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953557109424 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
Current children cumulated CPU time: 259.51 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8095012 KiB
[startup+95.7007 s]
/proc/loadavg: 5.37 3.23 2.33 6/210 6421
/proc/meminfo: memFree=15152800/32770624 swapFree=67108860/67108860
[pid=6328] ppid=6325 vsize=10551232 memory=8095012 CPUtime=259.9 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6325 6328 17093 0 -1 1077944320 671983 0 0 0 25383 607 0 0 20 0 15 0 66520397 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 140725221054432 139954052861687 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
/proc/6328/statm: 2637808 2023753 3120 1 0 2627261 0
[pid=6328/tid=6330] ppid=6325 vsize=10551232 memory=8095012 CPUtime=30.99 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) S 6325 6328 17093 0 -1 1077944384 60666 0 0 0 3067 32 0 0 20 0 15 0 66520403 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139954057095392 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6331] ppid=6325 vsize=10551232 memory=8095012 CPUtime=53.77 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) R 6325 6328 17093 0 -1 4202560 165143 0 0 0 5235 142 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953993899272 139954045489895 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6332] ppid=6325 vsize=10551232 memory=7331928 CPUtime=54.26 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) R 6325 6328 17093 0 -1 4202560 129757 0 0 0 5279 147 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953662978896 139954045489895 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6333] ppid=6325 vsize=10551232 memory=8094972 CPUtime=53.84 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) R 6325 6328 17093 0 -1 4202560 115070 0 0 0 5248 136 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953661926408 139954045489895 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6334] ppid=6325 vsize=10551232 memory=8094972 CPUtime=54.32 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) R 6325 6328 17093 0 -1 4202560 145478 0 0 0 5289 143 0 0 20 0 15 0 66520404 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953660873688 139954037319320 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6335] ppid=6325 vsize=10551232 memory=8095012 CPUtime=9.63 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6325 6328 17093 0 -1 1077944384 43111 0 0 0 961 2 0 0 20 0 15 0 66520405 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953565529024 139954052871893 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6336] ppid=6325 vsize=10551232 memory=8095012 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6325 6328 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953564476512 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6337] ppid=6325 vsize=10551232 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6325 6328 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 66520406 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953563423600 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6338] ppid=6325 vsize=10551232 memory=37532 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6325 6328 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953562371568 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6340] ppid=6325 vsize=10551232 memory=1296 CPUtime=1.31 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) S 6325 6328 17093 0 -1 1077944384 4811 0 0 0 131 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953561320352 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6341] ppid=6325 vsize=10551232 memory=8095012 CPUtime=1.28 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) S 6325 6328 17093 0 -1 1077944384 3730 0 0 0 128 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953560267264 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6342] ppid=6325 vsize=10551232 memory=8095012 CPUtime=0.38 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) S 6325 6328 17093 0 -1 1077944384 2584 0 0 0 38 0 0 0 20 0 15 0 66520408 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953559214752 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6344] ppid=6325 vsize=10551232 memory=8095012 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6344/stat : 6344 (java) S 6325 6328 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66520409 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953558162144 139954052871893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
[pid=6328/tid=6352] ppid=6325 vsize=10551232 memory=7498744 CPUtime=0.05 cores=0,2,4,6
/proc/6328/task/6352/stat : 6352 (java) S 6325 6328 17093 0 -1 1077944384 246 0 0 0 3 2 0 0 20 0 15 0 66520417 10804461568 2023753 18446744073709551615 4194304 4196468 140725221071888 139953557109424 139954052872834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35659776 140725221073301 140725221073454 140725221073454 140725221076943 0
Current children cumulated CPU time: 259.9 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8095012 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 95.7841
CPU time (s): 260.007
CPU user time (s): 253.855
CPU system time (s): 6.15214
CPU usage (%): 271.451
Max. virtual memory (cumulated for all children) (KiB): 10551232
Max. memory (cumulated for all children) (KiB): 8095012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.855
system time used= 6.15214
maximum resident set size= 8095268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 671987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9942
involuntary context switches= 5130
# summary of solver processes directly reported to runsolver:
# pid: 6328
# total CPU time (s): 260.007
# total CPU user time (s): 253.855
# total CPU system time (s): 6.15214
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.659575 second user time and 0.895688 second system time
The end