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 (7484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258014-1502647581/watcher-4258014-1502647581 -o /tmp/evaluation-result-4258014-1502647581/solver-4258014-1502647581 -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-4258014-1502647581.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=12253, runsolver pid=12250
[startup+0.10016 s]*
/proc/loadavg: 4.71 4.75 4.36 6/203 12262
/proc/meminfo: memFree=23221300/32770624 swapFree=67108860/67108860
[pid=12253] ppid=12250 vsize=10151672 memory=21432 CPUtime=0.04 cores=0,2,4,6
/proc/12253/stat : 12253 (java) S 12250 12253 17093 0 -1 1077944320 4222 0 0 0 4 0 0 0 20 0 9 0 66951462 10395312128 5358 18446744073709551615 4194304 4196468 140725251351520 140725251334064 139705281195767 0 0 1 16800970 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
/proc/12253/statm: 2537918 5358 2155 1 0 2527415 0
[pid=12253/tid=12255] ppid=12250 vsize=10151672 memory=4206751525541407381 CPUtime=0.04 cores=0,2,4,6
/proc/12253/task/12255/stat : 12255 (java) R 12250 12253 17093 0 -1 4202560 2869 0 0 0 4 0 0 0 20 0 9 0 66951468 10395312128 5358 18446744073709551615 4194304 4196468 140725251351520 139705285431160 139705281217693 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12256] ppid=12250 vsize=10151672 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12256/stat : 12256 (java) S 12250 12253 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66951469 10395312128 5358 18446744073709551615 4194304 4196468 140725251351520 139705222232592 139705281205973 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12257] ppid=12250 vsize=10151672 memory=140176415073920 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12257/stat : 12257 (java) S 12250 12253 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66951469 10395312128 5358 18446744073709551615 4194304 4196468 140725251351520 139705221180048 139705281205973 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12258] ppid=12250 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12258/stat : 12258 (java) S 12250 12253 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66951469 10395312128 5358 18446744073709551615 4194304 4196468 140725251351520 139704890419472 139705281205973 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12259] ppid=12250 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12259/stat : 12259 (java) S 12250 12253 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66951469 10395312128 5358 18446744073709551615 4194304 4196468 140725251351520 139704889366928 139705281205973 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12260] ppid=12250 vsize=10151672 memory=140176415073920 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12260/stat : 12260 (java) S 12250 12253 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66951470 10395312128 5358 18446744073709551615 4194304 4196468 140725251351520 139704778099440 139705281206914 0 0 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12261] ppid=12250 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12261/stat : 12261 (java) S 12250 12253 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 66951471 10395312128 5358 18446744073709551615 4194304 4196468 140725251351520 139704777045664 139705281205973 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12262] ppid=12250 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12262/stat : 12262 (java) S 12250 12253 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 66951471 10395312128 5358 18446744073709551615 4194304 4196468 140725251351520 139704775992560 139705281205973 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 21432 KiB
[startup+0.210097 s]*
/proc/loadavg: 4.71 4.75 4.36 5/208 12267
/proc/meminfo: memFree=23220928/32770624 swapFree=67108860/67108860
[pid=12253] ppid=12250 vsize=10484492 memory=23552 CPUtime=0.05 cores=0,2,4,6
/proc/12253/stat : 12253 (java) S 12250 12253 17093 0 -1 1077944320 4837 0 0 0 5 0 0 0 20 0 14 0 66951462 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 140725251334064 139705281195767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
/proc/12253/statm: 2621123 5888 2577 1 0 2610620 0
[pid=12253/tid=12255] ppid=12250 vsize=10484492 memory=8318255677412212789 CPUtime=0.04 cores=0,2,4,6
/proc/12253/task/12255/stat : 12255 (java) D 12250 12253 17093 0 -1 4202560 2955 0 0 0 4 0 0 0 20 0 14 0 66951468 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139705285433248 139705281217789 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12256] ppid=12250 vsize=10484492 memory=330 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12256/stat : 12256 (java) S 12250 12253 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66951469 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139705222232592 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12257] ppid=12250 vsize=10484492 memory=3690050837267162784 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12257/stat : 12257 (java) S 12250 12253 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66951469 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139705221180048 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12258] ppid=12250 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12258/stat : 12258 (java) S 12250 12253 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66951469 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139704890419472 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12259] ppid=12250 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12259/stat : 12259 (java) S 12250 12253 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66951469 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139704889366928 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12260] ppid=12250 vsize=10484492 memory=140176415073920 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12260/stat : 12260 (java) S 12250 12253 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66951470 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139704778099440 139705281206914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12261] ppid=12250 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12261/stat : 12261 (java) S 12250 12253 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 66951471 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139704777045664 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12262] ppid=12250 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12262/stat : 12262 (java) S 12250 12253 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 66951471 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139704775992560 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12263] ppid=12250 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12263/stat : 12263 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66951473 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139704774941136 139705281214363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12264] ppid=12250 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12264/stat : 12264 (java) S 12250 12253 17093 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 14 0 66951473 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139704773888240 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12265] ppid=12250 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12265/stat : 12265 (java) S 12250 12253 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66951473 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139704772835696 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12266] ppid=12250 vsize=10484492 memory=140176415073920 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12266/stat : 12266 (java) S 12250 12253 17093 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 66951473 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139704771782640 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12267] ppid=12250 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12267/stat : 12267 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66951474 10736119808 5888 18446744073709551615 4194304 4196468 140725251351520 139704770730336 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 23552 KiB
[startup+0.319296 s]*
/proc/loadavg: 4.71 4.75 4.36 8/209 12268
/proc/meminfo: memFree=23213260/32770624 swapFree=67108860/67108860
[pid=12253] ppid=12250 vsize=10551156 memory=33360 CPUtime=0.2 cores=0,2,4,6
/proc/12253/stat : 12253 (java) S 12250 12253 17093 0 -1 1077944320 8119 0 0 0 18 2 0 0 20 0 15 0 66951462 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 140725251334064 139705281195767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
/proc/12253/statm: 2637789 8340 2862 1 0 2627261 0
[pid=12253/tid=12255] ppid=12250 vsize=10551156 memory=-7677926825137650786 CPUtime=0.13 cores=0,2,4,6
/proc/12253/task/12255/stat : 12255 (java) R 12250 12253 17093 0 -1 4202560 5820 0 0 0 12 1 0 0 20 0 15 0 66951468 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139705285417104 139705281217693 0 4 1 16800974 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12256] ppid=12250 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12256/stat : 12256 (java) S 12250 12253 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66951469 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139705222232592 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12257] ppid=12250 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12257/stat : 12257 (java) S 12250 12253 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66951469 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139705221180048 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12258] ppid=12250 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12258/stat : 12258 (java) S 12250 12253 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66951469 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139704890419472 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12259] ppid=12250 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12259/stat : 12259 (java) S 12250 12253 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66951469 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139704889366928 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12260] ppid=12250 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12260/stat : 12260 (java) S 12250 12253 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66951470 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139704778099440 139705281206914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12261] ppid=12250 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12261/stat : 12261 (java) S 12250 12253 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66951471 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139704777045664 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12262] ppid=12250 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12262/stat : 12262 (java) S 12250 12253 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66951471 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139704775992560 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12263] ppid=12250 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12263/stat : 12263 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66951473 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139704774941136 139705281214363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12264] ppid=12250 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12253/task/12264/stat : 12264 (java) S 12250 12253 17093 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 15 0 66951473 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139704773888240 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12265] ppid=12250 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12253/task/12265/stat : 12265 (java) S 12250 12253 17093 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 15 0 66951473 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139704772835696 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12266] ppid=12250 vsize=10551156 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12253/task/12266/stat : 12266 (java) S 12250 12253 17093 0 -1 1077944384 381 0 0 0 3 0 0 0 20 0 15 0 66951473 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139704771782640 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12267] ppid=12250 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12267/stat : 12267 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66951474 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139704770730336 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12268] ppid=12250 vsize=10551156 memory=140176415073920 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12268/stat : 12268 (java) S 12250 12253 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66951485 10804383744 8340 18446744073709551615 4194304 4196468 140725251351520 139704769678384 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 33360 KiB
[startup+0.701335 s]
/proc/loadavg: 4.71 4.75 4.36 8/209 12268
/proc/meminfo: memFree=23191864/32770624 swapFree=67108860/67108860
[pid=12253] ppid=12250 vsize=10551232 memory=75172 CPUtime=1.27 cores=0,2,4,6
/proc/12253/stat : 12253 (java) S 12250 12253 17093 0 -1 1077944320 12514 0 0 0 123 4 0 0 20 0 15 0 66951462 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 140725251334064 139705281195767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
/proc/12253/statm: 2637808 18793 3045 1 0 2627261 0
[pid=12253/tid=12255] ppid=12250 vsize=10551232 memory=4612 CPUtime=0.5 cores=0,2,4,6
/proc/12253/task/12255/stat : 12255 (java) R 12250 12253 17093 0 -1 4202560 7334 0 0 0 48 2 0 0 20 0 15 0 66951468 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139705285429256 139704904110268 0 4 1 16800974 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12256] ppid=12250 vsize=10551232 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12256/stat : 12256 (java) S 12250 12253 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66951469 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139705222232592 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12257] ppid=12250 vsize=10551232 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12257/stat : 12257 (java) S 12250 12253 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66951469 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139705221180048 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12258] ppid=12250 vsize=10551232 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12258/stat : 12258 (java) S 12250 12253 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66951469 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139704890419472 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12259] ppid=12250 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12259/stat : 12259 (java) S 12250 12253 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66951469 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139704889366928 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12260] ppid=12250 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12260/stat : 12260 (java) S 12250 12253 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66951470 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139704778099440 139705281206914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12261] ppid=12250 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12261/stat : 12261 (java) S 12250 12253 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139704777045664 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12262] ppid=12250 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12262/stat : 12262 (java) S 12250 12253 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139704775992560 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12263] ppid=12250 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12263/stat : 12263 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66951473 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139704774941136 139705281214363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12264] ppid=12250 vsize=10551232 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/12253/task/12264/stat : 12264 (java) R 12250 12253 17093 0 -1 4202560 1516 0 0 0 25 0 0 0 20 0 15 0 66951473 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139704773878096 139705273430017 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12265] ppid=12250 vsize=10551232 memory=15 CPUtime=0.25 cores=0,2,4,6
/proc/12253/task/12265/stat : 12265 (java) R 12250 12253 17093 0 -1 4202560 823 0 0 0 25 0 0 0 20 0 15 0 66951473 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139704772827648 139705262740728 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12266] ppid=12250 vsize=10551232 memory=69 CPUtime=0.23 cores=0,2,4,6
/proc/12253/task/12266/stat : 12266 (java) S 12250 12253 17093 0 -1 1077944384 1471 0 0 0 23 0 0 0 20 0 15 0 66951473 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139704771782640 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12267] ppid=12250 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12267/stat : 12267 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66951474 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139704770730336 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12268] ppid=12250 vsize=10551232 memory=140176257072161 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12268/stat : 12268 (java) S 12250 12253 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66951485 10804461568 18793 18446744073709551615 4194304 4196468 140725251351520 139704769678384 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 75172 KiB
[startup+1.50073 s]
/proc/loadavg: 4.71 4.75 4.36 5/209 12268
/proc/meminfo: memFree=23056252/32770624 swapFree=67108860/67108860
[pid=12253] ppid=12250 vsize=10551232 memory=256772 CPUtime=3.52 cores=0,2,4,6
/proc/12253/stat : 12253 (java) S 12250 12253 17093 0 -1 1077944320 14478 0 0 0 340 12 0 0 20 0 15 0 66951462 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 140725251334064 139705281195767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
/proc/12253/statm: 2637808 64193 3099 1 0 2627261 0
[pid=12253/tid=12255] ppid=12250 vsize=10551232 memory=7380106142448641387 CPUtime=1.23 cores=0,2,4,6
/proc/12253/task/12255/stat : 12255 (java) R 12250 12253 17093 0 -1 4202560 7900 0 0 0 119 4 0 0 20 0 15 0 66951468 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139705285424728 139704905319428 0 4 1 16800974 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12256] ppid=12250 vsize=10551232 memory=4028 CPUtime=0.05 cores=0,2,4,6
/proc/12253/task/12256/stat : 12256 (java) S 12250 12253 17093 0 -1 1077944384 107 0 0 0 4 1 0 0 20 0 15 0 66951469 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139705222232592 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12257] ppid=12250 vsize=10551232 memory=280352514258736 CPUtime=0.05 cores=0,2,4,6
/proc/12253/task/12257/stat : 12257 (java) S 12250 12253 17093 0 -1 1077944384 42 0 0 0 4 1 0 0 20 0 15 0 66951469 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139705221180048 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12258] ppid=12250 vsize=10551232 memory=288230621803970871 CPUtime=0.05 cores=0,2,4,6
/proc/12253/task/12258/stat : 12258 (java) S 12250 12253 17093 0 -1 1077944384 120 0 0 0 4 1 0 0 20 0 15 0 66951469 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139704890419472 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12259] ppid=12250 vsize=10551232 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/12253/task/12259/stat : 12259 (java) S 12250 12253 17093 0 -1 1077944384 230 0 0 0 5 1 0 0 20 0 15 0 66951469 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139704889366928 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12260] ppid=12250 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12260/stat : 12260 (java) S 12250 12253 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 66951470 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139704778099440 139705281206914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12261] ppid=12250 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12261/stat : 12261 (java) S 12250 12253 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139704777045728 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12262] ppid=12250 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12262/stat : 12262 (java) S 12250 12253 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139704775992560 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12263] ppid=12250 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12263/stat : 12263 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66951473 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139704774941136 139705281214363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12264] ppid=12250 vsize=10551232 memory=7811894228579145828 CPUtime=0.86 cores=0,2,4,6
/proc/12253/task/12264/stat : 12264 (java) S 12250 12253 17093 0 -1 1077944384 1709 0 0 0 86 0 0 0 20 0 15 0 66951473 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139704773888240 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12265] ppid=12250 vsize=10551232 memory=7811894228579145834 CPUtime=0.81 cores=0,2,4,6
/proc/12253/task/12265/stat : 12265 (java) S 12250 12253 17093 0 -1 1077944384 1304 0 0 0 81 0 0 0 20 0 15 0 66951473 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139704772835696 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12266] ppid=12250 vsize=10551232 memory=7379549763863205986 CPUtime=0.32 cores=0,2,4,6
/proc/12253/task/12266/stat : 12266 (java) S 12250 12253 17093 0 -1 1077944384 1622 0 0 0 32 0 0 0 20 0 15 0 66951473 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139704771782640 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12267] ppid=12250 vsize=10551232 memory=7596562555629758059 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12267/stat : 12267 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66951474 10804461568 64193 18446744073709551615 4194304 4196468 140725251351520 139704770730336 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
################
# More data... #
################
/proc/12253/statm: 2637808 2083469 3120 1 0 2627261 0
[pid=12253/tid=12255] ppid=12250 vsize=10551232 memory=-8774313645642428999 CPUtime=14.94 cores=0,2,4,6
/proc/12253/task/12255/stat : 12255 (java) S 12250 12253 17093 0 -1 1077944384 19358 0 0 0 1483 11 0 0 20 0 15 0 66951468 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705285432800 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12256] ppid=12250 vsize=10551232 memory=0 CPUtime=53.87 cores=0,2,4,6
/proc/12253/task/12256/stat : 12256 (java) R 12250 12253 17093 0 -1 4202560 33618 0 0 0 5237 150 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705222232176 139705273823975 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12257] ppid=12250 vsize=10551232 memory=56 CPUtime=53.88 cores=0,2,4,6
/proc/12253/task/12257/stat : 12257 (java) R 12250 12253 17093 0 -1 4202560 62782 0 0 0 5238 150 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705221180248 139705262749392 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12258] ppid=12250 vsize=10551232 memory=0 CPUtime=54.15 cores=0,2,4,6
/proc/12253/task/12258/stat : 12258 (java) R 12250 12253 17093 0 -1 4202560 38358 0 0 0 5271 144 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704890419056 139705273823975 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12259] ppid=12250 vsize=10551232 memory=155 CPUtime=54.15 cores=0,2,4,6
/proc/12253/task/12259/stat : 12259 (java) R 12250 12253 17093 0 -1 4202560 18286 0 0 0 5261 154 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704889367128 139705266181063 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12260] ppid=12250 vsize=10551232 memory=1 CPUtime=18.66 cores=0,2,4,6
/proc/12253/task/12260/stat : 12260 (java) S 12250 12253 17093 0 -1 1077944384 22623 0 0 0 1865 1 0 0 20 0 15 0 66951470 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704778097760 139705281205973 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12261] ppid=12250 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12261/stat : 12261 (java) S 12250 12253 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704777045728 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12262] ppid=12250 vsize=10551232 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12262/stat : 12262 (java) S 12250 12253 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704775992576 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12263] ppid=12250 vsize=10551232 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12263/stat : 12263 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704774941136 139705281214363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12264] ppid=12250 vsize=10551232 memory=52613349390473 CPUtime=1.04 cores=0,2,4,6
/proc/12253/task/12264/stat : 12264 (java) S 12250 12253 17093 0 -1 1077944384 3227 0 0 0 104 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704773888240 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12265] ppid=12250 vsize=10551232 memory=24420 CPUtime=0.96 cores=0,2,4,6
/proc/12253/task/12265/stat : 12265 (java) S 12250 12253 17093 0 -1 1077944384 2871 0 0 0 96 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704772835696 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12266] ppid=12250 vsize=10551232 memory=192788197040071 CPUtime=0.35 cores=0,2,4,6
/proc/12253/task/12266/stat : 12266 (java) S 12250 12253 17093 0 -1 1077944384 3787 0 0 0 35 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704771782640 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12267] ppid=12250 vsize=10551232 memory=192788197040072 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12267/stat : 12267 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66951474 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704770730336 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12268] ppid=12250 vsize=10551232 memory=192788197040073 CPUtime=0.04 cores=0,2,4,6
/proc/12253/task/12268/stat : 12268 (java) S 12250 12253 17093 0 -1 1077944384 140 0 0 0 3 1 0 0 20 0 15 0 66951485 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704769678384 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
Current children cumulated CPU time: 252.14 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8333876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+90.4557 s]
# the end of solver process 12253 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.803 s, system=6.22949 s
Solver just ended.
Dumping a history of the last processes samples
[startup+89.6013 s]
/proc/loadavg: 4.94 4.90 4.45 6/209 12345
/proc/meminfo: memFree=15116396/32770624 swapFree=67108860/67108860
[pid=12253] ppid=12250 vsize=10551232 memory=8333876 CPUtime=256.83 cores=0,2,4,6
/proc/12253/stat : 12253 (java) S 12250 12253 17093 0 -1 1077944320 206449 0 0 0 25066 617 0 0 20 0 15 0 66951462 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 140725251334064 139705281195767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
/proc/12253/statm: 2637808 2083469 3120 1 0 2627261 0
[pid=12253/tid=12255] ppid=12250 vsize=10551232 memory=12200 CPUtime=14.94 cores=0,2,4,6
/proc/12253/task/12255/stat : 12255 (java) S 12250 12253 17093 0 -1 1077944384 19358 0 0 0 1483 11 0 0 20 0 15 0 66951468 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705285432800 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12256] ppid=12250 vsize=10551232 memory=8333864 CPUtime=55.03 cores=0,2,4,6
/proc/12253/task/12256/stat : 12256 (java) R 12250 12253 17093 0 -1 4202560 33618 0 0 0 5352 151 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705222232176 139705273823975 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12257] ppid=12250 vsize=10551232 memory=-8774313645642428999 CPUtime=55.08 cores=0,2,4,6
/proc/12253/task/12257/stat : 12257 (java) R 12250 12253 17093 0 -1 4202560 62817 0 0 0 5358 150 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705221180248 139705266181063 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12258] ppid=12250 vsize=10551232 memory=37720 CPUtime=55.3 cores=0,2,4,6
/proc/12253/task/12258/stat : 12258 (java) R 12250 12253 17093 0 -1 4202560 38358 0 0 0 5386 144 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704890419056 139705273823975 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12259] ppid=12250 vsize=10551232 memory=1296 CPUtime=55.34 cores=0,2,4,6
/proc/12253/task/12259/stat : 12259 (java) R 12250 12253 17093 0 -1 4202560 18286 0 0 0 5380 154 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704889367128 139705265893542 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12260] ppid=12250 vsize=10551232 memory=2420 CPUtime=18.66 cores=0,2,4,6
/proc/12253/task/12260/stat : 12260 (java) S 12250 12253 17093 0 -1 1077944384 22623 0 0 0 1865 1 0 0 20 0 15 0 66951470 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704778097760 139705281205973 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12261] ppid=12250 vsize=10551232 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12261/stat : 12261 (java) S 12250 12253 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704777045728 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12262] ppid=12250 vsize=10551232 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12262/stat : 12262 (java) S 12250 12253 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704775992576 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12263] ppid=12250 vsize=10551232 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12263/stat : 12263 (java) S 12250 12253 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704774940784 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12264] ppid=12250 vsize=10551232 memory=1992 CPUtime=1.04 cores=0,2,4,6
/proc/12253/task/12264/stat : 12264 (java) S 12250 12253 17093 0 -1 1077944384 3227 0 0 0 104 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704773888240 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12265] ppid=12250 vsize=10551232 memory=1732 CPUtime=0.96 cores=0,2,4,6
/proc/12253/task/12265/stat : 12265 (java) S 12250 12253 17093 0 -1 1077944384 2871 0 0 0 96 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704772835696 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12266] ppid=12250 vsize=10551232 memory=5788 CPUtime=0.35 cores=0,2,4,6
/proc/12253/task/12266/stat : 12266 (java) S 12250 12253 17093 0 -1 1077944384 3787 0 0 0 35 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704771782640 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12267] ppid=12250 vsize=10551232 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12267/stat : 12267 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66951474 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704770730336 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12268] ppid=12250 vsize=10551232 memory=1708 CPUtime=0.04 cores=0,2,4,6
/proc/12253/task/12268/stat : 12268 (java) S 12250 12253 17093 0 -1 1077944384 140 0 0 0 3 1 0 0 20 0 15 0 66951485 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704769678384 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
Current children cumulated CPU time: 256.83 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8333876 KiB
[startup+90.0013 s]*
/proc/loadavg: 5.18 4.95 4.47 9/209 12345
/proc/meminfo: memFree=15116396/32770624 swapFree=67108860/67108860
[pid=12253] ppid=12250 vsize=10551232 memory=8333876 CPUtime=258.42 cores=0,2,4,6
/proc/12253/stat : 12253 (java) S 12250 12253 17093 0 -1 1077944320 206450 0 0 0 25225 617 0 0 20 0 15 0 66951462 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 140725251334064 139705281195767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
/proc/12253/statm: 2637808 2083469 3120 1 0 2627261 0
[pid=12253/tid=12255] ppid=12250 vsize=10551232 memory=5788 CPUtime=14.94 cores=0,2,4,6
/proc/12253/task/12255/stat : 12255 (java) S 12250 12253 17093 0 -1 1077944384 19358 0 0 0 1483 11 0 0 20 0 15 0 66951468 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705285432800 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12256] ppid=12250 vsize=10551232 memory=4612 CPUtime=55.42 cores=0,2,4,6
/proc/12253/task/12256/stat : 12256 (java) R 12250 12253 17093 0 -1 4202560 33618 0 0 0 5391 151 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705222232176 139705273823975 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12257] ppid=12250 vsize=10551232 memory=4872558044660077418 CPUtime=55.49 cores=0,2,4,6
/proc/12253/task/12257/stat : 12257 (java) R 12250 12253 17093 0 -1 4202560 62818 0 0 0 5399 150 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705221180248 139705262792154 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12258] ppid=12250 vsize=10551232 memory=8333856 CPUtime=55.69 cores=0,2,4,6
/proc/12253/task/12258/stat : 12258 (java) S 12250 12253 17093 0 -1 1077944384 38358 0 0 0 5425 144 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704890419056 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12259] ppid=12250 vsize=10551232 memory=1156 CPUtime=55.73 cores=0,2,4,6
/proc/12253/task/12259/stat : 12259 (java) R 12250 12253 17093 0 -1 4202560 18286 0 0 0 5419 154 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704889367128 139705262792268 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12260] ppid=12250 vsize=10551232 memory=2696 CPUtime=18.66 cores=0,2,4,6
/proc/12253/task/12260/stat : 12260 (java) S 12250 12253 17093 0 -1 1077944384 22623 0 0 0 1865 1 0 0 20 0 15 0 66951470 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704778097760 139705281205973 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12261] ppid=12250 vsize=10551232 memory=8036348 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12261/stat : 12261 (java) S 12250 12253 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704777045728 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12262] ppid=12250 vsize=10551232 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12262/stat : 12262 (java) S 12250 12253 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704775992576 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12263] ppid=12250 vsize=10551232 memory=21208 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12263/stat : 12263 (java) S 12250 12253 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704774940784 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12264] ppid=12250 vsize=10551232 memory=1788 CPUtime=1.04 cores=0,2,4,6
/proc/12253/task/12264/stat : 12264 (java) S 12250 12253 17093 0 -1 1077944384 3227 0 0 0 104 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704773888240 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12265] ppid=12250 vsize=10551232 memory=640 CPUtime=0.96 cores=0,2,4,6
/proc/12253/task/12265/stat : 12265 (java) S 12250 12253 17093 0 -1 1077944384 2871 0 0 0 96 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704772835696 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12266] ppid=12250 vsize=10551232 memory=2160 CPUtime=0.35 cores=0,2,4,6
/proc/12253/task/12266/stat : 12266 (java) S 12250 12253 17093 0 -1 1077944384 3787 0 0 0 35 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704771782640 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12267] ppid=12250 vsize=10551232 memory=844 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12267/stat : 12267 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66951474 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704770730336 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12268] ppid=12250 vsize=10551232 memory=16448 CPUtime=0.04 cores=0,2,4,6
/proc/12253/task/12268/stat : 12268 (java) S 12250 12253 17093 0 -1 1077944384 140 0 0 0 3 1 0 0 20 0 15 0 66951485 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704769678384 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
Current children cumulated CPU time: 258.42 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8333876 KiB
[startup+90.4006 s]
/proc/loadavg: 5.18 4.95 4.47 9/209 12345
/proc/meminfo: memFree=15116396/32770624 swapFree=67108860/67108860
[pid=12253] ppid=12250 vsize=10551232 memory=8333876 CPUtime=259.95 cores=0,2,4,6
/proc/12253/stat : 12253 (java) S 12250 12253 17093 0 -1 1077944320 206450 0 0 0 25378 617 0 0 20 0 15 0 66951462 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 140725251334064 139705281195767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
/proc/12253/statm: 2637808 2083469 3120 1 0 2627261 0
[pid=12253/tid=12255] ppid=12250 vsize=10551232 memory=8333816 CPUtime=14.94 cores=0,2,4,6
/proc/12253/task/12255/stat : 12255 (java) S 12250 12253 17093 0 -1 1077944384 19358 0 0 0 1483 11 0 0 20 0 15 0 66951468 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705285432800 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12256] ppid=12250 vsize=10551232 memory=8333876 CPUtime=55.79 cores=0,2,4,6
/proc/12253/task/12256/stat : 12256 (java) R 12250 12253 17093 0 -1 4202560 33618 0 0 0 5428 151 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705222232488 139705273823975 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12257] ppid=12250 vsize=10551232 memory=-8774313645642428999 CPUtime=55.88 cores=0,2,4,6
/proc/12253/task/12257/stat : 12257 (java) R 12250 12253 17093 0 -1 4202560 62818 0 0 0 5438 150 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139705221180248 139705266146760 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12258] ppid=12250 vsize=10551232 memory=1732 CPUtime=56.08 cores=0,2,4,6
/proc/12253/task/12258/stat : 12258 (java) R 12250 12253 17093 0 -1 4202560 38358 0 0 0 5463 145 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704890419368 139705273823975 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12259] ppid=12250 vsize=10551232 memory=5788 CPUtime=56.12 cores=0,2,4,6
/proc/12253/task/12259/stat : 12259 (java) R 12250 12253 17093 0 -1 4202560 18286 0 0 0 5458 154 0 0 20 0 15 0 66951469 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704889367128 139705266146372 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12260] ppid=12250 vsize=10551232 memory=4612 CPUtime=18.66 cores=0,2,4,6
/proc/12253/task/12260/stat : 12260 (java) S 12250 12253 17093 0 -1 1077944384 22623 0 0 0 1865 1 0 0 20 0 15 0 66951470 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704778097760 139705281205973 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12261] ppid=12250 vsize=10551232 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12261/stat : 12261 (java) S 12250 12253 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704777045728 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12262] ppid=12250 vsize=10551232 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12262/stat : 12262 (java) S 12250 12253 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66951471 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704775992576 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12263] ppid=12250 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12263/stat : 12263 (java) S 12250 12253 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704774940784 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12264] ppid=12250 vsize=10551232 memory=640 CPUtime=1.04 cores=0,2,4,6
/proc/12253/task/12264/stat : 12264 (java) S 12250 12253 17093 0 -1 1077944384 3227 0 0 0 104 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704773888240 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12265] ppid=12250 vsize=10551232 memory=960 CPUtime=0.96 cores=0,2,4,6
/proc/12253/task/12265/stat : 12265 (java) S 12250 12253 17093 0 -1 1077944384 2871 0 0 0 96 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704772835696 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12266] ppid=12250 vsize=10551232 memory=1232 CPUtime=0.35 cores=0,2,4,6
/proc/12253/task/12266/stat : 12266 (java) S 12250 12253 17093 0 -1 1077944384 3787 0 0 0 35 0 0 0 20 0 15 0 66951473 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704771782640 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12267] ppid=12250 vsize=10551232 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/12253/task/12267/stat : 12267 (java) S 12250 12253 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66951474 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704770730336 139705281205973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
[pid=12253/tid=12268] ppid=12250 vsize=10551232 memory=4300 CPUtime=0.04 cores=0,2,4,6
/proc/12253/task/12268/stat : 12268 (java) S 12250 12253 17093 0 -1 1077944384 140 0 0 0 3 1 0 0 20 0 15 0 66951485 10804461568 2083469 18446744073709551615 4194304 4196468 140725251351520 139704769678384 139705281206914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20766720 140725251355029 140725251355182 140725251355182 140725251358671 0
Current children cumulated CPU time: 259.95 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8333876 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 90.4558
CPU time (s): 260.032
CPU user time (s): 253.803
CPU system time (s): 6.22949
CPU usage (%): 287.469
Max. virtual memory (cumulated for all children) (KiB): 10551232
Max. memory (cumulated for all children) (KiB): 8333876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.803
system time used= 6.22949
maximum resident set size= 8334148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5976
involuntary context switches= 4798
# summary of solver processes directly reported to runsolver:
# pid: 12253
# total CPU time (s): 260.032
# total CPU user time (s): 253.803
# total CPU system time (s): 6.22949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.549005 second user time and 0.883139 second system time
The end