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 (15135 MiB free)
memory of node 1: 16384 MiB (15326 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282659-1503167986/watcher-4282659-1503167986 -o /tmp/evaluation-result-4282659-1503167986/solver-4282659-1503167986 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 590443760 HOME/instance-4282659-1503167986.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20748, runsolver pid=20745
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 2.00 1.92 1.88 2/196 20749
/proc/meminfo: memFree=31193508/32770624 swapFree=67105588/67108860
[pid=20748] ppid=20745 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20748/stat : 20748 (xcsp3-exec) S 20745 20748 8557 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118993677 9740288 344 18446744073709551615 4194304 5098028 140729250245568 140729250243672 140080884105852 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14434304 140729250247033 140729250247237 140729250247237 140729250250731 0
/proc/20748/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB
[startup+0.208977 s]*
/proc/loadavg: 2.00 1.92 1.88 4/211 20764
/proc/meminfo: memFree=31182556/32770624 swapFree=67105588/67108860
[pid=20748] ppid=20745 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20748/stat : 20748 (xcsp3-exec) S 20745 20748 8557 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118993677 9740288 344 18446744073709551615 4194304 5098028 140729250245568 140729250243672 140080884105852 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14434304 140729250247033 140729250247237 140729250247237 140729250250731 0
/proc/20748/statm: 2378 344 289 221 0 87 0
[pid=20750] ppid=20748 vsize=13974352 memory=22548 CPUtime=0.06 cores=1,3,5,7
/proc/20750/stat : 20750 (java) S 20748 20748 8557 0 -1 1077944320 5069 0 0 0 6 0 0 0 20 0 15 0 118993688 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140735070763008 140427015462647 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
/proc/20750/statm: 3493588 5637 2715 1 0 3482964 0
[pid=20750/tid=20751] ppid=20748 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/20750/task/20751/stat : 20751 (java) R 20748 20748 8557 0 -1 4202560 3231 0 0 0 5 0 0 0 20 0 15 0 118993688 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140427019696928 140427007699774 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20752] ppid=20748 vsize=13974352 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20752/stat : 20752 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426615384464 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20753] ppid=20748 vsize=13974352 memory=140426236519382 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20753/stat : 20753 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426614331664 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20754] ppid=20748 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20754/stat : 20754 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426613279376 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20755] ppid=20748 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20755/stat : 20755 (java) S 20748 20748 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118993689 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426612226576 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20756] ppid=20748 vsize=13974352 memory=140426236499584 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20756/stat : 20756 (java) S 20748 20748 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118993690 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426494024304 140427015473794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20757] ppid=20748 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20757/stat : 20757 (java) S 20748 20748 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118993691 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426492970272 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20758] ppid=20748 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20758/stat : 20758 (java) S 20748 20748 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118993691 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426491917936 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20759] ppid=20748 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20759/stat : 20759 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993693 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426490866256 140427015481243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20760] ppid=20748 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20760/stat : 20760 (java) S 20748 20748 8557 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 118993693 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426489813104 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20761] ppid=20748 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20761/stat : 20761 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993693 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426488760304 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20762] ppid=20748 vsize=13974352 memory=140426236499584 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20762/stat : 20762 (java) S 20748 20748 8557 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 118993693 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426487708016 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20763] ppid=20748 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20763/stat : 20763 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993694 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426486655456 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20764] ppid=20748 vsize=13974352 memory=140426236499584 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20764/stat : 20764 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993698 14309736448 5637 18446744073709551615 4194304 4196468 140735070780464 140426485603248 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23924 KiB
[startup+0.310136 s]*
/proc/loadavg: 2.00 1.92 1.88 4/211 20764
/proc/meminfo: memFree=31167124/32770624 swapFree=67105588/67108860
[pid=20748] ppid=20745 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20748/stat : 20748 (xcsp3-exec) S 20745 20748 8557 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118993677 9740288 344 18446744073709551615 4194304 5098028 140729250245568 140729250243672 140080884105852 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14434304 140729250247033 140729250247237 140729250247237 140729250250731 0
/proc/20748/statm: 2378 344 289 221 0 87 0
[pid=20750] ppid=20748 vsize=13974352 memory=36836 CPUtime=0.25 cores=1,3,5,7
/proc/20750/stat : 20750 (java) S 20748 20748 8557 0 -1 1077944320 8801 0 0 0 23 2 0 0 20 0 15 0 118993688 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140735070763008 140427015462647 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
/proc/20750/statm: 3493588 9209 2974 1 0 3482964 0
[pid=20750/tid=20751] ppid=20748 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/20750/task/20751/stat : 20751 (java) R 20748 20748 8557 0 -1 4202560 5999 0 0 0 14 1 0 0 20 0 15 0 118993688 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140427019675088 140426999543134 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20752] ppid=20748 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20752/stat : 20752 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426615384464 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20753] ppid=20748 vsize=13974352 memory=140426236499584 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20753/stat : 20753 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426614331664 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20754] ppid=20748 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20754/stat : 20754 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426613279376 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20755] ppid=20748 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20755/stat : 20755 (java) S 20748 20748 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118993689 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426612226576 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20756] ppid=20748 vsize=13974352 memory=140426236499584 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20756/stat : 20756 (java) S 20748 20748 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118993690 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426494024304 140427015473794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20757] ppid=20748 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20757/stat : 20757 (java) S 20748 20748 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118993691 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426492970272 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20758] ppid=20748 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20758/stat : 20758 (java) S 20748 20748 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118993691 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426491917936 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20759] ppid=20748 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20759/stat : 20759 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993693 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426490866256 140427015481243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20760] ppid=20748 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20750/task/20760/stat : 20760 (java) S 20748 20748 8557 0 -1 1077944384 552 0 0 0 1 0 0 0 20 0 15 0 118993693 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426489813104 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20761] ppid=20748 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20750/task/20761/stat : 20761 (java) S 20748 20748 8557 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 15 0 118993693 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426488760304 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20762] ppid=20748 vsize=13974352 memory=140426236499584 CPUtime=0.05 cores=1,3,5,7
/proc/20750/task/20762/stat : 20762 (java) S 20748 20748 8557 0 -1 1077944384 763 0 0 0 5 0 0 0 20 0 15 0 118993693 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426487708016 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20763] ppid=20748 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20763/stat : 20763 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993694 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426486655456 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20764] ppid=20748 vsize=13974352 memory=140426236499584 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20764/stat : 20764 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993698 14309736448 9209 18446744073709551615 4194304 4196468 140735070780464 140426485603248 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38212 KiB
[startup+0.70083 s]
/proc/loadavg: 2.00 1.92 1.88 4/211 20764
/proc/meminfo: memFree=31158612/32770624 swapFree=67105588/67108860
[pid=20748] ppid=20745 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20748/stat : 20748 (xcsp3-exec) S 20745 20748 8557 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118993677 9740288 344 18446744073709551615 4194304 5098028 140729250245568 140729250243672 140080884105852 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14434304 140729250247033 140729250247237 140729250247237 140729250250731 0
/proc/20748/statm: 2378 344 289 221 0 87 0
[pid=20750] ppid=20748 vsize=13980732 memory=68092 CPUtime=1.01 cores=1,3,5,7
/proc/20750/stat : 20750 (java) S 20748 20748 8557 0 -1 1077944320 11716 0 0 0 97 4 0 0 20 0 15 0 118993688 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140735070763008 140427015462647 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
/proc/20750/statm: 3495183 17023 3160 1 0 3483476 0
[pid=20750/tid=20751] ppid=20748 vsize=13980732 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/20750/task/20751/stat : 20751 (java) R 20748 20748 8557 0 -1 4202560 7962 0 0 0 50 3 0 0 20 0 15 0 118993688 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140427019700032 140426659811581 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20752] ppid=20748 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20752/stat : 20752 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426615384464 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20753] ppid=20748 vsize=13980732 memory=7661300623433819735 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20753/stat : 20753 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426614331664 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20754] ppid=20748 vsize=13980732 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20754/stat : 20754 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426613279376 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20755] ppid=20748 vsize=13980732 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20755/stat : 20755 (java) S 20748 20748 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118993689 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426612226576 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20756] ppid=20748 vsize=13980732 memory=7100839870037596261 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20756/stat : 20756 (java) S 20748 20748 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118993690 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426494024304 140427015473794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20757] ppid=20748 vsize=13980732 memory=-8412661042793834637 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20757/stat : 20757 (java) S 20748 20748 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426492970272 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20758] ppid=20748 vsize=13980732 memory=4137282616176187523 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20758/stat : 20758 (java) S 20748 20748 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426491917936 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20759] ppid=20748 vsize=13980732 memory=-7531822216215565666 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20759/stat : 20759 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993693 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426490866256 140427015481243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20760] ppid=20748 vsize=13980732 memory=7682475212697334586 CPUtime=0.14 cores=1,3,5,7
/proc/20750/task/20760/stat : 20760 (java) S 20748 20748 8557 0 -1 1077944384 911 0 0 0 14 0 0 0 20 0 15 0 118993693 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426489813104 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20761] ppid=20748 vsize=13980732 memory=50304 CPUtime=0.09 cores=1,3,5,7
/proc/20750/task/20761/stat : 20761 (java) S 20748 20748 8557 0 -1 1077944384 403 0 0 0 9 0 0 0 20 0 15 0 118993693 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426488760304 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20762] ppid=20748 vsize=13980732 memory=-8774313645642428999 CPUtime=0.21 cores=1,3,5,7
/proc/20750/task/20762/stat : 20762 (java) S 20748 20748 8557 0 -1 1077944384 1133 0 0 0 21 0 0 0 20 0 15 0 118993693 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426487708016 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20763] ppid=20748 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20763/stat : 20763 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993694 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426486655456 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20764] ppid=20748 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20764/stat : 20764 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993698 14316269568 17023 18446744073709551615 4194304 4196468 140735070780464 140426485603248 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69468 KiB
[startup+1.50083 s]
/proc/loadavg: 2.00 1.92 1.88 3/211 20764
/proc/meminfo: memFree=31121796/32770624 swapFree=67105588/67108860
[pid=20748] ppid=20745 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20748/stat : 20748 (xcsp3-exec) S 20745 20748 8557 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118993677 9740288 344 18446744073709551615 4194304 5098028 140729250245568 140729250243672 140080884105852 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14434304 140729250247033 140729250247237 140729250247237 140729250250731 0
/proc/20748/statm: 2378 344 289 221 0 87 0
[pid=20750] ppid=20748 vsize=13980732 memory=160692 CPUtime=1.9 cores=1,3,5,7
/proc/20750/stat : 20750 (java) S 20748 20748 8557 0 -1 1077944320 13153 0 0 0 184 6 0 0 20 0 15 0 118993688 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140735070763008 140427015462647 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
/proc/20750/statm: 3495183 40173 3163 1 0 3483476 0
[pid=20750/tid=20751] ppid=20748 vsize=13980732 memory=-8774313645642428999 CPUtime=1.33 cores=1,3,5,7
/proc/20750/task/20751/stat : 20751 (java) R 20748 20748 8557 0 -1 4202560 9046 0 0 0 129 4 0 0 20 0 15 0 118993688 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140427019698184 140426659948368 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20752] ppid=20748 vsize=13980732 memory=3472468721522710886 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20752/stat : 20752 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426615384464 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20753] ppid=20748 vsize=13980732 memory=7162362510920917575 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20753/stat : 20753 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426614331664 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20754] ppid=20748 vsize=13980732 memory=4207739939749899048 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20754/stat : 20754 (java) S 20748 20748 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118993689 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426613279376 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20755] ppid=20748 vsize=13980732 memory=3472468721522717705 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20755/stat : 20755 (java) S 20748 20748 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118993689 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426612226576 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20756] ppid=20748 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20756/stat : 20756 (java) S 20748 20748 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118993690 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426494024304 140427015473794 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20757] ppid=20748 vsize=13980732 memory=6945503147706432880 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20757/stat : 20757 (java) S 20748 20748 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426492970272 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20758] ppid=20748 vsize=13980732 memory=-6804530832991035292 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20758/stat : 20758 (java) S 20748 20748 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426491917936 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20759] ppid=20748 vsize=13980732 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20759/stat : 20759 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993693 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426490866256 140427015481243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20760] ppid=20748 vsize=13980732 memory=-8412652169205224307 CPUtime=0.19 cores=1,3,5,7
/proc/20750/task/20760/stat : 20760 (java) S 20748 20748 8557 0 -1 1077944384 937 0 0 0 19 0 0 0 20 0 15 0 118993693 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426489813104 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20761] ppid=20748 vsize=13980732 memory=-6158907362674458769 CPUtime=0.13 cores=1,3,5,7
/proc/20750/task/20761/stat : 20761 (java) S 20748 20748 8557 0 -1 1077944384 433 0 0 0 13 0 0 0 20 0 15 0 118993693 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426488760304 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20762] ppid=20748 vsize=13980732 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/20750/task/20762/stat : 20762 (java) S 20748 20748 8557 0 -1 1077944384 1397 0 0 0 22 0 0 0 20 0 15 0 118993693 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426487708016 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20763] ppid=20748 vsize=13980732 memory=-2897801490638248215 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20763/stat : 20763 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993694 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426486655456 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20764] ppid=20748 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20764/stat : 20764 (java) S 20748 20748 8557 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 118993698 14316269568 40173 18446744073709551615 4194304 4196468 140735070780464 140426485603248 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
################
# More data... #
################
/proc/20748/stat : 20748 (xcsp3-exec) S 20745 20748 8557 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118993677 9740288 344 18446744073709551615 4194304 5098028 140729250245568 140729250243672 140080884105852 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14434304 140729250247033 140729250247237 140729250247237 140729250250731 0
/proc/20748/statm: 2378 344 289 221 0 87 0
[pid=20750] ppid=20748 vsize=13980732 memory=2496508 CPUtime=28.2 cores=1,3,5,7
/proc/20750/stat : 20750 (java) S 20748 20748 8557 0 -1 1077944320 57510 0 0 0 2563 257 0 0 20 0 15 0 118993688 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140735070763008 140427015462647 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
/proc/20750/statm: 3495183 624127 3210 1 0 3483476 0
[pid=20750/tid=20751] ppid=20748 vsize=13980732 memory=2087032 CPUtime=13.59 cores=1,3,5,7
/proc/20750/task/20751/stat : 20751 (java) S 20748 20748 8557 0 -1 1077944384 9748 0 0 0 1352 7 0 0 20 0 15 0 118993688 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140427019701072 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20752] ppid=20748 vsize=13980732 memory=-8774313645642428999 CPUtime=2.83 cores=1,3,5,7
/proc/20750/task/20752/stat : 20752 (java) S 20748 20748 8557 0 -1 1077944384 11735 0 0 0 224 59 0 0 20 0 15 0 118993689 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426615384464 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20753] ppid=20748 vsize=13980732 memory=766340 CPUtime=2.82 cores=1,3,5,7
/proc/20750/task/20753/stat : 20753 (java) S 20748 20748 8557 0 -1 1077944384 7604 0 0 0 218 64 0 0 20 0 15 0 118993689 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426614331664 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20754] ppid=20748 vsize=13980732 memory=7344 CPUtime=2.8 cores=1,3,5,7
/proc/20750/task/20754/stat : 20754 (java) S 20748 20748 8557 0 -1 1077944384 8596 0 0 0 223 57 0 0 20 0 15 0 118993689 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426613279376 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20755] ppid=20748 vsize=13980732 memory=1628 CPUtime=2.83 cores=1,3,5,7
/proc/20750/task/20755/stat : 20755 (java) S 20748 20748 8557 0 -1 1077944384 10378 0 0 0 219 64 0 0 20 0 15 0 118993689 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426612226576 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20756] ppid=20748 vsize=13980732 memory=14340 CPUtime=2.58 cores=1,3,5,7
/proc/20750/task/20756/stat : 20756 (java) R 20748 20748 8557 0 -1 4202560 2855 0 0 0 258 0 0 0 20 0 15 0 118993690 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426494022736 140427000163265 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20757] ppid=20748 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20757/stat : 20757 (java) S 20748 20748 8557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426492970272 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20758] ppid=20748 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20758/stat : 20758 (java) S 20748 20748 8557 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426491917936 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20759] ppid=20748 vsize=13980732 memory=15348 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20759/stat : 20759 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993693 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426490866256 140427015481243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20760] ppid=20748 vsize=13980732 memory=38416 CPUtime=0.2 cores=1,3,5,7
/proc/20750/task/20760/stat : 20760 (java) S 20748 20748 8557 0 -1 1077944384 969 0 0 0 20 0 0 0 20 0 15 0 118993693 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426489813104 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20761] ppid=20748 vsize=13980732 memory=4044 CPUtime=0.15 cores=1,3,5,7
/proc/20750/task/20761/stat : 20761 (java) S 20748 20748 8557 0 -1 1077944384 729 0 0 0 15 0 0 0 20 0 15 0 118993693 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426488760304 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20762] ppid=20748 vsize=13980732 memory=1376 CPUtime=0.32 cores=1,3,5,7
/proc/20750/task/20762/stat : 20762 (java) S 20748 20748 8557 0 -1 1077944384 3413 0 0 0 31 1 0 0 20 0 15 0 118993693 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426487708016 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20763] ppid=20748 vsize=13980732 memory=2496508 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20763/stat : 20763 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993694 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426486655456 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20764] ppid=20748 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20764/stat : 20764 (java) S 20748 20748 8557 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 118993698 14316269568 624127 18446744073709551615 4194304 4196468 140735070780464 140426485603248 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
Current children cumulated CPU time: 28.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2497884 KiB
[startup+20.8008 s]
/proc/loadavg: 1.84 1.89 1.87 3/211 20764
/proc/meminfo: memFree=28705396/32770624 swapFree=67105588/67108860
[pid=20748] ppid=20745 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20748/stat : 20748 (xcsp3-exec) S 20745 20748 8557 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118993677 9740288 344 18446744073709551615 4194304 5098028 140729250245568 140729250243672 140080884105852 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14434304 140729250247033 140729250247237 140729250247237 140729250250731 0
/proc/20748/statm: 2378 344 289 221 0 87 0
[pid=20750] ppid=20748 vsize=13980732 memory=2503704 CPUtime=30.19 cores=1,3,5,7
/proc/20750/stat : 20750 (java) S 20748 20748 8557 0 -1 1077944320 71907 0 0 0 2760 259 0 0 20 0 15 0 118993688 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140735070763008 140427015462647 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
/proc/20750/statm: 3495183 625926 3225 1 0 3483476 0
[pid=20750/tid=20751] ppid=20748 vsize=13980732 memory=0 CPUtime=14.81 cores=1,3,5,7
/proc/20750/task/20751/stat : 20751 (java) R 20748 20748 8557 0 -1 4202560 19256 0 0 0 1473 8 0 0 20 0 15 0 118993688 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140427019700800 140426661186219 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20752] ppid=20748 vsize=13980732 memory=1376 CPUtime=2.83 cores=1,3,5,7
/proc/20750/task/20752/stat : 20752 (java) S 20748 20748 8557 0 -1 1077944384 11738 0 0 0 224 59 0 0 20 0 15 0 118993689 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426615384464 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20753] ppid=20748 vsize=13980732 memory=2500028 CPUtime=2.82 cores=1,3,5,7
/proc/20750/task/20753/stat : 20753 (java) S 20748 20748 8557 0 -1 1077944384 7606 0 0 0 218 64 0 0 20 0 15 0 118993689 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426614331664 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20754] ppid=20748 vsize=13980732 memory=15 CPUtime=2.8 cores=1,3,5,7
/proc/20750/task/20754/stat : 20754 (java) S 20748 20748 8557 0 -1 1077944384 8599 0 0 0 223 57 0 0 20 0 15 0 118993689 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426613279376 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20755] ppid=20748 vsize=13980732 memory=32 CPUtime=2.83 cores=1,3,5,7
/proc/20750/task/20755/stat : 20755 (java) S 20748 20748 8557 0 -1 1077944384 10381 0 0 0 219 64 0 0 20 0 15 0 118993689 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426612226576 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20756] ppid=20748 vsize=13980732 memory=0 CPUtime=2.97 cores=1,3,5,7
/proc/20750/task/20756/stat : 20756 (java) S 20748 20748 8557 0 -1 1077944384 5358 0 0 0 296 1 0 0 20 0 15 0 118993690 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426494024304 140427015473794 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20757] ppid=20748 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20757/stat : 20757 (java) S 20748 20748 8557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426492970272 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20758] ppid=20748 vsize=13980732 memory=1359 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20758/stat : 20758 (java) S 20748 20748 8557 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426491917936 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20759] ppid=20748 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20759/stat : 20759 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993693 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426490866256 140427015481243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20760] ppid=20748 vsize=13980732 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/20750/task/20760/stat : 20760 (java) S 20748 20748 8557 0 -1 1077944384 1640 0 0 0 33 0 0 0 20 0 15 0 118993693 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426489813104 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20761] ppid=20748 vsize=13980732 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/20750/task/20761/stat : 20761 (java) S 20748 20748 8557 0 -1 1077944384 1807 0 0 0 33 0 0 0 20 0 15 0 118993693 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426488760304 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20762] ppid=20748 vsize=13980732 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/20750/task/20762/stat : 20762 (java) S 20748 20748 8557 0 -1 1077944384 4034 0 0 0 37 1 0 0 20 0 15 0 118993693 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426487708016 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20763] ppid=20748 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20763/stat : 20763 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993694 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426486655456 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20764] ppid=20748 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20764/stat : 20764 (java) S 20748 20748 8557 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 118993698 14316269568 625926 18446744073709551615 4194304 4196468 140735070780464 140426485603248 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
Current children cumulated CPU time: 30.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2505080 KiB
[startup+21.6008 s]
/proc/loadavg: 1.84 1.89 1.87 3/211 20764
/proc/meminfo: memFree=28699940/32770624 swapFree=67105588/67108860
[pid=20748] ppid=20745 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20748/stat : 20748 (xcsp3-exec) S 20745 20748 8557 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118993677 9740288 344 18446744073709551615 4194304 5098028 140729250245568 140729250243672 140080884105852 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14434304 140729250247033 140729250247237 140729250247237 140729250250731 0
/proc/20748/statm: 2378 344 289 221 0 87 0
[pid=20750] ppid=20748 vsize=13980732 memory=2505808 CPUtime=31.19 cores=1,3,5,7
/proc/20750/stat : 20750 (java) S 20748 20748 8557 0 -1 1077944320 72632 0 0 0 2860 259 0 0 20 0 15 0 118993688 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140735070763008 140427015462647 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
/proc/20750/statm: 3495183 626452 3230 1 0 3483476 0
[pid=20750/tid=20751] ppid=20748 vsize=13980732 memory=1240 CPUtime=15.61 cores=1,3,5,7
/proc/20750/task/20751/stat : 20751 (java) R 20748 20748 8557 0 -1 4202560 19410 0 0 0 1553 8 0 0 20 0 15 0 118993688 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140427019698400 140426660871676 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20752] ppid=20748 vsize=13980732 memory=2384 CPUtime=2.83 cores=1,3,5,7
/proc/20750/task/20752/stat : 20752 (java) S 20748 20748 8557 0 -1 1077944384 11738 0 0 0 224 59 0 0 20 0 15 0 118993689 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426615384464 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20753] ppid=20748 vsize=13980732 memory=1672 CPUtime=2.82 cores=1,3,5,7
/proc/20750/task/20753/stat : 20753 (java) S 20748 20748 8557 0 -1 1077944384 7606 0 0 0 218 64 0 0 20 0 15 0 118993689 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426614331664 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20754] ppid=20748 vsize=13980732 memory=1376 CPUtime=2.8 cores=1,3,5,7
/proc/20750/task/20754/stat : 20754 (java) S 20748 20748 8557 0 -1 1077944384 8599 0 0 0 223 57 0 0 20 0 15 0 118993689 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426613279376 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20755] ppid=20748 vsize=13980732 memory=2503636 CPUtime=2.83 cores=1,3,5,7
/proc/20750/task/20755/stat : 20755 (java) S 20748 20748 8557 0 -1 1077944384 10381 0 0 0 219 64 0 0 20 0 15 0 118993689 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426612226576 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20756] ppid=20748 vsize=13980732 memory=-8774313645642428999 CPUtime=2.97 cores=1,3,5,7
/proc/20750/task/20756/stat : 20756 (java) S 20748 20748 8557 0 -1 1077944384 5358 0 0 0 296 1 0 0 20 0 15 0 118993690 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426494024304 140427015473794 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20757] ppid=20748 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20757/stat : 20757 (java) S 20748 20748 8557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426492970272 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20758] ppid=20748 vsize=13980732 memory=1672 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20758/stat : 20758 (java) S 20748 20748 8557 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426491917936 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20759] ppid=20748 vsize=13980732 memory=5768 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20759/stat : 20759 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993693 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426490866256 140427015481243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20760] ppid=20748 vsize=13980732 memory=4584 CPUtime=0.37 cores=1,3,5,7
/proc/20750/task/20760/stat : 20760 (java) S 20748 20748 8557 0 -1 1077944384 1649 0 0 0 37 0 0 0 20 0 15 0 118993693 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426489813104 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20761] ppid=20748 vsize=13980732 memory=872 CPUtime=0.48 cores=1,3,5,7
/proc/20750/task/20761/stat : 20761 (java) R 20748 20748 8557 0 -1 4202560 2340 0 0 0 48 0 0 0 20 0 15 0 118993693 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426488760304 140427000389200 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20762] ppid=20748 vsize=13980732 memory=1992 CPUtime=0.4 cores=1,3,5,7
/proc/20750/task/20762/stat : 20762 (java) S 20748 20748 8557 0 -1 1077944384 4063 0 0 0 39 1 0 0 20 0 15 0 118993693 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426487708016 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20763] ppid=20748 vsize=13980732 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20763/stat : 20763 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993694 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426486655456 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20764] ppid=20748 vsize=13980732 memory=7344 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20764/stat : 20764 (java) S 20748 20748 8557 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 118993698 14316269568 626452 18446744073709551615 4194304 4196468 140735070780464 140426485603248 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
Current children cumulated CPU time: 31.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2507184 KiB
[startup+21.8008 s]
/proc/loadavg: 1.84 1.89 1.87 3/211 20764
/proc/meminfo: memFree=28699940/32770624 swapFree=67105588/67108860
[pid=20748] ppid=20745 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20748/stat : 20748 (xcsp3-exec) S 20745 20748 8557 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 118993677 9740288 344 18446744073709551615 4194304 5098028 140729250245568 140729250243672 140080884105852 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 14434304 140729250247033 140729250247237 140729250247237 140729250250731 0
/proc/20748/statm: 2378 344 289 221 0 87 0
[pid=20750] ppid=20748 vsize=13980732 memory=2505944 CPUtime=31.45 cores=1,3,5,7
/proc/20750/stat : 20750 (java) S 20748 20748 8557 0 -1 1077944320 72660 0 0 0 2886 259 0 0 20 0 15 0 118993688 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140735070763008 140427015462647 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
/proc/20750/statm: 3495183 626486 3231 1 0 3483476 0
[pid=20750/tid=20751] ppid=20748 vsize=13980732 memory=796 CPUtime=15.81 cores=1,3,5,7
/proc/20750/task/20751/stat : 20751 (java) R 20748 20748 8557 0 -1 4202560 19411 0 0 0 1573 8 0 0 20 0 15 0 118993688 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140427019698400 140426661438486 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20752] ppid=20748 vsize=13980732 memory=1228 CPUtime=2.83 cores=1,3,5,7
/proc/20750/task/20752/stat : 20752 (java) S 20748 20748 8557 0 -1 1077944384 11738 0 0 0 224 59 0 0 20 0 15 0 118993689 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426615384464 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20753] ppid=20748 vsize=13980732 memory=1376 CPUtime=2.82 cores=1,3,5,7
/proc/20750/task/20753/stat : 20753 (java) S 20748 20748 8557 0 -1 1077944384 7606 0 0 0 218 64 0 0 20 0 15 0 118993689 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426614331664 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20754] ppid=20748 vsize=13980732 memory=5768 CPUtime=2.8 cores=1,3,5,7
/proc/20750/task/20754/stat : 20754 (java) S 20748 20748 8557 0 -1 1077944384 8599 0 0 0 223 57 0 0 20 0 15 0 118993689 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426613279376 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20755] ppid=20748 vsize=13980732 memory=4584 CPUtime=2.83 cores=1,3,5,7
/proc/20750/task/20755/stat : 20755 (java) S 20748 20748 8557 0 -1 1077944384 10381 0 0 0 219 64 0 0 20 0 15 0 118993689 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426612226576 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20756] ppid=20748 vsize=13980732 memory=872 CPUtime=2.97 cores=1,3,5,7
/proc/20750/task/20756/stat : 20756 (java) S 20748 20748 8557 0 -1 1077944384 5358 0 0 0 296 1 0 0 20 0 15 0 118993690 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426494024304 140427015473794 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20757] ppid=20748 vsize=13980732 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20757/stat : 20757 (java) S 20748 20748 8557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426492970272 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20758] ppid=20748 vsize=13980732 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20758/stat : 20758 (java) S 20748 20748 8557 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 118993691 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426491917936 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20759] ppid=20748 vsize=13980732 memory=7344 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20759/stat : 20759 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993693 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426490866256 140427015481243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20760] ppid=20748 vsize=13980732 memory=1628 CPUtime=0.42 cores=1,3,5,7
/proc/20750/task/20760/stat : 20760 (java) S 20748 20748 8557 0 -1 1077944384 1660 0 0 0 42 0 0 0 20 0 15 0 118993693 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426489813104 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20761] ppid=20748 vsize=13980732 memory=14340 CPUtime=0.49 cores=1,3,5,7
/proc/20750/task/20761/stat : 20761 (java) S 20748 20748 8557 0 -1 1077944384 2353 0 0 0 49 0 0 0 20 0 15 0 118993693 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426488760304 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20762] ppid=20748 vsize=13980732 memory=796 CPUtime=0.41 cores=1,3,5,7
/proc/20750/task/20762/stat : 20762 (java) S 20748 20748 8557 0 -1 1077944384 4066 0 0 0 40 1 0 0 20 0 15 0 118993693 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426487708016 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20763] ppid=20748 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20763/stat : 20763 (java) S 20748 20748 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118993694 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426486655456 140427015472853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
[pid=20750/tid=20764] ppid=20748 vsize=13980732 memory=1400 CPUtime=0 cores=1,3,5,7
/proc/20750/task/20764/stat : 20764 (java) S 20748 20748 8557 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 118993698 14316269568 626486 18446744073709551615 4194304 4196468 140735070780464 140426485603248 140427015473794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140735070781873 140735070782049 140735070782049 140735070785487 0
Current children cumulated CPU time: 31.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2507320 KiB
Child status: 0
Real time (s): 21.8518
CPU time (s): 31.5243
CPU user time (s): 28.912
CPU system time (s): 2.61233
CPU usage (%): 144.264
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2507320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.912
system time used= 2.61233
maximum resident set size= 2506868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3155
involuntary context switches= 167
# summary of solver processes directly reported to runsolver:
# pid: 20748
# total CPU time (s): 31.5243
# total CPU user time (s): 28.912
# total CPU system time (s): 2.61233
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.158911 second user time and 0.249326 second system time
The end