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 (15253 MiB free)
memory of node 1: 16384 MiB (14726 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283892-1503200555/watcher-4283892-1503200555 -o /tmp/evaluation-result-4283892-1503200555/solver-4283892-1503200555 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1043681973 HOME/instance-4283892-1503200555.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=27779, runsolver pid=27776
[startup+0.100155 s]*
/proc/loadavg: 1.67 1.65 1.66 2/196 27780
/proc/meminfo: memFree=30699132/32770624 swapFree=67105588/67108860
[pid=27779] ppid=27776 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27779/stat : 27779 (xcsp3-exec) S 27776 27779 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122250548 9740288 345 18446744073709551615 4194304 5098028 140731120848544 140731120846648 140119659885180 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 9162752 140731120857464 140731120857669 140731120857669 140731120861163 0
/proc/27779/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.209326 s]*
/proc/loadavg: 1.67 1.65 1.66 2/210 27794
/proc/meminfo: memFree=30688192/32770624 swapFree=67105588/67108860
[pid=27779] ppid=27776 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27779/stat : 27779 (xcsp3-exec) S 27776 27779 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122250548 9740288 345 18446744073709551615 4194304 5098028 140731120848544 140731120846648 140119659885180 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 9162752 140731120857464 140731120857669 140731120857669 140731120861163 0
/proc/27779/statm: 2378 345 289 221 0 87 0
[pid=27781] ppid=27779 vsize=13907304 memory=21668 CPUtime=0.05 cores=0,2,4,6
/proc/27781/stat : 27781 (java) S 27779 27779 8557 0 -1 1077944320 4805 0 0 0 4 1 0 0 20 0 14 0 122250559 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140721190227136 140513673842423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
/proc/27781/statm: 3476826 5417 2577 1 0 3466323 0
[pid=27781/tid=27782] ppid=27779 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/27781/task/27782/stat : 27782 (java) D 27779 27779 8557 0 -1 4202560 2978 0 0 0 3 1 0 0 20 0 14 0 122250559 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513678079904 140513673864445 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27783] ppid=27779 vsize=13907304 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27783/stat : 27783 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122250560 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513615788560 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27784] ppid=27779 vsize=13907304 memory=3618556445832578720 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27784/stat : 27784 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122250560 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513614736016 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27785] ppid=27779 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27785/stat : 27785 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122250560 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513271879952 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27786] ppid=27779 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27786/stat : 27786 (java) S 27779 27779 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122250560 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513270827408 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27787] ppid=27779 vsize=13907304 memory=140411868350080 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27787/stat : 27787 (java) S 27779 27779 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122250561 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513219599088 140513673853570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27788] ppid=27779 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27788/stat : 27788 (java) S 27779 27779 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 122250562 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513218545312 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27789] ppid=27779 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27789/stat : 27789 (java) S 27779 27779 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 122250562 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513217492208 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27790] ppid=27779 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27790/stat : 27790 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122250564 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513216440784 140513673861019 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27791] ppid=27779 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27791/stat : 27791 (java) S 27779 27779 8557 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 122250564 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513215387888 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27792] ppid=27779 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27792/stat : 27792 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122250564 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513214335344 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27793] ppid=27779 vsize=13907304 memory=140411868350080 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27793/stat : 27793 (java) S 27779 27779 8557 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 122250564 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513213282288 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27794] ppid=27779 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27794/stat : 27794 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122250565 14241079296 5417 18446744073709551615 4194304 4196468 140721190244592 140513212229984 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23048 KiB
[startup+0.309948 s]*
/proc/loadavg: 1.67 1.65 1.66 4/211 27795
/proc/meminfo: memFree=30682292/32770624 swapFree=67105588/67108860
[pid=27779] ppid=27776 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27779/stat : 27779 (xcsp3-exec) S 27776 27779 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122250548 9740288 345 18446744073709551615 4194304 5098028 140731120848544 140731120846648 140119659885180 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 9162752 140731120857464 140731120857669 140731120857669 140731120861163 0
/proc/27779/statm: 2378 345 289 221 0 87 0
[pid=27781] ppid=27779 vsize=13974352 memory=30288 CPUtime=0.15 cores=0,2,4,6
/proc/27781/stat : 27781 (java) S 27779 27779 8557 0 -1 1077944320 6016 0 0 0 13 2 0 0 20 0 15 0 122250559 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140721190227136 140513673842423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
/proc/27781/statm: 3493588 7572 2916 1 0 3482964 0
[pid=27781/tid=27782] ppid=27779 vsize=13974352 memory=-8774313645642428999 CPUtime=0.1 cores=0,2,4,6
/proc/27781/task/27782/stat : 27782 (java) R 27779 27779 8557 0 -1 4202560 3425 0 0 0 9 1 0 0 20 0 15 0 122250559 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513678071464 140513653437030 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27783] ppid=27779 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27783/stat : 27783 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122250560 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513615788560 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27784] ppid=27779 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27784/stat : 27784 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122250560 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513614736016 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27785] ppid=27779 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27785/stat : 27785 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122250560 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513271879952 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27786] ppid=27779 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27786/stat : 27786 (java) S 27779 27779 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122250560 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513270827408 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27787] ppid=27779 vsize=13974352 memory=140411868350080 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27787/stat : 27787 (java) S 27779 27779 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122250561 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513219599088 140513673853570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27788] ppid=27779 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27788/stat : 27788 (java) S 27779 27779 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122250562 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513218545312 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27789] ppid=27779 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27789/stat : 27789 (java) S 27779 27779 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122250562 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513217492208 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27790] ppid=27779 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27790/stat : 27790 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250564 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513216440784 140513673861019 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27791] ppid=27779 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27781/task/27791/stat : 27791 (java) S 27779 27779 8557 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 122250564 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513215387888 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27792] ppid=27779 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27792/stat : 27792 (java) S 27779 27779 8557 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 122250564 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513214335344 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27793] ppid=27779 vsize=13974352 memory=140411868350080 CPUtime=0.02 cores=0,2,4,6
/proc/27781/task/27793/stat : 27793 (java) R 27779 27779 8557 0 -1 4202560 689 0 0 0 2 0 0 0 20 0 15 0 122250564 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513213278344 140513653240939 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27794] ppid=27779 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27794/stat : 27794 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250565 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513212229984 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27795] ppid=27779 vsize=13974352 memory=140411868350080 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27795/stat : 27795 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122250574 14309736448 7572 18446744073709551615 4194304 4196468 140721190244592 140513143417904 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31668 KiB
[startup+0.701827 s]
/proc/loadavg: 1.67 1.65 1.66 4/211 27795
/proc/meminfo: memFree=30664784/32770624 swapFree=67105588/67108860
[pid=27779] ppid=27776 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27779/stat : 27779 (xcsp3-exec) S 27776 27779 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122250548 9740288 345 18446744073709551615 4194304 5098028 140731120848544 140731120846648 140119659885180 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 9162752 140731120857464 140731120857669 140731120857669 140731120861163 0
/proc/27779/statm: 2378 345 289 221 0 87 0
[pid=27781] ppid=27779 vsize=13978684 memory=126380 CPUtime=0.87 cores=0,2,4,6
/proc/27781/stat : 27781 (java) S 27779 27779 8557 0 -1 1077944320 11448 0 0 0 80 7 0 0 20 0 15 0 122250559 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140721190227136 140513673842423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
/proc/27781/statm: 3494671 31595 3135 1 0 3482964 0
[pid=27781/tid=27782] ppid=27779 vsize=13978684 memory=7084817944770855017 CPUtime=0.49 cores=0,2,4,6
/proc/27781/task/27782/stat : 27782 (java) R 27779 27779 8557 0 -1 4202560 7806 0 0 0 43 6 0 0 20 0 15 0 122250559 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513678078112 140513673863770 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27783] ppid=27779 vsize=13978684 memory=5860980096798707792 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27783/stat : 27783 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122250560 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513615788560 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27784] ppid=27779 vsize=13978684 memory=5788930165031592000 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27784/stat : 27784 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122250560 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513614736016 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27785] ppid=27779 vsize=13978684 memory=3054156467844169808 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27785/stat : 27785 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122250560 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513271879952 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27786] ppid=27779 vsize=13978684 memory=-8412656567318647667 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27786/stat : 27786 (java) S 27779 27779 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122250560 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513270827408 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27787] ppid=27779 vsize=13978684 memory=1329904169539632283 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27787/stat : 27787 (java) S 27779 27779 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122250561 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513219599088 140513673853570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27788] ppid=27779 vsize=13978684 memory=-7173504570860347296 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27788/stat : 27788 (java) S 27779 27779 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122250562 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513218545312 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27789] ppid=27779 vsize=13978684 memory=6944665225511868275 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27789/stat : 27789 (java) S 27779 27779 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122250562 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513217492208 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27790] ppid=27779 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27790/stat : 27790 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250564 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513216440784 140513673861019 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27791] ppid=27779 vsize=13978684 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27781/task/27791/stat : 27791 (java) R 27779 27779 8557 0 -1 4202560 729 0 0 0 9 0 0 0 20 0 15 0 122250564 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513215379536 140513657373951 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27792] ppid=27779 vsize=13978684 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27781/task/27792/stat : 27792 (java) R 27779 27779 8557 0 -1 4202560 456 0 0 0 8 0 0 0 20 0 15 0 122250564 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513214328368 140513657371216 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27793] ppid=27779 vsize=13978684 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/27781/task/27793/stat : 27793 (java) R 27779 27779 8557 0 -1 1077944384 1153 0 0 0 19 0 0 0 20 0 15 0 122250564 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513213278240 140513673852629 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27794] ppid=27779 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27794/stat : 27794 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250565 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513212229984 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27795] ppid=27779 vsize=13978684 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27795/stat : 27795 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122250574 14314172416 31595 18446744073709551615 4194304 4196468 140721190244592 140513143417904 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 127760 KiB
[startup+1.50082 s]
/proc/loadavg: 1.67 1.65 1.66 5/211 27795
/proc/meminfo: memFree=30461624/32770624 swapFree=67105588/67108860
[pid=27779] ppid=27776 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27779/stat : 27779 (xcsp3-exec) S 27776 27779 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122250548 9740288 345 18446744073709551615 4194304 5098028 140731120848544 140731120846648 140119659885180 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 9162752 140731120857464 140731120857669 140731120857669 140731120861163 0
/proc/27779/statm: 2378 345 289 221 0 87 0
[pid=27781] ppid=27779 vsize=13978684 memory=418964 CPUtime=2.64 cores=0,2,4,6
/proc/27781/stat : 27781 (java) S 27779 27779 8557 0 -1 1077944320 14332 0 0 0 245 19 0 0 20 0 15 0 122250559 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140721190227136 140513673842423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
/proc/27781/statm: 3494671 104741 3199 1 0 3482964 0
[pid=27781/tid=27782] ppid=27779 vsize=13978684 memory=0 CPUtime=1.21 cores=0,2,4,6
/proc/27781/task/27782/stat : 27782 (java) R 27779 27779 8557 0 -1 4202560 7908 0 0 0 113 8 0 0 20 0 15 0 122250559 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513678080416 140513297095101 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27783] ppid=27779 vsize=13978684 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/27781/task/27783/stat : 27783 (java) S 27779 27779 8557 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 15 0 122250560 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513615788560 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27784] ppid=27779 vsize=13978684 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/27781/task/27784/stat : 27784 (java) S 27779 27779 8557 0 -1 1077944384 94 0 0 0 3 2 0 0 20 0 15 0 122250560 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513614736016 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27785] ppid=27779 vsize=13978684 memory=280823484673696 CPUtime=0.05 cores=0,2,4,6
/proc/27781/task/27785/stat : 27785 (java) S 27779 27779 8557 0 -1 1077944384 108 0 0 0 3 2 0 0 20 0 15 0 122250560 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513271879952 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27786] ppid=27779 vsize=13978684 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/27781/task/27786/stat : 27786 (java) S 27779 27779 8557 0 -1 1077944384 146 0 0 0 4 2 0 0 20 0 15 0 122250560 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513270827408 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27787] ppid=27779 vsize=13978684 memory=140411742350976 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27787/stat : 27787 (java) S 27779 27779 8557 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 122250561 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513219599088 140513673853570 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27788] ppid=27779 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27788/stat : 27788 (java) S 27779 27779 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122250562 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513218545376 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27789] ppid=27779 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27789/stat : 27789 (java) S 27779 27779 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122250562 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513217492224 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27790] ppid=27779 vsize=13978684 memory=280823484695776 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27790/stat : 27790 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250564 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513216440784 140513673861019 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27791] ppid=27779 vsize=13978684 memory=75 CPUtime=0.47 cores=0,2,4,6
/proc/27781/task/27791/stat : 27791 (java) S 27779 27779 8557 0 -1 1077944384 1729 0 0 0 47 0 0 0 20 0 15 0 122250564 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513215387888 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27792] ppid=27779 vsize=13978684 memory=140411742164150 CPUtime=0.44 cores=0,2,4,6
/proc/27781/task/27792/stat : 27792 (java) S 27779 27779 8557 0 -1 1077944384 1498 0 0 0 44 0 0 0 20 0 15 0 122250564 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513214335344 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27793] ppid=27779 vsize=13978684 memory=280823484281776 CPUtime=0.26 cores=0,2,4,6
/proc/27781/task/27793/stat : 27793 (java) S 27779 27779 8557 0 -1 1077944384 1282 0 0 0 26 0 0 0 20 0 15 0 122250564 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513213282288 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27794] ppid=27779 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27794/stat : 27794 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250565 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513212229984 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27795] ppid=27779 vsize=13978684 memory=280823484205504 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27795/stat : 27795 (java) S 27779 27779 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122250574 14314172416 104741 18446744073709551615 4194304 4196468 140721190244592 140513143417904 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 13988196 KiB
################
# More data... #
################
/proc/27781/task/27783/stat : 27783 (java) S 27779 27779 8557 0 -1 1077944384 542 0 0 0 22 14 0 0 20 0 15 0 122250560 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513615788560 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27784] ppid=27779 vsize=13980732 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/27781/task/27784/stat : 27784 (java) S 27779 27779 8557 0 -1 1077944384 524 0 0 0 21 14 0 0 20 0 15 0 122250560 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513614736016 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27785] ppid=27779 vsize=13980732 memory=280823484313856 CPUtime=0.35 cores=0,2,4,6
/proc/27781/task/27785/stat : 27785 (java) S 27779 27779 8557 0 -1 1077944384 671 0 0 0 21 14 0 0 20 0 15 0 122250560 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513271879952 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27786] ppid=27779 vsize=13980732 memory=-9181546050914066336 CPUtime=0.37 cores=0,2,4,6
/proc/27781/task/27786/stat : 27786 (java) S 27779 27779 8557 0 -1 1077944384 527 0 0 0 24 13 0 0 20 0 15 0 122250560 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513270827408 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27787] ppid=27779 vsize=13980732 memory=3472464309114807087 CPUtime=0.01 cores=0,2,4,6
/proc/27781/task/27787/stat : 27787 (java) S 27779 27779 8557 0 -1 1077944384 1375 0 0 0 1 0 0 0 20 0 15 0 122250561 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513219599088 140513673853570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27788] ppid=27779 vsize=13980732 memory=4498404016631590714 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27788/stat : 27788 (java) S 27779 27779 8557 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 122250562 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513218545376 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27789] ppid=27779 vsize=13980732 memory=9057 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27789/stat : 27789 (java) S 27779 27779 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 122250562 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513217492224 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27790] ppid=27779 vsize=13980732 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27790/stat : 27790 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250564 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513216440784 140513673861019 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27791] ppid=27779 vsize=13980732 memory=6628 CPUtime=0.9 cores=0,2,4,6
/proc/27781/task/27791/stat : 27791 (java) R 27779 27779 8557 0 -1 4202560 3010 0 0 0 90 0 0 0 20 0 15 0 122250564 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513215387072 140513657049058 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27792] ppid=27779 vsize=13980732 memory=8836 CPUtime=0.86 cores=0,2,4,6
/proc/27781/task/27792/stat : 27792 (java) R 27779 27779 8557 0 -1 4202560 2840 0 0 0 86 0 0 0 20 0 15 0 122250564 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513214324144 140513655386607 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27793] ppid=27779 vsize=13980732 memory=1240 CPUtime=0.5 cores=0,2,4,6
/proc/27781/task/27793/stat : 27793 (java) S 27779 27779 8557 0 -1 1077944384 2820 0 0 0 49 1 0 0 20 0 15 0 122250564 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513213282288 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 64 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27794] ppid=27779 vsize=13980732 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27794/stat : 27794 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250565 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513212229984 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27795] ppid=27779 vsize=13980732 memory=1672 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27795/stat : 27795 (java) S 27779 27779 8557 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 122250574 14316269568 379729 18446744073709551615 4194304 4196468 140721190244592 140513143417904 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 66 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
Current children cumulated CPU time: 9.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1520296 KiB
[startup+7.29173 s]
# the end of solver process 27779 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.8626 s, system=0.847204 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40099 s]
/proc/loadavg: 1.70 1.66 1.66 6/211 27795
/proc/meminfo: memFree=29199452/32770624 swapFree=67105588/67108860
[pid=27779] ppid=27776 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27779/stat : 27779 (xcsp3-exec) S 27776 27779 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122250548 9740288 345 18446744073709551615 4194304 5098028 140731120848544 140731120846648 140119659885180 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 9162752 140731120857464 140731120857669 140731120857669 140731120861163 0
/proc/27779/statm: 2378 345 289 221 0 87 0
[pid=27781] ppid=27779 vsize=13980732 memory=1519280 CPUtime=9.75 cores=0,2,4,6
/proc/27781/stat : 27781 (java) S 27779 27779 8557 0 -1 1077944320 26746 0 0 0 893 82 0 0 20 0 15 0 122250559 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140721190227136 140513673842423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
/proc/27781/statm: 3495183 379820 3221 1 0 3483476 0
[pid=27781/tid=27782] ppid=27779 vsize=13980732 memory=15540738687502695 CPUtime=5.75 cores=0,2,4,6
/proc/27781/task/27782/stat : 27782 (java) R 27779 27779 8557 0 -1 4202560 12780 0 0 0 554 21 0 0 20 0 15 0 122250559 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513678077808 140513299782332 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27783] ppid=27779 vsize=13980732 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/27781/task/27783/stat : 27783 (java) S 27779 27779 8557 0 -1 1077944384 542 0 0 0 22 14 0 0 20 0 15 0 122250560 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513615788560 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27784] ppid=27779 vsize=13980732 memory=1380 CPUtime=0.35 cores=0,2,4,6
/proc/27781/task/27784/stat : 27784 (java) S 27779 27779 8557 0 -1 1077944384 524 0 0 0 21 14 0 0 20 0 15 0 122250560 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513614736016 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27785] ppid=27779 vsize=13980732 memory=419000 CPUtime=0.35 cores=0,2,4,6
/proc/27781/task/27785/stat : 27785 (java) S 27779 27779 8557 0 -1 1077944384 671 0 0 0 21 14 0 0 20 0 15 0 122250560 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513271879952 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27786] ppid=27779 vsize=13980732 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/27781/task/27786/stat : 27786 (java) S 27779 27779 8557 0 -1 1077944384 527 0 0 0 24 13 0 0 20 0 15 0 122250560 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513270827408 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27787] ppid=27779 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27781/task/27787/stat : 27787 (java) S 27779 27779 8557 0 -1 1077944384 1375 0 0 0 1 0 0 0 20 0 15 0 122250561 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513219599088 140513673853570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27788] ppid=27779 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27788/stat : 27788 (java) S 27779 27779 8557 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 122250562 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513218545376 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27789] ppid=27779 vsize=13980732 memory=576574510189602056 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27789/stat : 27789 (java) S 27779 27779 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 122250562 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513217492224 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27790] ppid=27779 vsize=13980732 memory=-7028383565733675155 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27790/stat : 27790 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250564 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513216440784 140513673861019 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27791] ppid=27779 vsize=13980732 memory=1380 CPUtime=1 cores=0,2,4,6
/proc/27781/task/27791/stat : 27791 (java) R 27779 27779 8557 0 -1 4202560 3184 0 0 0 100 0 0 0 20 0 15 0 122250564 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513215387072 140513655387653 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27792] ppid=27779 vsize=13980732 memory=1515376 CPUtime=0.96 cores=0,2,4,6
/proc/27781/task/27792/stat : 27792 (java) R 27779 27779 8557 0 -1 4202560 2893 0 0 0 96 0 0 0 20 0 15 0 122250564 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513214325456 140513657373914 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27793] ppid=27779 vsize=13980732 memory=1628 CPUtime=0.51 cores=0,2,4,6
/proc/27781/task/27793/stat : 27793 (java) S 27779 27779 8557 0 -1 1077944384 2834 0 0 0 50 1 0 0 20 0 15 0 122250564 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513213282288 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 64 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27794] ppid=27779 vsize=13980732 memory=14340 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27794/stat : 27794 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250565 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513212229984 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27795] ppid=27779 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27795/stat : 27795 (java) S 27779 27779 8557 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 122250574 14316269568 379820 18446744073709551615 4194304 4196468 140721190244592 140513143417904 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 66 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
Current children cumulated CPU time: 9.75 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1520660 KiB
[startup+6.80079 s]
/proc/loadavg: 1.70 1.66 1.66 6/211 27795
/proc/meminfo: memFree=29199452/32770624 swapFree=67105588/67108860
[pid=27779] ppid=27776 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27779/stat : 27779 (xcsp3-exec) S 27776 27779 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122250548 9740288 345 18446744073709551615 4194304 5098028 140731120848544 140731120846648 140119659885180 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 9162752 140731120857464 140731120857669 140731120857669 140731120861163 0
/proc/27779/statm: 2378 345 289 221 0 87 0
[pid=27781] ppid=27779 vsize=13980732 memory=1525240 CPUtime=10.94 cores=0,2,4,6
/proc/27781/stat : 27781 (java) S 27779 27779 8557 0 -1 1077944320 28475 0 0 0 1011 83 0 0 20 0 15 0 122250559 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140721190227136 140513673842423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
/proc/27781/statm: 3495183 381310 3227 1 0 3483476 0
[pid=27781/tid=27782] ppid=27779 vsize=13980732 memory=4498404016631590714 CPUtime=6.14 cores=0,2,4,6
/proc/27781/task/27782/stat : 27782 (java) R 27779 27779 8557 0 -1 4202560 12780 0 0 0 593 21 0 0 20 0 15 0 122250559 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513678079600 140513299156875 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27783] ppid=27779 vsize=13980732 memory=-8774313645642428999 CPUtime=0.36 cores=0,2,4,6
/proc/27781/task/27783/stat : 27783 (java) S 27779 27779 8557 0 -1 1077944384 542 0 0 0 22 14 0 0 20 0 15 0 122250560 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513615788560 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27784] ppid=27779 vsize=13980732 memory=922032 CPUtime=0.35 cores=0,2,4,6
/proc/27781/task/27784/stat : 27784 (java) S 27779 27779 8557 0 -1 1077944384 524 0 0 0 21 14 0 0 20 0 15 0 122250560 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513614736016 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27785] ppid=27779 vsize=13980732 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/27781/task/27785/stat : 27785 (java) S 27779 27779 8557 0 -1 1077944384 671 0 0 0 21 14 0 0 20 0 15 0 122250560 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513271879952 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27786] ppid=27779 vsize=13980732 memory=1400 CPUtime=0.37 cores=0,2,4,6
/proc/27781/task/27786/stat : 27786 (java) S 27779 27779 8557 0 -1 1077944384 527 0 0 0 24 13 0 0 20 0 15 0 122250560 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513270827408 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27787] ppid=27779 vsize=13980732 memory=15348 CPUtime=0.01 cores=0,2,4,6
/proc/27781/task/27787/stat : 27787 (java) S 27779 27779 8557 0 -1 1077944384 1375 0 0 0 1 0 0 0 20 0 15 0 122250561 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513219599088 140513673853570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27788] ppid=27779 vsize=13980732 memory=39448 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27788/stat : 27788 (java) S 27779 27779 8557 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 122250562 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513218545376 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27789] ppid=27779 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27789/stat : 27789 (java) S 27779 27779 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 122250562 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513217492224 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27790] ppid=27779 vsize=13980732 memory=-6876588628788210059 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27790/stat : 27790 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250564 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513216440784 140513673861019 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27791] ppid=27779 vsize=13980732 memory=8128038100524242582 CPUtime=1.4 cores=0,2,4,6
/proc/27781/task/27791/stat : 27791 (java) R 27779 27779 8557 0 -1 4202560 4255 0 0 0 139 1 0 0 20 0 15 0 122250564 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513215377360 140513651730951 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27792] ppid=27779 vsize=13980732 memory=-6237260532469557610 CPUtime=1.32 cores=0,2,4,6
/proc/27781/task/27792/stat : 27792 (java) R 27779 27779 8557 0 -1 4202560 3466 0 0 0 132 0 0 0 20 0 15 0 122250564 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513214335344 140513657339152 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27793] ppid=27779 vsize=13980732 memory=-7606742920825102191 CPUtime=0.55 cores=0,2,4,6
/proc/27781/task/27793/stat : 27793 (java) S 27779 27779 8557 0 -1 1077944384 2919 0 0 0 54 1 0 0 20 0 15 0 122250564 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513213282288 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 64 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27794] ppid=27779 vsize=13980732 memory=4351193298436184406 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27794/stat : 27794 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250565 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513212229984 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27795] ppid=27779 vsize=13980732 memory=8128038100524242582 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27795/stat : 27795 (java) S 27779 27779 8557 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 122250574 14316269568 381310 18446744073709551615 4194304 4196468 140721190244592 140513143417904 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 66 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
Current children cumulated CPU time: 10.94 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1526620 KiB
[startup+7.20074 s]
/proc/loadavg: 1.70 1.66 1.66 3/211 27795
/proc/meminfo: memFree=29190772/32770624 swapFree=67105588/67108860
[pid=27779] ppid=27776 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27779/stat : 27779 (xcsp3-exec) S 27776 27779 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122250548 9740288 345 18446744073709551615 4194304 5098028 140731120848544 140731120846648 140119659885180 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 9162752 140731120857464 140731120857669 140731120857669 140731120861163 0
/proc/27779/statm: 2378 345 289 221 0 87 0
[pid=27781] ppid=27779 vsize=13980732 memory=1525576 CPUtime=11.6 cores=0,2,4,6
/proc/27781/stat : 27781 (java) S 27779 27779 8557 0 -1 1077944320 28681 0 0 0 1077 83 0 0 20 0 15 0 122250559 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140721190227136 140513673842423 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
/proc/27781/statm: 3495183 381394 3230 1 0 3483476 0
[pid=27781/tid=27782] ppid=27779 vsize=13980732 memory=0 CPUtime=6.54 cores=0,2,4,6
/proc/27781/task/27782/stat : 27782 (java) R 27779 27779 8557 0 -1 4202560 12819 0 0 0 633 21 0 0 20 0 15 0 122250559 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513678077472 140513299782337 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27783] ppid=27779 vsize=13980732 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/27781/task/27783/stat : 27783 (java) S 27779 27779 8557 0 -1 1077944384 542 0 0 0 22 14 0 0 20 0 15 0 122250560 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513615788560 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27784] ppid=27779 vsize=13980732 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/27781/task/27784/stat : 27784 (java) S 27779 27779 8557 0 -1 1077944384 524 0 0 0 21 14 0 0 20 0 15 0 122250560 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513614736016 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27785] ppid=27779 vsize=13980732 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/27781/task/27785/stat : 27785 (java) S 27779 27779 8557 0 -1 1077944384 671 0 0 0 21 14 0 0 20 0 15 0 122250560 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513271879952 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27786] ppid=27779 vsize=13980732 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/27781/task/27786/stat : 27786 (java) S 27779 27779 8557 0 -1 1077944384 527 0 0 0 24 13 0 0 20 0 15 0 122250560 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513270827408 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27787] ppid=27779 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27781/task/27787/stat : 27787 (java) S 27779 27779 8557 0 -1 1077944384 1375 0 0 0 1 0 0 0 20 0 15 0 122250561 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513219599088 140513673853570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27788] ppid=27779 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27788/stat : 27788 (java) S 27779 27779 8557 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 122250562 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513218545376 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27789] ppid=27779 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27789/stat : 27789 (java) S 27779 27779 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 122250562 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513217492224 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27790] ppid=27779 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27790/stat : 27790 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250564 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513216440784 140513673861019 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27791] ppid=27779 vsize=13980732 memory=15540738687502695 CPUtime=1.51 cores=0,2,4,6
/proc/27781/task/27791/stat : 27791 (java) S 27779 27779 8557 0 -1 1077944384 4291 0 0 0 150 1 0 0 20 0 15 0 122250564 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513215387888 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27792] ppid=27779 vsize=13980732 memory=1380 CPUtime=1.44 cores=0,2,4,6
/proc/27781/task/27792/stat : 27792 (java) S 27779 27779 8557 0 -1 1077944384 3499 0 0 0 144 0 0 0 20 0 15 0 122250564 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513214335344 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27793] ppid=27779 vsize=13980732 memory=615004 CPUtime=0.58 cores=0,2,4,6
/proc/27781/task/27793/stat : 27793 (java) S 27779 27779 8557 0 -1 1077944384 3017 0 0 0 57 1 0 0 20 0 15 0 122250564 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513213282288 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 64 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27794] ppid=27779 vsize=13980732 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27794/stat : 27794 (java) S 27779 27779 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122250565 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513212229984 140513673852629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
[pid=27781/tid=27795] ppid=27779 vsize=13980732 memory=2464 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27795/stat : 27795 (java) S 27779 27779 8557 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 122250574 14316269568 381394 18446744073709551615 4194304 4196468 140721190244592 140513143417904 140513673853570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 66 0 0 6293624 6294260 6987776 140721190252977 140721190253153 140721190253153 140721190256591 0
Current children cumulated CPU time: 11.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1526956 KiB
Child status: 0
Real time (s): 7.29178
CPU time (s): 11.7098
CPU user time (s): 10.8626
CPU system time (s): 0.847204
CPU usage (%): 160.589
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1526956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8626
system time used= 0.847204
maximum resident set size= 1526120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29257
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= 2728
involuntary context switches= 48
# summary of solver processes directly reported to runsolver:
# pid: 27779
# total CPU time (s): 11.7098
# total CPU user time (s): 10.8626
# total CPU system time (s): 0.847204
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076123 second user time and 0.107137 second system time
The end