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 (9497 MiB free)
memory of node 1: 16384 MiB (10237 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292428-1532538556/watcher-4292428-1532538556 -o /tmp/evaluation-result-4292428-1532538556/solver-4292428-1532538556 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27754 --watchdog 2560 HOME/xcsp3-exec -seed 1551492572 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292428-1532538556.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=30453, runsolver pid=30450
[startup+0.100136 s]*
/proc/loadavg: 2.03 1.85 1.79 6/217 30469
/proc/meminfo: memFree=20192252/32770624 swapFree=67108860/67108860
[pid=30453] ppid=30450 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30453/stat : 30453 (xcsp3-exec) S 30450 30453 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71418832 115843072 363 33554432000 4194304 5098028 140723422392976 140723422391080 139905043583612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25411584 140723422397498 140723422397700 140723422397700 140723422400458 0
/proc/30453/statm: 28282 363 305 221 0 87 0
[pid=30455] ppid=30453 vsize=14082840 memory=28720 CPUtime=0.12 cores=1,3,5,7
/proc/30455/stat : 30455 (java) S 30453 30453 27722 0 -1 1077944320 5489 0 0 0 11 1 0 0 20 0 15 0 71418832 14420828160 7180 33554432000 4194304 4196468 140730637827408 140730637809952 139624263675639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
/proc/30455/statm: 3520710 7180 3023 1 0 3483008 0
[pid=30455/tid=30456] ppid=30453 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7
/proc/30455/task/30456/stat : 30456 (java) R 30453 30453 27722 0 -1 4202560 3483 0 0 0 8 1 0 0 20 0 15 0 71418833 14420828160 7180 33554432000 4194304 4196468 140730637827408 139624267907744 139624263687574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30457] ppid=30453 vsize=14082840 memory=3472468090229167312 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30457/stat : 30457 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623859153168 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30458] ppid=30453 vsize=14082840 memory=139961334015616 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30458/stat : 30458 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623858100624 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30459] ppid=30453 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30459/stat : 30459 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623857048080 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30460] ppid=30453 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30460/stat : 30460 (java) S 30453 30453 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418834 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623855995536 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30461] ppid=30453 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30461/stat : 30461 (java) S 30453 30453 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418835 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623737928176 139624263686786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30462] ppid=30453 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30462/stat : 30462 (java) S 30453 30453 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71418835 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623736874400 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30463] ppid=30453 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30463/stat : 30463 (java) S 30453 30453 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71418836 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623735821808 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30464] ppid=30453 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30464/stat : 30464 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623734770384 139624263694235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30465] ppid=30453 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30465/stat : 30465 (java) S 30453 30453 27722 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 71418838 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623733716976 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30466] ppid=30453 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30466/stat : 30466 (java) S 30453 30453 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71418838 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623732664432 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30467] ppid=30453 vsize=14082840 memory=139961334015616 CPUtime=0.01 cores=1,3,5,7
/proc/30455/task/30467/stat : 30467 (java) R 30453 30453 27722 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 15 0 71418838 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623731611888 139624242218374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30468] ppid=30453 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30468/stat : 30468 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623730559584 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30469] ppid=30453 vsize=14082840 memory=139961334015616 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30469/stat : 30469 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418838 14420828160 7180 33554432000 4194304 4196468 140730637827408 139623729507120 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30172 KiB
[startup+0.210712 s]*
/proc/loadavg: 2.03 1.85 1.79 4/217 30469
/proc/meminfo: memFree=20180452/32770624 swapFree=67108860/67108860
[pid=30453] ppid=30450 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30453/stat : 30453 (xcsp3-exec) S 30450 30453 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71418832 115843072 363 33554432000 4194304 5098028 140723422392976 140723422391080 139905043583612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25411584 140723422397498 140723422397700 140723422397700 140723422400458 0
/proc/30453/statm: 28282 363 305 221 0 87 0
[pid=30455] ppid=30453 vsize=14087096 memory=41268 CPUtime=0.34 cores=1,3,5,7
/proc/30455/stat : 30455 (java) S 30453 30453 27722 0 -1 1077944320 8311 0 0 0 31 3 0 0 20 0 15 0 71418832 14425186304 10317 33554432000 4194304 4196468 140730637827408 140730637809952 139624263675639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
/proc/30455/statm: 3521774 10317 3194 1 0 3483008 0
[pid=30455/tid=30456] ppid=30453 vsize=14087096 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/30455/task/30456/stat : 30456 (java) R 30453 30453 27722 0 -1 4202560 5433 0 0 0 18 2 0 0 20 0 15 0 71418833 14425186304 10317 33554432000 4194304 4196468 140730637827408 139624267896632 139624247756126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30457] ppid=30453 vsize=14087096 memory=3472468090229167312 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30457/stat : 30457 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623859153168 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30458] ppid=30453 vsize=14087096 memory=139961334015616 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30458/stat : 30458 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623858100624 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30459] ppid=30453 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30459/stat : 30459 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623857048080 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30460] ppid=30453 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30460/stat : 30460 (java) S 30453 30453 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418834 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623855995536 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30461] ppid=30453 vsize=14087096 memory=139961334015616 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30461/stat : 30461 (java) S 30453 30453 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71418835 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623737928176 139624263686786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30462] ppid=30453 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30462/stat : 30462 (java) S 30453 30453 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71418835 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623736874400 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30463] ppid=30453 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30463/stat : 30463 (java) S 30453 30453 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71418836 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623735821808 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30464] ppid=30453 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30464/stat : 30464 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623734770384 139624263694235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30465] ppid=30453 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30455/task/30465/stat : 30465 (java) S 30453 30453 27722 0 -1 1077944384 738 0 0 0 3 0 0 0 20 0 15 0 71418838 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623733716976 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30466] ppid=30453 vsize=14087096 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30455/task/30466/stat : 30466 (java) S 30453 30453 27722 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 15 0 71418838 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623732664432 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30467] ppid=30453 vsize=14087096 memory=139961334015616 CPUtime=0.08 cores=1,3,5,7
/proc/30455/task/30467/stat : 30467 (java) S 30453 30453 27722 0 -1 1077944384 795 0 0 0 8 0 0 0 20 0 15 0 71418838 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623731611888 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30468] ppid=30453 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30468/stat : 30468 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623730559584 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30469] ppid=30453 vsize=14087096 memory=139961334015616 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30469/stat : 30469 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418838 14425186304 10317 33554432000 4194304 4196468 140730637827408 139623729507120 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42720 KiB
[startup+0.310551 s]*
/proc/loadavg: 2.03 1.85 1.79 3/217 30469
/proc/meminfo: memFree=20174124/32770624 swapFree=67108860/67108860
[pid=30453] ppid=30450 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30453/stat : 30453 (xcsp3-exec) S 30450 30453 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71418832 115843072 363 33554432000 4194304 5098028 140723422392976 140723422391080 139905043583612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25411584 140723422397498 140723422397700 140723422397700 140723422400458 0
/proc/30453/statm: 28282 363 305 221 0 87 0
[pid=30455] ppid=30453 vsize=14087096 memory=47828 CPUtime=0.51 cores=1,3,5,7
/proc/30455/stat : 30455 (java) S 30453 30453 27722 0 -1 1077944320 9108 0 0 0 48 3 0 0 20 0 15 0 71418832 14425186304 11957 33554432000 4194304 4196468 140730637827408 140730637809952 139624263675639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
/proc/30455/statm: 3521774 11957 3224 1 0 3483008 0
[pid=30455/tid=30456] ppid=30453 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7
/proc/30455/task/30456/stat : 30456 (java) R 30453 30453 27722 0 -1 4202560 6131 0 0 0 27 2 0 0 20 0 15 0 71418833 14425186304 11957 33554432000 4194304 4196468 140730637827408 139624267911984 139624263697565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30457] ppid=30453 vsize=14087096 memory=3472468090229167312 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30457/stat : 30457 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623859153168 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30458] ppid=30453 vsize=14087096 memory=139961334015616 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30458/stat : 30458 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623858100624 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30459] ppid=30453 vsize=14087096 memory=9 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30459/stat : 30459 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623857048080 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30460] ppid=30453 vsize=14087096 memory=139961173157919 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30460/stat : 30460 (java) S 30453 30453 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418834 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623855995536 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30461] ppid=30453 vsize=14087096 memory=279922346276608 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30461/stat : 30461 (java) S 30453 30453 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71418835 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623737928176 139624263686786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30462] ppid=30453 vsize=14087096 memory=139961173134863 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30462/stat : 30462 (java) S 30453 30453 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71418835 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623736874400 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30463] ppid=30453 vsize=14087096 memory=279922507159648 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30463/stat : 30463 (java) S 30453 30453 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71418836 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623735821808 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30464] ppid=30453 vsize=14087096 memory=139961173139471 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30464/stat : 30464 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623734770384 139624263694235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30465] ppid=30453 vsize=14087096 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/30455/task/30465/stat : 30465 (java) S 30453 30453 27722 0 -1 1077944384 744 0 0 0 5 0 0 0 20 0 15 0 71418838 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623733716976 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30466] ppid=30453 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30455/task/30466/stat : 30466 (java) S 30453 30453 27722 0 -1 1077944384 57 0 0 0 3 0 0 0 20 0 15 0 71418838 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623732664432 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30467] ppid=30453 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30455/task/30467/stat : 30467 (java) S 30453 30453 27722 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 15 0 71418838 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623731611888 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30468] ppid=30453 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30468/stat : 30468 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623730559584 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30469] ppid=30453 vsize=14087096 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30469/stat : 30469 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418838 14425186304 11957 33554432000 4194304 4196468 140730637827408 139623729507120 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49280 KiB
[startup+0.701376 s]
/proc/loadavg: 2.03 1.85 1.79 7/217 30469
/proc/meminfo: memFree=20154836/32770624 swapFree=67108860/67108860
[pid=30453] ppid=30450 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30453/stat : 30453 (xcsp3-exec) S 30450 30453 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71418832 115843072 363 33554432000 4194304 5098028 140723422392976 140723422391080 139905043583612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25411584 140723422397498 140723422397700 140723422397700 140723422400458 0
/proc/30453/statm: 28282 363 305 221 0 87 0
[pid=30455] ppid=30453 vsize=14089220 memory=72992 CPUtime=1.62 cores=1,3,5,7
/proc/30455/stat : 30455 (java) S 30453 30453 27722 0 -1 1077944320 12947 0 0 0 157 5 0 0 20 0 15 0 71418832 14427361280 18248 33554432000 4194304 4196468 140730637827408 140730637809952 139624263675639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
/proc/30455/statm: 3522305 18248 3344 1 0 3483520 0
[pid=30455/tid=30456] ppid=30453 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=1,3,5,7
/proc/30455/task/30456/stat : 30456 (java) R 30453 30453 27722 0 -1 4202560 7055 0 0 0 64 3 0 0 20 0 15 0 71418833 14427361280 18248 33554432000 4194304 4196468 140730637827408 139624267913776 139624263687574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30457] ppid=30453 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30457/stat : 30457 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623859153168 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30458] ppid=30453 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30458/stat : 30458 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623858100624 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30459] ppid=30453 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30459/stat : 30459 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623857048080 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30460] ppid=30453 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30460/stat : 30460 (java) S 30453 30453 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623855995536 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30461] ppid=30453 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30461/stat : 30461 (java) S 30453 30453 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71418835 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623737928176 139624263686786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30462] ppid=30453 vsize=14089220 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30462/stat : 30462 (java) S 30453 30453 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71418835 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623736874400 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30463] ppid=30453 vsize=14089220 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30463/stat : 30463 (java) S 30453 30453 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71418836 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623735821808 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30464] ppid=30453 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30464/stat : 30464 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623734770384 139624263694235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30465] ppid=30453 vsize=14089220 memory=21540 CPUtime=0.31 cores=1,3,5,7
/proc/30455/task/30465/stat : 30465 (java) R 30453 30453 27722 0 -1 4202560 1783 0 0 0 31 0 0 0 20 0 15 0 71418838 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623733702856 139624242928265 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30466] ppid=30453 vsize=14089220 memory=1296 CPUtime=0.25 cores=1,3,5,7
/proc/30455/task/30466/stat : 30466 (java) R 30453 30453 27722 0 -1 4202560 827 0 0 0 25 0 0 0 20 0 15 0 71418838 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623732655888 139624248062880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30467] ppid=30453 vsize=14089220 memory=2412 CPUtime=0.35 cores=1,3,5,7
/proc/30455/task/30467/stat : 30467 (java) R 30453 30453 27722 0 -1 4202560 1974 0 0 0 35 0 0 0 20 0 15 0 71418838 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623731611888 139624263696986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30468] ppid=30453 vsize=14089220 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30468/stat : 30468 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623730559584 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30469] ppid=30453 vsize=14089220 memory=7589803909226524263 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30469/stat : 30469 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418838 14427361280 18248 33554432000 4194304 4196468 140730637827408 139623729507120 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 74444 KiB
[startup+1.0822 s]
# the end of solver process 30453 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.7151 s, system=0.067251 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.8063 s]
/proc/loadavg: 2.03 1.85 1.79 7/217 30469
/proc/meminfo: memFree=20154836/32770624 swapFree=67108860/67108860
[pid=30453] ppid=30450 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30453/stat : 30453 (xcsp3-exec) S 30450 30453 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71418832 115843072 363 33554432000 4194304 5098028 140723422392976 140723422391080 139905043583612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25411584 140723422397498 140723422397700 140723422397700 140723422400458 0
/proc/30453/statm: 28282 363 305 221 0 87 0
[pid=30455] ppid=30453 vsize=14089220 memory=76228 CPUtime=1.96 cores=1,3,5,7
/proc/30455/stat : 30455 (java) S 30453 30453 27722 0 -1 1077944320 13819 0 0 0 191 5 0 0 20 0 15 0 71418832 14427361280 19057 33554432000 4194304 4196468 140730637827408 140730637809952 139624263675639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
/proc/30455/statm: 3522305 19057 3344 1 0 3483520 0
[pid=30455/tid=30456] ppid=30453 vsize=14089220 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/30455/task/30456/stat : 30456 (java) R 30453 30453 27722 0 -1 4202560 7081 0 0 0 74 3 0 0 20 0 15 0 71418833 14427361280 19057 33554432000 4194304 4196468 140730637827408 139624267914368 139624263687574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30457] ppid=30453 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30457/stat : 30457 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623859153168 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30458] ppid=30453 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30458/stat : 30458 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623858100624 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30459] ppid=30453 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30459/stat : 30459 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623857048080 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30460] ppid=30453 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30460/stat : 30460 (java) S 30453 30453 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623855995536 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30461] ppid=30453 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30461/stat : 30461 (java) S 30453 30453 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71418835 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623737928176 139624263686786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30462] ppid=30453 vsize=14089220 memory=279922346036048 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30462/stat : 30462 (java) S 30453 30453 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71418835 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623736874400 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30463] ppid=30453 vsize=14089220 memory=279922346353744 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30463/stat : 30463 (java) S 30453 30453 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71418836 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623735821808 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30464] ppid=30453 vsize=14089220 memory=279922346112656 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30464/stat : 30464 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623734770384 139624263694235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30465] ppid=30453 vsize=14089220 memory=2110311780436148 CPUtime=0.41 cores=1,3,5,7
/proc/30455/task/30465/stat : 30465 (java) R 30453 30453 27722 0 -1 1077944384 2084 0 0 0 41 0 0 0 20 0 15 0 71418838 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623733702176 139624263685845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30466] ppid=30453 vsize=14089220 memory=173 CPUtime=0.36 cores=1,3,5,7
/proc/30455/task/30466/stat : 30466 (java) R 30453 30453 27722 0 -1 4202560 1279 0 0 0 36 0 0 0 20 0 15 0 71418838 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623732649096 139624247578738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30467] ppid=30453 vsize=14089220 memory=3 CPUtime=0.39 cores=1,3,5,7
/proc/30455/task/30467/stat : 30467 (java) S 30453 30453 27722 0 -1 1077944384 2068 0 0 0 38 1 0 0 20 0 15 0 71418838 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623731611888 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30468] ppid=30453 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30468/stat : 30468 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623730559584 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30469] ppid=30453 vsize=14089220 memory=205 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30469/stat : 30469 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418838 14427361280 19057 33554432000 4194304 4196468 140730637827408 139623729507120 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 77680 KiB
[startup+1.00136 s]*
/proc/loadavg: 2.03 1.85 1.79 5/217 30469
/proc/meminfo: memFree=20143356/32770624 swapFree=67108860/67108860
[pid=30453] ppid=30450 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30453/stat : 30453 (xcsp3-exec) S 30450 30453 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 71418832 115843072 363 33554432000 4194304 5098028 140723422392976 140723422391080 139905043583612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25411584 140723422397498 140723422397700 140723422397700 140723422400458 0
/proc/30453/statm: 28282 363 305 221 0 87 0
[pid=30455] ppid=30453 vsize=14089220 memory=78684 CPUtime=2.59 cores=1,3,5,7
/proc/30455/stat : 30455 (java) S 30453 30453 27722 0 -1 1077944320 14406 0 0 0 253 6 0 0 20 0 15 0 71418832 14427361280 19671 33554432000 4194304 4196468 140730637827408 140730637809952 139624263675639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
/proc/30455/statm: 3522305 19671 3344 1 0 3483520 0
[pid=30455/tid=30456] ppid=30453 vsize=14089220 memory=5854518564242424225 CPUtime=0.98 cores=1,3,5,7
/proc/30455/task/30456/stat : 30456 (java) R 30453 30453 27722 0 -1 4202560 7081 0 0 0 95 3 0 0 20 0 15 0 71418833 14427361280 19671 33554432000 4194304 4196468 140730637827408 139624267913112 139623904998470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30457] ppid=30453 vsize=14089220 memory=3472468090229167312 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30457/stat : 30457 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623859153168 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30458] ppid=30453 vsize=14089220 memory=3472468090229167298 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30458/stat : 30458 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623858100624 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30459] ppid=30453 vsize=14089220 memory=-6944672133998927705 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30459/stat : 30459 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623857048080 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30460] ppid=30453 vsize=14089220 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30460/stat : 30460 (java) S 30453 30453 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71418834 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623855995536 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30461] ppid=30453 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30461/stat : 30461 (java) S 30453 30453 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71418835 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623737928176 139624263686786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30462] ppid=30453 vsize=14089220 memory=7809070665841994859 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30462/stat : 30462 (java) S 30453 30453 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71418835 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623736874400 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30463] ppid=30453 vsize=14089220 memory=6944613755445342871 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30463/stat : 30463 (java) S 30453 30453 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71418836 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623735821808 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30464] ppid=30453 vsize=14089220 memory=6944656425123290226 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30464/stat : 30464 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623734770384 139624263694235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30465] ppid=30453 vsize=14089220 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/30455/task/30465/stat : 30465 (java) R 30453 30453 27722 0 -1 4202560 2325 0 0 0 61 0 0 0 20 0 15 0 71418838 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623733705216 139624247229936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30466] ppid=30453 vsize=14089220 memory=3472609771204390959 CPUtime=0.56 cores=1,3,5,7
/proc/30455/task/30466/stat : 30466 (java) R 30453 30453 27722 0 -1 4202560 1584 0 0 0 56 0 0 0 20 0 15 0 71418838 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623732649096 139624241837696 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30467] ppid=30453 vsize=14089220 memory=279922507032312 CPUtime=0.4 cores=1,3,5,7
/proc/30455/task/30467/stat : 30467 (java) S 30453 30453 27722 0 -1 1077944384 2109 0 0 0 39 1 0 0 20 0 15 0 71418838 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623731611888 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30468] ppid=30453 vsize=14089220 memory=2349347111349 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30468/stat : 30468 (java) S 30453 30453 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71418838 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623730559584 139624263685845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
[pid=30455/tid=30469] ppid=30453 vsize=14089220 memory=3474721156887008944 CPUtime=0 cores=1,3,5,7
/proc/30455/task/30469/stat : 30469 (java) S 30453 30453 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71418838 14427361280 19671 33554432000 4194304 4196468 140730637827408 139623729507120 139624263686786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730637829249 140730637829425 140730637829425 140730637832143 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 80136 KiB
Child status: 0
Real time (s): 1.08224
CPU time (s): 2.78236
CPU user time (s): 2.7151
CPU system time (s): 0.067251
CPU usage (%): 257.092
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 80136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.7151
system time used= 0.067251
maximum resident set size= 82356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1796
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 30453
# total CPU time (s): 2.78236
# total CPU user time (s): 2.7151
# total CPU system time (s): 0.067251
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031777 second user time and 0.055603 second system time
The end