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 (11645 MiB free)
memory of node 1: 16384 MiB (11468 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284451-1503213009/watcher-4284451-1503213009 -o /tmp/evaluation-result-4284451-1503213009/solver-4284451-1503213009 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 987718853 HOME/instance-4284451-1503213009.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=15867, runsolver pid=15864
[startup+0.1009 s]*
/proc/loadavg: 1.98 2.11 1.94 3/217 15883
/proc/meminfo: memFree=23652780/32770624 swapFree=67108860/67108860
[pid=15867] ppid=15864 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15867/stat : 15867 (xcsp3-exec) S 15864 15867 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154381653 9740288 346 33554432000 4194304 5098028 140734542938384 140734542936488 140376519651964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39505920 140734542943349 140734542943552 140734542943552 140734542946283 0
/proc/15867/statm: 2378 346 289 221 0 87 0
[pid=15869] ppid=15867 vsize=13978596 memory=27600 CPUtime=0.11 cores=0,2,4,6
/proc/15869/stat : 15869 (java) S 15867 15867 12810 0 -1 1077944320 5312 0 0 0 10 1 0 0 20 0 15 0 154381653 14314082304 6900 33554432000 4194304 4196468 140733303605584 140733303588128 140094429134583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
/proc/15869/statm: 3494649 6900 2847 1 0 3482966 0
[pid=15869/tid=15870] ppid=15867 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=0,2,4,6
/proc/15869/task/15870/stat : 15870 (java) R 15867 15867 12810 0 -1 4202560 3327 0 0 0 8 0 0 0 20 0 15 0 154381653 14314082304 6900 33554432000 4194304 4196468 140733303605584 140094433354640 140094429146518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15871] ppid=15867 vsize=13978596 memory=3472468003303048400 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15871/stat : 15871 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14314082304 6900 33554432000 4194304 4196468 140733303605584 140094385687056 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15872] ppid=15867 vsize=13978596 memory=139874407896704 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15872/stat : 15872 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14314082304 6900 33554432000 4194304 4196468 140733303605584 140094023854736 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15873] ppid=15867 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15873/stat : 15873 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14314082304 6900 33554432000 4194304 4196468 140733303605584 140094022801680 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15874] ppid=15867 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15874/stat : 15874 (java) S 15867 15867 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381654 14314082304 6900 33554432000 4194304 4196468 140733303605584 140094021749136 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15875] ppid=15867 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15875/stat : 15875 (java) S 15867 15867 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381655 14314082304 6900 33554432000 4194304 4196468 140733303605584 140093341637360 140094429145730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15876] ppid=15867 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15876/stat : 15876 (java) S 15867 15867 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154381656 14314082304 6900 33554432000 4194304 4196468 140733303605584 140093340583584 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15877] ppid=15867 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15877/stat : 15877 (java) S 15867 15867 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154381656 14314082304 6900 33554432000 4194304 4196468 140733303605584 140093339530480 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15878] ppid=15867 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15878/stat : 15878 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381658 14314082304 6900 33554432000 4194304 4196468 140733303605584 140093338479056 140094429153179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15879] ppid=15867 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15879/stat : 15879 (java) S 15867 15867 12810 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 154381658 14314082304 6900 33554432000 4194304 4196468 140733303605584 140093337426160 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15880] ppid=15867 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15880/stat : 15880 (java) S 15867 15867 12810 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154381658 14314082304 6900 33554432000 4194304 4196468 140733303605584 140093336373616 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15881] ppid=15867 vsize=13978596 memory=139874407896704 CPUtime=0.01 cores=0,2,4,6
/proc/15869/task/15881/stat : 15881 (java) R 15867 15867 12810 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 15 0 154381658 14314082304 6900 33554432000 4194304 4196468 140733303605584 140093335320560 140094407979920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15882] ppid=15867 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15882/stat : 15882 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381659 14314082304 6900 33554432000 4194304 4196468 140733303605584 140093334268256 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15883] ppid=15867 vsize=13978596 memory=139874407896704 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15883/stat : 15883 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381659 14314082304 6900 33554432000 4194304 4196468 140733303605584 140093333216304 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28984 KiB
[startup+0.210561 s]*
/proc/loadavg: 1.98 2.11 1.94 3/217 15883
/proc/meminfo: memFree=23641316/32770624 swapFree=67108860/67108860
[pid=15867] ppid=15864 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15867/stat : 15867 (xcsp3-exec) S 15864 15867 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154381653 9740288 346 33554432000 4194304 5098028 140734542938384 140734542936488 140376519651964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39505920 140734542943349 140734542943552 140734542943552 140734542946283 0
/proc/15867/statm: 2378 346 289 221 0 87 0
[pid=15869] ppid=15867 vsize=13982852 memory=39984 CPUtime=0.33 cores=0,2,4,6
/proc/15869/stat : 15869 (java) S 15867 15867 12810 0 -1 1077944320 8062 0 0 0 31 2 0 0 20 0 15 0 154381653 14318440448 9996 33554432000 4194304 4196468 140733303605584 140733303588128 140094429134583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
/proc/15869/statm: 3495713 9996 3027 1 0 3482966 0
[pid=15869/tid=15870] ppid=15867 vsize=13982852 memory=5853394889045019040 CPUtime=0.19 cores=0,2,4,6
/proc/15869/task/15870/stat : 15870 (java) R 15867 15867 12810 0 -1 4202560 5241 0 0 0 18 1 0 0 20 0 15 0 154381653 14318440448 9996 33554432000 4194304 4196468 140733303605584 140094433371424 140094413215070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15871] ppid=15867 vsize=13982852 memory=3472468003303048400 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15871/stat : 15871 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14318440448 9996 33554432000 4194304 4196468 140733303605584 140094385687056 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15872] ppid=15867 vsize=13982852 memory=139874407896704 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15872/stat : 15872 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14318440448 9996 33554432000 4194304 4196468 140733303605584 140094023854736 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15873] ppid=15867 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15873/stat : 15873 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14318440448 9996 33554432000 4194304 4196468 140733303605584 140094022801680 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15874] ppid=15867 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15874/stat : 15874 (java) S 15867 15867 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381654 14318440448 9996 33554432000 4194304 4196468 140733303605584 140094021749136 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15875] ppid=15867 vsize=13982852 memory=139874407896704 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15875/stat : 15875 (java) S 15867 15867 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381655 14318440448 9996 33554432000 4194304 4196468 140733303605584 140093341637360 140094429145730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15876] ppid=15867 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15876/stat : 15876 (java) S 15867 15867 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154381656 14318440448 9996 33554432000 4194304 4196468 140733303605584 140093340583584 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15877] ppid=15867 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15877/stat : 15877 (java) S 15867 15867 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154381656 14318440448 9996 33554432000 4194304 4196468 140733303605584 140093339530480 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15878] ppid=15867 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15878/stat : 15878 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381658 14318440448 9996 33554432000 4194304 4196468 140733303605584 140093338479056 140094429153179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15879] ppid=15867 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15869/task/15879/stat : 15879 (java) S 15867 15867 12810 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 154381658 14318440448 9996 33554432000 4194304 4196468 140733303605584 140093337426160 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15880] ppid=15867 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15869/task/15880/stat : 15880 (java) S 15867 15867 12810 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 154381658 14318440448 9996 33554432000 4194304 4196468 140733303605584 140093336373616 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15881] ppid=15867 vsize=13982852 memory=139874407896704 CPUtime=0.07 cores=0,2,4,6
/proc/15869/task/15881/stat : 15881 (java) S 15867 15867 12810 0 -1 1077944384 750 0 0 0 7 0 0 0 20 0 15 0 154381658 14318440448 9996 33554432000 4194304 4196468 140733303605584 140093335320560 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15882] ppid=15867 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15882/stat : 15882 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381659 14318440448 9996 33554432000 4194304 4196468 140733303605584 140093334268256 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15883] ppid=15867 vsize=13982852 memory=139874407896704 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15883/stat : 15883 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381659 14318440448 9996 33554432000 4194304 4196468 140733303605584 140093333216304 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41368 KiB
[startup+0.31048 s]*
/proc/loadavg: 1.98 2.11 1.94 4/217 15883
/proc/meminfo: memFree=23634988/32770624 swapFree=67108860/67108860
[pid=15867] ppid=15864 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15867/stat : 15867 (xcsp3-exec) S 15864 15867 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154381653 9740288 346 33554432000 4194304 5098028 140734542938384 140734542936488 140376519651964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39505920 140734542943349 140734542943552 140734542943552 140734542946283 0
/proc/15867/statm: 2378 346 289 221 0 87 0
[pid=15869] ppid=15867 vsize=13982852 memory=47176 CPUtime=0.5 cores=0,2,4,6
/proc/15869/stat : 15869 (java) S 15867 15867 12810 0 -1 1077944320 8997 0 0 0 47 3 0 0 20 0 15 0 154381653 14318440448 11794 33554432000 4194304 4196468 140733303605584 140733303588128 140094429134583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
/proc/15869/statm: 3495713 11794 3128 1 0 3482966 0
[pid=15869/tid=15870] ppid=15867 vsize=13982852 memory=8514701219880862117 CPUtime=0.3 cores=0,2,4,6
/proc/15869/task/15870/stat : 15870 (java) R 15867 15867 12810 0 -1 4202560 5932 0 0 0 28 2 0 0 20 0 15 0 154381653 14318440448 11794 33554432000 4194304 4196468 140733303605584 140094433361616 140094413215070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15871] ppid=15867 vsize=13982852 memory=3472468003303048400 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15871/stat : 15871 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14318440448 11794 33554432000 4194304 4196468 140733303605584 140094385687056 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15872] ppid=15867 vsize=13982852 memory=139874407896704 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15872/stat : 15872 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14318440448 11794 33554432000 4194304 4196468 140733303605584 140094023854736 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15873] ppid=15867 vsize=13982852 memory=2 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15873/stat : 15873 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14318440448 11794 33554432000 4194304 4196468 140733303605584 140094022801680 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15874] ppid=15867 vsize=13982852 memory=139874267179039 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15874/stat : 15874 (java) S 15867 15867 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381654 14318440448 11794 33554432000 4194304 4196468 140733303605584 140094021749136 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15875] ppid=15867 vsize=13982852 memory=279748534318848 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15875/stat : 15875 (java) S 15867 15867 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381655 14318440448 11794 33554432000 4194304 4196468 140733303605584 140093341637360 140094429145730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15876] ppid=15867 vsize=13982852 memory=139874267155983 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15876/stat : 15876 (java) S 15867 15867 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154381656 14318440448 11794 33554432000 4194304 4196468 140733303605584 140093340583584 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15877] ppid=15867 vsize=13982852 memory=279748675061856 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15877/stat : 15877 (java) S 15867 15867 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154381656 14318440448 11794 33554432000 4194304 4196468 140733303605584 140093339530480 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15878] ppid=15867 vsize=13982852 memory=139874267160591 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15878/stat : 15878 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381658 14318440448 11794 33554432000 4194304 4196468 140733303605584 140093338479056 140094429153179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15879] ppid=15867 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15869/task/15879/stat : 15879 (java) S 15867 15867 12810 0 -1 1077944384 593 0 0 0 3 0 0 0 20 0 15 0 154381658 14318440448 11794 33554432000 4194304 4196468 140733303605584 140093337426160 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15880] ppid=15867 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/15869/task/15880/stat : 15880 (java) R 15867 15867 12810 0 -1 4202560 265 0 0 0 3 0 0 0 20 0 15 0 154381658 14318440448 11794 33554432000 4194304 4196468 140733303605584 140093336363728 140094414034146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15881] ppid=15867 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15869/task/15881/stat : 15881 (java) S 15867 15867 12810 0 -1 1077944384 905 0 0 0 12 0 0 0 20 0 15 0 154381658 14318440448 11794 33554432000 4194304 4196468 140733303605584 140093335320560 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15882] ppid=15867 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15882/stat : 15882 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381659 14318440448 11794 33554432000 4194304 4196468 140733303605584 140093334268256 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15883] ppid=15867 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15883/stat : 15883 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381659 14318440448 11794 33554432000 4194304 4196468 140733303605584 140093333216304 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48560 KiB
[startup+0.702873 s]
/proc/loadavg: 1.98 2.11 1.94 5/217 15883
/proc/meminfo: memFree=23620968/32770624 swapFree=67108860/67108860
[pid=15867] ppid=15864 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15867/stat : 15867 (xcsp3-exec) S 15864 15867 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154381653 9740288 346 33554432000 4194304 5098028 140734542938384 140734542936488 140376519651964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39505920 140734542943349 140734542943552 140734542943552 140734542946283 0
/proc/15867/statm: 2378 346 289 221 0 87 0
[pid=15869] ppid=15867 vsize=13984976 memory=69644 CPUtime=1.53 cores=0,2,4,6
/proc/15869/stat : 15869 (java) S 15867 15867 12810 0 -1 1077944320 12193 0 0 0 149 4 0 0 20 0 15 0 154381653 14320615424 17411 33554432000 4194304 4196468 140733303605584 140733303588128 140094429134583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
/proc/15869/statm: 3496244 17411 3217 1 0 3483478 0
[pid=15869/tid=15870] ppid=15867 vsize=13984976 memory=6154820267226784105 CPUtime=0.66 cores=0,2,4,6
/proc/15869/task/15870/stat : 15870 (java) R 15867 15867 12810 0 -1 4202560 6845 0 0 0 64 2 0 0 20 0 15 0 154381653 14320615424 17411 33554432000 4194304 4196468 140733303605584 140094433369536 140094069351936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15871] ppid=15867 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15871/stat : 15871 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14320615424 17411 33554432000 4194304 4196468 140733303605584 140094385687056 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15872] ppid=15867 vsize=13984976 memory=4638778398333223008 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15872/stat : 15872 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14320615424 17411 33554432000 4194304 4196468 140733303605584 140094023854736 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15873] ppid=15867 vsize=13984976 memory=-7242455096852575424 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15873/stat : 15873 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14320615424 17411 33554432000 4194304 4196468 140733303605584 140094022801680 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15874] ppid=15867 vsize=13984976 memory=4132774494331964790 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15874/stat : 15874 (java) S 15867 15867 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381654 14320615424 17411 33554432000 4194304 4196468 140733303605584 140094021749136 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15875] ppid=15867 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15875/stat : 15875 (java) S 15867 15867 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154381655 14320615424 17411 33554432000 4194304 4196468 140733303605584 140093341637360 140094429145730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15876] ppid=15867 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15876/stat : 15876 (java) S 15867 15867 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154381656 14320615424 17411 33554432000 4194304 4196468 140733303605584 140093340583584 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15877] ppid=15867 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15877/stat : 15877 (java) S 15867 15867 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154381656 14320615424 17411 33554432000 4194304 4196468 140733303605584 140093339530480 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15878] ppid=15867 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15878/stat : 15878 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381658 14320615424 17411 33554432000 4194304 4196468 140733303605584 140093338479056 140094429153179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15879] ppid=15867 vsize=13984976 memory=42972 CPUtime=0.24 cores=0,2,4,6
/proc/15869/task/15879/stat : 15879 (java) R 15867 15867 12810 0 -1 4202560 1312 0 0 0 24 0 0 0 20 0 15 0 154381658 14320615424 17411 33554432000 4194304 4196468 140733303605584 140093337417616 140094410678759 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15880] ppid=15867 vsize=13984976 memory=1292 CPUtime=0.25 cores=0,2,4,6
/proc/15869/task/15880/stat : 15880 (java) R 15867 15867 12810 0 -1 4202560 1032 0 0 0 25 0 0 0 20 0 15 0 154381658 14320615424 17411 33554432000 4194304 4196468 140733303605584 140093336364960 140094412628717 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15881] ppid=15867 vsize=13984976 memory=2428 CPUtime=0.34 cores=0,2,4,6
/proc/15869/task/15881/stat : 15881 (java) S 15867 15867 12810 0 -1 1077944384 1698 0 0 0 34 0 0 0 20 0 15 0 154381658 14320615424 17411 33554432000 4194304 4196468 140733303605584 140093335320560 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15882] ppid=15867 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15882/stat : 15882 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381659 14320615424 17411 33554432000 4194304 4196468 140733303605584 140093334268256 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15883] ppid=15867 vsize=13984976 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15883/stat : 15883 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381659 14320615424 17411 33554432000 4194304 4196468 140733303605584 140093333216304 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 71028 KiB
[startup+1.5008 s]
/proc/loadavg: 1.98 2.11 1.94 5/217 15883
/proc/meminfo: memFree=23592816/32770624 swapFree=67108860/67108860
[pid=15867] ppid=15864 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15867/stat : 15867 (xcsp3-exec) S 15864 15867 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154381653 9740288 346 33554432000 4194304 5098028 140734542938384 140734542936488 140376519651964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39505920 140734542943349 140734542943552 140734542943552 140734542946283 0
/proc/15867/statm: 2378 346 289 221 0 87 0
[pid=15869] ppid=15867 vsize=13993216 memory=159724 CPUtime=4.05 cores=0,2,4,6
/proc/15869/stat : 15869 (java) S 15867 15867 12810 0 -1 1077944320 41525 0 0 0 396 9 0 0 20 0 15 0 154381653 14329053184 39931 33554432000 4194304 4196468 140733303605584 140733303588128 140094429134583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
/proc/15869/statm: 3498304 39931 3220 1 0 3485538 0
[pid=15869/tid=15870] ppid=15867 vsize=13993216 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/15869/task/15870/stat : 15870 (java) R 15867 15867 12810 0 -1 4202560 7557 0 0 0 144 2 0 0 20 0 15 0 154381653 14329053184 39931 33554432000 4194304 4196468 140733303605584 140094433370896 140094069413233 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15871] ppid=15867 vsize=13993216 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15871/stat : 15871 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14329053184 39931 33554432000 4194304 4196468 140733303605584 140094385687056 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15872] ppid=15867 vsize=13993216 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15872/stat : 15872 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14329053184 39931 33554432000 4194304 4196468 140733303605584 140094023854736 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15873] ppid=15867 vsize=13993216 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15873/stat : 15873 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14329053184 39931 33554432000 4194304 4196468 140733303605584 140094022801680 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15874] ppid=15867 vsize=13993216 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15874/stat : 15874 (java) S 15867 15867 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381654 14329053184 39931 33554432000 4194304 4196468 140733303605584 140094021749136 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15875] ppid=15867 vsize=13993216 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15875/stat : 15875 (java) S 15867 15867 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154381655 14329053184 39931 33554432000 4194304 4196468 140733303605584 140093341637360 140094429145730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15876] ppid=15867 vsize=13993216 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15876/stat : 15876 (java) S 15867 15867 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154381656 14329053184 39931 33554432000 4194304 4196468 140733303605584 140093340583584 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15877] ppid=15867 vsize=13993216 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15877/stat : 15877 (java) S 15867 15867 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154381656 14329053184 39931 33554432000 4194304 4196468 140733303605584 140093339530480 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15878] ppid=15867 vsize=13993216 memory=-2317720213663851332 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15878/stat : 15878 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381658 14329053184 39931 33554432000 4194304 4196468 140733303605584 140093338479056 140094429153179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15879] ppid=15867 vsize=13993216 memory=-6948614817169703622 CPUtime=1.03 cores=0,2,4,6
/proc/15869/task/15879/stat : 15879 (java) R 15867 15867 12810 0 -1 4202560 11639 0 0 0 101 2 0 0 20 0 15 0 154381658 14329053184 39931 33554432000 4194304 4196468 140733303605584 140093337410840 140094414249859 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15880] ppid=15867 vsize=13993216 memory=-6948614817169703622 CPUtime=1.04 cores=0,2,4,6
/proc/15869/task/15880/stat : 15880 (java) R 15867 15867 12810 0 -1 4202560 16081 0 0 0 102 2 0 0 20 0 15 0 154381658 14329053184 39931 33554432000 4194304 4196468 140733303605584 140093336358824 140094412519448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15881] ppid=15867 vsize=13993216 memory=-2317720213663851332 CPUtime=0.47 cores=0,2,4,6
/proc/15869/task/15881/stat : 15881 (java) S 15867 15867 12810 0 -1 1077944384 4940 0 0 0 46 1 0 0 20 0 15 0 154381658 14329053184 39931 33554432000 4194304 4196468 140733303605584 140093335320560 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15882] ppid=15867 vsize=13993216 memory=-7674914008656224160 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15882/stat : 15882 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381659 14329053184 39931 33554432000 4194304 4196468 140733303605584 140093334268256 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15883] ppid=15867 vsize=13993216 memory=-4695052241013923951 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15883/stat : 15883 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381659 14329053184 39931 33554432000 4194304 4196468 140733303605584 140093333216304 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
Current children cumulated CPU time: 4.05 s
Current children cumulated vsize: 14002728 KiB
Current children cumulated memory: 161108 KiB
[startup+1.79774 s]
# the end of solver process 15867 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.80702 s, system=0.114492 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60098 s]
/proc/loadavg: 1.98 2.11 1.94 5/217 15883
/proc/meminfo: memFree=23592816/32770624 swapFree=67108860/67108860
[pid=15867] ppid=15864 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15867/stat : 15867 (xcsp3-exec) S 15864 15867 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154381653 9740288 346 33554432000 4194304 5098028 140734542938384 140734542936488 140376519651964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39505920 140734542943349 140734542943552 140734542943552 140734542946283 0
/proc/15867/statm: 2378 346 289 221 0 87 0
[pid=15869] ppid=15867 vsize=13988536 memory=168444 CPUtime=4.36 cores=0,2,4,6
/proc/15869/stat : 15869 (java) S 15867 15867 12810 0 -1 1077944320 43829 0 0 0 427 9 0 0 20 0 15 0 154381653 14324260864 42111 33554432000 4194304 4196468 140733303605584 140733303588128 140094429134583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
/proc/15869/statm: 3497134 42111 3220 1 0 3484368 0
[pid=15869/tid=15870] ppid=15867 vsize=13988536 memory=2428 CPUtime=1.56 cores=0,2,4,6
/proc/15869/task/15870/stat : 15870 (java) R 15867 15867 12810 0 -1 4202560 7561 0 0 0 154 2 0 0 20 0 15 0 154381653 14324260864 42111 33554432000 4194304 4196468 140733303605584 140094433370896 140094069361942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15871] ppid=15867 vsize=13988536 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15871/stat : 15871 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14324260864 42111 33554432000 4194304 4196468 140733303605584 140094385687056 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15872] ppid=15867 vsize=13988536 memory=792 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15872/stat : 15872 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14324260864 42111 33554432000 4194304 4196468 140733303605584 140094023854736 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15873] ppid=15867 vsize=13988536 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15873/stat : 15873 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14324260864 42111 33554432000 4194304 4196468 140733303605584 140094022801680 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15874] ppid=15867 vsize=13988536 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15874/stat : 15874 (java) S 15867 15867 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381654 14324260864 42111 33554432000 4194304 4196468 140733303605584 140094021749136 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15875] ppid=15867 vsize=13988536 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15875/stat : 15875 (java) S 15867 15867 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154381655 14324260864 42111 33554432000 4194304 4196468 140733303605584 140093341637360 140094429145730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15876] ppid=15867 vsize=13988536 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15876/stat : 15876 (java) S 15867 15867 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154381656 14324260864 42111 33554432000 4194304 4196468 140733303605584 140093340583584 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15877] ppid=15867 vsize=13988536 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15877/stat : 15877 (java) S 15867 15867 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154381656 14324260864 42111 33554432000 4194304 4196468 140733303605584 140093339530480 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15878] ppid=15867 vsize=13988536 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15878/stat : 15878 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381658 14324260864 42111 33554432000 4194304 4196468 140733303605584 140093338479056 140094429153179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15879] ppid=15867 vsize=13988536 memory=1944 CPUtime=1.13 cores=0,2,4,6
/proc/15869/task/15879/stat : 15879 (java) R 15867 15867 12810 0 -1 4202560 13165 0 0 0 111 2 0 0 20 0 15 0 154381658 14324260864 42111 33554432000 4194304 4196468 140733303605584 140093337411896 140094410678801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15880] ppid=15867 vsize=13988536 memory=1200 CPUtime=1.14 cores=0,2,4,6
/proc/15869/task/15880/stat : 15880 (java) R 15867 15867 12810 0 -1 4202560 16082 0 0 0 112 2 0 0 20 0 15 0 154381658 14324260864 42111 33554432000 4194304 4196468 140733303605584 140093336358824 140094414059632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15881] ppid=15867 vsize=13988536 memory=1424 CPUtime=0.48 cores=0,2,4,6
/proc/15869/task/15881/stat : 15881 (java) S 15867 15867 12810 0 -1 1077944384 5713 0 0 0 47 1 0 0 20 0 15 0 154381658 14324260864 42111 33554432000 4194304 4196468 140733303605584 140093335320560 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15882] ppid=15867 vsize=13988536 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15882/stat : 15882 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381659 14324260864 42111 33554432000 4194304 4196468 140733303605584 140093334268256 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15883] ppid=15867 vsize=13988536 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15883/stat : 15883 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381659 14324260864 42111 33554432000 4194304 4196468 140733303605584 140093333216304 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 13998048 KiB
Current children cumulated memory: 169828 KiB
[startup+1.7008 s]
/proc/loadavg: 1.98 2.11 1.94 5/217 15883
/proc/meminfo: memFree=23592816/32770624 swapFree=67108860/67108860
[pid=15867] ppid=15864 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15867/stat : 15867 (xcsp3-exec) S 15864 15867 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154381653 9740288 346 33554432000 4194304 5098028 140734542938384 140734542936488 140376519651964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39505920 140734542943349 140734542943552 140734542943552 140734542946283 0
/proc/15867/statm: 2378 346 289 221 0 87 0
[pid=15869] ppid=15867 vsize=13984976 memory=172992 CPUtime=4.67 cores=0,2,4,6
/proc/15869/stat : 15869 (java) S 15867 15867 12810 0 -1 1077944320 46019 0 0 0 457 10 0 0 20 0 15 0 154381653 14320615424 43248 33554432000 4194304 4196468 140733303605584 140733303588128 140094429134583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
/proc/15869/statm: 3496244 43248 3225 1 0 3483478 0
[pid=15869/tid=15870] ppid=15867 vsize=13984976 memory=0 CPUtime=1.66 cores=0,2,4,6
/proc/15869/task/15870/stat : 15870 (java) R 15867 15867 12810 0 -1 4202560 7562 0 0 0 164 2 0 0 20 0 15 0 154381653 14320615424 43248 33554432000 4194304 4196468 140733303605584 140094433370896 140094065376581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15871] ppid=15867 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15871/stat : 15871 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14320615424 43248 33554432000 4194304 4196468 140733303605584 140094385687056 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15872] ppid=15867 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15872/stat : 15872 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14320615424 43248 33554432000 4194304 4196468 140733303605584 140094023854736 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15873] ppid=15867 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15873/stat : 15873 (java) S 15867 15867 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381654 14320615424 43248 33554432000 4194304 4196468 140733303605584 140094022801680 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15874] ppid=15867 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15874/stat : 15874 (java) S 15867 15867 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381654 14320615424 43248 33554432000 4194304 4196468 140733303605584 140094021749136 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15875] ppid=15867 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15875/stat : 15875 (java) S 15867 15867 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154381655 14320615424 43248 33554432000 4194304 4196468 140733303605584 140093341637360 140094429145730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15876] ppid=15867 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15876/stat : 15876 (java) S 15867 15867 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154381656 14320615424 43248 33554432000 4194304 4196468 140733303605584 140093340583584 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15877] ppid=15867 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15877/stat : 15877 (java) S 15867 15867 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154381656 14320615424 43248 33554432000 4194304 4196468 140733303605584 140093339530480 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15878] ppid=15867 vsize=13984976 memory=-2317720213663851332 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15878/stat : 15878 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381658 14320615424 43248 33554432000 4194304 4196468 140733303605584 140093338479056 140094429153179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15879] ppid=15867 vsize=13984976 memory=-6948614817169703622 CPUtime=1.23 cores=0,2,4,6
/proc/15869/task/15879/stat : 15879 (java) R 15867 15867 12810 0 -1 4202560 14235 0 0 0 121 2 0 0 20 0 15 0 154381658 14320615424 43248 33554432000 4194304 4196468 140733303605584 140093337411624 140094414736388 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15880] ppid=15867 vsize=13984976 memory=-6948614817169703622 CPUtime=1.25 cores=0,2,4,6
/proc/15869/task/15880/stat : 15880 (java) R 15867 15867 12810 0 -1 4202560 17061 0 0 0 122 3 0 0 20 0 15 0 154381658 14320615424 43248 33554432000 4194304 4196468 140733303605584 140093336363472 140094410325885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15881] ppid=15867 vsize=13984976 memory=-2317720213663851332 CPUtime=0.49 cores=0,2,4,6
/proc/15869/task/15881/stat : 15881 (java) S 15867 15867 12810 0 -1 1077944384 5858 0 0 0 48 1 0 0 20 0 15 0 154381658 14320615424 43248 33554432000 4194304 4196468 140733303605584 140093335320560 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15882] ppid=15867 vsize=13984976 memory=-7674914008656224160 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15882/stat : 15882 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381659 14320615424 43248 33554432000 4194304 4196468 140733303605584 140093334268256 140094429144789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
[pid=15869/tid=15883] ppid=15867 vsize=13984976 memory=-4695052241013923951 CPUtime=0 cores=0,2,4,6
/proc/15869/task/15883/stat : 15883 (java) S 15867 15867 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381659 14320615424 43248 33554432000 4194304 4196468 140733303605584 140093333216304 140094429145730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19922944 140733303608477 140733303608652 140733303608652 140733303611343 0
Current children cumulated CPU time: 4.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 174376 KiB
Child status: 0
Real time (s): 1.79779
CPU time (s): 4.92152
CPU user time (s): 4.80702
CPU system time (s): 0.114492
CPU usage (%): 273.753
Max. virtual memory (cumulated for all children) (KiB): 14002728
Max. memory (cumulated for all children) (KiB): 174376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.80703
system time used= 0.114492
maximum resident set size= 175432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46848
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= 2293
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 15867
# total CPU time (s): 4.92152
# total CPU user time (s): 4.80702
# total CPU system time (s): 0.114492
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031144 second user time and 0.062062 second system time
The end