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 (11339 MiB free)
memory of node 1: 16384 MiB (7253 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284388-1503213698/watcher-4284388-1503213698 -o /tmp/evaluation-result-4284388-1503213698/solver-4284388-1503213698 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node114-1503208995-20019 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 61670698 HOME/instance-4284388-1503213698.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
solver pid=23469, runsolver pid=23466
Current StackSize limit: 8192 KiB
[startup+0.103082 s]*
/proc/loadavg: 1.75 1.61 1.69 4/217 23485
/proc/meminfo: memFree=19023288/32770624 swapFree=67108860/67108860
[pid=23469] ppid=23466 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23469/stat : 23469 (xcsp3-exec) S 23466 23469 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154457447 9740288 346 33554432000 4194304 5098028 140737445070432 140737445068536 139950324339324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28893184 140737445078134 140737445078336 140737445078336 140737445081067 0
/proc/23469/statm: 2378 346 289 221 0 87 0
[pid=23471] ppid=23469 vsize=13978596 memory=28828 CPUtime=0.13 cores=0,2,4,6
/proc/23471/stat : 23471 (java) S 23469 23469 19988 0 -1 1077944320 5511 0 0 0 11 2 0 0 20 0 15 0 154457447 14314082304 7207 33554432000 4194304 4196468 140731492620592 140731492603136 140546704248567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
/proc/23471/statm: 3494649 7207 2903 1 0 3482966 0
[pid=23471/tid=23472] ppid=23469 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/23471/task/23472/stat : 23472 (java) R 23469 23469 19988 0 -1 4202560 3447 0 0 0 8 1 0 0 20 0 15 0 154457447 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546708481920 140546704260502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23473] ppid=23469 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23473/stat : 23473 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546634336528 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23474] ppid=23469 vsize=13978596 memory=140506032608896 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23474/stat : 23474 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546633283984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23475] ppid=23469 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23475/stat : 23475 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546632231440 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23476] ppid=23469 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23476/stat : 23476 (java) S 23469 23469 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457448 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546296953488 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23477] ppid=23469 vsize=13978596 memory=140506032608896 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23477/stat : 23477 (java) S 23469 23469 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457449 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546178554352 140546704259714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23478] ppid=23469 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23478/stat : 23478 (java) S 23469 23469 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154457450 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546177500576 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23479] ppid=23469 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23479/stat : 23479 (java) S 23469 23469 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154457450 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546176447984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23480] ppid=23469 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23480/stat : 23480 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457452 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546175396560 140546704267163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23481] ppid=23469 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23481/stat : 23481 (java) S 23469 23469 19988 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 154457452 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546174343152 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23482] ppid=23469 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23482/stat : 23482 (java) S 23469 23469 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154457452 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546173290608 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23483] ppid=23469 vsize=13978596 memory=140506032608896 CPUtime=0.01 cores=0,2,4,6
/proc/23471/task/23483/stat : 23483 (java) R 23469 23469 19988 0 -1 4202560 338 0 0 0 1 0 0 0 20 0 15 0 154457452 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546172238064 140546704260502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23484] ppid=23469 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23484/stat : 23484 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457453 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546171185760 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23485] ppid=23469 vsize=13978596 memory=140506032608896 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23485/stat : 23485 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457453 14314082304 7207 33554432000 4194304 4196468 140731492620592 140546170133296 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30212 KiB
[startup+0.211941 s]*
/proc/loadavg: 1.75 1.61 1.69 3/217 23485
/proc/meminfo: memFree=19012828/32770624 swapFree=67108860/67108860
[pid=23469] ppid=23466 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23469/stat : 23469 (xcsp3-exec) S 23466 23469 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154457447 9740288 346 33554432000 4194304 5098028 140737445070432 140737445068536 139950324339324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28893184 140737445078134 140737445078336 140737445078336 140737445081067 0
/proc/23469/statm: 2378 346 289 221 0 87 0
[pid=23471] ppid=23469 vsize=13982852 memory=40732 CPUtime=0.33 cores=0,2,4,6
/proc/23471/stat : 23471 (java) S 23469 23469 19988 0 -1 1077944320 8256 0 0 0 30 3 0 0 20 0 15 0 154457447 14318440448 10183 33554432000 4194304 4196468 140731492620592 140731492603136 140546704248567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
/proc/23471/statm: 3495713 10183 3085 1 0 3482966 0
[pid=23471/tid=23472] ppid=23469 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23471/task/23472/stat : 23472 (java) R 23469 23469 19988 0 -1 4202560 5404 0 0 0 18 2 0 0 20 0 15 0 154457447 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546708458304 140546688329054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23473] ppid=23469 vsize=13982852 memory=9107 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23473/stat : 23473 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546634336528 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23474] ppid=23469 vsize=13982852 memory=140506032632063 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23474/stat : 23474 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546633283984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23475] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23475/stat : 23475 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546632231440 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23476] ppid=23469 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23476/stat : 23476 (java) S 23469 23469 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457448 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546296953488 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23477] ppid=23469 vsize=13982852 memory=140506032608896 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23477/stat : 23477 (java) S 23469 23469 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457449 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546178554352 140546704259714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23478] ppid=23469 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23478/stat : 23478 (java) S 23469 23469 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154457450 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546177500576 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23479] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23479/stat : 23479 (java) S 23469 23469 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154457450 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546176447984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23480] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23480/stat : 23480 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457452 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546175396560 140546704267163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23481] ppid=23469 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23471/task/23481/stat : 23481 (java) S 23469 23469 19988 0 -1 1077944384 735 0 0 0 3 0 0 0 20 0 15 0 154457452 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546174343152 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23482] ppid=23469 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23471/task/23482/stat : 23482 (java) S 23469 23469 19988 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 154457452 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546173290608 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23483] ppid=23469 vsize=13982852 memory=140506032608896 CPUtime=0.07 cores=0,2,4,6
/proc/23471/task/23483/stat : 23483 (java) R 23469 23469 19988 0 -1 4202560 752 0 0 0 7 0 0 0 20 0 15 0 154457452 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546172238064 140546683260000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23484] ppid=23469 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23484/stat : 23484 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457453 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546171185760 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23485] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23485/stat : 23485 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457453 14318440448 10183 33554432000 4194304 4196468 140731492620592 140546170133296 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42116 KiB
[startup+0.310367 s]*
/proc/loadavg: 1.75 1.61 1.69 4/217 23485
/proc/meminfo: memFree=19006176/32770624 swapFree=67108860/67108860
[pid=23469] ppid=23466 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23469/stat : 23469 (xcsp3-exec) S 23466 23469 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154457447 9740288 346 33554432000 4194304 5098028 140737445070432 140737445068536 139950324339324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28893184 140737445078134 140737445078336 140737445078336 140737445081067 0
/proc/23469/statm: 2378 346 289 221 0 87 0
[pid=23471] ppid=23469 vsize=13982852 memory=47824 CPUtime=0.51 cores=0,2,4,6
/proc/23471/stat : 23471 (java) S 23469 23469 19988 0 -1 1077944320 9086 0 0 0 48 3 0 0 20 0 15 0 154457447 14318440448 11956 33554432000 4194304 4196468 140731492620592 140731492603136 140546704248567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
/proc/23471/statm: 3495713 11956 3103 1 0 3482966 0
[pid=23471/tid=23472] ppid=23469 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/23471/task/23472/stat : 23472 (java) R 23469 23469 19988 0 -1 4202560 6000 0 0 0 27 2 0 0 20 0 15 0 154457447 14318440448 11956 33554432000 4194304 4196468 140731492620592 140546708483600 140546704270493 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23473] ppid=23469 vsize=13982852 memory=9469 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23473/stat : 23473 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14318440448 11956 33554432000 4194304 4196468 140731492620592 140546634336528 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23474] ppid=23469 vsize=13982852 memory=3760840147386781520 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23474/stat : 23474 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14318440448 11956 33554432000 4194304 4196468 140731492620592 140546633283984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23475] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23475/stat : 23475 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14318440448 11956 33554432000 4194304 4196468 140731492620592 140546632231440 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23476] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23476/stat : 23476 (java) S 23469 23469 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457448 14318440448 11956 33554432000 4194304 4196468 140731492620592 140546296953488 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23477] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23477/stat : 23477 (java) S 23469 23469 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457449 14318440448 11956 33554432000 4194304 4196468 140731492620592 140546178554352 140546704259714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23478] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23478/stat : 23478 (java) S 23469 23469 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154457450 14318440448 11956 33554432000 4194304 4196468 140731492620592 140546177500576 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23479] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23479/stat : 23479 (java) S 23469 23469 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154457450 14318440448 11956 33554432000 4194304 4196468 140731492620592 140546176447984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23480] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23480/stat : 23480 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457452 14318440448 11956 33554432000 4194304 4196468 140731492620592 140546175396560 140546704267163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23481] ppid=23469 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23471/task/23481/stat : 23481 (java) S 23469 23469 19988 0 -1 1077944384 744 0 0 0 4 0 0 0 20 0 15 0 154457452 14318440448 11965 33554432000 4194304 4196468 140731492620592 140546174343152 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23482] ppid=23469 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23471/task/23482/stat : 23482 (java) S 23469 23469 19988 0 -1 1077944384 162 0 0 0 3 0 0 0 20 0 15 0 154457452 14318440448 11965 33554432000 4194304 4196468 140731492620592 140546173290608 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23483] ppid=23469 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23471/task/23483/stat : 23483 (java) R 23469 23469 19988 0 -1 4202560 876 0 0 0 12 0 0 0 20 0 15 0 154457452 14318440448 11965 33554432000 4194304 4196468 140731492620592 140546172238064 140546704269914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23484] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23484/stat : 23484 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457453 14318440448 11965 33554432000 4194304 4196468 140731492620592 140546171185760 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23485] ppid=23469 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23485/stat : 23485 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457453 14318440448 11965 33554432000 4194304 4196468 140731492620592 140546170133296 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49208 KiB
[startup+0.701159 s]
/proc/loadavg: 1.75 1.61 1.69 5/217 23485
/proc/meminfo: memFree=18989924/32770624 swapFree=67108860/67108860
[pid=23469] ppid=23466 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23469/stat : 23469 (xcsp3-exec) S 23466 23469 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154457447 9740288 346 33554432000 4194304 5098028 140737445070432 140737445068536 139950324339324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28893184 140737445078134 140737445078336 140737445078336 140737445081067 0
/proc/23469/statm: 2378 346 289 221 0 87 0
[pid=23471] ppid=23469 vsize=13984976 memory=72220 CPUtime=1.6 cores=0,2,4,6
/proc/23471/stat : 23471 (java) S 23469 23469 19988 0 -1 1077944320 12231 0 0 0 155 5 0 0 20 0 15 0 154457447 14320615424 18055 33554432000 4194304 4196468 140731492620592 140731492603136 140546704248567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
/proc/23471/statm: 3496244 18055 3213 1 0 3483478 0
[pid=23471/tid=23472] ppid=23469 vsize=13984976 memory=23628 CPUtime=0.67 cores=0,2,4,6
/proc/23471/task/23472/stat : 23472 (java) R 23469 23469 19988 0 -1 4202560 6714 0 0 0 64 3 0 0 20 0 15 0 154457447 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546708484656 140546315779285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23473] ppid=23469 vsize=13984976 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23473/stat : 23473 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546634336528 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23474] ppid=23469 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23474/stat : 23474 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546633283984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23475] ppid=23469 vsize=13984976 memory=640 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23475/stat : 23475 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546632231440 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23476] ppid=23469 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23476/stat : 23476 (java) S 23469 23469 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546296953488 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23477] ppid=23469 vsize=13984976 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23477/stat : 23477 (java) S 23469 23469 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154457449 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546178554352 140546704259714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23478] ppid=23469 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23478/stat : 23478 (java) S 23469 23469 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154457450 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546177500576 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23479] ppid=23469 vsize=13984976 memory=932 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23479/stat : 23479 (java) S 23469 23469 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154457450 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546176447984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23480] ppid=23469 vsize=13984976 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23480/stat : 23480 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457452 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546175396560 140546704267163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23481] ppid=23469 vsize=13984976 memory=4124 CPUtime=0.27 cores=0,2,4,6
/proc/23471/task/23481/stat : 23481 (java) R 23469 23469 19988 0 -1 4202560 1402 0 0 0 27 0 0 0 20 0 15 0 154457452 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546174329664 140546688648324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23482] ppid=23469 vsize=13984976 memory=2200 CPUtime=0.25 cores=0,2,4,6
/proc/23471/task/23482/stat : 23482 (java) R 23469 23469 19988 0 -1 4202560 1153 0 0 0 25 0 0 0 20 0 15 0 154457452 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546173276632 140546690264401 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23483] ppid=23469 vsize=13984976 memory=7528 CPUtime=0.37 cores=0,2,4,6
/proc/23471/task/23483/stat : 23483 (java) S 23469 23469 19988 0 -1 1077944384 1655 0 0 0 37 0 0 0 20 0 15 0 154457452 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546172238064 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23484] ppid=23469 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23484/stat : 23484 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457453 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546171185760 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23485] ppid=23469 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23485/stat : 23485 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457453 14320615424 18055 33554432000 4194304 4196468 140731492620592 140546170133296 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73604 KiB
[startup+1.19224 s]
# the end of solver process 23469 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.06328 s, system=0.089525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800929 s]
/proc/loadavg: 1.75 1.61 1.69 5/217 23485
/proc/meminfo: memFree=18989924/32770624 swapFree=67108860/67108860
[pid=23469] ppid=23466 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23469/stat : 23469 (xcsp3-exec) S 23466 23469 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154457447 9740288 346 33554432000 4194304 5098028 140737445070432 140737445068536 139950324339324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28893184 140737445078134 140737445078336 140737445078336 140737445081067 0
/proc/23469/statm: 2378 346 289 221 0 87 0
[pid=23471] ppid=23469 vsize=13984976 memory=81424 CPUtime=1.93 cores=0,2,4,6
/proc/23471/stat : 23471 (java) S 23469 23469 19988 0 -1 1077944320 12989 0 0 0 188 5 0 0 20 0 15 0 154457447 14320615424 20356 33554432000 4194304 4196468 140731492620592 140731492603136 140546704248567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
/proc/23471/statm: 3496244 20356 3215 1 0 3483478 0
[pid=23471/tid=23472] ppid=23469 vsize=13984976 memory=2428 CPUtime=0.77 cores=0,2,4,6
/proc/23471/task/23472/stat : 23472 (java) R 23469 23469 19988 0 -1 4202560 6717 0 0 0 74 3 0 0 20 0 15 0 154457447 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546708486784 140546704260502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23473] ppid=23469 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23473/stat : 23473 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546634336528 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23474] ppid=23469 vsize=13984976 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23474/stat : 23474 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546633283984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23475] ppid=23469 vsize=13984976 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23475/stat : 23475 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546632231440 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23476] ppid=23469 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23476/stat : 23476 (java) S 23469 23469 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546296953488 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23477] ppid=23469 vsize=13984976 memory=5428 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23477/stat : 23477 (java) S 23469 23469 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154457449 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546178554352 140546704259714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23478] ppid=23469 vsize=13984976 memory=4624 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23478/stat : 23478 (java) S 23469 23469 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154457450 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546177500576 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23479] ppid=23469 vsize=13984976 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23479/stat : 23479 (java) S 23469 23469 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154457450 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546176447984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23480] ppid=23469 vsize=13984976 memory=13160 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23480/stat : 23480 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457452 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546175396560 140546704267163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23481] ppid=23469 vsize=13984976 memory=792 CPUtime=0.37 cores=0,2,4,6
/proc/23471/task/23481/stat : 23481 (java) R 23469 23469 19988 0 -1 4202560 1855 0 0 0 37 0 0 0 20 0 15 0 154457452 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546174329032 140546685792355 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23482] ppid=23469 vsize=13984976 memory=1008 CPUtime=0.35 cores=0,2,4,6
/proc/23471/task/23482/stat : 23482 (java) R 23469 23469 19988 0 -1 4202560 1321 0 0 0 35 0 0 0 20 0 15 0 154457452 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546173276632 140546689126592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23483] ppid=23469 vsize=13984976 memory=10736 CPUtime=0.41 cores=0,2,4,6
/proc/23471/task/23483/stat : 23483 (java) R 23469 23469 19988 0 -1 1077944384 1789 0 0 0 40 1 0 0 20 0 15 0 154457452 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546172238064 140546704259714 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23484] ppid=23469 vsize=13984976 memory=33 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23484/stat : 23484 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457453 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546171185760 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23485] ppid=23469 vsize=13984976 memory=-7595718316223195531 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23485/stat : 23485 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457453 14320615424 20356 33554432000 4194304 4196468 140731492620592 140546170133296 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 82808 KiB
[startup+1.0007 s]*
/proc/loadavg: 1.75 1.61 1.69 5/217 23485
/proc/meminfo: memFree=18944912/32770624 swapFree=67108860/67108860
[pid=23469] ppid=23466 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23469/stat : 23469 (xcsp3-exec) S 23466 23469 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154457447 9740288 346 33554432000 4194304 5098028 140737445070432 140737445068536 139950324339324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28893184 140737445078134 140737445078336 140737445078336 140737445081067 0
/proc/23469/statm: 2378 346 289 221 0 87 0
[pid=23471] ppid=23469 vsize=13984976 memory=106176 CPUtime=2.59 cores=0,2,4,6
/proc/23471/stat : 23471 (java) S 23469 23469 19988 0 -1 1077944320 16653 0 0 0 253 6 0 0 20 0 15 0 154457447 14320615424 26544 33554432000 4194304 4196468 140731492620592 140731492603136 140546704248567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
/proc/23471/statm: 3496244 26544 3217 1 0 3483478 0
[pid=23471/tid=23472] ppid=23469 vsize=13984976 memory=4211863184580116109 CPUtime=0.98 cores=0,2,4,6
/proc/23471/task/23472/stat : 23472 (java) R 23469 23469 19988 0 -1 4202560 6731 0 0 0 95 3 0 0 20 0 15 0 154457447 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546708487576 140546312010465 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23473] ppid=23469 vsize=13984976 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23473/stat : 23473 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546634336528 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23474] ppid=23469 vsize=13984976 memory=140506032608896 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23474/stat : 23474 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546633283984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23475] ppid=23469 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23475/stat : 23475 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546632231440 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23476] ppid=23469 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23476/stat : 23476 (java) S 23469 23469 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457448 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546296953488 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23477] ppid=23469 vsize=13984976 memory=140506032608896 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23477/stat : 23477 (java) S 23469 23469 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154457449 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546178554352 140546704259714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23478] ppid=23469 vsize=13984976 memory=2352 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23478/stat : 23478 (java) S 23469 23469 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154457450 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546177500576 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23479] ppid=23469 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23479/stat : 23479 (java) S 23469 23469 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154457450 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546176447984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23480] ppid=23469 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23480/stat : 23480 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457452 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546175396560 140546704267163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23481] ppid=23469 vsize=13984976 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/23471/task/23481/stat : 23481 (java) R 23469 23469 19988 0 -1 4202560 3320 0 0 0 58 0 0 0 20 0 15 0 154457452 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546174329024 140546685792767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23482] ppid=23469 vsize=13984976 memory=140505895943919 CPUtime=0.55 cores=0,2,4,6
/proc/23471/task/23482/stat : 23482 (java) R 23469 23469 19988 0 -1 4202560 2985 0 0 0 55 0 0 0 20 0 15 0 154457452 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546173271624 140546683467267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23483] ppid=23469 vsize=13984976 memory=140506032608896 CPUtime=0.45 cores=0,2,4,6
/proc/23471/task/23483/stat : 23483 (java) R 23469 23469 19988 0 -1 1077944384 2309 0 0 0 44 1 0 0 20 0 15 0 154457452 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546172238064 140546704259714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23484] ppid=23469 vsize=13984976 memory=140505895849615 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23484/stat : 23484 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457453 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546171185760 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23485] ppid=23469 vsize=13984976 memory=140506187066343 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23485/stat : 23485 (java) S 23469 23469 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457453 14320615424 26544 33554432000 4194304 4196468 140731492620592 140546170133296 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 107560 KiB
[startup+1.11051 s]
/proc/loadavg: 1.75 1.61 1.69 5/217 23485
/proc/meminfo: memFree=18944912/32770624 swapFree=67108860/67108860
[pid=23469] ppid=23466 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23469/stat : 23469 (xcsp3-exec) S 23466 23469 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154457447 9740288 346 33554432000 4194304 5098028 140737445070432 140737445068536 139950324339324 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28893184 140737445078134 140737445078336 140737445078336 140737445081067 0
/proc/23469/statm: 2378 346 289 221 0 87 0
[pid=23471] ppid=23469 vsize=13986912 memory=116932 CPUtime=2.93 cores=0,2,4,6
/proc/23471/stat : 23471 (java) S 23469 23469 19988 0 -1 1077944320 26191 0 0 0 285 8 0 0 20 0 15 0 154457447 14322597888 29233 33554432000 4194304 4196468 140731492620592 140731492603136 140546704248567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
/proc/23471/statm: 3496728 29233 3219 1 0 3483962 0
[pid=23471/tid=23472] ppid=23469 vsize=13986912 memory=23628 CPUtime=1.08 cores=0,2,4,6
/proc/23471/task/23472/stat : 23472 (java) R 23469 23469 19988 0 -1 4202560 7120 0 0 0 105 3 0 0 20 0 15 0 154457447 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546708485376 140546315574126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23473] ppid=23469 vsize=13986912 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23473/stat : 23473 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546634336528 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23474] ppid=23469 vsize=13986912 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23474/stat : 23474 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546633283984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23475] ppid=23469 vsize=13986912 memory=640 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23475/stat : 23475 (java) S 23469 23469 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457448 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546632231440 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23476] ppid=23469 vsize=13986912 memory=956 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23476/stat : 23476 (java) S 23469 23469 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457448 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546296953488 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23477] ppid=23469 vsize=13986912 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23477/stat : 23477 (java) S 23469 23469 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154457449 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546178554352 140546704259714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23478] ppid=23469 vsize=13986912 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23478/stat : 23478 (java) S 23469 23469 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154457450 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546177500576 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23479] ppid=23469 vsize=13986912 memory=932 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23479/stat : 23479 (java) S 23469 23469 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154457450 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546176447984 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23480] ppid=23469 vsize=13986912 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23480/stat : 23480 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457452 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546175396560 140546704267163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23481] ppid=23469 vsize=13986912 memory=4124 CPUtime=0.68 cores=0,2,4,6
/proc/23471/task/23481/stat : 23481 (java) R 23469 23469 19988 0 -1 4202560 5598 0 0 0 68 0 0 0 20 0 15 0 154457452 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546174332512 140546696538016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23482] ppid=23469 vsize=13986912 memory=2200 CPUtime=0.65 cores=0,2,4,6
/proc/23471/task/23482/stat : 23482 (java) R 23469 23469 19988 0 -1 4202560 9208 0 0 0 64 1 0 0 20 0 15 0 154457452 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546173272168 140546688537424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23483] ppid=23469 vsize=13986912 memory=7528 CPUtime=0.47 cores=0,2,4,6
/proc/23471/task/23483/stat : 23483 (java) S 23469 23469 19988 0 -1 1077944384 2957 0 0 0 46 1 0 0 20 0 15 0 154457452 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546172238064 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23484] ppid=23469 vsize=13986912 memory=840 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23484/stat : 23484 (java) S 23469 23469 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457453 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546171185760 140546704258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
[pid=23471/tid=23485] ppid=23469 vsize=13986912 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/23471/task/23485/stat : 23485 (java) S 23469 23469 19988 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 154457453 14322597888 29233 33554432000 4194304 4196468 140731492620592 140546170133296 140546704259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34713600 140731492623517 140731492623692 140731492623692 140731492626383 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 13996424 KiB
Current children cumulated memory: 118316 KiB
Child status: 0
Real time (s): 1.19228
CPU time (s): 3.1528
CPU user time (s): 3.06328
CPU system time (s): 0.089525
CPU usage (%): 264.435
Max. virtual memory (cumulated for all children) (KiB): 13996424
Max. memory (cumulated for all children) (KiB): 118316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.06327
system time used= 0.089525
maximum resident set size= 120864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29101
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= 1985
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 23469
# total CPU time (s): 3.1528
# total CPU user time (s): 3.06328
# total CPU system time (s): 0.089525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034479 second user time and 0.054181 second system time
The end