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 (12240 MiB free)
memory of node 1: 16384 MiB (15607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257896-1502649893/watcher-4257896-1502649893 -o /tmp/evaluation-result-4257896-1502649893/solver-4257896-1502649893 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257896-1502649893.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15227, runsolver pid=15224
[startup+0.10024 s]*
/proc/loadavg: 4.48 3.48 3.45 3/205 15233
/proc/meminfo: memFree=28507660/32770624 swapFree=67108860/67108860
[pid=15227] ppid=15224 vsize=10018544 memory=17540 CPUtime=0.01 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 17093 0 -1 1077944320 3674 0 0 0 1 0 0 0 20 0 7 0 67182577 10258989056 4385 18446744073709551615 4194304 4196468 140721906495824 140721906478368 140060400414455 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
/proc/15227/statm: 2504636 4385 1985 1 0 2494133 0
[pid=15227/tid=15229] ppid=15224 vsize=10018544 memory=-7677926825137650786 CPUtime=0.01 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15224 15227 17093 0 -1 4202560 2446 0 0 0 1 0 0 0 20 0 7 0 67182586 10258989056 4451 18446744073709551615 4194304 4196468 140721906495824 140060404656912 140060400436381 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15230] ppid=15224 vsize=10018544 memory=4872558142750482496 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 67182586 10258989056 4451 18446744073709551615 4194304 4196468 140721906495824 140060361313040 140060400424661 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15231] ppid=15224 vsize=10018544 memory=139845424940672 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 67182586 10258989056 4451 18446744073709551615 4194304 4196468 140721906495824 140060010666896 140060400424661 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15232] ppid=15224 vsize=10018544 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 67182586 10258989056 4451 18446744073709551615 4194304 4196468 140721906495824 140060009614352 140060400424661 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15233] ppid=15224 vsize=10018544 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15224 15227 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 67182586 10258989056 4451 18446744073709551615 4194304 4196468 140721906495824 140060008561808 140060400424661 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15234] ppid=15224 vsize=10018544 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 67182588 10258989056 4451 18446744073709551615 4194304 4196468 140721906495824 140059964610544 140060400425602 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 10018544 KiB
Current children cumulated memory: 17540 KiB
[startup+0.210116 s]*
/proc/loadavg: 4.48 3.48 3.45 2/213 15241
/proc/meminfo: memFree=28502928/32770624 swapFree=67108860/67108860
[pid=15227] ppid=15224 vsize=10484492 memory=23640 CPUtime=0.05 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 17093 0 -1 1077944320 4865 0 0 0 4 1 0 0 20 0 14 0 67182577 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140721906478368 140060400414455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
/proc/15227/statm: 2621123 5910 2568 1 0 2610620 0
[pid=15227/tid=15229] ppid=15224 vsize=10484492 memory=7972079681069007774 CPUtime=0.04 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) D 15224 15227 17093 0 -1 4202560 2977 0 0 0 4 0 0 0 20 0 14 0 67182586 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140060404651936 140060400436477 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15230] ppid=15224 vsize=10484492 memory=4872558142750482496 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67182586 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140060361313040 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15231] ppid=15224 vsize=10484492 memory=139845424940672 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67182586 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140060010666896 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15232] ppid=15224 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67182586 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140060009614352 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15233] ppid=15224 vsize=10484492 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15224 15227 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 67182586 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140060008561808 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15234] ppid=15224 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 67182588 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140059964610544 140060400425602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15235] ppid=15224 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 67182588 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140059963556768 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15236] ppid=15224 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 67182588 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140059962504176 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15237] ppid=15224 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 67182591 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140059961452752 140060400433051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15238] ppid=15224 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 17093 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 14 0 67182591 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140059960400368 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15239] ppid=15224 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 67182591 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140059959347824 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15240] ppid=15224 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 17093 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 14 0 67182591 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140059890150128 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15241] ppid=15224 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 67182591 10736119808 5910 18446744073709551615 4194304 4196468 140721906495824 140059889097824 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 23640 KiB
[startup+0.314983 s]*
/proc/loadavg: 4.48 3.48 3.45 4/214 15242
/proc/meminfo: memFree=28494272/32770624 swapFree=67108860/67108860
[pid=15227] ppid=15224 vsize=10551156 memory=33736 CPUtime=0.19 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 17093 0 -1 1077944320 8123 0 0 0 16 3 0 0 20 0 15 0 67182577 10804383744 8434 18446744073709551615 4194304 4196468 140721906495824 140721906478368 140060400414455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
/proc/15227/statm: 2637789 8434 2871 1 0 2627261 0
[pid=15227/tid=15229] ppid=15224 vsize=10551156 memory=-7677926825137650786 CPUtime=0.13 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15224 15227 17093 0 -1 4202560 5933 0 0 0 11 2 0 0 20 0 15 0 67182586 10804383744 8435 18446744073709551615 4194304 4196468 140721906495824 140060404624944 140060393093677 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15230] ppid=15224 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67182586 10804383744 8435 18446744073709551615 4194304 4196468 140721906495824 140060361313040 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15231] ppid=15224 vsize=10551156 memory=139845424947665 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67182586 10804383744 8435 18446744073709551615 4194304 4196468 140721906495824 140060010666896 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15232] ppid=15224 vsize=10552180 memory=7307486689413783890 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67182586 10805432320 8435 18446744073709551615 4194304 4196468 140721906495824 140060009614352 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15233] ppid=15224 vsize=10552180 memory=7595156280292496745 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15224 15227 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67182586 10805432320 8435 18446744073709551615 4194304 4196468 140721906495824 140060008561808 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15234] ppid=15224 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67182588 10805432320 8435 18446744073709551615 4194304 4196468 140721906495824 140059964610544 140060400425602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15235] ppid=15224 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67182588 10804383744 8435 18446744073709551615 4194304 4196468 140721906495824 140059963556768 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15236] ppid=15224 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67182588 10804383744 8435 18446744073709551615 4194304 4196468 140721906495824 140059962504176 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15237] ppid=15224 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67182591 10805432320 8435 18446744073709551615 4194304 4196468 140721906495824 140059961452752 140060400433051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15238] ppid=15224 vsize=10552180 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 17093 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 67182591 10805432320 8435 18446744073709551615 4194304 4196468 140721906495824 140059960400368 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15239] ppid=15224 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 17093 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 67182591 10805432320 8435 18446744073709551615 4194304 4196468 140721906495824 140059959347824 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15240] ppid=15224 vsize=10551156 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 17093 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 15 0 67182591 10804383744 8435 18446744073709551615 4194304 4196468 140721906495824 140059890150128 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15241] ppid=15224 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67182591 10804383744 8435 18446744073709551615 4194304 4196468 140721906495824 140059889097824 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15242] ppid=15224 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67182600 10805432320 8435 18446744073709551615 4194304 4196468 140721906495824 140059888044336 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 33736 KiB
[startup+0.701089 s]
/proc/loadavg: 4.48 3.48 3.45 5/214 15242
/proc/meminfo: memFree=28481460/32770624 swapFree=67108860/67108860
[pid=15227] ppid=15224 vsize=10551232 memory=186292 CPUtime=1.15 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 17093 0 -1 1077944320 12524 0 0 0 107 8 0 0 20 0 15 0 67182577 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140721906478368 140060400414455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
/proc/15227/statm: 2637808 46573 3067 1 0 2627261 0
[pid=15227/tid=15229] ppid=15224 vsize=10551232 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15224 15227 17093 0 -1 4202560 7239 0 0 0 45 5 0 0 20 0 15 0 67182586 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140060404650592 140060042176832 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15230] ppid=15224 vsize=10551232 memory=155 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15224 15227 17093 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 67182586 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140060361313040 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15231] ppid=15224 vsize=10551232 memory=1 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15224 15227 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 67182586 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140060010666896 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15232] ppid=15224 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67182586 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140060009614352 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15233] ppid=15224 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15224 15227 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67182586 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140060008561808 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15234] ppid=15224 vsize=10551232 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140059964610544 140060400425602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15235] ppid=15224 vsize=10551232 memory=-7677926825137650786 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140059963556768 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15236] ppid=15224 vsize=10551232 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140059962504176 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15237] ppid=15224 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140059961452752 140060400433051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15238] ppid=15224 vsize=10551232 memory=6944656592455097440 CPUtime=0.17 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) R 15224 15227 17093 0 -1 4202560 1435 0 0 0 17 0 0 0 20 0 15 0 67182591 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140059960396736 140060381115748 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15239] ppid=15224 vsize=10551232 memory=6656426216303648864 CPUtime=0.17 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) R 15224 15227 17093 0 -1 4202560 785 0 0 0 17 0 0 0 20 0 15 0 67182591 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140059959340312 140060383799355 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15240] ppid=15224 vsize=10551232 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 17093 0 -1 1077944384 1578 0 0 0 25 0 0 0 20 0 15 0 67182591 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140059890150128 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15241] ppid=15224 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140059889097824 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15242] ppid=15224 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67182600 10804461568 46573 18446744073709551615 4194304 4196468 140721906495824 140059888044336 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 186292 KiB
[startup+1.50081 s]
/proc/loadavg: 4.48 3.48 3.45 3/214 15242
/proc/meminfo: memFree=27915448/32770624 swapFree=67108860/67108860
[pid=15227] ppid=15224 vsize=10551232 memory=642192 CPUtime=2.88 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 17093 0 -1 1077944320 14844 0 0 0 261 27 0 0 20 0 15 0 67182577 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140721906478368 140060400414455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
/proc/15227/statm: 2637808 160548 3100 1 0 2627261 0
[pid=15227/tid=15229] ppid=15224 vsize=10551232 memory=540 CPUtime=1.19 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15224 15227 17093 0 -1 4202560 8094 0 0 0 109 10 0 0 20 0 15 0 67182586 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140060404646608 140060044974740 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15230] ppid=15224 vsize=10551232 memory=12929 CPUtime=0.09 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15224 15227 17093 0 -1 1077944384 139 0 0 0 6 3 0 0 20 0 15 0 67182586 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140060361313040 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15231] ppid=15224 vsize=10551232 memory=7595127748908773481 CPUtime=0.09 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15224 15227 17093 0 -1 1077944384 140 0 0 0 6 3 0 0 20 0 15 0 67182586 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140060010666896 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15232] ppid=15224 vsize=10551232 memory=7595127748908773481 CPUtime=0.07 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15224 15227 17093 0 -1 1077944384 124 0 0 0 4 3 0 0 20 0 15 0 67182586 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140060009614352 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15233] ppid=15224 vsize=10551232 memory=7595127748908773481 CPUtime=0.09 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15224 15227 17093 0 -1 1077944384 151 0 0 0 6 3 0 0 20 0 15 0 67182586 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140060008561808 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15234] ppid=15224 vsize=10551232 memory=7595127748908773481 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 17093 0 -1 1077944384 474 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140059964610544 140060400425602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15235] ppid=15224 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140059963556768 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15236] ppid=15224 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140059962504176 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15237] ppid=15224 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140059961452752 140060400433051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15238] ppid=15224 vsize=10551232 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 17093 0 -1 1077944384 1540 0 0 0 44 0 0 0 20 0 15 0 67182591 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140059960400368 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15239] ppid=15224 vsize=10551232 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 17093 0 -1 1077944384 1181 0 0 0 53 0 0 0 20 0 15 0 67182591 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140059959347824 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15240] ppid=15224 vsize=10551232 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 17093 0 -1 1077944384 1642 0 0 0 29 0 0 0 20 0 15 0 67182591 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140059890150128 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15241] ppid=15224 vsize=10551232 memory=7375040490582927186 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140059889097824 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15242] ppid=15224 vsize=10551232 memory=7301857172715104592 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67182600 10804461568 160548 18446744073709551615 4194304 4196468 140721906495824 140059888044336 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 10551232 KiB
################
# More data... #
################
[startup+85.0608 s]
# the end of solver process 15227 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.897 s, system=5.12981 s
Solver just ended.
Dumping a history of the last processes samples
[startup+83.2007 s]
/proc/loadavg: 4.05 3.52 3.46 6/211 15245
/proc/meminfo: memFree=20098344/32770624 swapFree=67108860/67108860
[pid=15227] ppid=15224 vsize=10551232 memory=8416048 CPUtime=252.77 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 17093 0 -1 1077944320 224385 0 0 0 24770 507 0 0 20 0 15 0 67182577 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140721906478368 140060400414455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
/proc/15227/statm: 2637808 2104012 3135 1 0 2627261 0
[pid=15227/tid=15229] ppid=15224 vsize=10551232 memory=2251 CPUtime=15.41 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) S 15224 15227 17093 0 -1 1077944384 23190 0 0 0 1514 27 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060404651376 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15230] ppid=15224 vsize=10551232 memory=2644 CPUtime=55.6 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) R 15224 15227 17093 0 -1 4202560 21943 0 0 0 5447 113 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060361313240 140060393042663 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15231] ppid=15224 vsize=10551232 memory=8416048 CPUtime=55.45 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) R 15224 15227 17093 0 -1 4202560 43050 0 0 0 5427 118 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060010666784 140060385365466 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15232] ppid=15224 vsize=10551232 memory=8416048 CPUtime=55.39 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) R 15224 15227 17093 0 -1 4202560 45298 0 0 0 5416 123 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060009613936 140060393042663 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15233] ppid=15224 vsize=10551232 memory=8416048 CPUtime=55.02 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) R 15224 15227 17093 0 -1 4202560 28557 0 0 0 5386 116 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060008561704 140060393042663 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15234] ppid=15224 vsize=10551232 memory=-8774313645642428999 CPUtime=11.37 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 17093 0 -1 1077944384 26659 0 0 0 1135 2 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059964608864 140060400424661 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15235] ppid=15224 vsize=10551232 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 17093 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059963556832 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15236] ppid=15224 vsize=10551232 memory=8415688 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 17093 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059962504192 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15237] ppid=15224 vsize=10551232 memory=640 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059961452400 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15238] ppid=15224 vsize=10551232 memory=0 CPUtime=2.58 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 17093 0 -1 1077944384 20666 0 0 0 256 2 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059960400368 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15239] ppid=15224 vsize=10551232 memory=2824 CPUtime=1.41 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 17093 0 -1 1077944384 9164 0 0 0 140 1 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059959347824 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15240] ppid=15224 vsize=10551232 memory=8307100 CPUtime=0.4 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 17093 0 -1 1077944384 4030 0 0 0 39 1 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059890150128 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15241] ppid=15224 vsize=10551232 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059889097824 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15242] ppid=15224 vsize=10551232 memory=8296552 CPUtime=0.05 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 17093 0 -1 1077944384 379 0 0 0 3 2 0 0 20 0 15 0 67182600 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059888044336 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
Current children cumulated CPU time: 252.77 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8416048 KiB
[startup+84.0011 s]*
/proc/loadavg: 4.13 3.54 3.47 8/211 15245
/proc/meminfo: memFree=20098344/32770624 swapFree=67108860/67108860
[pid=15227] ppid=15224 vsize=10551232 memory=8416048 CPUtime=255.98 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 17093 0 -1 1077944320 237622 0 0 0 25090 508 0 0 20 0 15 0 67182577 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140721906478368 140060400414455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
/proc/15227/statm: 2637808 2104012 3135 1 0 2627261 0
[pid=15227/tid=15229] ppid=15224 vsize=10551232 memory=-7677926825137650786 CPUtime=15.41 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) S 15224 15227 17093 0 -1 1077944384 23190 0 0 0 1514 27 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060404651376 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15230] ppid=15224 vsize=10551232 memory=4872558044660077418 CPUtime=56.4 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) R 15224 15227 17093 0 -1 4202560 34302 0 0 0 5527 113 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060361313240 140060385410856 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15231] ppid=15224 vsize=10551232 memory=1000 CPUtime=56.26 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) R 15224 15227 17093 0 -1 4202560 43084 0 0 0 5508 118 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060010666896 140060385410862 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15232] ppid=15224 vsize=10551232 memory=796 CPUtime=56.18 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) R 15224 15227 17093 0 -1 4202560 45298 0 0 0 5495 123 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060009614552 140060385113271 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15233] ppid=15224 vsize=10551232 memory=8944 CPUtime=55.83 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) R 15224 15227 17093 0 -1 4202560 28557 0 0 0 5467 116 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060008561696 140060385410856 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15234] ppid=15224 vsize=10551232 memory=15876 CPUtime=11.38 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 17093 0 -1 1077944384 27503 0 0 0 1136 2 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059964609088 140060400424661 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15235] ppid=15224 vsize=10551232 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 17093 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059963556832 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15236] ppid=15224 vsize=10551232 memory=21292 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 17093 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059962504192 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15237] ppid=15224 vsize=10551232 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059961452400 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15238] ppid=15224 vsize=10551232 memory=3008 CPUtime=2.58 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 17093 0 -1 1077944384 20666 0 0 0 256 2 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059960400416 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15239] ppid=15224 vsize=10551232 memory=3041632 CPUtime=1.41 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 17093 0 -1 1077944384 9164 0 0 0 140 1 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059959347872 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15240] ppid=15224 vsize=10551232 memory=1160 CPUtime=0.4 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 17093 0 -1 1077944384 4030 0 0 0 39 1 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059890149888 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15241] ppid=15224 vsize=10551232 memory=2856 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059889097824 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15242] ppid=15224 vsize=10551232 memory=8416048 CPUtime=0.05 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 17093 0 -1 1077944384 379 0 0 0 3 2 0 0 20 0 15 0 67182600 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059888044336 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
Current children cumulated CPU time: 255.98 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8416048 KiB
[startup+84.8091 s]
/proc/loadavg: 4.13 3.54 3.47 8/211 15245
/proc/meminfo: memFree=20098344/32770624 swapFree=67108860/67108860
[pid=15227] ppid=15224 vsize=10551232 memory=8416048 CPUtime=259.17 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 17093 0 -1 1077944320 237622 0 0 0 25409 508 0 0 20 0 15 0 67182577 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140721906478368 140060400414455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
/proc/15227/statm: 2637808 2104012 3135 1 0 2627261 0
[pid=15227/tid=15229] ppid=15224 vsize=10551232 memory=8416044 CPUtime=15.41 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) S 15224 15227 17093 0 -1 1077944384 23190 0 0 0 1514 27 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060404651376 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15230] ppid=15224 vsize=10551232 memory=8416048 CPUtime=57.2 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) R 15224 15227 17093 0 -1 4202560 34302 0 0 0 5607 113 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060361313240 140060382024231 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15231] ppid=15224 vsize=10551232 memory=8416048 CPUtime=57.06 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) R 15224 15227 17093 0 -1 4202560 43084 0 0 0 5588 118 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060010666896 140060385410964 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15232] ppid=15224 vsize=10551232 memory=1160 CPUtime=56.97 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) R 15224 15227 17093 0 -1 4202560 45298 0 0 0 5574 123 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060009614552 140060384871919 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15233] ppid=15224 vsize=10551232 memory=-8774313645642428999 CPUtime=56.62 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) R 15224 15227 17093 0 -1 4202560 28557 0 0 0 5546 116 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060008561696 140060385410800 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15234] ppid=15224 vsize=10551232 memory=37828 CPUtime=11.38 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 17093 0 -1 1077944384 27503 0 0 0 1136 2 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059964609088 140060400424661 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15235] ppid=15224 vsize=10551232 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 17093 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059963556832 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15236] ppid=15224 vsize=10551232 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 17093 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059962504192 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15237] ppid=15224 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059961452400 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15238] ppid=15224 vsize=10551232 memory=2160 CPUtime=2.58 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 17093 0 -1 1077944384 20666 0 0 0 256 2 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059960400416 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15239] ppid=15224 vsize=10551232 memory=844 CPUtime=1.41 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 17093 0 -1 1077944384 9164 0 0 0 140 1 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059959347872 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15240] ppid=15224 vsize=10551232 memory=16448 CPUtime=0.4 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 17093 0 -1 1077944384 4030 0 0 0 39 1 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059890149888 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15241] ppid=15224 vsize=10551232 memory=8416048 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059889097824 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15242] ppid=15224 vsize=10551232 memory=-8774313645642428999 CPUtime=0.05 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 17093 0 -1 1077944384 379 0 0 0 3 2 0 0 20 0 15 0 67182600 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059888044336 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
Current children cumulated CPU time: 259.17 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8416048 KiB
[startup+85.0007 s]*
/proc/loadavg: 4.13 3.54 3.47 6/211 15245
/proc/meminfo: memFree=20098468/32770624 swapFree=67108860/67108860
[pid=15227] ppid=15224 vsize=10551232 memory=8416048 CPUtime=259.96 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 17093 0 -1 1077944320 237622 0 0 0 25488 508 0 0 20 0 15 0 67182577 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140721906478368 140060400414455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
/proc/15227/statm: 2637808 2104012 3135 1 0 2627261 0
[pid=15227/tid=15229] ppid=15224 vsize=10551232 memory=32758254098972862 CPUtime=15.41 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) S 15224 15227 17093 0 -1 1077944384 23190 0 0 0 1514 27 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060404651376 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15230] ppid=15224 vsize=10551232 memory=301741407851511831 CPUtime=57.4 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) R 15224 15227 17093 0 -1 4202560 34302 0 0 0 5627 113 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060361313240 140060393042663 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15231] ppid=15224 vsize=10551232 memory=139845424956076 CPUtime=57.26 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) R 15224 15227 17093 0 -1 4202560 43084 0 0 0 5608 118 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060010666896 140060385115040 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15232] ppid=15224 vsize=10551232 memory=3047711591773873550 CPUtime=57.16 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) R 15224 15227 17093 0 -1 4202560 45298 0 0 0 5593 123 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060009614472 140060393042663 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15233] ppid=15224 vsize=10551232 memory=2314860354579157612 CPUtime=56.82 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) R 15224 15227 17093 0 -1 4202560 28557 0 0 0 5566 116 0 0 20 0 15 0 67182586 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140060008561616 140060393042663 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15234] ppid=15224 vsize=10551232 memory=3472731955454322313 CPUtime=11.38 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 17093 0 -1 1077944384 27503 0 0 0 1136 2 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059964609088 140060400424661 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15235] ppid=15224 vsize=10551232 memory=2314885432475350098 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 17093 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059963556832 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15236] ppid=15224 vsize=10551232 memory=8514726395715219349 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 17093 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 67182588 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059962504192 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15237] ppid=15224 vsize=10551232 memory=8514726395714825875 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059961452400 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15238] ppid=15224 vsize=10551232 memory=0 CPUtime=2.58 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 17093 0 -1 1077944384 20666 0 0 0 256 2 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059960400416 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15239] ppid=15224 vsize=10551232 memory=4050481213836632095 CPUtime=1.41 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 17093 0 -1 1077944384 9164 0 0 0 140 1 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059959347872 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15240] ppid=15224 vsize=10551232 memory=5795522742984615602 CPUtime=0.4 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 17093 0 -1 1077944384 4030 0 0 0 39 1 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059890149888 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15241] ppid=15224 vsize=10551232 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67182591 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059889097824 140060400424661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
[pid=15227/tid=15242] ppid=15224 vsize=10551232 memory=7378837474908737466 CPUtime=0.05 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 17093 0 -1 1077944384 379 0 0 0 3 2 0 0 20 0 15 0 67182600 10804461568 2104012 18446744073709551615 4194304 4196468 140721906495824 140059888044336 140060400425602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140721906499989 140721906500142 140721906500142 140721906503631 0
Current children cumulated CPU time: 259.96 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8416048 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 85.0608
CPU time (s): 260.027
CPU user time (s): 254.897
CPU system time (s): 5.12981
CPU usage (%): 305.695
Max. virtual memory (cumulated for all children) (KiB): 10553616
Max. memory (cumulated for all children) (KiB): 8416048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.897
system time used= 5.12981
maximum resident set size= 8416244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237626
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= 6530
involuntary context switches= 2374
# summary of solver processes directly reported to runsolver:
# pid: 15227
# total CPU time (s): 260.027
# total CPU user time (s): 254.897
# total CPU system time (s): 5.12981
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.559927 second user time and 0.851468 second system time
The end