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 (14934 MiB free)
memory of node 1: 16384 MiB (14893 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272583-1502788425/watcher-4272583-1502788425 -o /tmp/evaluation-result-4272583-1502788425/solver-4272583-1502788425 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 428698450 HOME/instance-4272583-1502788425.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
Current StackSize limit: 8192 KiB
solver pid=3580, runsolver pid=3577
[startup+0.100346 s]*
/proc/loadavg: 1.78 1.71 1.76 3/198 3583
/proc/meminfo: memFree=30542364/32770624 swapFree=67108860/67108860
[pid=3580] ppid=3577 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3580/stat : 3580 (xcsp3-exec) S 3577 3580 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81063162 9740288 345 18446744073709551615 4194304 5098028 140723208838464 140723208836568 140204035928700 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37060608 140723208843641 140723208843845 140723208843845 140723208847339 0
/proc/3580/statm: 2378 345 289 221 0 87 0
[pid=3582] ppid=3580 vsize=13356504 memory=10656 CPUtime=0 cores=0,2,4,6
/proc/3582/stat : 3582 (java) S 3580 3580 897 0 -1 1077944320 2419 0 0 0 0 0 0 0 20 0 6 0 81063172 13677060096 2664 18446744073709551615 4194304 4196468 140727906800016 140727906782560 140375194144503 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
/proc/3582/statm: 3339126 2664 1203 1 0 3329096 0
[pid=3582/tid=3583] ppid=3580 vsize=13356504 memory=7022364594140610616 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3583/stat : 3583 (java) R 3580 3580 897 0 -1 4202560 1300 0 0 0 0 0 0 0 20 0 6 0 81063172 13677060096 2769 18446744073709551615 4194304 4196468 140727906800016 140375198386280 140375179827029 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3584] ppid=3580 vsize=13356508 memory=4294979915 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3584/stat : 3584 (java) S 3580 3580 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 81063173 13677064192 2769 18446744073709551615 4194304 4196468 140727906800016 140375113558416 140375194154709 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3585] ppid=3580 vsize=13356504 memory=140241877248464 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3585/stat : 3585 (java) S 3580 3580 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 81063173 13677060096 2801 18446744073709551615 4194304 4196468 140727906800016 140375112505616 140375194154709 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3586] ppid=3580 vsize=13356504 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3586/stat : 3586 (java) S 3580 3580 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 81063173 13677060096 2801 18446744073709551615 4194304 4196468 140727906800016 140375111453328 140375194154709 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3587] ppid=3580 vsize=13356504 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3587/stat : 3587 (java) S 3580 3580 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 81063173 13677060096 2801 18446744073709551615 4194304 4196468 140727906800016 140375110400528 140375194154709 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12036 KiB
[startup+0.209943 s]*
/proc/loadavg: 1.78 1.71 1.76 3/211 3596
/proc/meminfo: memFree=30532172/32770624 swapFree=67108860/67108860
[pid=3580] ppid=3577 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3580/stat : 3580 (xcsp3-exec) S 3577 3580 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81063162 9740288 345 18446744073709551615 4194304 5098028 140723208838464 140723208836568 140204035928700 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37060608 140723208843641 140723208843845 140723208843845 140723208847339 0
/proc/3580/statm: 2378 345 289 221 0 87 0
[pid=3582] ppid=3580 vsize=13974352 memory=23192 CPUtime=0.07 cores=0,2,4,6
/proc/3582/stat : 3582 (java) S 3580 3580 897 0 -1 1077944320 5214 0 0 0 6 1 0 0 20 0 15 0 81063172 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140727906782560 140375194144503 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
/proc/3582/statm: 3493588 5798 2726 1 0 3482964 0
[pid=3582/tid=3583] ppid=3580 vsize=13974352 memory=7022364594140610616 CPUtime=0.05 cores=0,2,4,6
/proc/3582/task/3583/stat : 3583 (java) R 3580 3580 897 0 -1 4202560 3376 0 0 0 5 0 0 0 20 0 15 0 81063172 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140375198370192 140375194166429 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3584] ppid=3580 vsize=13974352 memory=4294979915 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3584/stat : 3584 (java) S 3580 3580 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81063173 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140375113558416 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3585] ppid=3580 vsize=13974352 memory=140241877248464 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3585/stat : 3585 (java) S 3580 3580 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81063173 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140375112505616 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3586] ppid=3580 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3586/stat : 3586 (java) S 3580 3580 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81063173 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140375111453328 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3587] ppid=3580 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3587/stat : 3587 (java) S 3580 3580 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81063173 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140375110400528 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3588] ppid=3580 vsize=13974352 memory=140241876825728 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3588/stat : 3588 (java) S 3580 3580 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81063174 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140374672145008 140375194155650 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3589] ppid=3580 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3589/stat : 3589 (java) S 3580 3580 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 81063175 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140374671090976 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3590] ppid=3580 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3590/stat : 3590 (java) S 3580 3580 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 81063175 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140374670038640 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3591] ppid=3580 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3591/stat : 3591 (java) S 3580 3580 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81063177 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140374668986960 140375194163099 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3592] ppid=3580 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3592/stat : 3592 (java) S 3580 3580 897 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 81063177 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140374667933808 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3593] ppid=3580 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3593/stat : 3593 (java) S 3580 3580 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 81063177 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140374666881008 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3594] ppid=3580 vsize=13974352 memory=140241876825728 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3594/stat : 3594 (java) S 3580 3580 897 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 81063177 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140374665828720 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3595] ppid=3580 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3595/stat : 3595 (java) S 3580 3580 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81063178 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140374664776160 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3596] ppid=3580 vsize=13974352 memory=140241876825728 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3596/stat : 3596 (java) S 3580 3580 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81063182 14309736448 5798 18446744073709551615 4194304 4196468 140727906800016 140374663723952 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24572 KiB
[startup+0.310502 s]*
/proc/loadavg: 1.78 1.71 1.76 3/211 3596
/proc/meminfo: memFree=30516820/32770624 swapFree=67108860/67108860
[pid=3580] ppid=3577 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3580/stat : 3580 (xcsp3-exec) S 3577 3580 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81063162 9740288 345 18446744073709551615 4194304 5098028 140723208838464 140723208836568 140204035928700 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37060608 140723208843641 140723208843845 140723208843845 140723208847339 0
/proc/3580/statm: 2378 345 289 221 0 87 0
[pid=3582] ppid=3580 vsize=13974352 memory=37104 CPUtime=0.26 cores=0,2,4,6
/proc/3582/stat : 3582 (java) S 3580 3580 897 0 -1 1077944320 8803 0 0 0 23 3 0 0 20 0 15 0 81063172 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140727906782560 140375194144503 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
/proc/3582/statm: 3493588 9276 2985 1 0 3482964 0
[pid=3582/tid=3583] ppid=3580 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/3582/task/3583/stat : 3583 (java) R 3580 3580 897 0 -1 4202560 6068 0 0 0 14 2 0 0 20 0 15 0 81063172 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140375198366992 140375178224990 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3584] ppid=3580 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3584/stat : 3584 (java) S 3580 3580 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81063173 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140375113558416 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3585] ppid=3580 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3585/stat : 3585 (java) S 3580 3580 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81063173 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140375112505616 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3586] ppid=3580 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3586/stat : 3586 (java) S 3580 3580 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81063173 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140375111453328 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3587] ppid=3580 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3587/stat : 3587 (java) S 3580 3580 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81063173 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140375110400528 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3588] ppid=3580 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3588/stat : 3588 (java) S 3580 3580 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81063174 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140374672145008 140375194155650 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3589] ppid=3580 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3589/stat : 3589 (java) S 3580 3580 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 81063175 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140374671090976 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3590] ppid=3580 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3590/stat : 3590 (java) S 3580 3580 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 81063175 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140374670038640 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3591] ppid=3580 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3591/stat : 3591 (java) S 3580 3580 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81063177 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140374668986960 140375194163099 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3592] ppid=3580 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3582/task/3592/stat : 3592 (java) S 3580 3580 897 0 -1 1077944384 548 0 0 0 1 0 0 0 20 0 15 0 81063177 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140374667933808 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3593] ppid=3580 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3582/task/3593/stat : 3593 (java) S 3580 3580 897 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 15 0 81063177 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140374666881008 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3594] ppid=3580 vsize=13974352 memory=140241876825728 CPUtime=0.05 cores=0,2,4,6
/proc/3582/task/3594/stat : 3594 (java) S 3580 3580 897 0 -1 1077944384 693 0 0 0 5 0 0 0 20 0 15 0 81063177 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140374665828720 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3595] ppid=3580 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3595/stat : 3595 (java) S 3580 3580 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81063178 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140374664776160 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3596] ppid=3580 vsize=13974352 memory=140241876825728 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3596/stat : 3596 (java) S 3580 3580 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81063182 14309736448 9276 18446744073709551615 4194304 4196468 140727906800016 140374663723952 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38484 KiB
[startup+0.70879 s]
/proc/loadavg: 1.80 1.72 1.76 5/211 3596
/proc/meminfo: memFree=30499800/32770624 swapFree=67108860/67108860
[pid=3580] ppid=3577 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3580/stat : 3580 (xcsp3-exec) S 3577 3580 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81063162 9740288 345 18446744073709551615 4194304 5098028 140723208838464 140723208836568 140204035928700 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37060608 140723208843641 140723208843845 140723208843845 140723208847339 0
/proc/3580/statm: 2378 345 289 221 0 87 0
[pid=3582] ppid=3580 vsize=13978684 memory=91220 CPUtime=1.26 cores=0,2,4,6
/proc/3582/stat : 3582 (java) S 3580 3580 897 0 -1 1077944320 12926 0 0 0 121 5 0 0 20 0 15 0 81063172 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140727906782560 140375194144503 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
/proc/3582/statm: 3494671 22805 3144 1 0 3482964 0
[pid=3582/tid=3583] ppid=3580 vsize=13978684 memory=1228 CPUtime=0.54 cores=0,2,4,6
/proc/3582/task/3583/stat : 3583 (java) R 3580 3580 897 0 -1 4202560 7831 0 0 0 51 3 0 0 20 0 15 0 81063172 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140375198380768 140375194156438 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3584] ppid=3580 vsize=13978684 memory=796 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3584/stat : 3584 (java) S 3580 3580 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81063173 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140375113558416 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3585] ppid=3580 vsize=13978684 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3585/stat : 3585 (java) S 3580 3580 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81063173 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140375112505616 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3586] ppid=3580 vsize=13978684 memory=368 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3586/stat : 3586 (java) S 3580 3580 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81063173 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140375111453328 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3587] ppid=3580 vsize=13978684 memory=311 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3587/stat : 3587 (java) S 3580 3580 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81063173 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140375110400528 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3588] ppid=3580 vsize=13978684 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3588/stat : 3588 (java) S 3580 3580 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 81063174 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140374672145008 140375194155650 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3589] ppid=3580 vsize=13978684 memory=275 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3589/stat : 3589 (java) S 3580 3580 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 81063175 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140374671090976 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3590] ppid=3580 vsize=13978684 memory=75 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3590/stat : 3590 (java) S 3580 3580 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 81063175 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140374670038640 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3591] ppid=3580 vsize=13978684 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3591/stat : 3591 (java) S 3580 3580 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81063177 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140374668986960 140375194163099 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3592] ppid=3580 vsize=13978684 memory=6657 CPUtime=0.2 cores=0,2,4,6
/proc/3582/task/3592/stat : 3592 (java) S 3580 3580 897 0 -1 1077944384 1244 0 0 0 20 0 0 0 20 0 15 0 81063177 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140374667933808 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3593] ppid=3580 vsize=13978684 memory=4420 CPUtime=0.25 cores=0,2,4,6
/proc/3582/task/3593/stat : 3593 (java) R 3580 3580 897 0 -1 4202560 1104 0 0 0 25 0 0 0 20 0 15 0 81063177 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140374666881008 140375194156438 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3594] ppid=3580 vsize=13978684 memory=6628 CPUtime=0.23 cores=0,2,4,6
/proc/3582/task/3594/stat : 3594 (java) R 3580 3580 897 0 -1 4202560 1439 0 0 0 23 0 0 0 20 0 15 0 81063177 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140374665825656 140375172806205 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3595] ppid=3580 vsize=13978684 memory=6660 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3595/stat : 3595 (java) S 3580 3580 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81063178 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140374664776160 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3596] ppid=3580 vsize=13978684 memory=33 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3596/stat : 3596 (java) S 3580 3580 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81063182 14314172416 22805 18446744073709551615 4194304 4196468 140727906800016 140374663723952 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 92600 KiB
[startup+1.50078 s]
/proc/loadavg: 1.80 1.72 1.76 5/211 3596
/proc/meminfo: memFree=30388676/32770624 swapFree=67108860/67108860
[pid=3580] ppid=3577 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3580/stat : 3580 (xcsp3-exec) S 3577 3580 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81063162 9740288 345 18446744073709551615 4194304 5098028 140723208838464 140723208836568 140204035928700 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 37060608 140723208843641 140723208843845 140723208843845 140723208847339 0
/proc/3580/statm: 2378 345 289 221 0 87 0
[pid=3582] ppid=3580 vsize=13978684 memory=360660 CPUtime=3.53 cores=0,2,4,6
/proc/3582/stat : 3582 (java) S 3580 3580 897 0 -1 1077944320 16107 0 0 0 338 15 0 0 20 0 15 0 81063172 14314172416 90165 18446744073709551615 4194304 4196468 140727906800016 140727906782560 140375194144503 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
/proc/3582/statm: 3494671 90165 3198 1 0 3482964 0
[pid=3582/tid=3583] ppid=3580 vsize=13978684 memory=1228 CPUtime=1.27 cores=0,2,4,6
/proc/3582/task/3583/stat : 3583 (java) R 3580 3580 897 0 -1 4202560 8016 0 0 0 121 6 0 0 20 0 15 0 81063172 14314172416 90165 18446744073709551615 4194304 4196468 140727906800016 140375198378416 140374781865134 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3584] ppid=3580 vsize=13978684 memory=796 CPUtime=0.05 cores=0,2,4,6
/proc/3582/task/3584/stat : 3584 (java) S 3580 3580 897 0 -1 1077944384 91 0 0 0 4 1 0 0 20 0 15 0 81063173 14314172416 90165 18446744073709551615 4194304 4196468 140727906800016 140375113558416 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3585] ppid=3580 vsize=13978684 memory=5788 CPUtime=0.04 cores=0,2,4,6
/proc/3582/task/3585/stat : 3585 (java) S 3580 3580 897 0 -1 1077944384 111 0 0 0 3 1 0 0 20 0 15 0 81063173 14314172416 90165 18446744073709551615 4194304 4196468 140727906800016 140375112505616 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3586] ppid=3580 vsize=13978684 memory=36 CPUtime=0.04 cores=0,2,4,6
/proc/3582/task/3586/stat : 3586 (java) S 3580 3580 897 0 -1 1077944384 44 0 0 0 3 1 0 0 20 0 15 0 81063173 14314172416 90165 18446744073709551615 4194304 4196468 140727906800016 140375111453328 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3587] ppid=3580 vsize=13978684 memory=41 CPUtime=0.04 cores=0,2,4,6
/proc/3582/task/3587/stat : 3587 (java) S 3580 3580 897 0 -1 1077944384 76 0 0 0 3 1 0 0 20 0 15 0 81063173 14314172416 90165 18446744073709551615 4194304 4196468 140727906800016 140375110400528 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3588] ppid=3580 vsize=13978684 memory=30 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3588/stat : 3588 (java) S 3580 3580 897 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 81063174 14314172416 90165 18446744073709551615 4194304 4196468 140727906800016 140374672145008 140375194155650 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3589] ppid=3580 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3589/stat : 3589 (java) S 3580 3580 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 81063175 14314172416 90165 18446744073709551615 4194304 4196468 140727906800016 140374671090976 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3590] ppid=3580 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+1699.2 s]
/proc/loadavg: 4.61 3.20 2.37 6/210 3799
/proc/meminfo: memFree=18459672/32770624 swapFree=67108860/67108860
[pid=3582] ppid=3577 vsize=14046268 memory=11909828 CPUtime=2523.05 cores=0,2,4,6
/proc/3582/stat : 3582 (java) S 3577 3580 897 0 -1 1077944320 830489 0 0 0 250952 1353 0 0 20 0 15 0 81063172 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140727906782560 140375194144503 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
/proc/3582/statm: 3511567 2977457 3254 1 0 3499860 0
[pid=3582/tid=3583] ppid=3577 vsize=14046268 memory=796 CPUtime=1407.7 cores=0,2,4,6
/proc/3582/task/3583/stat : 3583 (java) S 3577 3580 897 0 -1 1077944384 33593 0 0 0 140747 23 0 0 20 0 15 0 81063172 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375198384144 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3584] ppid=3577 vsize=14046268 memory=5788 CPUtime=273.91 cores=0,2,4,6
/proc/3582/task/3584/stat : 3584 (java) R 3577 3580 897 0 -1 4202560 176794 0 0 0 27071 320 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375113558000 140375186772711 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3585] ppid=3577 vsize=14046268 memory=11909820 CPUtime=276.19 cores=0,2,4,6
/proc/3582/task/3585/stat : 3585 (java) R 3577 3580 897 0 -1 4202560 167231 0 0 0 27280 339 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375112505512 140375186772711 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3586] ppid=3577 vsize=14046268 memory=1380 CPUtime=276.58 cores=0,2,4,6
/proc/3582/task/3586/stat : 3586 (java) R 3577 3580 897 0 -1 4202560 205929 0 0 0 27366 292 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375111453216 140375179095627 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3587] ppid=3577 vsize=14046268 memory=7680170660397595203 CPUtime=274.91 cores=0,2,4,6
/proc/3582/task/3587/stat : 3587 (java) R 3577 3580 897 0 -1 4202560 139635 0 0 0 27158 333 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375110400112 140375186772711 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3588] ppid=3577 vsize=14046268 memory=1200 CPUtime=8.17 cores=0,2,4,6
/proc/3582/task/3588/stat : 3588 (java) S 3577 3580 897 0 -1 1077944384 95190 0 0 0 811 6 0 0 20 0 15 0 81063174 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374672143328 140375194154709 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3589] ppid=3577 vsize=14046268 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3589/stat : 3589 (java) S 3577 3580 897 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 81063175 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374671091040 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3590] ppid=3577 vsize=14046268 memory=25020 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3590/stat : 3590 (java) S 3577 3580 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 81063175 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374670038656 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3591] ppid=3577 vsize=14046268 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3591/stat : 3591 (java) S 3577 3580 897 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374668986608 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3592] ppid=3577 vsize=14046268 memory=10164 CPUtime=1.92 cores=0,2,4,6
/proc/3582/task/3592/stat : 3592 (java) S 3577 3580 897 0 -1 1077944384 3301 0 0 0 191 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374667933808 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3593] ppid=3577 vsize=14046268 memory=1440 CPUtime=1.97 cores=0,2,4,6
/proc/3582/task/3593/stat : 3593 (java) S 3577 3580 897 0 -1 1077944384 2797 0 0 0 196 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374666881008 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3594] ppid=3577 vsize=14046268 memory=2000 CPUtime=0.62 cores=0,2,4,6
/proc/3582/task/3594/stat : 3594 (java) S 3577 3580 897 0 -1 1077944384 2510 0 0 0 61 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374665828720 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3595] ppid=3577 vsize=14046268 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3595/stat : 3595 (java) S 3577 3580 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81063178 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374664776160 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3596] ppid=3577 vsize=14046268 memory=2316 CPUtime=0.99 cores=0,2,4,6
/proc/3582/task/3596/stat : 3596 (java) S 3577 3580 897 0 -1 1077944384 2180 0 0 0 48 51 0 0 20 0 15 0 81063182 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374663723952 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
Current cumulated CPU time of completed processes: 0.00179 s
Current children cumulated CPU time: 2523.05 s
Current children cumulated vsize: 14046268 KiB
Current children cumulated memory: 11909828 KiB
[startup+1700 s]*
/proc/loadavg: 4.61 3.20 2.37 6/210 3799
/proc/meminfo: memFree=18465396/32770624 swapFree=67108860/67108860
[pid=3582] ppid=3577 vsize=14046268 memory=11909828 CPUtime=2526.18 cores=0,2,4,6
/proc/3582/stat : 3582 (java) S 3577 3580 897 0 -1 1077944320 830600 0 0 0 251265 1353 0 0 20 0 15 0 81063172 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140727906782560 140375194144503 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
/proc/3582/statm: 3511567 2977457 3254 1 0 3499860 0
[pid=3582/tid=3583] ppid=3577 vsize=14046268 memory=-8774313645642428999 CPUtime=1407.7 cores=0,2,4,6
/proc/3582/task/3583/stat : 3583 (java) S 3577 3580 897 0 -1 1077944384 33593 0 0 0 140747 23 0 0 20 0 15 0 81063172 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375198384144 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3584] ppid=3577 vsize=14046268 memory=4872558044660077418 CPUtime=274.69 cores=0,2,4,6
/proc/3582/task/3584/stat : 3584 (java) R 3577 3580 897 0 -1 4202560 176794 0 0 0 27148 321 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375113558312 140375186772711 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3585] ppid=3577 vsize=14046268 memory=-6800859132029471843 CPUtime=276.95 cores=0,2,4,6
/proc/3582/task/3585/stat : 3585 (java) R 3577 3580 897 0 -1 4202560 167231 0 0 0 27356 339 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375112505512 140375186772711 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3586] ppid=3577 vsize=14046268 memory=-3472574944341025154 CPUtime=277.39 cores=0,2,4,6
/proc/3582/task/3586/stat : 3586 (java) R 3577 3580 897 0 -1 4202560 206041 0 0 0 27447 292 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375111453216 140375178842255 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3587] ppid=3577 vsize=14046268 memory=-1891255765032775953 CPUtime=275.69 cores=0,2,4,6
/proc/3582/task/3587/stat : 3587 (java) R 3577 3580 897 0 -1 4202560 139635 0 0 0 27236 333 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375110400112 140375186772711 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3588] ppid=3577 vsize=14046268 memory=-6800859132029471843 CPUtime=8.17 cores=0,2,4,6
/proc/3582/task/3588/stat : 3588 (java) S 3577 3580 897 0 -1 1077944384 95190 0 0 0 811 6 0 0 20 0 15 0 81063174 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374672143328 140375194154709 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3589] ppid=3577 vsize=14046268 memory=-2541025662029814883 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3589/stat : 3589 (java) S 3577 3580 897 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 81063175 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374671091040 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3590] ppid=3577 vsize=14046268 memory=-4546129931942301828 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3590/stat : 3590 (java) S 3577 3580 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 81063175 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374670038656 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3591] ppid=3577 vsize=14046268 memory=-3253322038155611931 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3591/stat : 3591 (java) S 3577 3580 897 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374668986608 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3592] ppid=3577 vsize=14046268 memory=6943526294502006880 CPUtime=1.92 cores=0,2,4,6
/proc/3582/task/3592/stat : 3592 (java) S 3577 3580 897 0 -1 1077944384 3301 0 0 0 191 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374667933808 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3593] ppid=3577 vsize=14046268 memory=8171897334845303665 CPUtime=1.97 cores=0,2,4,6
/proc/3582/task/3593/stat : 3593 (java) S 3577 3580 897 0 -1 1077944384 2797 0 0 0 196 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374666881008 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3594] ppid=3577 vsize=14046268 memory=5931909669233911138 CPUtime=0.62 cores=0,2,4,6
/proc/3582/task/3594/stat : 3594 (java) S 3577 3580 897 0 -1 1077944384 2510 0 0 0 61 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374665828720 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3595] ppid=3577 vsize=14046268 memory=7019815857121947247 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3595/stat : 3595 (java) S 3577 3580 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81063178 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374664776160 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3596] ppid=3577 vsize=14046268 memory=7235146413545509209 CPUtime=0.99 cores=0,2,4,6
/proc/3582/task/3596/stat : 3596 (java) S 3577 3580 897 0 -1 1077944384 2180 0 0 0 48 51 0 0 20 0 15 0 81063182 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374663723952 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
Current cumulated CPU time of completed processes: 0.00179 s
Current children cumulated CPU time: 2526.18 s
Current children cumulated vsize: 14046268 KiB
Current children cumulated memory: 11909828 KiB
[startup+1700.4 s]
/proc/loadavg: 4.61 3.20 2.37 6/210 3799
/proc/meminfo: memFree=18465396/32770624 swapFree=67108860/67108860
[pid=3582] ppid=3577 vsize=14046268 memory=11909828 CPUtime=2527.7 cores=0,2,4,6
/proc/3582/stat : 3582 (java) S 3577 3580 897 0 -1 1077944320 830633 0 0 0 251416 1354 0 0 20 0 15 0 81063172 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140727906782560 140375194144503 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
/proc/3582/statm: 3511567 2977457 3254 1 0 3499860 0
[pid=3582/tid=3583] ppid=3577 vsize=14046268 memory=7680170660397595203 CPUtime=1407.7 cores=0,2,4,6
/proc/3582/task/3583/stat : 3583 (java) S 3577 3580 897 0 -1 1077944384 33593 0 0 0 140747 23 0 0 20 0 15 0 81063172 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375198384144 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3584] ppid=3577 vsize=14046268 memory=2316 CPUtime=275.07 cores=0,2,4,6
/proc/3582/task/3584/stat : 3584 (java) R 3577 3580 897 0 -1 4202560 176794 0 0 0 27186 321 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375113558000 140375186772711 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3585] ppid=3577 vsize=14046268 memory=1728 CPUtime=277.32 cores=0,2,4,6
/proc/3582/task/3585/stat : 3585 (java) R 3577 3580 897 0 -1 4202560 167231 0 0 0 27393 339 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375112505512 140375186772711 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3586] ppid=3577 vsize=14046268 memory=1228 CPUtime=277.78 cores=0,2,4,6
/proc/3582/task/3586/stat : 3586 (java) R 3577 3580 897 0 -1 4202560 206072 0 0 0 27486 292 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375111453216 140375178842278 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3587] ppid=3577 vsize=14046268 memory=796 CPUtime=276.06 cores=0,2,4,6
/proc/3582/task/3587/stat : 3587 (java) R 3577 3580 897 0 -1 4202560 139635 0 0 0 27273 333 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375110400112 140375186772711 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3588] ppid=3577 vsize=14046268 memory=5788 CPUtime=8.17 cores=0,2,4,6
/proc/3582/task/3588/stat : 3588 (java) S 3577 3580 897 0 -1 1077944384 95190 0 0 0 811 6 0 0 20 0 15 0 81063174 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374672143328 140375194154709 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3589] ppid=3577 vsize=14046268 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3589/stat : 3589 (java) S 3577 3580 897 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 81063175 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374671091040 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3590] ppid=3577 vsize=14046268 memory=11909828 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3590/stat : 3590 (java) S 3577 3580 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 81063175 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374670038656 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3591] ppid=3577 vsize=14046268 memory=8980 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3591/stat : 3591 (java) S 3577 3580 897 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374668986608 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3592] ppid=3577 vsize=14046268 memory=1200 CPUtime=1.92 cores=0,2,4,6
/proc/3582/task/3592/stat : 3592 (java) S 3577 3580 897 0 -1 1077944384 3301 0 0 0 191 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374667933808 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3593] ppid=3577 vsize=14046268 memory=15880 CPUtime=1.97 cores=0,2,4,6
/proc/3582/task/3593/stat : 3593 (java) S 3577 3580 897 0 -1 1077944384 2797 0 0 0 196 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374666881008 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3594] ppid=3577 vsize=14046268 memory=25020 CPUtime=0.62 cores=0,2,4,6
/proc/3582/task/3594/stat : 3594 (java) S 3577 3580 897 0 -1 1077944384 2510 0 0 0 61 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374665828720 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3595] ppid=3577 vsize=14046268 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3595/stat : 3595 (java) S 3577 3580 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81063178 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374664776160 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3596] ppid=3577 vsize=14046268 memory=640 CPUtime=0.99 cores=0,2,4,6
/proc/3582/task/3596/stat : 3596 (java) S 3577 3580 897 0 -1 1077944384 2180 0 0 0 48 51 0 0 20 0 15 0 81063182 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374663723952 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
Current cumulated CPU time of completed processes: 0.00179 s
Current children cumulated CPU time: 2527.7 s
Current children cumulated vsize: 14046268 KiB
Current children cumulated memory: 11909828 KiB
[startup+1700.5 s]
/proc/loadavg: 4.61 3.20 2.37 6/210 3799
/proc/meminfo: memFree=18465396/32770624 swapFree=67108860/67108860
[pid=3582] ppid=3577 vsize=14046268 memory=11909828 CPUtime=2528.09 cores=0,2,4,6
/proc/3582/stat : 3582 (java) S 3577 3580 897 0 -1 1077944320 830656 0 0 0 251455 1354 0 0 20 0 15 0 81063172 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140727906782560 140375194144503 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
/proc/3582/statm: 3511567 2977457 3254 1 0 3499860 0
[pid=3582/tid=3583] ppid=3577 vsize=14046268 memory=11909828 CPUtime=1407.7 cores=0,2,4,6
/proc/3582/task/3583/stat : 3583 (java) S 3577 3580 897 0 -1 1077944384 33593 0 0 0 140747 23 0 0 20 0 15 0 81063172 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375198384144 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3584] ppid=3577 vsize=14046268 memory=1380 CPUtime=275.17 cores=0,2,4,6
/proc/3582/task/3584/stat : 3584 (java) S 3577 3580 897 0 -1 1077944384 176794 0 0 0 27196 321 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375113558000 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3585] ppid=3577 vsize=14046268 memory=11909828 CPUtime=277.43 cores=0,2,4,6
/proc/3582/task/3585/stat : 3585 (java) R 3577 3580 897 0 -1 4202560 167231 0 0 0 27403 340 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375112505512 140375186772711 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3586] ppid=3577 vsize=14046268 memory=11909820 CPUtime=277.88 cores=0,2,4,6
/proc/3582/task/3586/stat : 3586 (java) R 3577 3580 897 0 -1 4202560 206095 0 0 0 27496 292 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375111453216 140375179129799 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3587] ppid=3577 vsize=14046268 memory=11909820 CPUtime=276.15 cores=0,2,4,6
/proc/3582/task/3587/stat : 3587 (java) S 3577 3580 897 0 -1 1077944384 139635 0 0 0 27282 333 0 0 20 0 15 0 81063173 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140375110400112 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3588] ppid=3577 vsize=14046268 memory=11909828 CPUtime=8.17 cores=0,2,4,6
/proc/3582/task/3588/stat : 3588 (java) S 3577 3580 897 0 -1 1077944384 95190 0 0 0 811 6 0 0 20 0 15 0 81063174 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374672143328 140375194154709 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3589] ppid=3577 vsize=14046268 memory=11909828 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3589/stat : 3589 (java) S 3577 3580 897 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 81063175 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374671091040 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3590] ppid=3577 vsize=14046268 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3590/stat : 3590 (java) S 3577 3580 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 81063175 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374670038656 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3591] ppid=3577 vsize=14046268 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3591/stat : 3591 (java) S 3577 3580 897 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374668986608 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3592] ppid=3577 vsize=14046268 memory=597964 CPUtime=1.92 cores=0,2,4,6
/proc/3582/task/3592/stat : 3592 (java) S 3577 3580 897 0 -1 1077944384 3301 0 0 0 191 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374667933808 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3593] ppid=3577 vsize=14046268 memory=4068 CPUtime=1.97 cores=0,2,4,6
/proc/3582/task/3593/stat : 3593 (java) S 3577 3580 897 0 -1 1077944384 2797 0 0 0 196 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374666881008 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3594] ppid=3577 vsize=14046268 memory=192 CPUtime=0.62 cores=0,2,4,6
/proc/3582/task/3594/stat : 3594 (java) S 3577 3580 897 0 -1 1077944384 2510 0 0 0 61 1 0 0 20 0 15 0 81063177 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374665828720 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3595] ppid=3577 vsize=14046268 memory=4629771062077588875 CPUtime=0 cores=0,2,4,6
/proc/3582/task/3595/stat : 3595 (java) S 3577 3580 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81063178 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374664776160 140375194154709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
[pid=3582/tid=3596] ppid=3577 vsize=14046268 memory=4616 CPUtime=0.99 cores=0,2,4,6
/proc/3582/task/3596/stat : 3596 (java) S 3577 3580 897 0 -1 1077944384 2180 0 0 0 48 51 0 0 20 0 15 0 81063182 14383378432 2977457 18446744073709551615 4194304 4196468 140727906800016 140374663723952 140375194155650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29827072 140727906808241 140727906808417 140727906808417 140727906811855 0
Current cumulated CPU time of completed processes: 0.00179 s
Current children cumulated CPU time: 2528.09 s
Current children cumulated vsize: 14046268 KiB
Current children cumulated memory: 11909828 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1700.57
CPU time (s): 2528.18
CPU user time (s): 2514.57
CPU system time (s): 13.6077
CPU usage (%): 148.667
Max. virtual memory (cumulated for all children) (KiB): 14055780
Max. memory (cumulated for all children) (KiB): 11911208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.57
system time used= 13.6077
maximum resident set size= 11910184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 831177
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66454
involuntary context switches= 25719
# summary of solver processes directly reported to runsolver:
# pid: 3580,3582
# total CPU time (s): 2528.18
# total CPU user time (s): 2514.57
# total CPU system time (s): 13.6077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4243 second user time and 16.4207 second system time
The end