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 (15216 MiB free)
memory of node 1: 16384 MiB (14968 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273976-1502802992/watcher-4273976-1502802992 -o /tmp/evaluation-result-4273976-1502802992/solver-4273976-1502802992 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 414425774 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273976-1502802992.xml
running on 4 cores: 0,2,4,6
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=17585, runsolver pid=17582
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 1.43 1.44 1.46 2/200 17586
/proc/meminfo: memFree=30909256/32770624 swapFree=67108860/67108860
[pid=17585] ppid=17582 vsize=2584 memory=184 CPUtime=0 cores=0,2,4,6
/proc/17585/stat : 17585 (java) R 17582 17585 2357 0 -1 1077936128 173 0 0 0 0 0 0 0 20 0 1 0 7914341 2646016 46 18446744073709551615 4194304 4196468 140735423561040 140735423558264 140566929127111 0 0 1 0 0 0 0 17 2 0 0 10 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
/proc/17585/statm: 646 46 36 1 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 2584 KiB
Current children cumulated memory: 184 KiB
[startup+0.209288 s]*
/proc/loadavg: 1.43 1.44 1.46 2/213 17599
/proc/meminfo: memFree=30896908/32770624 swapFree=67108860/67108860
[pid=17585] ppid=17582 vsize=13906484 memory=22660 CPUtime=0.05 cores=0,2,4,6
/proc/17585/stat : 17585 (java) S 17582 17585 2357 0 -1 1077944320 5139 0 0 0 4 1 0 0 20 0 14 0 7914341 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140735423543584 140566926851831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
/proc/17585/statm: 3476621 5665 2568 1 0 3466118 0
[pid=17585/tid=17587] ppid=17582 vsize=13906484 memory=8316850467074736180 CPUtime=0.04 cores=0,2,4,6
/proc/17585/task/17587/stat : 17587 (java) D 17582 17585 2357 0 -1 4202560 3233 0 0 0 4 0 0 0 20 0 14 0 7914353 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140566931089312 140566926873853 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17588] ppid=17582 vsize=13906484 memory=11879 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17588/stat : 17588 (java) S 17582 17585 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 7914353 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140566898695184 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17589] ppid=17582 vsize=13906484 memory=140437433890910 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17589/stat : 17589 (java) S 17582 17585 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 7914353 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140566526422160 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17590] ppid=17582 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17590/stat : 17590 (java) S 17582 17585 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 7914353 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140566525369104 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17591] ppid=17582 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17591/stat : 17591 (java) S 17582 17585 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 7914353 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140566524316560 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17592] ppid=17582 vsize=13906484 memory=140437433800320 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17592/stat : 17592 (java) S 17582 17585 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 7914355 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140565844007152 140566926862978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17593] ppid=17582 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17593/stat : 17593 (java) S 17582 17585 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 7914355 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140565842953376 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17594] ppid=17582 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17594/stat : 17594 (java) S 17582 17585 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 7914355 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140565841900272 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17595] ppid=17582 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17595/stat : 17595 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 7914358 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140565840848848 140566926870427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17596] ppid=17582 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17596/stat : 17596 (java) S 17582 17585 2357 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 7914358 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140565839796976 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17597] ppid=17582 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17597/stat : 17597 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 7914358 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140565838744432 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17598] ppid=17582 vsize=13906484 memory=140437433800320 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17598/stat : 17598 (java) S 17582 17585 2357 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 7914358 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140565837691376 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17599] ppid=17582 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17599/stat : 17599 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 7914358 14240239616 5665 18446744073709551615 4194304 4196468 140735423561040 140565836639072 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 22660 KiB
[startup+0.316593 s]*
/proc/loadavg: 1.43 1.44 1.46 3/214 17600
/proc/meminfo: memFree=30884480/32770624 swapFree=67108860/67108860
[pid=17585] ppid=17582 vsize=13975920 memory=37772 CPUtime=0.21 cores=0,2,4,6
/proc/17585/stat : 17585 (java) S 17582 17585 2357 0 -1 1077944320 10112 0 0 0 18 3 0 0 20 0 15 0 7914341 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140735423543584 140566926851831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
/proc/17585/statm: 3493980 9443 3511 1 0 3482759 0
[pid=17585/tid=17587] ppid=17582 vsize=13975920 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/17585/task/17587/stat : 17587 (java) R 17582 17585 2357 0 -1 4202560 7834 0 0 0 12 2 0 0 20 0 15 0 7914353 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140566931056864 140566568061956 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17588] ppid=17582 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17588/stat : 17588 (java) S 17582 17585 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 7914353 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140566898695184 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17589] ppid=17582 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17589/stat : 17589 (java) S 17582 17585 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 7914353 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140566526422160 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17590] ppid=17582 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17590/stat : 17590 (java) S 17582 17585 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 7914353 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140566525369104 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17591] ppid=17582 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17591/stat : 17591 (java) S 17582 17585 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 7914353 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140566524316560 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17592] ppid=17582 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17592/stat : 17592 (java) S 17582 17585 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 7914355 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140565844007152 140566926862978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17593] ppid=17582 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17593/stat : 17593 (java) S 17582 17585 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 7914355 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140565842953376 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17594] ppid=17582 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17594/stat : 17594 (java) S 17582 17585 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 7914355 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140565841900272 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17595] ppid=17582 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17595/stat : 17595 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 7914358 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140565840848848 140566926870427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17596] ppid=17582 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17596/stat : 17596 (java) S 17582 17585 2357 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 15 0 7914358 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140565839796976 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17597] ppid=17582 vsize=13975920 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17585/task/17597/stat : 17597 (java) S 17582 17585 2357 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 15 0 7914358 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140565838744432 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17598] ppid=17582 vsize=13975920 memory=140437433800320 CPUtime=0.03 cores=0,2,4,6
/proc/17585/task/17598/stat : 17598 (java) S 17582 17585 2357 0 -1 1077944384 377 0 0 0 3 0 0 0 20 0 15 0 7914358 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140565837691376 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17599] ppid=17582 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17599/stat : 17599 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 7914358 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140565836639072 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17600] ppid=17582 vsize=13975920 memory=140437433800320 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17600/stat : 17600 (java) S 17582 17585 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 7914364 14311342080 9443 18446744073709551615 4194304 4196468 140735423561040 140565835586096 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 37772 KiB
[startup+0.701281 s]
/proc/loadavg: 1.43 1.44 1.46 7/214 17600
/proc/meminfo: memFree=30850636/32770624 swapFree=67108860/67108860
[pid=17585] ppid=17582 vsize=13977988 memory=68920 CPUtime=0.9 cores=0,2,4,6
/proc/17585/stat : 17585 (java) S 17582 17585 2357 0 -1 1077944320 13454 0 0 0 84 6 0 0 20 0 15 0 7914341 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140735423543584 140566926851831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
/proc/17585/statm: 3494497 17230 3716 1 0 3483271 0
[pid=17585/tid=17587] ppid=17582 vsize=13977988 memory=2356 CPUtime=0.51 cores=0,2,4,6
/proc/17585/task/17587/stat : 17587 (java) R 17582 17585 2357 0 -1 4202560 10314 0 0 0 47 4 0 0 20 0 15 0 7914353 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140566931085976 140566570405668 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17588] ppid=17582 vsize=13977988 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17588/stat : 17588 (java) S 17582 17585 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 7914353 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140566898695184 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17589] ppid=17582 vsize=13977988 memory=16098173902915238 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17589/stat : 17589 (java) S 17582 17585 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 7914353 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140566526422160 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17590] ppid=17582 vsize=13977988 memory=4016 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17590/stat : 17590 (java) S 17582 17585 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 7914353 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140566525369104 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17591] ppid=17582 vsize=13977988 memory=16424 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17591/stat : 17591 (java) S 17582 17585 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 7914353 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140566524316560 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17592] ppid=17582 vsize=13977988 memory=7696 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17592/stat : 17592 (java) S 17582 17585 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 7914355 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140565844007152 140566926862978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17593] ppid=17582 vsize=13977988 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17593/stat : 17593 (java) S 17582 17585 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 7914355 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140565842953376 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17594] ppid=17582 vsize=13977988 memory=644 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17594/stat : 17594 (java) S 17582 17585 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 7914355 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140565841900272 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17595] ppid=17582 vsize=13977988 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17595/stat : 17595 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 7914358 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140565840848848 140566926870427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17596] ppid=17582 vsize=13977988 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/17585/task/17596/stat : 17596 (java) R 17582 17585 2357 0 -1 4202560 591 0 0 0 8 0 0 0 20 0 15 0 7914358 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140565839783520 140566910338147 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17597] ppid=17582 vsize=13977988 memory=2248 CPUtime=0.11 cores=0,2,4,6
/proc/17585/task/17597/stat : 17597 (java) R 17582 17585 2357 0 -1 4202560 605 0 0 0 11 0 0 0 20 0 15 0 7914358 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140565838730064 140566911962846 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17598] ppid=17582 vsize=13977988 memory=4324 CPUtime=0.16 cores=0,2,4,6
/proc/17585/task/17598/stat : 17598 (java) S 17582 17585 2357 0 -1 1077944384 560 0 0 0 16 0 0 0 20 0 15 0 7914358 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140565837691376 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17599] ppid=17582 vsize=13977988 memory=1592 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17599/stat : 17599 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 7914358 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140565836639072 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17600] ppid=17582 vsize=13977988 memory=932 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17600/stat : 17600 (java) S 17582 17585 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 7914364 14313459712 17230 18446744073709551615 4194304 4196468 140735423561040 140565835586096 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68920 KiB
[startup+1.50073 s]
/proc/loadavg: 1.43 1.44 1.46 5/214 17600
/proc/meminfo: memFree=30704100/32770624 swapFree=67108860/67108860
[pid=17585] ppid=17582 vsize=13977988 memory=228448 CPUtime=3.27 cores=0,2,4,6
/proc/17585/stat : 17585 (java) S 17582 17585 2357 0 -1 1077944320 24389 0 0 0 315 12 0 0 20 0 15 0 7914341 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140735423543584 140566926851831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
/proc/17585/statm: 3494497 57112 3770 1 0 3483271 0
[pid=17585/tid=17587] ppid=17582 vsize=13977988 memory=224576 CPUtime=1.28 cores=0,2,4,6
/proc/17585/task/17587/stat : 17587 (java) R 17582 17585 2357 0 -1 4202560 10584 0 0 0 122 6 0 0 20 0 15 0 7914353 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140566931086944 140566571758190 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17588] ppid=17582 vsize=13977988 memory=2356 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17588/stat : 17588 (java) S 17582 17585 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 7914353 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140566898695184 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17589] ppid=17582 vsize=13977988 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17589/stat : 17589 (java) S 17582 17585 2357 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 7914353 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140566526422160 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17590] ppid=17582 vsize=13977988 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17590/stat : 17590 (java) S 17582 17585 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 7914353 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140566525369104 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17591] ppid=17582 vsize=13977988 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17591/stat : 17591 (java) S 17582 17585 2357 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 7914353 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140566524316560 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17592] ppid=17582 vsize=13977988 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17592/stat : 17592 (java) S 17582 17585 2357 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 7914355 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140565844007152 140566926862978 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17593] ppid=17582 vsize=13977988 memory=7822038051842261661 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17593/stat : 17593 (java) S 17582 17585 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 7914355 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140565842953376 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17594] ppid=17582 vsize=13977988 memory=-8253362762722141311 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17594/stat : 17594 (java) S 17582 17585 2357 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 7914355 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140565841900272 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17595] ppid=17582 vsize=13977988 memory=-8341965534556230502 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17595/stat : 17595 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 7914358 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140565840848848 140566926870427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17596] ppid=17582 vsize=13977988 memory=8514726395714825349 CPUtime=0.84 cores=0,2,4,6
/proc/17585/task/17596/stat : 17596 (java) S 17582 17585 2357 0 -1 1077944384 6370 0 0 0 83 1 0 0 20 0 15 0 7914358 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140565839796976 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17597] ppid=17582 vsize=13977988 memory=9047017150487036571 CPUtime=0.75 cores=0,2,4,6
/proc/17585/task/17597/stat : 17597 (java) S 17582 17585 2357 0 -1 1077944384 4508 0 0 0 74 1 0 0 20 0 15 0 7914358 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140565838744432 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17598] ppid=17582 vsize=13977988 memory=-6520471753822164382 CPUtime=0.3 cores=0,2,4,6
/proc/17585/task/17598/stat : 17598 (java) S 17582 17585 2357 0 -1 1077944384 1408 0 0 0 29 1 0 0 20 0 15 0 7914358 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140565837691376 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17599] ppid=17582 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17599/stat : 17599 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 7914358 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140565836639072 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17600] ppid=17582 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17600/stat : 17600 (java) S 17582 17585 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 7914364 14313459712 57112 18446744073709551615 4194304 4196468 140735423561040 140565835586096 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
Current children cumulated CPU time: 3.27 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 228448 KiB
[startup+3.10061 s]
/proc/loadavg: 1.43 1.44 1.46 3/214 17600
/proc/meminfo: memFree=30694744/32770624 swapFree=67108860/67108860
[pid=17585] ppid=17582 vsize=13977988 memory=228976 CPUtime=5 cores=0,2,4,6
/proc/17585/stat : 17585 (java) S 17582 17585 2357 0 -1 1077944320 24495 0 0 0 487 13 0 0 20 0 15 0 7914341 14313459712 57244 18446744073709551615 4194304 4196468 140735423561040 140735423543584 140566926851831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
/proc/17585/statm: 3494497 57244 3770 1 0 3483271 0
[pid=17585/tid=17587] ppid=17582 vsize=13977988 memory=0 CPUtime=2.88 cores=0,2,4,6
/proc/17585/task/17587/stat : 17587 (java) R 17582 17585 2357 0 -1 4202560 10622 0 0 0 282 6 0 0 20 0 15 0 7914353 14313459712 57244 18446744073709551615 4194304 4196468 140735423561040 140566931086296 140566571795365 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17588] ppid=17582 vsize=13977988 memory=140437310521539 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17588/stat : 17588 (java) S 17582 17585 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 7914353 14313459712 57244 18446744073709551615 4194304 4196468 140735423561040 140566898695184 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
################
# More data... #
################
/proc/17585/statm: 3592801 2988402 3797 1 0 3581575 0
[pid=17585/tid=17587] ppid=17582 vsize=14371204 memory=-8774313645642428999 CPUtime=1134.11 cores=0,2,4,6
/proc/17585/task/17587/stat : 17587 (java) S 17582 17585 2357 0 -1 1077944384 31544 0 0 0 113370 41 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566931088496 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17588] ppid=17582 vsize=14371204 memory=-7003737579269690708 CPUtime=342.23 cores=0,2,4,6
/proc/17585/task/17588/stat : 17588 (java) R 17582 17585 2357 0 -1 4202560 99170 0 0 0 34058 165 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566898695080 140566919480039 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17589] ppid=17582 vsize=14371204 memory=1440 CPUtime=342.99 cores=0,2,4,6
/proc/17585/task/17589/stat : 17589 (java) R 17582 17585 2357 0 -1 4202560 281882 0 0 0 34109 190 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566526422360 140566911305645 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17590] ppid=17582 vsize=14371204 memory=5412 CPUtime=342.46 cores=0,2,4,6
/proc/17585/task/17590/stat : 17590 (java) R 17582 17585 2357 0 -1 4202560 413822 0 0 0 34019 227 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566525368688 140566919480039 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17591] ppid=17582 vsize=14371204 memory=792 CPUtime=341.02 cores=0,2,4,6
/proc/17585/task/17591/stat : 17591 (java) R 17582 17585 2357 0 -1 4202560 115580 0 0 0 33928 174 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566524316144 140566919480039 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17592] ppid=17582 vsize=14371204 memory=4620 CPUtime=14.8 cores=0,2,4,6
/proc/17585/task/17592/stat : 17592 (java) S 17582 17585 2357 0 -1 1077944384 109803 0 0 0 1473 7 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565844005472 140566926862037 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17593] ppid=17582 vsize=14371204 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17593/stat : 17593 (java) S 17582 17585 2357 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565842953440 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17594] ppid=17582 vsize=14371204 memory=8684 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17594/stat : 17594 (java) S 17582 17585 2357 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565841900288 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17595] ppid=17582 vsize=14371204 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17595/stat : 17595 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565840848848 140566926870427 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17596] ppid=17582 vsize=14371204 memory=15876 CPUtime=0.96 cores=0,2,4,6
/proc/17585/task/17596/stat : 17596 (java) S 17582 17585 2357 0 -1 1077944384 7581 0 0 0 95 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565839797024 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17597] ppid=17582 vsize=14371204 memory=4016 CPUtime=0.88 cores=0,2,4,6
/proc/17585/task/17597/stat : 17597 (java) S 17582 17585 2357 0 -1 1077944384 5676 0 0 0 87 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565838744192 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17598] ppid=17582 vsize=14371204 memory=1200 CPUtime=0.34 cores=0,2,4,6
/proc/17585/task/17598/stat : 17598 (java) S 17582 17585 2357 0 -1 1077944384 1590 0 0 0 33 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565837691424 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17599] ppid=17582 vsize=14371204 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17599/stat : 17599 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565836639072 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17600] ppid=17582 vsize=14371204 memory=4016 CPUtime=0.49 cores=0,2,4,6
/proc/17585/task/17600/stat : 17600 (java) S 17582 17585 2357 0 -1 1077944384 1759 0 0 0 26 23 0 0 20 0 15 0 7914364 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565835586096 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
Current children cumulated CPU time: 2520.4 s
Current children cumulated vsize: 14371204 KiB
Current children cumulated memory: 11953608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1502.29 s]
# the end of solver process 17585 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.89 s, system=8.35815 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1501 s]
/proc/loadavg: 4.42 3.28 2.34 6/209 17679
/proc/meminfo: memFree=18870724/32770624 swapFree=67108860/67108860
[pid=17585] ppid=17582 vsize=14371204 memory=11953608 CPUtime=2523.47 cores=0,2,4,6
/proc/17585/stat : 17585 (java) S 17582 17585 2357 0 -1 1077944320 1069859 0 0 0 251521 826 0 0 20 0 15 0 7914341 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140735423543584 140566926851831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
/proc/17585/statm: 3592801 2988402 3797 1 0 3581575 0
[pid=17585/tid=17587] ppid=17582 vsize=14371204 memory=-8774313645642428999 CPUtime=1134.11 cores=0,2,4,6
/proc/17585/task/17587/stat : 17587 (java) S 17582 17585 2357 0 -1 1077944384 31544 0 0 0 113370 41 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566931088496 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17588] ppid=17582 vsize=14371204 memory=4620 CPUtime=342.99 cores=0,2,4,6
/proc/17585/task/17588/stat : 17588 (java) R 17582 17585 2357 0 -1 4202560 99170 0 0 0 34134 165 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566898695080 140566919480039 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17589] ppid=17582 vsize=14371204 memory=2012 CPUtime=343.79 cores=0,2,4,6
/proc/17585/task/17589/stat : 17589 (java) R 17582 17585 2357 0 -1 4202560 281882 0 0 0 34189 190 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566526422360 140566911802436 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17590] ppid=17582 vsize=14371204 memory=8684 CPUtime=343.23 cores=0,2,4,6
/proc/17585/task/17590/stat : 17590 (java) R 17582 17585 2357 0 -1 4202560 413822 0 0 0 34095 228 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566525368688 140566919480039 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17591] ppid=17582 vsize=14371204 memory=10932 CPUtime=341.78 cores=0,2,4,6
/proc/17585/task/17591/stat : 17591 (java) R 17582 17585 2357 0 -1 4202560 115580 0 0 0 34004 174 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566524316144 140566919480039 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17592] ppid=17582 vsize=14371204 memory=1692 CPUtime=14.8 cores=0,2,4,6
/proc/17585/task/17592/stat : 17592 (java) S 17582 17585 2357 0 -1 1077944384 109803 0 0 0 1473 7 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565844005472 140566926862037 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17593] ppid=17582 vsize=14371204 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17593/stat : 17593 (java) S 17582 17585 2357 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565842953440 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17594] ppid=17582 vsize=14371204 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17594/stat : 17594 (java) S 17582 17585 2357 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565841900288 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17595] ppid=17582 vsize=14371204 memory=11953608 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17595/stat : 17595 (java) S 17582 17585 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565840848496 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17596] ppid=17582 vsize=14371204 memory=11953608 CPUtime=0.96 cores=0,2,4,6
/proc/17585/task/17596/stat : 17596 (java) S 17582 17585 2357 0 -1 1077944384 7581 0 0 0 95 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565839797024 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17597] ppid=17582 vsize=14371204 memory=1008 CPUtime=0.88 cores=0,2,4,6
/proc/17585/task/17597/stat : 17597 (java) S 17582 17585 2357 0 -1 1077944384 5676 0 0 0 87 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565838744192 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17598] ppid=17582 vsize=14371204 memory=1228 CPUtime=0.34 cores=0,2,4,6
/proc/17585/task/17598/stat : 17598 (java) S 17582 17585 2357 0 -1 1077944384 1590 0 0 0 33 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565837691424 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17599] ppid=17582 vsize=14371204 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17599/stat : 17599 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565836639072 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17600] ppid=17582 vsize=14371204 memory=644 CPUtime=0.49 cores=0,2,4,6
/proc/17585/task/17600/stat : 17600 (java) S 17582 17585 2357 0 -1 1077944384 1759 0 0 0 26 23 0 0 20 0 15 0 7914364 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565835586096 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
Current children cumulated CPU time: 2523.47 s
Current children cumulated vsize: 14371204 KiB
Current children cumulated memory: 11953608 KiB
[startup+1501.8 s]
/proc/loadavg: 4.42 3.28 2.34 6/209 17679
/proc/meminfo: memFree=18870724/32770624 swapFree=67108860/67108860
[pid=17585] ppid=17582 vsize=14371204 memory=11953608 CPUtime=2526.57 cores=0,2,4,6
/proc/17585/stat : 17585 (java) S 17582 17585 2357 0 -1 1077944320 1069859 0 0 0 251830 827 0 0 20 0 15 0 7914341 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140735423543584 140566926851831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
/proc/17585/statm: 3592801 2988402 3797 1 0 3581575 0
[pid=17585/tid=17587] ppid=17582 vsize=14371204 memory=1732 CPUtime=1134.11 cores=0,2,4,6
/proc/17585/task/17587/stat : 17587 (java) S 17582 17585 2357 0 -1 1077944384 31544 0 0 0 113370 41 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566931088496 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17588] ppid=17582 vsize=14371204 memory=1008 CPUtime=343.75 cores=0,2,4,6
/proc/17585/task/17588/stat : 17588 (java) R 17582 17585 2357 0 -1 4202560 99170 0 0 0 34209 166 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566898695080 140566919480039 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17589] ppid=17582 vsize=14371204 memory=1228 CPUtime=344.59 cores=0,2,4,6
/proc/17585/task/17589/stat : 17589 (java) R 17582 17585 2357 0 -1 4202560 281882 0 0 0 34269 190 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566526422360 140566911305774 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17590] ppid=17582 vsize=14371204 memory=1292 CPUtime=344 cores=0,2,4,6
/proc/17585/task/17590/stat : 17590 (java) R 17582 17585 2357 0 -1 4202560 413822 0 0 0 34172 228 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566525368688 140566919480039 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17591] ppid=17582 vsize=14371204 memory=2424 CPUtime=342.55 cores=0,2,4,6
/proc/17585/task/17591/stat : 17591 (java) R 17582 17585 2357 0 -1 4202560 115580 0 0 0 34081 174 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566524316144 140566919480039 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17592] ppid=17582 vsize=14371204 memory=1732 CPUtime=14.8 cores=0,2,4,6
/proc/17585/task/17592/stat : 17592 (java) S 17582 17585 2357 0 -1 1077944384 109803 0 0 0 1473 7 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565844005472 140566926862037 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17593] ppid=17582 vsize=14371204 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17593/stat : 17593 (java) S 17582 17585 2357 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565842953440 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17594] ppid=17582 vsize=14371204 memory=792 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17594/stat : 17594 (java) S 17582 17585 2357 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565841900288 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17595] ppid=17582 vsize=14371204 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17595/stat : 17595 (java) S 17582 17585 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565840848496 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17596] ppid=17582 vsize=14371204 memory=2012 CPUtime=0.96 cores=0,2,4,6
/proc/17585/task/17596/stat : 17596 (java) S 17582 17585 2357 0 -1 1077944384 7581 0 0 0 95 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565839797024 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17597] ppid=17582 vsize=14371204 memory=8684 CPUtime=0.88 cores=0,2,4,6
/proc/17585/task/17597/stat : 17597 (java) S 17582 17585 2357 0 -1 1077944384 5676 0 0 0 87 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565838744192 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17598] ppid=17582 vsize=14371204 memory=1200 CPUtime=0.34 cores=0,2,4,6
/proc/17585/task/17598/stat : 17598 (java) S 17582 17585 2357 0 -1 1077944384 1590 0 0 0 33 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565837691424 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17599] ppid=17582 vsize=14371204 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17599/stat : 17599 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565836639072 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17600] ppid=17582 vsize=14371204 memory=10932 CPUtime=0.49 cores=0,2,4,6
/proc/17585/task/17600/stat : 17600 (java) S 17582 17585 2357 0 -1 1077944384 1759 0 0 0 26 23 0 0 20 0 15 0 7914364 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565835586096 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
Current children cumulated CPU time: 2526.57 s
Current children cumulated vsize: 14371204 KiB
Current children cumulated memory: 11953608 KiB
[startup+1502.2 s]*
/proc/loadavg: 4.42 3.28 2.34 5/209 17679
/proc/meminfo: memFree=18870724/32770624 swapFree=67108860/67108860
[pid=17585] ppid=17582 vsize=14371204 memory=11953608 CPUtime=2528.16 cores=0,2,4,6
/proc/17585/stat : 17585 (java) S 17582 17585 2357 0 -1 1077944320 1070153 0 0 0 251988 828 0 0 20 0 15 0 7914341 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140735423543584 140566926851831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
/proc/17585/statm: 3592801 2988402 3797 1 0 3581575 0
[pid=17585/tid=17587] ppid=17582 vsize=14371204 memory=-8774313645642428999 CPUtime=1134.11 cores=0,2,4,6
/proc/17585/task/17587/stat : 17587 (java) S 17582 17585 2357 0 -1 1077944384 31544 0 0 0 113370 41 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566931088496 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17588] ppid=17582 vsize=14371204 memory=-7003737579269690708 CPUtime=344.13 cores=0,2,4,6
/proc/17585/task/17588/stat : 17588 (java) R 17582 17585 2357 0 -1 4202560 99170 0 0 0 34247 166 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566898695080 140566919480039 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17589] ppid=17582 vsize=14371204 memory=956 CPUtime=344.99 cores=0,2,4,6
/proc/17585/task/17589/stat : 17589 (java) R 17582 17585 2357 0 -1 4202560 282176 0 0 0 34309 190 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566526422360 140566911549470 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17590] ppid=17582 vsize=14371204 memory=2248 CPUtime=344.4 cores=0,2,4,6
/proc/17585/task/17590/stat : 17590 (java) R 17582 17585 2357 0 -1 4202560 413822 0 0 0 34212 228 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566525368688 140566919480039 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17591] ppid=17582 vsize=14371204 memory=4324 CPUtime=342.95 cores=0,2,4,6
/proc/17585/task/17591/stat : 17591 (java) R 17582 17585 2357 0 -1 4202560 115580 0 0 0 34120 175 0 0 20 0 15 0 7914353 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140566524316144 140566919480039 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17592] ppid=17582 vsize=14371204 memory=1592 CPUtime=14.8 cores=0,2,4,6
/proc/17585/task/17592/stat : 17592 (java) S 17582 17585 2357 0 -1 1077944384 109803 0 0 0 1473 7 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565844005472 140566926862037 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17593] ppid=17582 vsize=14371204 memory=932 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17593/stat : 17593 (java) S 17582 17585 2357 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565842953440 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17594] ppid=17582 vsize=14371204 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17594/stat : 17594 (java) S 17582 17585 2357 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 7914355 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565841900288 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17595] ppid=17582 vsize=14371204 memory=844 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17595/stat : 17595 (java) S 17582 17585 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565840848496 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17596] ppid=17582 vsize=14371204 memory=3900 CPUtime=0.96 cores=0,2,4,6
/proc/17585/task/17596/stat : 17596 (java) S 17582 17585 2357 0 -1 1077944384 7581 0 0 0 95 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565839797024 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17597] ppid=17582 vsize=14371204 memory=288230574492221466 CPUtime=0.88 cores=0,2,4,6
/proc/17585/task/17597/stat : 17597 (java) S 17582 17585 2357 0 -1 1077944384 5676 0 0 0 87 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565838744192 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17598] ppid=17582 vsize=14371204 memory=302022887072858421 CPUtime=0.34 cores=0,2,4,6
/proc/17585/task/17598/stat : 17598 (java) S 17582 17585 2357 0 -1 1077944384 1590 0 0 0 33 1 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565837691424 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17599] ppid=17582 vsize=14371204 memory=13847473600857767 CPUtime=0 cores=0,2,4,6
/proc/17585/task/17599/stat : 17599 (java) S 17582 17585 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 7914358 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565836639072 140566926862037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
[pid=17585/tid=17600] ppid=17582 vsize=14371204 memory=13847473600857767 CPUtime=0.49 cores=0,2,4,6
/proc/17585/task/17600/stat : 17600 (java) S 17582 17585 2357 0 -1 1077944384 1759 0 0 0 26 23 0 0 20 0 15 0 7914364 14716112896 2988402 18446744073709551615 4194304 4196468 140735423561040 140565835586096 140566926862978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22654976 140735423566194 140735423566380 140735423566380 140735423569871 0
Current children cumulated CPU time: 2528.16 s
Current children cumulated vsize: 14371204 KiB
Current children cumulated memory: 11953608 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1502.29
CPU time (s): 2528.25
CPU user time (s): 2519.89
CPU system time (s): 8.35815
CPU usage (%): 168.293
Max. virtual memory (cumulated for all children) (KiB): 14502276
Max. memory (cumulated for all children) (KiB): 11953608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.89
system time used= 8.35815
maximum resident set size= 11953932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1070157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73357
involuntary context switches= 22310
# summary of solver processes directly reported to runsolver:
# pid: 17585
# total CPU time (s): 2528.25
# total CPU user time (s): 2519.89
# total CPU system time (s): 8.35815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57494 second user time and 13.6584 second system time
The end