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 (9818 MiB free)
memory of node 1: 16384 MiB (15641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263649-1502630390/watcher-4263649-1502630390 -o /tmp/evaluation-result-4263649-1502630390/solver-4263649-1502630390 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502602071-18557 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263649-1502630390.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=25260, runsolver pid=25257
Current StackSize limit: 8192 KiB
[startup+0.100126 s]*
/proc/loadavg: 4.46 4.40 3.59 3/202 25262
/proc/meminfo: memFree=26070292/32770624 swapFree=67108776/67108860
[pid=25260] ppid=25257 vsize=9934352 memory=15368 CPUtime=0 cores=1,3,5,7
/proc/25260/stat : 25260 (java) S 25257 25260 7084 0 -1 1077944320 2644 0 0 0 0 0 0 0 20 0 6 0 162691704 10172776448 3842 18446744073709551615 4194304 4196468 140722471636480 140722471619024 139896492351223 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
/proc/25260/statm: 2483588 3842 1326 1 0 2473558 0
[pid=25260/tid=25262] ppid=25257 vsize=9936560 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25262/stat : 25262 (java) R 25257 25260 7084 0 -1 4202560 1365 0 0 0 0 0 0 0 20 0 6 0 162691714 10175037440 3842 18446744073709551615 4194304 4196468 140722471636480 139896496587344 139896453332854 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25263] ppid=25257 vsize=9936560 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25263/stat : 25263 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 162691715 10175037440 3842 18446744073709551615 4194304 4196468 140722471636480 139896422771344 139896492361429 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25264] ppid=25257 vsize=9936560 memory=140395140564608 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25264/stat : 25264 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 162691715 10175037440 3906 18446744073709551615 4194304 4196468 140722471636480 139896421718544 139896492361429 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25265] ppid=25257 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25265/stat : 25265 (java) S 25257 25260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 162691715 10175037440 3906 18446744073709551615 4194304 4196468 140722471636480 139896420665744 139896492361429 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25266] ppid=25257 vsize=9936560 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25266/stat : 25266 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 162691715 10175037440 3906 18446744073709551615 4194304 4196468 140722471636480 139896419612944 139896492361429 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9934352 KiB
Current children cumulated memory: 15368 KiB
[startup+0.210166 s]*
/proc/loadavg: 4.46 4.40 3.59 3/215 25275
/proc/meminfo: memFree=26057204/32770624 swapFree=67108776/67108860
[pid=25260] ppid=25257 vsize=10551156 memory=27548 CPUtime=0.08 cores=1,3,5,7
/proc/25260/stat : 25260 (java) S 25257 25260 7084 0 -1 1077944320 4881 0 0 0 7 1 0 0 20 0 15 0 162691704 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 140722471619024 139896492351223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
/proc/25260/statm: 2637789 6887 2758 1 0 2627261 0
[pid=25260/tid=25262] ppid=25257 vsize=10551156 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/25260/task/25262/stat : 25262 (java) R 25257 25260 7084 0 -1 4202560 2836 0 0 0 6 0 0 0 20 0 15 0 162691714 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139896496569224 139896492373149 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25263] ppid=25257 vsize=10551156 memory=329 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25263/stat : 25263 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162691715 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139896422771344 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25264] ppid=25257 vsize=10551156 memory=3689488106056009376 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25264/stat : 25264 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162691715 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139896421718544 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25265] ppid=25257 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25265/stat : 25265 (java) S 25257 25260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162691715 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139896420665744 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25266] ppid=25257 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25266/stat : 25266 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162691715 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139896419612944 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25267] ppid=25257 vsize=10551156 memory=140395140564608 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25267/stat : 25267 (java) S 25257 25260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162691716 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139895988231024 139896492362370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25268] ppid=25257 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25268/stat : 25268 (java) S 25257 25260 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 162691717 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139895987176992 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25269] ppid=25257 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25269/stat : 25269 (java) S 25257 25260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 162691717 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139895986124144 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25270] ppid=25257 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25270/stat : 25270 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162691719 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139895985072464 139896492369819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25271] ppid=25257 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25271/stat : 25271 (java) S 25257 25260 7084 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 162691719 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139895984019824 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25272] ppid=25257 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25272/stat : 25272 (java) S 25257 25260 7084 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 162691719 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139895982967024 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25273] ppid=25257 vsize=10551156 memory=140395140564608 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25273/stat : 25273 (java) S 25257 25260 7084 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 162691719 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139895981914224 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25274] ppid=25257 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25274/stat : 25274 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162691719 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139895980861664 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25275] ppid=25257 vsize=10551156 memory=140395140564608 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25275/stat : 25275 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162691724 10804383744 6887 18446744073709551615 4194304 4196468 140722471636480 139895979809968 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27548 KiB
[startup+0.310465 s]*
/proc/loadavg: 4.46 4.40 3.59 3/215 25275
/proc/meminfo: memFree=26044520/32770624 swapFree=67108776/67108860
[pid=25260] ppid=25257 vsize=10551156 memory=37092 CPUtime=0.24 cores=1,3,5,7
/proc/25260/stat : 25260 (java) S 25257 25260 7084 0 -1 1077944320 7996 0 0 0 21 3 0 0 20 0 15 0 162691704 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 140722471619024 139896492351223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
/proc/25260/statm: 2637789 9273 2859 1 0 2627261 0
[pid=25260/tid=25262] ppid=25257 vsize=10551156 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/25260/task/25262/stat : 25262 (java) R 25257 25260 7084 0 -1 4202560 5630 0 0 0 14 2 0 0 20 0 15 0 162691714 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139896496588096 139896492373149 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25263] ppid=25257 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25263/stat : 25263 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162691715 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139896422771344 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25264] ppid=25257 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25264/stat : 25264 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162691715 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139896421718544 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25265] ppid=25257 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25265/stat : 25265 (java) S 25257 25260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162691715 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139896420665744 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25266] ppid=25257 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25266/stat : 25266 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162691715 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139896419612944 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25267] ppid=25257 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25267/stat : 25267 (java) S 25257 25260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162691716 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139895988231024 139896492362370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25268] ppid=25257 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25268/stat : 25268 (java) S 25257 25260 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 162691717 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139895987176992 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25269] ppid=25257 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25269/stat : 25269 (java) S 25257 25260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 162691717 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139895986124144 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25270] ppid=25257 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25270/stat : 25270 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162691719 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139895985072464 139896492369819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25271] ppid=25257 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25260/task/25271/stat : 25271 (java) S 25257 25260 7084 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 15 0 162691719 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139895984019824 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25272] ppid=25257 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25272/stat : 25272 (java) R 25257 25260 7084 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 15 0 162691719 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139895982967024 139896492362370 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25273] ppid=25257 vsize=10551156 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/25260/task/25273/stat : 25273 (java) S 25257 25260 7084 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 15 0 162691719 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139895981914224 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25274] ppid=25257 vsize=10551156 memory=140395140564608 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25274/stat : 25274 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162691719 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139895980861664 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25275] ppid=25257 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25275/stat : 25275 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162691724 10804383744 9273 18446744073709551615 4194304 4196468 140722471636480 139895979809968 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 37092 KiB
[startup+0.701211 s]
/proc/loadavg: 4.46 4.40 3.59 4/215 25275
/proc/meminfo: memFree=26034512/32770624 swapFree=67108776/67108860
[pid=25260] ppid=25257 vsize=10551232 memory=221324 CPUtime=1.23 cores=1,3,5,7
/proc/25260/stat : 25260 (java) S 25257 25260 7084 0 -1 1077944320 11340 0 0 0 115 8 0 0 20 0 15 0 162691704 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 140722471619024 139896492351223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
/proc/25260/statm: 2637808 55331 3076 1 0 2627261 0
[pid=25260/tid=25262] ppid=25257 vsize=10551232 memory=280790063775784 CPUtime=0.51 cores=1,3,5,7
/proc/25260/task/25262/stat : 25262 (java) R 25257 25260 7084 0 -1 4202560 6993 0 0 0 46 5 0 0 20 0 15 0 162691714 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139896496588520 139896478419216 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25263] ppid=25257 vsize=10551232 memory=280790063910992 CPUtime=0.01 cores=1,3,5,7
/proc/25260/task/25263/stat : 25263 (java) S 25257 25260 7084 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 162691715 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139896422771344 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25264] ppid=25257 vsize=10551232 memory=280790063781032 CPUtime=0.02 cores=1,3,5,7
/proc/25260/task/25264/stat : 25264 (java) S 25257 25260 7084 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 15 0 162691715 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139896421718544 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25265] ppid=25257 vsize=10551232 memory=280790063730464 CPUtime=0.01 cores=1,3,5,7
/proc/25260/task/25265/stat : 25265 (java) S 25257 25260 7084 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 162691715 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139896420665744 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25266] ppid=25257 vsize=10551232 memory=288230621803970871 CPUtime=0.01 cores=1,3,5,7
/proc/25260/task/25266/stat : 25266 (java) S 25257 25260 7084 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 162691715 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139896419612944 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25267] ppid=25257 vsize=10551232 memory=13563786715989427 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25267/stat : 25267 (java) S 25257 25260 7084 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 162691716 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139895988231024 139896492362370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25268] ppid=25257 vsize=10551232 memory=39548 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25268/stat : 25268 (java) S 25257 25260 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 162691717 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139895987176992 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25269] ppid=25257 vsize=10551232 memory=636 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25269/stat : 25269 (java) S 25257 25260 7084 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 162691717 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139895986124144 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25270] ppid=25257 vsize=10551232 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25270/stat : 25270 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162691719 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139895985072464 139896492369819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25271] ppid=25257 vsize=10551232 memory=960 CPUtime=0.17 cores=1,3,5,7
/proc/25260/task/25271/stat : 25271 (java) R 25257 25260 7084 0 -1 4202560 902 0 0 0 17 0 0 0 20 0 15 0 162691719 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139895984019824 139896475851421 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25272] ppid=25257 vsize=10551232 memory=1236 CPUtime=0.18 cores=1,3,5,7
/proc/25260/task/25272/stat : 25272 (java) R 25257 25260 7084 0 -1 4202560 724 0 0 0 18 0 0 0 20 0 15 0 162691719 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139895982954928 139896475851655 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25273] ppid=25257 vsize=10551232 memory=2240 CPUtime=0.24 cores=1,3,5,7
/proc/25260/task/25273/stat : 25273 (java) S 25257 25260 7084 0 -1 1077944384 1180 0 0 0 24 0 0 0 20 0 15 0 162691719 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139895981914224 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25274] ppid=25257 vsize=10551232 memory=4288 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25274/stat : 25274 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162691719 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139895980861664 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25275] ppid=25257 vsize=10551232 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25275/stat : 25275 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162691724 10804461568 55331 18446744073709551615 4194304 4196468 140722471636480 139895979809968 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 221324 KiB
[startup+1.50073 s]
/proc/loadavg: 4.46 4.40 3.59 5/215 25275
/proc/meminfo: memFree=25732248/32770624 swapFree=67108776/67108860
[pid=25260] ppid=25257 vsize=10551232 memory=448984 CPUtime=3.75 cores=1,3,5,7
/proc/25260/stat : 25260 (java) S 25257 25260 7084 0 -1 1077944320 20567 0 0 0 358 17 0 0 20 0 15 0 162691704 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 140722471619024 139896492351223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
/proc/25260/statm: 2637808 112246 3103 1 0 2627261 0
[pid=25260/tid=25262] ppid=25257 vsize=10551232 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/25260/task/25262/stat : 25262 (java) R 25257 25260 7084 0 -1 4202560 7490 0 0 0 113 6 0 0 20 0 15 0 162691714 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139896496582656 139896097957599 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25263] ppid=25257 vsize=10551232 memory=7649399388593337650 CPUtime=0.09 cores=1,3,5,7
/proc/25260/task/25263/stat : 25263 (java) S 25257 25260 7084 0 -1 1077944384 64 0 0 0 8 1 0 0 20 0 15 0 162691715 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139896422771344 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25264] ppid=25257 vsize=10551232 memory=7300704776819335744 CPUtime=0.1 cores=1,3,5,7
/proc/25260/task/25264/stat : 25264 (java) S 25257 25260 7084 0 -1 1077944384 93 0 0 0 8 2 0 0 20 0 15 0 162691715 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139896421718544 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25265] ppid=25257 vsize=10551232 memory=415988 CPUtime=0.09 cores=1,3,5,7
/proc/25260/task/25265/stat : 25265 (java) S 25257 25260 7084 0 -1 1077944384 78 0 0 0 8 1 0 0 20 0 15 0 162691715 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139896420665744 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25266] ppid=25257 vsize=10551232 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25260/task/25266/stat : 25266 (java) S 25257 25260 7084 0 -1 1077944384 263 0 0 0 7 1 0 0 20 0 15 0 162691715 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139896419612944 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25267] ppid=25257 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25267/stat : 25267 (java) S 25257 25260 7084 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 162691716 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139895988231024 139896492362370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25268] ppid=25257 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25268/stat : 25268 (java) S 25257 25260 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 162691717 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139895987177056 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25269] ppid=25257 vsize=10551232 memory=6502580487379 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25269/stat : 25269 (java) S 25257 25260 7084 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 162691717 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139895986124144 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25270] ppid=25257 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25270/stat : 25270 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162691719 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139895985072464 139896492369819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25271] ppid=25257 vsize=10551232 memory=13563786715989427 CPUtime=0.94 cores=1,3,5,7
/proc/25260/task/25271/stat : 25271 (java) R 25257 25260 7084 0 -1 4202560 5653 0 0 0 93 1 0 0 20 0 15 0 162691719 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139895984005800 139896485068327 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25272] ppid=25257 vsize=10551232 memory=4044 CPUtime=0.87 cores=1,3,5,7
/proc/25260/task/25272/stat : 25272 (java) R 25257 25260 7084 0 -1 4202560 4027 0 0 0 86 1 0 0 20 0 15 0 162691719 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139895982948136 139896477958792 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25273] ppid=25257 vsize=10551232 memory=2241 CPUtime=0.31 cores=1,3,5,7
/proc/25260/task/25273/stat : 25273 (java) S 25257 25260 7084 0 -1 1077944384 1328 0 0 0 31 0 0 0 20 0 15 0 162691719 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139895981914224 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25274] ppid=25257 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25274/stat : 25274 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162691719 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139895980861664 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25275] ppid=25257 vsize=10551232 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25275/stat : 25275 (java) S 25257 25260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162691724 10804461568 112246 18446744073709551615 4194304 4196468 140722471636480 139895979809968 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
Current children cumulated CPU time: 3.75 s
Current children cumulated vsize: 10551232 KiB
################
# More data... #
################
[pid=25260/tid=25269] ppid=25257 vsize=10617796 memory=7513696 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25269/stat : 25269 (java) S 25257 25260 7084 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 162691717 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895986124160 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25270] ppid=25257 vsize=10617796 memory=7513696 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25270/stat : 25270 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895985072464 139896492369819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25271] ppid=25257 vsize=10617796 memory=7513696 CPUtime=2.65 cores=1,3,5,7
/proc/25260/task/25271/stat : 25271 (java) S 25257 25260 7084 0 -1 1077944384 16038 0 0 0 262 3 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895984019824 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25272] ppid=25257 vsize=10617796 memory=7881697793379034472 CPUtime=2.86 cores=1,3,5,7
/proc/25260/task/25272/stat : 25272 (java) S 25257 25260 7084 0 -1 1077944384 14849 0 0 0 284 2 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895982967024 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25273] ppid=25257 vsize=10617796 memory=3908 CPUtime=0.5 cores=1,3,5,7
/proc/25260/task/25273/stat : 25273 (java) S 25257 25260 7084 0 -1 1077944384 4687 0 0 0 49 1 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895981914224 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25274] ppid=25257 vsize=10617796 memory=7042800 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25274/stat : 25274 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895980861664 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25275] ppid=25257 vsize=10617796 memory=7513696 CPUtime=1.34 cores=1,3,5,7
/proc/25260/task/25275/stat : 25275 (java) S 25257 25260 7084 0 -1 1077944384 2992 0 0 0 60 74 0 0 20 0 16 0 162691724 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895979809968 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25279] ppid=25257 vsize=10617796 memory=7513696 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25279/stat : 25279 (java) S 25257 25260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 162700762 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895978755504 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
Current children cumulated CPU time: 2431.33 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 7513696 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.15 3/215 25585
/proc/meminfo: memFree=23389808/32770624 swapFree=67108776/67108860
[pid=25260] ppid=25257 vsize=10617796 memory=7513696 CPUtime=2491.38 cores=1,3,5,7
/proc/25260/stat : 25260 (java) S 25257 25260 7084 0 -1 1077944320 1301951 0 0 0 248463 675 0 0 20 0 16 0 162691704 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 140722471619024 139896492351223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
/proc/25260/statm: 2654449 1878424 3149 1 0 2643902 0
[pid=25260/tid=25262] ppid=25257 vsize=10617796 memory=7513696 CPUtime=2334.34 cores=1,3,5,7
/proc/25260/task/25262/stat : 25262 (java) R 25257 25260 7084 0 -1 4202560 1034185 0 0 0 233327 107 0 0 20 0 16 0 162691714 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139896496590344 139896100254037 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25263] ppid=25257 vsize=10617796 memory=7513696 CPUtime=34.11 cores=1,3,5,7
/proc/25260/task/25263/stat : 25263 (java) S 25257 25260 7084 0 -1 1077944384 44685 0 0 0 3283 128 0 0 20 0 16 0 162691715 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139896422771344 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25264] ppid=25257 vsize=10617796 memory=7513696 CPUtime=34.1 cores=1,3,5,7
/proc/25260/task/25264/stat : 25264 (java) S 25257 25260 7084 0 -1 1077944384 57784 0 0 0 3289 121 0 0 20 0 16 0 162691715 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139896421718544 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25265] ppid=25257 vsize=10617796 memory=7513696 CPUtime=34.08 cores=1,3,5,7
/proc/25260/task/25265/stat : 25265 (java) S 25257 25260 7084 0 -1 1077944384 52384 0 0 0 3282 126 0 0 20 0 16 0 162691715 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139896420665744 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25266] ppid=25257 vsize=10617796 memory=7513696 CPUtime=34.16 cores=1,3,5,7
/proc/25260/task/25266/stat : 25266 (java) S 25257 25260 7084 0 -1 1077944384 44758 0 0 0 3297 119 0 0 20 0 16 0 162691715 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139896419612944 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25267] ppid=25257 vsize=10617796 memory=7513696 CPUtime=13.11 cores=1,3,5,7
/proc/25260/task/25267/stat : 25267 (java) S 25257 25260 7084 0 -1 1077944384 28023 0 0 0 1307 4 0 0 20 0 16 0 162691716 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895988231024 139896492362370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25268] ppid=25257 vsize=10617796 memory=3000 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25268/stat : 25268 (java) S 25257 25260 7084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 162691717 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895987177056 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25269] ppid=25257 vsize=10617796 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25269/stat : 25269 (java) S 25257 25260 7084 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 162691717 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895986124160 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25270] ppid=25257 vsize=10617796 memory=7513696 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25270/stat : 25270 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895985072464 139896492369819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25271] ppid=25257 vsize=10617796 memory=7513696 CPUtime=2.65 cores=1,3,5,7
/proc/25260/task/25271/stat : 25271 (java) S 25257 25260 7084 0 -1 1077944384 16051 0 0 0 262 3 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895984019824 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25272] ppid=25257 vsize=10617796 memory=7513696 CPUtime=2.86 cores=1,3,5,7
/proc/25260/task/25272/stat : 25272 (java) S 25257 25260 7084 0 -1 1077944384 14852 0 0 0 284 2 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895982967024 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25273] ppid=25257 vsize=10617796 memory=7513696 CPUtime=0.5 cores=1,3,5,7
/proc/25260/task/25273/stat : 25273 (java) S 25257 25260 7084 0 -1 1077944384 4691 0 0 0 49 1 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895981914224 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25274] ppid=25257 vsize=10617796 memory=280790064523360 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25274/stat : 25274 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895980861664 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25275] ppid=25257 vsize=10617796 memory=7513696 CPUtime=1.37 cores=1,3,5,7
/proc/25260/task/25275/stat : 25275 (java) S 25257 25260 7084 0 -1 1077944384 3033 0 0 0 62 75 0 0 20 0 16 0 162691724 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895979809968 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25279] ppid=25257 vsize=10617796 memory=3000 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25279/stat : 25279 (java) S 25257 25260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 162700762 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895978755504 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
Current children cumulated CPU time: 2491.38 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 7513696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411 s]*
/proc/loadavg: 2.02 2.02 2.14 3/215 25586
/proc/meminfo: memFree=23390300/32770624 swapFree=67108776/67108860
[pid=25260] ppid=25257 vsize=10617796 memory=7513696 CPUtime=2520.09 cores=1,3,5,7
/proc/25260/stat : 25260 (java) S 25257 25260 7084 0 -1 1077944320 1320019 0 0 0 251333 676 0 0 20 0 16 0 162691704 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 140722471619024 139896492351223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
/proc/25260/statm: 2654449 1878424 3149 1 0 2643902 0
[pid=25260/tid=25262] ppid=25257 vsize=10617796 memory=-8774313645642428999 CPUtime=2363.05 cores=1,3,5,7
/proc/25260/task/25262/stat : 25262 (java) R 25257 25260 7084 0 -1 4202560 1052221 0 0 0 236196 109 0 0 20 0 16 0 162691714 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139896496590344 139896100253656 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25263] ppid=25257 vsize=10617796 memory=4872558044660077418 CPUtime=34.11 cores=1,3,5,7
/proc/25260/task/25263/stat : 25263 (java) S 25257 25260 7084 0 -1 1077944384 44685 0 0 0 3283 128 0 0 20 0 16 0 162691715 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139896422771344 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25264] ppid=25257 vsize=10617796 memory=-8774313645642428999 CPUtime=34.1 cores=1,3,5,7
/proc/25260/task/25264/stat : 25264 (java) S 25257 25260 7084 0 -1 1077944384 57784 0 0 0 3289 121 0 0 20 0 16 0 162691715 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139896421718544 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25265] ppid=25257 vsize=10617796 memory=4872558044660077418 CPUtime=34.08 cores=1,3,5,7
/proc/25260/task/25265/stat : 25265 (java) S 25257 25260 7084 0 -1 1077944384 52384 0 0 0 3282 126 0 0 20 0 16 0 162691715 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139896420665744 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25266] ppid=25257 vsize=10617796 memory=140395032927568 CPUtime=34.16 cores=1,3,5,7
/proc/25260/task/25266/stat : 25266 (java) S 25257 25260 7084 0 -1 1077944384 44758 0 0 0 3297 119 0 0 20 0 16 0 162691715 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139896419612944 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25267] ppid=25257 vsize=10617796 memory=-8634980985311628903 CPUtime=13.11 cores=1,3,5,7
/proc/25260/task/25267/stat : 25267 (java) S 25257 25260 7084 0 -1 1077944384 28031 0 0 0 1307 4 0 0 20 0 16 0 162691716 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895988231024 139896492362370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25268] ppid=25257 vsize=10617796 memory=7100839878645619564 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25268/stat : 25268 (java) S 25257 25260 7084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 162691717 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895987177056 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25269] ppid=25257 vsize=10617796 memory=7235710566141946944 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25269/stat : 25269 (java) S 25257 25260 7084 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 162691717 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895986124160 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25270] ppid=25257 vsize=10617796 memory=140395032936400 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25270/stat : 25270 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895985072464 139896492369819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25271] ppid=25257 vsize=10617796 memory=-8412656567318647667 CPUtime=2.65 cores=1,3,5,7
/proc/25260/task/25271/stat : 25271 (java) S 25257 25260 7084 0 -1 1077944384 16065 0 0 0 262 3 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895984019824 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25272] ppid=25257 vsize=10617796 memory=4427205132082312746 CPUtime=2.86 cores=1,3,5,7
/proc/25260/task/25272/stat : 25272 (java) S 25257 25260 7084 0 -1 1077944384 14855 0 0 0 284 2 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895982967024 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25273] ppid=25257 vsize=10617796 memory=-7023579799431922829 CPUtime=0.5 cores=1,3,5,7
/proc/25260/task/25273/stat : 25273 (java) S 25257 25260 7084 0 -1 1077944384 4695 0 0 0 49 1 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895981914224 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25274] ppid=25257 vsize=10617796 memory=-8412652152092201843 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25274/stat : 25274 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162691719 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895980861664 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25275] ppid=25257 vsize=10617796 memory=4426639978525455914 CPUtime=1.39 cores=1,3,5,7
/proc/25260/task/25275/stat : 25275 (java) S 25257 25260 7084 0 -1 1077944384 3070 0 0 0 63 76 0 0 20 0 16 0 162691724 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895979809968 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25279] ppid=25257 vsize=10617796 memory=3047711553219693942 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25279/stat : 25279 (java) S 25257 25260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 162700762 10872623104 1878424 18446744073709551615 4194304 4196468 140722471636480 139895978755504 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 7513696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2411.32 s]
# the end of solver process 25260 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.48 s, system=6.81856 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2411.2 s]
/proc/loadavg: 2.02 2.02 2.14 3/215 25586
/proc/meminfo: memFree=23390300/32770624 swapFree=67108776/67108860
[pid=25260] ppid=25257 vsize=10817488 memory=7514092 CPUtime=2520.15 cores=1,3,5,7
/proc/25260/stat : 25260 (java) S 25257 25260 7084 0 -1 1077944320 1322234 0 0 0 251338 677 0 0 20 0 17 0 162691704 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 140722471619024 139896492351223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
/proc/25260/statm: 2704372 1878523 3151 1 0 2693825 0
[pid=25260/tid=25262] ppid=25257 vsize=10817488 memory=1224 CPUtime=2363.1 cores=1,3,5,7
/proc/25260/task/25262/stat : 25262 (java) S 25257 25260 7084 0 -1 1077944384 1053637 0 0 0 236201 109 0 0 20 0 17 0 162691714 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139896496594096 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25263] ppid=25257 vsize=10817488 memory=4600 CPUtime=34.11 cores=1,3,5,7
/proc/25260/task/25263/stat : 25263 (java) S 25257 25260 7084 0 -1 1077944384 44685 0 0 0 3283 128 0 0 20 0 17 0 162691715 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139896422771344 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25264] ppid=25257 vsize=10817488 memory=-8774313645642428999 CPUtime=34.1 cores=1,3,5,7
/proc/25260/task/25264/stat : 25264 (java) S 25257 25260 7084 0 -1 1077944384 57784 0 0 0 3289 121 0 0 20 0 17 0 162691715 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139896421718544 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25265] ppid=25257 vsize=10817488 memory=2008 CPUtime=34.08 cores=1,3,5,7
/proc/25260/task/25265/stat : 25265 (java) S 25257 25260 7084 0 -1 1077944384 52384 0 0 0 3282 126 0 0 20 0 17 0 162691715 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139896420665744 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25266] ppid=25257 vsize=10817488 memory=11368 CPUtime=34.16 cores=1,3,5,7
/proc/25260/task/25266/stat : 25266 (java) S 25257 25260 7084 0 -1 1077944384 44758 0 0 0 3297 119 0 0 20 0 17 0 162691715 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139896419612944 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25267] ppid=25257 vsize=10817488 memory=1224 CPUtime=13.11 cores=1,3,5,7
/proc/25260/task/25267/stat : 25267 (java) S 25257 25260 7084 0 -1 1077944384 28075 0 0 0 1307 4 0 0 20 0 17 0 162691716 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139895988231024 139896492362370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25268] ppid=25257 vsize=10817488 memory=4288 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25268/stat : 25268 (java) S 25257 25260 7084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 162691717 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139895987177056 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25269] ppid=25257 vsize=10817488 memory=7513696 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25269/stat : 25269 (java) S 25257 25260 7084 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 17 0 162691717 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139895986124160 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25270] ppid=25257 vsize=10817488 memory=68692 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25270/stat : 25270 (java) S 25257 25260 7084 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 17 0 162691719 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139895985072464 139896492369819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25271] ppid=25257 vsize=10817488 memory=1296 CPUtime=2.65 cores=1,3,5,7
/proc/25260/task/25271/stat : 25271 (java) S 25257 25260 7084 0 -1 1077944384 16065 0 0 0 262 3 0 0 20 0 17 0 162691719 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139895984019824 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25272] ppid=25257 vsize=10817488 memory=2460 CPUtime=2.86 cores=1,3,5,7
/proc/25260/task/25272/stat : 25272 (java) S 25257 25260 7084 0 -1 1077944384 14855 0 0 0 284 2 0 0 20 0 17 0 162691719 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139895982967024 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25273] ppid=25257 vsize=10817488 memory=1836 CPUtime=0.5 cores=1,3,5,7
/proc/25260/task/25273/stat : 25273 (java) S 25257 25260 7084 0 -1 1077944384 4874 0 0 0 49 1 0 0 20 0 17 0 162691719 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139895981914224 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25274] ppid=25257 vsize=10817488 memory=7513696 CPUtime=0 cores=1,3,5,7
/proc/25260/task/25274/stat : 25274 (java) S 25257 25260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 162691719 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139895980861664 139896492361429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
[pid=25260/tid=25275] ppid=25257 vsize=10817488 memory=7513696 CPUtime=1.39 cores=1,3,5,7
/proc/25260/task/25275/stat : 25275 (java) S 25257 25260 7084 0 -1 1077944384 3070 0 0 0 63 76 0 0 20 0 17 0 162691724 11077107712 1878523 18446744073709551615 4194304 4196468 140722471636480 139895979809968 139896492362370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11616256 140722471641488 140722471641641 140722471641641 140722471645135 0
Current children cumulated CPU time: 2520.15 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 7514092 KiB
[startup+2411.3 s]*
/proc/loadavg: 2.02 2.02 2.14 3/201 25590
/proc/meminfo: memFree=26789576/32770624 swapFree=67108776/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2411.32
CPU time (s): 2520.3
CPU user time (s): 2513.48
CPU system time (s): 6.81856
CPU usage (%): 104.519
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 7514092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.48
system time used= 6.81856
maximum resident set size= 7514256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1324890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57583
involuntary context switches= 2195
# summary of solver processes directly reported to runsolver:
# pid: 25260
# total CPU time (s): 2520.3
# total CPU user time (s): 2513.48
# total CPU system time (s): 6.81856
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3362 second user time and 22.8758 second system time
The end