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 (9612 MiB free)
memory of node 1: 16384 MiB (15605 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258118-1502653293/watcher-4258118-1502653293 -o /tmp/evaluation-result-4258118-1502653293/solver-4258118-1502653293 -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-4258118-1502653293.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
solver pid=20504, runsolver pid=20501
Current StackSize limit: 8192 KiB
[startup+0.105085 s]*
/proc/loadavg: 2.23 3.26 3.99 3/203 20513
/proc/meminfo: memFree=25811880/32770624 swapFree=67108860/67108860
[pid=20504] ppid=20501 vsize=10151672 memory=20220 CPUtime=0.04 cores=1,3,5,7
/proc/20504/stat : 20504 (java) S 20501 20504 17093 0 -1 1077944320 3926 0 0 0 3 1 0 0 20 0 9 0 67522585 10395312128 5055 18446744073709551615 4194304 4196468 140722905900432 140722905882976 140510331571959 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
/proc/20504/statm: 2537918 5055 2156 1 0 2527415 0
[pid=20504/tid=20506] ppid=20501 vsize=10151672 memory=-6439968830534014599 CPUtime=0.03 cores=1,3,5,7
/proc/20504/task/20506/stat : 20506 (java) R 20501 20504 17093 0 -1 4202560 2568 0 0 0 3 0 0 0 20 0 9 0 67522592 10395312128 5055 18446744073709551615 4194304 4196468 140722905900432 140510335807352 140510311297031 0 4 1 16800970 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20507] ppid=20501 vsize=10151672 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20507/stat : 20507 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67522593 10395312128 5055 18446744073709551615 4194304 4196468 140722905900432 140510261992592 140510331582165 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20508] ppid=20501 vsize=10151672 memory=139888360158848 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20508/stat : 20508 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67522593 10395312128 5055 18446744073709551615 4194304 4196468 140722905900432 140510260939792 140510331582165 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20509] ppid=20501 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20509/stat : 20509 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67522593 10395312128 5055 18446744073709551615 4194304 4196468 140722905900432 140510259886992 140510331582165 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20510] ppid=20501 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20510/stat : 20510 (java) S 20501 20504 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67522593 10395312128 5055 18446744073709551615 4194304 4196468 140722905900432 140510258834192 140510331582165 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20511] ppid=20501 vsize=10151672 memory=139888360158848 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20511/stat : 20511 (java) S 20501 20504 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67522594 10395312128 5055 18446744073709551615 4194304 4196468 140722905900432 140509828483440 140510331583106 0 0 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20512] ppid=20501 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20512/stat : 20512 (java) S 20501 20504 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 67522594 10395312128 5055 18446744073709551615 4194304 4196468 140722905900432 140509827429408 140510331582165 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20513] ppid=20501 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20513/stat : 20513 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 67522595 10395312128 5055 18446744073709551615 4194304 4196468 140722905900432 140509826376560 140510331582165 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20220 KiB
[startup+0.209789 s]*
/proc/loadavg: 2.23 3.26 3.99 3/209 20519
/proc/meminfo: memFree=25808580/32770624 swapFree=67108860/67108860
[pid=20504] ppid=20501 vsize=10551156 memory=27568 CPUtime=0.08 cores=1,3,5,7
/proc/20504/stat : 20504 (java) S 20501 20504 17093 0 -1 1077944320 4808 0 0 0 7 1 0 0 20 0 15 0 67522585 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140722905882976 140510331571959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
/proc/20504/statm: 2637789 6892 2742 1 0 2627261 0
[pid=20504/tid=20506] ppid=20501 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/20504/task/20506/stat : 20506 (java) R 20501 20504 17093 0 -1 4202560 2836 0 0 0 6 1 0 0 20 0 15 0 67522592 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140510335789960 140510317007280 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20507] ppid=20501 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20507/stat : 20507 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522593 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140510261992592 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20508] ppid=20501 vsize=10551156 memory=288370264511870592 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20508/stat : 20508 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522593 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140510260939792 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20509] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20509/stat : 20509 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522593 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140510259886992 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20510] ppid=20501 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20510/stat : 20510 (java) S 20501 20504 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67522593 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140510258834192 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20511] ppid=20501 vsize=10551156 memory=139888360158848 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20511/stat : 20511 (java) S 20501 20504 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67522594 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140509828483440 140510331583106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20512] ppid=20501 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20512/stat : 20512 (java) S 20501 20504 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67522594 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140509827429408 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20513] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20513/stat : 20513 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67522595 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140509826376560 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20514] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20514/stat : 20514 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67522597 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140509825324880 140510331590555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20515] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20515/stat : 20515 (java) S 20501 20504 17093 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 67522597 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140509824273264 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20516] ppid=20501 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20516/stat : 20516 (java) R 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67522597 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140509823220464 140510331583106 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20517] ppid=20501 vsize=10551156 memory=139888360158848 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20517/stat : 20517 (java) S 20501 20504 17093 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 67522597 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140509822167664 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20518] ppid=20501 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20518/stat : 20518 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67522597 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140509821115104 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20519] ppid=20501 vsize=10551156 memory=139888360158848 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20519/stat : 20519 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522605 10804383744 6892 18446744073709551615 4194304 4196468 140722905900432 140509820062384 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27568 KiB
[startup+0.310147 s]*
/proc/loadavg: 2.23 3.26 3.99 3/209 20519
/proc/meminfo: memFree=25796408/32770624 swapFree=67108860/67108860
[pid=20504] ppid=20501 vsize=10551156 memory=36520 CPUtime=0.23 cores=1,3,5,7
/proc/20504/stat : 20504 (java) S 20501 20504 17093 0 -1 1077944320 7900 0 0 0 20 3 0 0 20 0 15 0 67522585 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140722905882976 140510331571959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
/proc/20504/statm: 2637789 9130 2849 1 0 2627261 0
[pid=20504/tid=20506] ppid=20501 vsize=10551156 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/20504/task/20506/stat : 20506 (java) R 20501 20504 17093 0 -1 4202560 5615 0 0 0 14 2 0 0 20 0 15 0 67522592 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140510335783888 140510331593885 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20507] ppid=20501 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20507/stat : 20507 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522593 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140510261992592 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20508] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20508/stat : 20508 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522593 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140510260939792 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20509] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20509/stat : 20509 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522593 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140510259886992 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20510] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20510/stat : 20510 (java) S 20501 20504 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67522593 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140510258834192 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20511] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20511/stat : 20511 (java) S 20501 20504 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67522594 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140509828483440 140510331583106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20512] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20512/stat : 20512 (java) S 20501 20504 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67522594 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140509827429408 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20513] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20513/stat : 20513 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67522595 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140509826376560 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20514] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20514/stat : 20514 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67522597 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140509825324880 140510331590555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20515] ppid=20501 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20504/task/20515/stat : 20515 (java) S 20501 20504 17093 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 15 0 67522597 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140509824273264 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20516] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20516/stat : 20516 (java) S 20501 20504 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 67522597 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140509823220464 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20517] ppid=20501 vsize=10551156 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/20504/task/20517/stat : 20517 (java) S 20501 20504 17093 0 -1 1077944384 365 0 0 0 4 0 0 0 20 0 15 0 67522597 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140509822167664 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20518] ppid=20501 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20518/stat : 20518 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67522597 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140509821115104 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20519] ppid=20501 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20519/stat : 20519 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522605 10804383744 9130 18446744073709551615 4194304 4196468 140722905900432 140509820062384 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36520 KiB
[startup+0.700736 s]
/proc/loadavg: 2.23 3.26 3.99 5/209 20519
/proc/meminfo: memFree=25780232/32770624 swapFree=67108860/67108860
[pid=20504] ppid=20501 vsize=10551232 memory=105156 CPUtime=1.36 cores=1,3,5,7
/proc/20504/stat : 20504 (java) S 20501 20504 17093 0 -1 1077944320 11704 0 0 0 131 5 0 0 20 0 15 0 67522585 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140722905882976 140510331571959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
/proc/20504/statm: 2637808 26289 3060 1 0 2627261 0
[pid=20504/tid=20506] ppid=20501 vsize=10551232 memory=253 CPUtime=0.54 cores=1,3,5,7
/proc/20504/task/20506/stat : 20506 (java) R 20501 20504 17093 0 -1 4202560 6274 0 0 0 50 4 0 0 20 0 15 0 67522592 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140510335808032 140510331593885 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20507] ppid=20501 vsize=10551232 memory=2302 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20507/stat : 20507 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522593 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140510261992592 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20508] ppid=20501 vsize=10551232 memory=304 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20508/stat : 20508 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522593 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140510260939792 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20509] ppid=20501 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20509/stat : 20509 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522593 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140510259886992 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20510] ppid=20501 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20510/stat : 20510 (java) S 20501 20504 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67522593 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140510258834192 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20511] ppid=20501 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20511/stat : 20511 (java) S 20501 20504 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67522594 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140509828483440 140510331583106 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20512] ppid=20501 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20512/stat : 20512 (java) S 20501 20504 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67522594 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140509827429408 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20513] ppid=20501 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20513/stat : 20513 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67522595 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140509826376560 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20514] ppid=20501 vsize=10551232 memory=15 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20514/stat : 20514 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67522597 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140509825324880 140510331590555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20515] ppid=20501 vsize=10551232 memory=69 CPUtime=0.28 cores=1,3,5,7
/proc/20504/task/20515/stat : 20515 (java) R 20501 20504 17093 0 -1 4202560 1692 0 0 0 28 0 0 0 20 0 15 0 67522597 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140509824262560 140510315975122 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20516] ppid=20501 vsize=10551232 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/20504/task/20516/stat : 20516 (java) R 20501 20504 17093 0 -1 4202560 953 0 0 0 26 0 0 0 20 0 15 0 67522597 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140509823209136 140510309963842 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20517] ppid=20501 vsize=10551232 memory=6485400618202 CPUtime=0.26 cores=1,3,5,7
/proc/20504/task/20517/stat : 20517 (java) S 20501 20504 17093 0 -1 1077944384 1417 0 0 0 26 0 0 0 20 0 15 0 67522597 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140509822167664 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20518] ppid=20501 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20518/stat : 20518 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67522597 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140509821115104 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20519] ppid=20501 vsize=10551232 memory=13563795322702378 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20519/stat : 20519 (java) S 20501 20504 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67522605 10804461568 26289 18446744073709551615 4194304 4196468 140722905900432 140509820062384 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 105156 KiB
[startup+1.50089 s]
/proc/loadavg: 2.23 3.26 3.99 6/209 20519
/proc/meminfo: memFree=25630432/32770624 swapFree=67108860/67108860
[pid=20504] ppid=20501 vsize=10553784 memory=281088 CPUtime=3.9 cores=1,3,5,7
/proc/20504/stat : 20504 (java) S 20501 20504 17093 0 -1 1077944320 22833 0 0 0 377 13 0 0 20 0 15 0 67522585 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140722905882976 140510331571959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
/proc/20504/statm: 2638446 70272 3104 1 0 2627899 0
[pid=20504/tid=20506] ppid=20501 vsize=10553784 memory=6944652177228980320 CPUtime=1.25 cores=1,3,5,7
/proc/20504/task/20506/stat : 20506 (java) R 20501 20504 17093 0 -1 4202560 7006 0 0 0 120 5 0 0 20 0 15 0 67522592 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140510335804208 140509943243487 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20507] ppid=20501 vsize=10553784 memory=8740 CPUtime=0.04 cores=1,3,5,7
/proc/20504/task/20507/stat : 20507 (java) S 20501 20504 17093 0 -1 1077944384 116 0 0 0 4 0 0 0 20 0 15 0 67522593 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140510261992592 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20508] ppid=20501 vsize=10553784 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20504/task/20508/stat : 20508 (java) S 20501 20504 17093 0 -1 1077944384 33 0 0 0 4 1 0 0 20 0 15 0 67522593 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140510260939792 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20509] ppid=20501 vsize=10553784 memory=279776451465888 CPUtime=0.05 cores=1,3,5,7
/proc/20504/task/20509/stat : 20509 (java) S 20501 20504 17093 0 -1 1077944384 143 0 0 0 4 1 0 0 20 0 15 0 67522593 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140510259886992 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20510] ppid=20501 vsize=10553784 memory=13966 CPUtime=0.07 cores=1,3,5,7
/proc/20504/task/20510/stat : 20510 (java) S 20501 20504 17093 0 -1 1077944384 117 0 0 0 6 1 0 0 20 0 15 0 67522593 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140510258834192 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20511] ppid=20501 vsize=10553784 memory=25918 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20511/stat : 20511 (java) S 20501 20504 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 67522594 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140509828483440 140510331583106 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20512] ppid=20501 vsize=10553784 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20512/stat : 20512 (java) S 20501 20504 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67522594 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140509827429408 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20513] ppid=20501 vsize=10553784 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20513/stat : 20513 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67522595 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140509826376560 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20514] ppid=20501 vsize=10553784 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20514/stat : 20514 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67522597 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140509825324880 140510331590555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20515] ppid=20501 vsize=10553784 memory=0 CPUtime=1 cores=1,3,5,7
/proc/20504/task/20515/stat : 20515 (java) R 20501 20504 17093 0 -1 4202560 5645 0 0 0 100 0 0 0 20 0 15 0 67522597 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140509824258984 140510313117561 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20516] ppid=20501 vsize=10553784 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/20504/task/20516/stat : 20516 (java) R 20501 20504 17093 0 -1 4202560 6661 0 0 0 100 1 0 0 20 0 15 0 67522597 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140509823205928 140510316493908 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20517] ppid=20501 vsize=10553784 memory=81 CPUtime=0.36 cores=1,3,5,7
/proc/20504/task/20517/stat : 20517 (java) S 20501 20504 17093 0 -1 1077944384 1688 0 0 0 36 0 0 0 20 0 15 0 67522597 10807074816 70272 18446744073709551615 4194304 4196468 140722905900432 140509822167664 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
################
# More data... #
################
/proc/20504/task/20511/stat : 20511 (java) S 20501 20504 17093 0 -1 1077944384 7132 0 0 0 362 0 0 0 20 0 16 0 67522594 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509828483440 140510331583106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20512] ppid=20501 vsize=10617796 memory=37988 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20512/stat : 20512 (java) S 20501 20504 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 67522594 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509827429408 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20513] ppid=20501 vsize=10617796 memory=3845376 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20513/stat : 20513 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67522595 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509826376560 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20514] ppid=20501 vsize=10617796 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20514/stat : 20514 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67522597 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509825324880 140510331590555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20515] ppid=20501 vsize=10617796 memory=8171615971672155728 CPUtime=1.57 cores=1,3,5,7
/proc/20504/task/20515/stat : 20515 (java) S 20501 20504 17093 0 -1 1077944384 7621 0 0 0 156 1 0 0 20 0 16 0 67522597 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509824273264 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20516] ppid=20501 vsize=10617796 memory=6948322295788562798 CPUtime=1.62 cores=1,3,5,7
/proc/20504/task/20516/stat : 20516 (java) S 20501 20504 17093 0 -1 1077944384 8887 0 0 0 161 1 0 0 20 0 16 0 67522597 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509823220464 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20517] ppid=20501 vsize=10617796 memory=7883076645755121248 CPUtime=0.48 cores=1,3,5,7
/proc/20504/task/20517/stat : 20517 (java) S 20501 20504 17093 0 -1 1077944384 3773 0 0 0 48 0 0 0 20 0 16 0 67522597 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509822167664 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20518] ppid=20501 vsize=10617796 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20518/stat : 20518 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67522597 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509821115104 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20519] ppid=20501 vsize=10617796 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/20504/task/20519/stat : 20519 (java) S 20501 20504 17093 0 -1 1077944384 195 0 0 0 3 4 0 0 20 0 16 0 67522605 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509820062384 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20521] ppid=20501 vsize=10617796 memory=10968 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20521/stat : 20521 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67525395 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509819007920 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
Current children cumulated CPU time: 133.43 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3845376 KiB
[startup+162.301 s]
/proc/loadavg: 1.99 2.81 3.71 3/214 20620
/proc/meminfo: memFree=23581384/32770624 swapFree=67108860/67108860
[pid=20504] ppid=20501 vsize=10617796 memory=3845376 CPUtime=193.47 cores=1,3,5,7
/proc/20504/stat : 20504 (java) S 20501 20504 17093 0 -1 1077944320 84155 0 0 0 19091 256 0 0 20 0 16 0 67522585 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140722905882976 140510331571959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
/proc/20504/statm: 2654449 961344 3137 1 0 2643902 0
[pid=20504/tid=20506] ppid=20501 vsize=10617796 memory=3845376 CPUtime=149.17 cores=1,3,5,7
/proc/20504/task/20506/stat : 20506 (java) R 20501 20504 17093 0 -1 4202560 23440 0 0 0 14899 18 0 0 20 0 16 0 67522592 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140510335807936 140509944381097 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20507] ppid=20501 vsize=10617796 memory=3845376 CPUtime=9.18 cores=1,3,5,7
/proc/20504/task/20507/stat : 20507 (java) S 20501 20504 17093 0 -1 1077944384 7467 0 0 0 861 57 0 0 20 0 16 0 67522593 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140510261992592 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20508] ppid=20501 vsize=10617796 memory=3845376 CPUtime=9.18 cores=1,3,5,7
/proc/20504/task/20508/stat : 20508 (java) S 20501 20504 17093 0 -1 1077944384 10077 0 0 0 861 57 0 0 20 0 16 0 67522593 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140510260939792 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20509] ppid=20501 vsize=10617796 memory=918 CPUtime=9.19 cores=1,3,5,7
/proc/20504/task/20509/stat : 20509 (java) S 20501 20504 17093 0 -1 1077944384 8047 0 0 0 864 55 0 0 20 0 16 0 67522593 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140510259886992 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20510] ppid=20501 vsize=10617796 memory=4028 CPUtime=9.24 cores=1,3,5,7
/proc/20504/task/20510/stat : 20510 (java) S 20501 20504 17093 0 -1 1077944384 5709 0 0 0 868 56 0 0 20 0 16 0 67522593 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140510258834192 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20511] ppid=20501 vsize=10617796 memory=37988 CPUtime=3.62 cores=1,3,5,7
/proc/20504/task/20511/stat : 20511 (java) S 20501 20504 17093 0 -1 1077944384 7189 0 0 0 362 0 0 0 20 0 16 0 67522594 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509828483440 140510331583106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20512] ppid=20501 vsize=10617796 memory=3845376 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20512/stat : 20512 (java) S 20501 20504 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 67522594 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509827429408 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20513] ppid=20501 vsize=10617796 memory=3845376 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20513/stat : 20513 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67522595 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509826376560 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20514] ppid=20501 vsize=10617796 memory=3845376 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20514/stat : 20514 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67522597 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509825324880 140510331590555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20515] ppid=20501 vsize=10617796 memory=4028 CPUtime=1.57 cores=1,3,5,7
/proc/20504/task/20515/stat : 20515 (java) S 20501 20504 17093 0 -1 1077944384 7624 0 0 0 156 1 0 0 20 0 16 0 67522597 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509824273264 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20516] ppid=20501 vsize=10617796 memory=3845376 CPUtime=1.62 cores=1,3,5,7
/proc/20504/task/20516/stat : 20516 (java) S 20501 20504 17093 0 -1 1077944384 8901 0 0 0 161 1 0 0 20 0 16 0 67522597 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509823220464 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20517] ppid=20501 vsize=10617796 memory=3845376 CPUtime=0.48 cores=1,3,5,7
/proc/20504/task/20517/stat : 20517 (java) S 20501 20504 17093 0 -1 1077944384 4100 0 0 0 48 0 0 0 20 0 16 0 67522597 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509822167664 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20518] ppid=20501 vsize=10617796 memory=3845376 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20518/stat : 20518 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67522597 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509821115104 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20519] ppid=20501 vsize=10617796 memory=3845376 CPUtime=0.1 cores=1,3,5,7
/proc/20504/task/20519/stat : 20519 (java) S 20501 20504 17093 0 -1 1077944384 223 0 0 0 4 6 0 0 20 0 16 0 67522605 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509820062384 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20521] ppid=20501 vsize=10617796 memory=38008 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20521/stat : 20521 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67525395 10872623104 961344 18446744073709551615 4194304 4196468 140722905900432 140509819007920 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
Current children cumulated CPU time: 193.47 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3845376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+220.801 s]
/proc/loadavg: 2.19 2.73 3.63 3/215 20622
/proc/meminfo: memFree=22161952/32770624 swapFree=67108860/67108860
[pid=20504] ppid=20501 vsize=10617796 memory=3845468 CPUtime=252.02 cores=1,3,5,7
/proc/20504/stat : 20504 (java) S 20501 20504 17093 0 -1 1077944320 89903 0 0 0 24943 259 0 0 20 0 16 0 67522585 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140722905882976 140510331571959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
/proc/20504/statm: 2654449 961367 3142 1 0 2643902 0
[pid=20504/tid=20506] ppid=20501 vsize=10617796 memory=3845420 CPUtime=207.67 cores=1,3,5,7
/proc/20504/task/20506/stat : 20506 (java) R 20501 20504 17093 0 -1 4202560 27776 0 0 0 20748 19 0 0 20 0 16 0 67522592 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140510335808112 140509944522141 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20507] ppid=20501 vsize=10617796 memory=4028 CPUtime=9.18 cores=1,3,5,7
/proc/20504/task/20507/stat : 20507 (java) S 20501 20504 17093 0 -1 1077944384 7467 0 0 0 861 57 0 0 20 0 16 0 67522593 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140510261992592 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20508] ppid=20501 vsize=10617796 memory=-8774313645642428999 CPUtime=9.18 cores=1,3,5,7
/proc/20504/task/20508/stat : 20508 (java) S 20501 20504 17093 0 -1 1077944384 10077 0 0 0 861 57 0 0 20 0 16 0 67522593 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140510260939792 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20509] ppid=20501 vsize=10617796 memory=0 CPUtime=9.19 cores=1,3,5,7
/proc/20504/task/20509/stat : 20509 (java) S 20501 20504 17093 0 -1 1077944384 8047 0 0 0 864 55 0 0 20 0 16 0 67522593 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140510259886992 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20510] ppid=20501 vsize=10617796 memory=0 CPUtime=9.24 cores=1,3,5,7
/proc/20504/task/20510/stat : 20510 (java) S 20501 20504 17093 0 -1 1077944384 5709 0 0 0 868 56 0 0 20 0 16 0 67522593 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140510258834192 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20511] ppid=20501 vsize=10617796 memory=0 CPUtime=3.62 cores=1,3,5,7
/proc/20504/task/20511/stat : 20511 (java) S 20501 20504 17093 0 -1 1077944384 7266 0 0 0 362 0 0 0 20 0 16 0 67522594 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140509828483440 140510331583106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20512] ppid=20501 vsize=10617796 memory=3845420 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20512/stat : 20512 (java) S 20501 20504 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 67522594 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140509827429408 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20513] ppid=20501 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20513/stat : 20513 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67522595 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140509826376560 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20514] ppid=20501 vsize=10617796 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20514/stat : 20514 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67522597 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140509825324880 140510331590555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20515] ppid=20501 vsize=10617796 memory=1000 CPUtime=1.57 cores=1,3,5,7
/proc/20504/task/20515/stat : 20515 (java) S 20501 20504 17093 0 -1 1077944384 8454 0 0 0 156 1 0 0 20 0 16 0 67522597 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140509824273264 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20516] ppid=20501 vsize=10617796 memory=-8774313645642428999 CPUtime=1.63 cores=1,3,5,7
/proc/20504/task/20516/stat : 20516 (java) S 20501 20504 17093 0 -1 1077944384 9026 0 0 0 162 1 0 0 20 0 16 0 67522597 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140509823220464 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20517] ppid=20501 vsize=10617796 memory=12200 CPUtime=0.48 cores=1,3,5,7
/proc/20504/task/20517/stat : 20517 (java) S 20501 20504 17093 0 -1 1077944384 4437 0 0 0 48 0 0 0 20 0 16 0 67522597 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140509822167664 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20518] ppid=20501 vsize=10617796 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20518/stat : 20518 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67522597 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140509821115104 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20519] ppid=20501 vsize=10617796 memory=1204 CPUtime=0.14 cores=1,3,5,7
/proc/20504/task/20519/stat : 20519 (java) S 20501 20504 17093 0 -1 1077944384 266 0 0 0 6 8 0 0 20 0 16 0 67522605 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140509820062384 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20521] ppid=20501 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20521/stat : 20521 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67525395 10872623104 961367 18446744073709551615 4194304 4196468 140722905900432 140509819007920 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3845468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+221.034 s]
# the end of solver process 20504 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.584 s, system=2.61439 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+221.001 s]*
/proc/loadavg: 2.19 2.73 3.63 2/216 20626
/proc/meminfo: memFree=22161812/32770624 swapFree=67108860/67108860
[pid=20504] ppid=20501 vsize=10817488 memory=3845804 CPUtime=252.17 cores=1,3,5,7
/proc/20504/stat : 20504 (java) S 20501 20504 17093 0 -1 1077944320 90687 0 0 0 24958 259 0 0 20 0 17 0 67522585 11077107712 961449 18446744073709551615 4194304 4196468 140722905900432 140722905882976 140510331571959 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
/proc/20504/statm: 2704372 961451 3145 1 0 2693825 0
[pid=20504/tid=20506] ppid=20501 vsize=10817488 memory=13412 CPUtime=207.81 cores=1,3,5,7
/proc/20504/task/20506/stat : 20506 (java) S 20501 20504 17093 0 -1 1077944384 27910 0 0 0 20762 19 0 0 20 0 17 0 67522592 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140510335814832 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20507] ppid=20501 vsize=10817488 memory=4872558044660077418 CPUtime=9.18 cores=1,3,5,7
/proc/20504/task/20507/stat : 20507 (java) S 20501 20504 17093 0 -1 1077944384 7467 0 0 0 861 57 0 0 20 0 17 0 67522593 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140510261992592 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20508] ppid=20501 vsize=10817488 memory=16448 CPUtime=9.18 cores=1,3,5,7
/proc/20504/task/20508/stat : 20508 (java) S 20501 20504 17093 0 -1 1077944384 10077 0 0 0 861 57 0 0 20 0 17 0 67522593 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140510260939792 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20509] ppid=20501 vsize=10817488 memory=2752 CPUtime=9.19 cores=1,3,5,7
/proc/20504/task/20509/stat : 20509 (java) S 20501 20504 17093 0 -1 1077944384 8047 0 0 0 864 55 0 0 20 0 17 0 67522593 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140510259886992 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20510] ppid=20501 vsize=10817488 memory=2872 CPUtime=9.24 cores=1,3,5,7
/proc/20504/task/20510/stat : 20510 (java) S 20501 20504 17093 0 -1 1077944384 5709 0 0 0 868 56 0 0 20 0 17 0 67522593 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140510258834192 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20511] ppid=20501 vsize=10817488 memory=4064 CPUtime=3.62 cores=1,3,5,7
/proc/20504/task/20511/stat : 20511 (java) S 20501 20504 17093 0 -1 1077944384 7271 0 0 0 362 0 0 0 20 0 17 0 67522594 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140509828483440 140510331583106 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20512] ppid=20501 vsize=10817488 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20512/stat : 20512 (java) S 20501 20504 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 67522594 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140509827429408 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20513] ppid=20501 vsize=10817488 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20513/stat : 20513 (java) S 20501 20504 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 67522595 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140509826376560 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20514] ppid=20501 vsize=10817488 memory=3040 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20514/stat : 20514 (java) S 20501 20504 17093 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 17 0 67522597 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140509825324880 140510331590555 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20515] ppid=20501 vsize=10817488 memory=932 CPUtime=1.57 cores=1,3,5,7
/proc/20504/task/20515/stat : 20515 (java) S 20501 20504 17093 0 -1 1077944384 8454 0 0 0 156 1 0 0 20 0 17 0 67522597 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140509824273264 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20516] ppid=20501 vsize=10817488 memory=1624 CPUtime=1.63 cores=1,3,5,7
/proc/20504/task/20516/stat : 20516 (java) S 20501 20504 17093 0 -1 1077944384 9026 0 0 0 162 1 0 0 20 0 17 0 67522597 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140509823220464 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20517] ppid=20501 vsize=10817488 memory=2160 CPUtime=0.48 cores=1,3,5,7
/proc/20504/task/20517/stat : 20517 (java) S 20501 20504 17093 0 -1 1077944384 4507 0 0 0 48 0 0 0 20 0 17 0 67522597 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140509822167664 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20518] ppid=20501 vsize=10817488 memory=844 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20518/stat : 20518 (java) S 20501 20504 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67522597 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140509821115104 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20519] ppid=20501 vsize=10817488 memory=16448 CPUtime=0.14 cores=1,3,5,7
/proc/20504/task/20519/stat : 20519 (java) S 20501 20504 17093 0 -1 1077944384 268 0 0 0 6 8 0 0 20 0 17 0 67522605 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140509820062384 140510331583106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20624] ppid=20501 vsize=10817488 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20624/stat : 20624 (java) S 20501 20504 17093 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 17 0 67544666 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140509817954416 140510331582165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
[pid=20504/tid=20625] ppid=20501 vsize=10817488 memory=2872 CPUtime=0 cores=1,3,5,7
/proc/20504/task/20625/stat : 20625 (java) R 20501 20504 17093 0 -1 4202560 216 0 0 0 0 0 0 0 20 0 17 0 67544666 11077107712 961451 18446744073709551615 4194304 4196468 140722905900432 140509816902544 140509942555008 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14884864 140722905907605 140722905907758 140722905907758 140722905911247 0
Current children cumulated CPU time: 252.17 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3845804 KiB
Child status: 143
Real time (s): 221.034
CPU time (s): 252.199
CPU user time (s): 249.584
CPU system time (s): 2.61439
CPU usage (%): 114.099
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 3845804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.584
system time used= 2.61439
maximum resident set size= 3845976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7487
involuntary context switches= 435
# summary of solver processes directly reported to runsolver:
# pid: 20504
# total CPU time (s): 252.199
# total CPU user time (s): 249.584
# total CPU system time (s): 2.61439
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47079 second user time and 2.08174 second system time
The end