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 (15204 MiB free)
memory of node 1: 16384 MiB (10309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258357-1502645651/watcher-4258357-1502645651 -o /tmp/evaluation-result-4258357-1502645651/solver-4258357-1502645651 -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-4258357-1502645651.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
solver pid=9546, runsolver pid=9543
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 2.85 3.04 3.39 2/199 9547
/proc/meminfo: memFree=26126308/32770624 swapFree=67108860/67108860
[pid=9546] ppid=9543 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/9546/stat : 9546 (runsolver) D 9543 9546 17093 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 66758431 34791424 113 18446744073709551615 4194304 4346622 140733587913552 140733587910184 140517473428183 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6446216 6449568 11550720 140733587914859 140733587915305 140733587915305 140733587918794 0
/proc/9546/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.209253 s]*
/proc/loadavg: 2.85 3.04 3.39 2/212 9560
/proc/meminfo: memFree=26112408/32770624 swapFree=67108860/67108860
[pid=9546] ppid=9543 vsize=10484492 memory=24308 CPUtime=0.05 cores=0,2,4,6
/proc/9546/stat : 9546 (java) S 9543 9546 17093 0 -1 1077944320 5027 0 0 0 5 0 0 0 20 0 14 0 66758431 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140722408020560 140469554654967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
/proc/9546/statm: 2621123 6077 2580 1 0 2610620 0
[pid=9546/tid=9548] ppid=9543 vsize=10484492 memory=8316850467074736180 CPUtime=0.04 cores=0,2,4,6
/proc/9546/task/9548/stat : 9548 (java) D 9543 9546 17093 0 -1 4202560 3143 0 0 0 4 0 0 0 20 0 14 0 66758444 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140469558892448 140469554676989 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9549] ppid=9543 vsize=10484492 memory=14058 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9549/stat : 9549 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66758445 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140469524368272 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9550] ppid=9543 vsize=10484492 memory=140517476388043 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9550/stat : 9550 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66758445 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140469164595984 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9551] ppid=9543 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9551/stat : 9551 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66758445 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140469163543696 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9552] ppid=9543 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9552/stat : 9552 (java) S 9543 9546 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66758445 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140469162490896 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9553] ppid=9543 vsize=10484492 memory=140517476378240 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9553/stat : 9553 (java) S 9543 9546 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66758446 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140468661766256 140469554666114 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9554] ppid=9543 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9554/stat : 9554 (java) S 9543 9546 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 66758446 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140468660712224 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9555] ppid=9543 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9555/stat : 9555 (java) S 9543 9546 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 66758447 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140468659659888 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9556] ppid=9543 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9556/stat : 9556 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66758449 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140468658608208 140469554673563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9557] ppid=9543 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9557/stat : 9557 (java) S 9543 9546 17093 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 66758449 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140468657556080 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9558] ppid=9543 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9558/stat : 9558 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66758449 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140468656503280 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9559] ppid=9543 vsize=10484492 memory=140517476378240 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9559/stat : 9559 (java) S 9543 9546 17093 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 66758449 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140468655450992 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9560] ppid=9543 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9560/stat : 9560 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66758449 10736119808 6077 18446744073709551615 4194304 4196468 140722408038016 140468654398432 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 24308 KiB
[startup+0.310087 s]*
/proc/loadavg: 2.85 3.04 3.39 3/213 9561
/proc/meminfo: memFree=26105000/32770624 swapFree=67108860/67108860
[pid=9546] ppid=9543 vsize=10551156 memory=31572 CPUtime=0.17 cores=0,2,4,6
/proc/9546/stat : 9546 (java) S 9543 9546 17093 0 -1 1077944320 8138 0 0 0 15 2 0 0 20 0 15 0 66758431 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140722408020560 140469554654967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
/proc/9546/statm: 2637789 7893 2841 1 0 2627261 0
[pid=9546/tid=9548] ppid=9543 vsize=10551156 memory=-7677926825137650786 CPUtime=0.11 cores=0,2,4,6
/proc/9546/task/9548/stat : 9548 (java) R 9543 9546 17093 0 -1 4202560 5929 0 0 0 10 1 0 0 20 0 15 0 66758444 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140469558887184 140469554676893 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9549] ppid=9543 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9549/stat : 9549 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66758445 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140469524368272 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9550] ppid=9543 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9550/stat : 9550 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66758445 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140469164595984 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9551] ppid=9543 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9551/stat : 9551 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66758445 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140469163543696 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9552] ppid=9543 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9552/stat : 9552 (java) S 9543 9546 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66758445 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140469162490896 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9553] ppid=9543 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9553/stat : 9553 (java) S 9543 9546 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66758446 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140468661766256 140469554666114 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9554] ppid=9543 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9554/stat : 9554 (java) S 9543 9546 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66758446 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140468660712224 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9555] ppid=9543 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9555/stat : 9555 (java) S 9543 9546 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66758447 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140468659659888 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9556] ppid=9543 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9556/stat : 9556 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66758449 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140468658608208 140469554673563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9557] ppid=9543 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9557/stat : 9557 (java) R 9543 9546 17093 0 -1 4202560 424 0 0 0 0 0 0 0 20 0 15 0 66758449 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140468657556080 140469538153836 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9558] ppid=9543 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9558/stat : 9558 (java) S 9543 9546 17093 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 66758449 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140468656503280 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9559] ppid=9543 vsize=10551156 memory=140517476378240 CPUtime=0.02 cores=0,2,4,6
/proc/9546/task/9559/stat : 9559 (java) S 9543 9546 17093 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 66758449 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140468655450992 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9560] ppid=9543 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9560/stat : 9560 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66758449 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140468654398432 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9561] ppid=9543 vsize=10551156 memory=140517476378240 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9561/stat : 9561 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66758455 10804383744 7893 18446744073709551615 4194304 4196468 140722408038016 140468653345200 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 31572 KiB
[startup+0.701188 s]
/proc/loadavg: 2.85 3.04 3.39 4/213 9561
/proc/meminfo: memFree=26088536/32770624 swapFree=67108860/67108860
[pid=9546] ppid=9543 vsize=10551232 memory=77720 CPUtime=1.24 cores=0,2,4,6
/proc/9546/stat : 9546 (java) S 9543 9546 17093 0 -1 1077944320 12623 0 0 0 120 4 0 0 20 0 15 0 66758431 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140722408020560 140469554654967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
/proc/9546/statm: 2637808 19430 3058 1 0 2627261 0
[pid=9546/tid=9548] ppid=9543 vsize=10551232 memory=4028 CPUtime=0.5 cores=0,2,4,6
/proc/9546/task/9548/stat : 9548 (java) R 9543 9546 17093 0 -1 4202560 7480 0 0 0 47 3 0 0 20 0 15 0 66758444 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140469558891824 140469195156616 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9549] ppid=9543 vsize=10551232 memory=281034742824672 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9549/stat : 9549 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66758445 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140469524368272 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9550] ppid=9543 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9550/stat : 9550 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66758445 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140469164595984 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9551] ppid=9543 vsize=10551232 memory=13563795322702378 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9551/stat : 9551 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66758445 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140469163543696 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9552] ppid=9543 vsize=10551232 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9552/stat : 9552 (java) S 9543 9546 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66758445 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140469162490896 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9553] ppid=9543 vsize=10551232 memory=21168 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9553/stat : 9553 (java) S 9543 9546 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66758446 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140468661766256 140469554666114 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9554] ppid=9543 vsize=10551232 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9554/stat : 9554 (java) S 9543 9546 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66758446 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140468660712224 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9555] ppid=9543 vsize=10551232 memory=640 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9555/stat : 9555 (java) S 9543 9546 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66758447 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140468659659888 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9556] ppid=9543 vsize=10551232 memory=960 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9556/stat : 9556 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66758449 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140468658608208 140469554673563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9557] ppid=9543 vsize=10551232 memory=1232 CPUtime=0.25 cores=0,2,4,6
/proc/9546/task/9557/stat : 9557 (java) R 9543 9546 17093 0 -1 4202560 1401 0 0 0 25 0 0 0 20 0 15 0 66758449 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140468657536960 140469533900959 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9558] ppid=9543 vsize=10551232 memory=2248 CPUtime=0.21 cores=0,2,4,6
/proc/9546/task/9558/stat : 9558 (java) R 9543 9546 17093 0 -1 4202560 929 0 0 0 21 0 0 0 20 0 15 0 66758449 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140468656493072 140469535840883 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9559] ppid=9543 vsize=10551232 memory=4300 CPUtime=0.26 cores=0,2,4,6
/proc/9546/task/9559/stat : 9559 (java) S 9543 9546 17093 0 -1 1077944384 1444 0 0 0 26 0 0 0 20 0 15 0 66758449 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140468655450992 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9560] ppid=9543 vsize=10551232 memory=932 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9560/stat : 9560 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66758449 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140468654398432 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9561] ppid=9543 vsize=10551232 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9561/stat : 9561 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66758455 10804461568 19430 18446744073709551615 4194304 4196468 140722408038016 140468653345200 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 77720 KiB
[startup+1.50085 s]
/proc/loadavg: 2.85 3.04 3.39 5/213 9561
/proc/meminfo: memFree=25949780/32770624 swapFree=67108860/67108860
[pid=9546] ppid=9543 vsize=10552868 memory=467832 CPUtime=3.77 cores=0,2,4,6
/proc/9546/stat : 9546 (java) S 9543 9546 17093 0 -1 1077944320 17838 0 0 0 356 21 0 0 20 0 15 0 66758431 10806136832 116958 18446744073709551615 4194304 4196468 140722408038016 140722408020560 140469554654967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
/proc/9546/statm: 2638217 116958 3105 1 0 2627670 0
[pid=9546/tid=9548] ppid=9543 vsize=10552868 memory=988 CPUtime=1.12 cores=0,2,4,6
/proc/9546/task/9548/stat : 9548 (java) S 9543 9546 17093 0 -1 1077944384 7662 0 0 0 107 5 0 0 20 0 15 0 66758444 10806136832 116958 18446744073709551615 4194304 4196468 140722408038016 140469558891392 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9549] ppid=9543 vsize=10552868 memory=184464 CPUtime=0.1 cores=0,2,4,6
/proc/9546/task/9549/stat : 9549 (java) R 9543 9546 17093 0 -1 4202560 72 0 0 0 7 3 0 0 20 0 15 0 66758445 10806136832 116958 18446744073709551615 4194304 4196468 140722408038016 140469524368472 140469539682841 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9550] ppid=9543 vsize=10552868 memory=181564373772154 CPUtime=0.12 cores=0,2,4,6
/proc/9546/task/9550/stat : 9550 (java) R 9543 9546 17093 0 -1 4202560 179 0 0 0 10 2 0 0 20 0 15 0 66758445 10806136832 116958 18446744073709551615 4194304 4196468 140722408038016 140469164596184 140469539682841 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9551] ppid=9543 vsize=10552868 memory=4207744263479845809 CPUtime=0.14 cores=0,2,4,6
/proc/9546/task/9551/stat : 9551 (java) R 9543 9546 17093 0 -1 4202560 219 0 0 0 11 3 0 0 20 0 15 0 66758445 10806136832 116958 18446744073709551615 4194304 4196468 140722408038016 140469163543896 140469539682841 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9552] ppid=9543 vsize=10552868 memory=7680170660397595203 CPUtime=0.11 cores=0,2,4,6
/proc/9546/task/9552/stat : 9552 (java) R 9543 9546 17093 0 -1 4202560 68 0 0 0 8 3 0 0 20 0 15 0 66758445 10806136832 116958 18446744073709551615 4194304 4196468 140722408038016 140469162490784 140469539682850 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9553] ppid=9543 vsize=10552868 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9553/stat : 9553 (java) S 9543 9546 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 66758446 10806136832 116958 18446744073709551615 4194304 4196468 140722408038016 140468661764768 140469554665173 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9554] ppid=9543 vsize=10552868 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9554/stat : 9554 (java) S 9543 9546 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66758446 10806136832 116958 18446744073709551615 4194304 4196468 140722408038016 140468660712288 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9555] ppid=9543 vsize=10552868 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9555/stat : 9555 (java) S 9543 9546 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66758447 10806136832 116958 18446744073709551615 4194304 4196468 140722408038016 140468659659904 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9556] ppid=9543 vsize=10552868 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9556/stat : 9556 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66758449 10806136832 117470 18446744073709551615 4194304 4196468 140722408038016 140468658608208 140469554673563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9557] ppid=9543 vsize=10552868 memory=6655300316396806240 CPUtime=0.79 cores=0,2,4,6
/proc/9546/task/9557/stat : 9557 (java) S 9543 9546 17093 0 -1 1077944384 2855 0 0 0 79 0 0 0 20 0 15 0 66758449 10806136832 117470 18446744073709551615 4194304 4196468 140722408038016 140468657556080 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9558] ppid=9543 vsize=10552868 memory=-8412661042826874739 CPUtime=0.92 cores=0,2,4,6
/proc/9546/task/9558/stat : 9558 (java) R 9543 9546 17093 0 -1 4202560 3295 0 0 0 91 1 0 0 20 0 15 0 66758449 10806136832 117470 18446744073709551615 4194304 4196468 140722408038016 140468656488456 140469534344085 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9559] ppid=9543 vsize=10552868 memory=-6526411401870300574 CPUtime=0.39 cores=0,2,4,6
/proc/9546/task/9559/stat : 9559 (java) S 9543 9546 17093 0 -1 1077944384 2044 0 0 0 39 0 0 0 20 0 15 0 66758449 10806136832 117470 18446744073709551615 4194304 4196468 140722408038016 140468655450992 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9560] ppid=9543 vsize=10552868 memory=-8412654364404455283 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9560/stat : 9560 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66758449 10806136832 117470 18446744073709551615 4194304 4196468 140722408038016 140468654398432 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9561] ppid=9543 vsize=10552868 memory=-8707038579349951875 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9561/stat : 9561 (java) S 9543 9546 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66758455 10806136832 117470 18446744073709551615 4194304 4196468 140722408038016 140468653345200 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
Current children cumulated CPU time: 3.77 s
Current children cumulated vsize: 10552868 KiB
Current children cumulated memory: 467832 KiB
[startup+3.11011 s]
/proc/loadavg: 2.85 3.04 3.39 3/213 9561
/proc/meminfo: memFree=25446344/32770624 swapFree=67108860/67108860
[pid=9546] ppid=9543 vsize=10551232 memory=692248 CPUtime=8.63 cores=0,2,4,6
/proc/9546/stat : 9546 (java) S 9543 9546 17093 0 -1 1077944320 21061 0 0 0 819 44 0 0 20 0 15 0 66758431 10804461568 173062 18446744073709551615 4194304 4196468 140722408038016 140722408020560 140469554654967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
/proc/9546/statm: 2637808 173062 3113 1 0 2627261 0
[pid=9546/tid=9548] ppid=9543 vsize=10551232 memory=592580 CPUtime=1.37 cores=0,2,4,6
/proc/9546/task/9548/stat : 9548 (java) S 9543 9546 17093 0 -1 1077944384 7663 0 0 0 132 5 0 0 20 0 15 0 66758444 10804461568 173062 18446744073709551615 4194304 4196468 140722408038016 140469558891920 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9549] ppid=9543 vsize=10551232 memory=281034743108352 CPUtime=1.1 cores=0,2,4,6
/proc/9546/task/9549/stat : 9549 (java) S 9543 9546 17093 0 -1 1077944384 370 0 0 0 101 9 0 0 20 0 15 0 66758445 10804461568 173062 18446744073709551615 4194304 4196468 140722408038016 140469524368272 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
################
# More data... #
################
/proc/9546/task/9551/stat : 9551 (java) S 9543 9546 17093 0 -1 1077944384 16732 0 0 0 2145 134 0 0 20 0 16 0 66758445 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140469163543696 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9552] ppid=9543 vsize=10617796 memory=0 CPUtime=22.87 cores=0,2,4,6
/proc/9546/task/9552/stat : 9552 (java) S 9543 9546 17093 0 -1 1077944384 20645 0 0 0 2158 129 0 0 20 0 16 0 66758445 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140469162490896 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9553] ppid=9543 vsize=10617796 memory=7234022600991271991 CPUtime=7.68 cores=0,2,4,6
/proc/9546/task/9553/stat : 9553 (java) S 9543 9546 17093 0 -1 1077944384 15494 0 0 0 767 1 0 0 20 0 16 0 66758446 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140468661766256 140469554666114 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9554] ppid=9543 vsize=10617796 memory=5002968 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9554/stat : 9554 (java) S 9543 9546 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 66758446 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140468660712288 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9555] ppid=9543 vsize=10617796 memory=4397392 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9555/stat : 9555 (java) S 9543 9546 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 66758447 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140468659659904 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9556] ppid=9543 vsize=10617796 memory=4338000 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9556/stat : 9556 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66758449 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140468658608208 140469554673563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9557] ppid=9543 vsize=10617796 memory=6748904 CPUtime=1.87 cores=0,2,4,6
/proc/9546/task/9557/stat : 9557 (java) S 9543 9546 17093 0 -1 1077944384 7438 0 0 0 187 0 0 0 20 0 16 0 66758449 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140468657556080 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9558] ppid=9543 vsize=10617796 memory=21168 CPUtime=1.83 cores=0,2,4,6
/proc/9546/task/9558/stat : 9558 (java) S 9543 9546 17093 0 -1 1077944384 7961 0 0 0 182 1 0 0 20 0 16 0 66758449 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140468656503280 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9559] ppid=9543 vsize=10617796 memory=1788 CPUtime=0.53 cores=0,2,4,6
/proc/9546/task/9559/stat : 9559 (java) S 9543 9546 17093 0 -1 1077944384 4414 0 0 0 52 1 0 0 20 0 16 0 66758449 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140468655450992 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9560] ppid=9543 vsize=10617796 memory=18889266171726 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9560/stat : 9560 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66758449 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140468654398432 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9561] ppid=9543 vsize=10617796 memory=6944656592387989600 CPUtime=0.06 cores=0,2,4,6
/proc/9546/task/9561/stat : 9561 (java) S 9543 9546 17093 0 -1 1077944384 1042 0 0 0 3 3 0 0 20 0 16 0 66758455 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140468653345200 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9562] ppid=9543 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9562/stat : 9562 (java) S 9543 9546 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66762474 10872623104 1687226 18446744073709551615 4194304 4196468 140722408038016 140468652290736 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
Current children cumulated CPU time: 174.7 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 6748904 KiB
[startup+162.301 s]
/proc/loadavg: 3.53 3.07 3.34 6/210 9723
/proc/meminfo: memFree=22696940/32770624 swapFree=67108860/67108860
[pid=9546] ppid=9543 vsize=10617796 memory=6748996 CPUtime=234.77 cores=0,2,4,6
/proc/9546/stat : 9546 (java) S 9543 9546 17093 0 -1 1077944320 198322 0 0 0 22928 549 0 0 20 0 16 0 66758431 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140722408020560 140469554654967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
/proc/9546/statm: 2654449 1687249 3146 1 0 2643902 0
[pid=9546/tid=9548] ppid=9543 vsize=10617796 memory=6748984 CPUtime=131.28 cores=0,2,4,6
/proc/9546/task/9548/stat : 9548 (java) R 9543 9546 17093 0 -1 4202560 73391 0 0 0 13113 15 0 0 20 0 16 0 66758444 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140469558891624 140469200926998 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9549] ppid=9543 vsize=10617796 memory=6748984 CPUtime=22.78 cores=0,2,4,6
/proc/9546/task/9549/stat : 9549 (java) S 9543 9546 17093 0 -1 1077944384 27085 0 0 0 2143 135 0 0 20 0 16 0 66758445 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140469524368272 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9550] ppid=9543 vsize=10617796 memory=6748984 CPUtime=22.9 cores=0,2,4,6
/proc/9546/task/9550/stat : 9550 (java) S 9543 9546 17093 0 -1 1077944384 20085 0 0 0 2166 124 0 0 20 0 16 0 66758445 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140469164595984 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9551] ppid=9543 vsize=10617796 memory=0 CPUtime=22.79 cores=0,2,4,6
/proc/9546/task/9551/stat : 9551 (java) S 9543 9546 17093 0 -1 1077944384 16732 0 0 0 2145 134 0 0 20 0 16 0 66758445 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140469163543696 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9552] ppid=9543 vsize=10617796 memory=55 CPUtime=22.87 cores=0,2,4,6
/proc/9546/task/9552/stat : 9552 (java) S 9543 9546 17093 0 -1 1077944384 20645 0 0 0 2158 129 0 0 20 0 16 0 66758445 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140469162490896 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9553] ppid=9543 vsize=10617796 memory=6748988 CPUtime=7.68 cores=0,2,4,6
/proc/9546/task/9553/stat : 9553 (java) S 9543 9546 17093 0 -1 1077944384 15544 0 0 0 767 1 0 0 20 0 16 0 66758446 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468661766256 140469554666114 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9554] ppid=9543 vsize=10617796 memory=6748988 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9554/stat : 9554 (java) S 9543 9546 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 66758446 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468660712288 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9555] ppid=9543 vsize=10617796 memory=6748988 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9555/stat : 9555 (java) S 9543 9546 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 66758447 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468659659904 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9556] ppid=9543 vsize=10617796 memory=6748984 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9556/stat : 9556 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66758449 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468658608208 140469554673563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9557] ppid=9543 vsize=10617796 memory=6748984 CPUtime=1.9 cores=0,2,4,6
/proc/9546/task/9557/stat : 9557 (java) S 9543 9546 17093 0 -1 1077944384 8496 0 0 0 190 0 0 0 20 0 16 0 66758449 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468657556080 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9558] ppid=9543 vsize=10617796 memory=6748988 CPUtime=1.86 cores=0,2,4,6
/proc/9546/task/9558/stat : 9558 (java) S 9543 9546 17093 0 -1 1077944384 9072 0 0 0 185 1 0 0 20 0 16 0 66758449 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468656503280 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9559] ppid=9543 vsize=10617796 memory=6748984 CPUtime=0.53 cores=0,2,4,6
/proc/9546/task/9559/stat : 9559 (java) S 9543 9546 17093 0 -1 1077944384 4754 0 0 0 52 1 0 0 20 0 16 0 66758449 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468655450992 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9560] ppid=9543 vsize=10617796 memory=6748988 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9560/stat : 9560 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66758449 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468654398432 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9561] ppid=9543 vsize=10617796 memory=5788 CPUtime=0.08 cores=0,2,4,6
/proc/9546/task/9561/stat : 9561 (java) S 9543 9546 17093 0 -1 1077944384 1115 0 0 0 4 4 0 0 20 0 16 0 66758455 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468653345200 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9562] ppid=9543 vsize=10617796 memory=6748988 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9562/stat : 9562 (java) S 9543 9546 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66762474 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468652290736 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
Current children cumulated CPU time: 234.77 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 6748996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+179.601 s]
/proc/loadavg: 3.62 3.12 3.35 6/210 9723
/proc/meminfo: memFree=19603312/32770624 swapFree=67108860/67108860
[pid=9546] ppid=9543 vsize=10617796 memory=6748996 CPUtime=252.08 cores=0,2,4,6
/proc/9546/stat : 9546 (java) S 9543 9546 17093 0 -1 1077944320 218276 0 0 0 24658 550 0 0 20 0 16 0 66758431 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140722408020560 140469554654967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
/proc/9546/statm: 2654449 1687249 3146 1 0 2643902 0
[pid=9546/tid=9548] ppid=9543 vsize=10617796 memory=1232 CPUtime=148.58 cores=0,2,4,6
/proc/9546/task/9548/stat : 9548 (java) R 9543 9546 17093 0 -1 4202560 93238 0 0 0 14842 16 0 0 20 0 16 0 66758444 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140469558891136 140469201011987 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9549] ppid=9543 vsize=10617796 memory=2248 CPUtime=22.78 cores=0,2,4,6
/proc/9546/task/9549/stat : 9549 (java) S 9543 9546 17093 0 -1 1077944384 27085 0 0 0 2143 135 0 0 20 0 16 0 66758445 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140469524368272 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9550] ppid=9543 vsize=10617796 memory=6748996 CPUtime=22.9 cores=0,2,4,6
/proc/9546/task/9550/stat : 9550 (java) S 9543 9546 17093 0 -1 1077944384 20085 0 0 0 2166 124 0 0 20 0 16 0 66758445 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140469164595984 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9551] ppid=9543 vsize=10617796 memory=7680170660397595203 CPUtime=22.79 cores=0,2,4,6
/proc/9546/task/9551/stat : 9551 (java) S 9543 9546 17093 0 -1 1077944384 16732 0 0 0 2145 134 0 0 20 0 16 0 66758445 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140469163543696 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9552] ppid=9543 vsize=10617796 memory=288230621803970871 CPUtime=22.87 cores=0,2,4,6
/proc/9546/task/9552/stat : 9552 (java) S 9543 9546 17093 0 -1 1077944384 20645 0 0 0 2158 129 0 0 20 0 16 0 66758445 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140469162490896 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9553] ppid=9543 vsize=10617796 memory=13563795322702378 CPUtime=7.68 cores=0,2,4,6
/proc/9546/task/9553/stat : 9553 (java) S 9543 9546 17093 0 -1 1077944384 15580 0 0 0 767 1 0 0 20 0 16 0 66758446 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468661766256 140469554666114 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9554] ppid=9543 vsize=10617796 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9554/stat : 9554 (java) S 9543 9546 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 66758446 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468660712288 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9555] ppid=9543 vsize=10617796 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9555/stat : 9555 (java) S 9543 9546 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 66758447 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468659659904 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9556] ppid=9543 vsize=10617796 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9556/stat : 9556 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66758449 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468658608208 140469554673563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9557] ppid=9543 vsize=10617796 memory=796 CPUtime=1.9 cores=0,2,4,6
/proc/9546/task/9557/stat : 9557 (java) S 9543 9546 17093 0 -1 1077944384 8558 0 0 0 190 0 0 0 20 0 16 0 66758449 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468657556080 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9558] ppid=9543 vsize=10617796 memory=8944 CPUtime=1.86 cores=0,2,4,6
/proc/9546/task/9558/stat : 9558 (java) S 9543 9546 17093 0 -1 1077944384 9073 0 0 0 185 1 0 0 20 0 16 0 66758449 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468656503280 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9559] ppid=9543 vsize=10617796 memory=15876 CPUtime=0.53 cores=0,2,4,6
/proc/9546/task/9559/stat : 9559 (java) S 9543 9546 17093 0 -1 1077944384 4756 0 0 0 52 1 0 0 20 0 16 0 66758449 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468655450992 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9560] ppid=9543 vsize=10617796 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9560/stat : 9560 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66758449 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468654398432 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9561] ppid=9543 vsize=10617796 memory=21168 CPUtime=0.1 cores=0,2,4,6
/proc/9546/task/9561/stat : 9561 (java) S 9543 9546 17093 0 -1 1077944384 1121 0 0 0 5 5 0 0 20 0 16 0 66758455 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468653345200 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9562] ppid=9543 vsize=10617796 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9562/stat : 9562 (java) S 9543 9546 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66762474 10872623104 1687249 18446744073709551615 4194304 4196468 140722408038016 140468652290736 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 6748996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+179.861 s]
# the end of solver process 9546 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.694 s, system=5.54384 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.801 s]
/proc/loadavg: 3.62 3.12 3.35 6/210 9723
/proc/meminfo: memFree=19603312/32770624 swapFree=67108860/67108860
[pid=9546] ppid=9543 vsize=10817488 memory=6749216 CPUtime=252.17 cores=0,2,4,6
/proc/9546/stat : 9546 (java) S 9543 9546 17093 0 -1 1077944320 218976 0 0 0 24667 550 0 0 20 0 17 0 66758431 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140722408020560 140469554654967 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 12 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
/proc/9546/statm: 2704372 1687304 3148 1 0 2693825 0
[pid=9546/tid=9548] ppid=9543 vsize=10817488 memory=7680170660397595203 CPUtime=148.66 cores=0,2,4,6
/proc/9546/task/9548/stat : 9548 (java) S 9543 9546 17093 0 -1 1077944384 93300 0 0 0 14850 16 0 0 20 0 17 0 66758444 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140469558897840 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9549] ppid=9543 vsize=10817488 memory=4478 CPUtime=22.78 cores=0,2,4,6
/proc/9546/task/9549/stat : 9549 (java) S 9543 9546 17093 0 -1 1077944384 27085 0 0 0 2143 135 0 0 20 0 17 0 66758445 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140469524368272 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9550] ppid=9543 vsize=10817488 memory=27 CPUtime=22.9 cores=0,2,4,6
/proc/9546/task/9550/stat : 9550 (java) S 9543 9546 17093 0 -1 1077944384 20085 0 0 0 2166 124 0 0 20 0 17 0 66758445 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140469164595984 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9551] ppid=9543 vsize=10817488 memory=27 CPUtime=22.79 cores=0,2,4,6
/proc/9546/task/9551/stat : 9551 (java) S 9543 9546 17093 0 -1 1077944384 16732 0 0 0 2145 134 0 0 20 0 17 0 66758445 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140469163543696 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9552] ppid=9543 vsize=10817488 memory=0 CPUtime=22.87 cores=0,2,4,6
/proc/9546/task/9552/stat : 9552 (java) S 9543 9546 17093 0 -1 1077944384 20645 0 0 0 2158 129 0 0 20 0 17 0 66758445 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140469162490896 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9553] ppid=9543 vsize=10817488 memory=0 CPUtime=7.68 cores=0,2,4,6
/proc/9546/task/9553/stat : 9553 (java) S 9543 9546 17093 0 -1 1077944384 15582 0 0 0 767 1 0 0 20 0 17 0 66758446 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140468661766256 140469554666114 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9554] ppid=9543 vsize=10817488 memory=253 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9554/stat : 9554 (java) S 9543 9546 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 66758446 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140468660712288 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9555] ppid=9543 vsize=10817488 memory=6748988 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9555/stat : 9555 (java) S 9543 9546 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 66758447 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140468659659904 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9556] ppid=9543 vsize=10817488 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9556/stat : 9556 (java) S 9543 9546 17093 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 17 0 66758449 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140468658608208 140469554673563 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9557] ppid=9543 vsize=10817488 memory=2460 CPUtime=1.9 cores=0,2,4,6
/proc/9546/task/9557/stat : 9557 (java) S 9543 9546 17093 0 -1 1077944384 8695 0 0 0 190 0 0 0 20 0 17 0 66758449 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140468657556080 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9558] ppid=9543 vsize=10817488 memory=1057572 CPUtime=1.86 cores=0,2,4,6
/proc/9546/task/9558/stat : 9558 (java) S 9543 9546 17093 0 -1 1077944384 9073 0 0 0 185 1 0 0 20 0 17 0 66758449 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140468656503280 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9559] ppid=9543 vsize=10817488 memory=3904 CPUtime=0.53 cores=0,2,4,6
/proc/9546/task/9559/stat : 9559 (java) S 9543 9546 17093 0 -1 1077944384 4803 0 0 0 52 1 0 0 20 0 17 0 66758449 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140468655450992 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9560] ppid=9543 vsize=10817488 memory=3048 CPUtime=0 cores=0,2,4,6
/proc/9546/task/9560/stat : 9560 (java) S 9543 9546 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66758449 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140468654398432 140469554665173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
[pid=9546/tid=9561] ppid=9543 vsize=10817488 memory=6748984 CPUtime=0.1 cores=0,2,4,6
/proc/9546/task/9561/stat : 9561 (java) S 9543 9546 17093 0 -1 1077944384 1121 0 0 0 5 5 0 0 20 0 17 0 66758455 11077107712 1687304 18446744073709551615 4194304 4196468 140722408038016 140468653345200 140469554666114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14716928 140722408042901 140722408043054 140722408043054 140722408046543 0
Current children cumulated CPU time: 252.17 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 6749216 KiB
Child status: 143
Real time (s): 179.861
CPU time (s): 252.238
CPU user time (s): 246.694
CPU system time (s): 5.54384
CPU usage (%): 140.241
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 6749216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.694
system time used= 5.54384
maximum resident set size= 6749592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219281
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7100
involuntary context switches= 1147
# summary of solver processes directly reported to runsolver:
# pid: 9546
# total CPU time (s): 252.238
# total CPU user time (s): 246.694
# total CPU system time (s): 5.54384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14674 second user time and 1.71875 second system time
The end