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 (9882 MiB free)
memory of node 1: 16384 MiB (12095 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283065-1503210528/watcher-4283065-1503210528 -o /tmp/evaluation-result-4283065-1503210528/solver-4283065-1503210528 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node150-1503208459-5116 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 998045427 HOME/instance-4283065-1503210528.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6084, runsolver pid=6081
[startup+0.100089 s]*
/proc/loadavg: 2.04 1.91 1.50 3/217 6100
/proc/meminfo: memFree=22484716/32770624 swapFree=67108860/67108860
[pid=6084] ppid=6081 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6084/stat : 6084 (xcsp3-exec) S 6081 6084 5085 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133813 9740288 345 33554432000 4194304 5098028 140722233527312 140722233525416 139746613748348 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38572032 140722233529461 140722233529664 140722233529664 140722233532395 0
/proc/6084/statm: 2378 345 289 221 0 87 0
[pid=6086] ppid=6084 vsize=13978596 memory=28016 CPUtime=0.11 cores=0,2,4,6
/proc/6086/stat : 6086 (java) S 6084 6084 5085 0 -1 1077944320 5431 0 0 0 10 1 0 0 20 0 15 0 154133814 14314082304 7004 33554432000 4194304 4196468 140731631231904 140731631214448 140673140182775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
/proc/6086/statm: 3494649 7004 2837 1 0 3482966 0
[pid=6086/tid=6087] ppid=6084 vsize=13978596 memory=8116794532383920987 CPUtime=0.09 cores=0,2,4,6
/proc/6086/task/6087/stat : 6087 (java) R 6084 6084 5085 0 -1 4202560 3441 0 0 0 8 1 0 0 20 0 15 0 154133814 14314082304 7004 33554432000 4194304 4196468 140731631231904 140673144414688 140673140194710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6088] ppid=6084 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6088/stat : 6088 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14314082304 7004 33554432000 4194304 4196468 140731631231904 140673070270864 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6089] ppid=6084 vsize=13978596 memory=140546054116992 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6089/stat : 6089 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14314082304 7004 33554432000 4194304 4196468 140731631231904 140673069218064 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6090] ppid=6084 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6090/stat : 6090 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14314082304 7004 33554432000 4194304 4196468 140731631231904 140673068165776 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6091] ppid=6084 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6091/stat : 6091 (java) S 6084 6084 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133815 14314082304 7004 33554432000 4194304 4196468 140731631231904 140673067112976 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6092] ppid=6084 vsize=13978596 memory=140546054116992 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6092/stat : 6092 (java) S 6084 6084 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133816 14314082304 7004 33554432000 4194304 4196468 140731631231904 140672613595760 140673140193922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6093] ppid=6084 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6093/stat : 6093 (java) S 6084 6084 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154133817 14314082304 7004 33554432000 4194304 4196468 140731631231904 140672612541728 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6094] ppid=6084 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6094/stat : 6094 (java) S 6084 6084 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154133817 14314082304 7004 33554432000 4194304 4196468 140731631231904 140672611489392 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6095] ppid=6084 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6095/stat : 6095 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14314082304 7004 33554432000 4194304 4196468 140731631231904 140672610437712 140673140201371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6096] ppid=6084 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6096/stat : 6096 (java) S 6084 6084 5085 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 154133819 14314082304 7004 33554432000 4194304 4196468 140731631231904 140672609384560 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6097] ppid=6084 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6097/stat : 6097 (java) S 6084 6084 5085 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154133819 14314082304 7004 33554432000 4194304 4196468 140731631231904 140672608331760 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6098] ppid=6084 vsize=13978596 memory=140546054116992 CPUtime=0.01 cores=0,2,4,6
/proc/6086/task/6098/stat : 6098 (java) R 6084 6084 5085 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 154133819 14314082304 7004 33554432000 4194304 4196468 140731631231904 140672607279472 140673121413280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6099] ppid=6084 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6099/stat : 6099 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14314082304 7069 33554432000 4194304 4196468 140731631231904 140672606226912 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6100] ppid=6084 vsize=13978596 memory=140546054116992 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6100/stat : 6100 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133820 14314082304 7069 33554432000 4194304 4196468 140731631231904 140672605174704 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29396 KiB
[startup+0.210722 s]*
/proc/loadavg: 2.04 1.91 1.50 3/217 6100
/proc/meminfo: memFree=22471472/32770624 swapFree=67108860/67108860
[pid=6084] ppid=6081 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6084/stat : 6084 (xcsp3-exec) S 6081 6084 5085 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133813 9740288 345 33554432000 4194304 5098028 140722233527312 140722233525416 139746613748348 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38572032 140722233529461 140722233529664 140722233529664 140722233532395 0
/proc/6084/statm: 2378 345 289 221 0 87 0
[pid=6086] ppid=6084 vsize=13982852 memory=40368 CPUtime=0.33 cores=0,2,4,6
/proc/6086/stat : 6086 (java) S 6084 6084 5085 0 -1 1077944320 8146 0 0 0 31 2 0 0 20 0 15 0 154133814 14318440448 10092 33554432000 4194304 4196468 140731631231904 140731631214448 140673140182775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
/proc/6086/statm: 3495713 10092 3053 1 0 3482966 0
[pid=6086/tid=6087] ppid=6084 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6086/task/6087/stat : 6087 (java) D 6084 6084 5085 0 -1 1077944384 5285 0 0 0 18 2 0 0 20 0 15 0 154133814 14318440448 10113 33554432000 4194304 4196468 140731631231904 140673144393568 140673132861997 0 4 0 16800975 18446744072101654052 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6088] ppid=6084 vsize=13982852 memory=9010 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6088/stat : 6088 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14318440448 10113 33554432000 4194304 4196468 140731631231904 140673070270864 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6089] ppid=6084 vsize=13982852 memory=140546054226901 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6089/stat : 6089 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14318440448 10113 33554432000 4194304 4196468 140731631231904 140673069218064 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6090] ppid=6084 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6090/stat : 6090 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14318440448 10113 33554432000 4194304 4196468 140731631231904 140673068165776 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6091] ppid=6084 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6091/stat : 6091 (java) S 6084 6084 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133815 14318440448 10113 33554432000 4194304 4196468 140731631231904 140673067112976 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6092] ppid=6084 vsize=13982852 memory=140546054116992 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6092/stat : 6092 (java) S 6084 6084 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133816 14318440448 10113 33554432000 4194304 4196468 140731631231904 140672613595760 140673140193922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6093] ppid=6084 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6093/stat : 6093 (java) S 6084 6084 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154133817 14318473216 10113 33554432000 4194304 4196468 140731631231904 140672612541728 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6094] ppid=6084 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6094/stat : 6094 (java) S 6084 6084 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154133817 14318473216 10113 33554432000 4194304 4196468 140731631231904 140672611489392 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6095] ppid=6084 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6095/stat : 6095 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14318440448 10113 33554432000 4194304 4196468 140731631231904 140672610437712 140673140201371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6096] ppid=6084 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6086/task/6096/stat : 6096 (java) S 6084 6084 5085 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 15 0 154133819 14318440448 10113 33554432000 4194304 4196468 140731631231904 140672609384560 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6097] ppid=6084 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6086/task/6097/stat : 6097 (java) S 6084 6084 5085 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 15 0 154133819 14318440448 10113 33554432000 4194304 4196468 140731631231904 140672608331760 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6098] ppid=6084 vsize=13982852 memory=140546054116992 CPUtime=0.07 cores=0,2,4,6
/proc/6086/task/6098/stat : 6098 (java) S 6084 6084 5085 0 -1 1077944384 720 0 0 0 7 0 0 0 20 0 15 0 154133819 14318440448 10113 33554432000 4194304 4196468 140731631231904 140672607279472 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6099] ppid=6084 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6099/stat : 6099 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14318440448 10113 33554432000 4194304 4196468 140731631231904 140672606226912 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6100] ppid=6084 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6100/stat : 6100 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133820 14318440448 10113 33554432000 4194304 4196468 140731631231904 140672605174704 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41748 KiB
[startup+0.319463 s]*
/proc/loadavg: 2.04 1.91 1.50 4/217 6100
/proc/meminfo: memFree=22461972/32770624 swapFree=67108860/67108860
[pid=6084] ppid=6081 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6084/stat : 6084 (xcsp3-exec) S 6081 6084 5085 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133813 9740288 345 33554432000 4194304 5098028 140722233527312 140722233525416 139746613748348 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38572032 140722233529461 140722233529664 140722233529664 140722233532395 0
/proc/6084/statm: 2378 345 289 221 0 87 0
[pid=6086] ppid=6084 vsize=13982928 memory=47912 CPUtime=0.51 cores=0,2,4,6
/proc/6086/stat : 6086 (java) S 6084 6084 5085 0 -1 1077944320 9124 0 0 0 48 3 0 0 20 0 15 0 154133814 14318518272 11978 33554432000 4194304 4196468 140731631231904 140731631214448 140673140182775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
/proc/6086/statm: 3495732 11978 3138 1 0 3482966 0
[pid=6086/tid=6087] ppid=6084 vsize=13982928 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/6086/task/6087/stat : 6087 (java) R 6084 6084 5085 0 -1 4202560 6084 0 0 0 28 2 0 0 20 0 15 0 154133814 14318518272 11978 33554432000 4194304 4196468 140731631231904 140673144415104 140673140204701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6088] ppid=6084 vsize=13982928 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6088/stat : 6088 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14318518272 11978 33554432000 4194304 4196468 140731631231904 140673070270864 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6089] ppid=6084 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6089/stat : 6089 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14318518272 11978 33554432000 4194304 4196468 140731631231904 140673069218064 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6090] ppid=6084 vsize=13982928 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6090/stat : 6090 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14318518272 11978 33554432000 4194304 4196468 140731631231904 140673068165776 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6091] ppid=6084 vsize=13982928 memory=6945503147187019673 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6091/stat : 6091 (java) S 6084 6084 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133815 14318518272 11978 33554432000 4194304 4196468 140731631231904 140673067112976 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6092] ppid=6084 vsize=13982928 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6092/stat : 6092 (java) S 6084 6084 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133816 14318518272 11978 33554432000 4194304 4196468 140731631231904 140672613595760 140673140193922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6093] ppid=6084 vsize=13982928 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6093/stat : 6093 (java) S 6084 6084 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154133817 14318518272 11978 33554432000 4194304 4196468 140731631231904 140672612541728 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6094] ppid=6084 vsize=13982928 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6094/stat : 6094 (java) S 6084 6084 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154133817 14318518272 11978 33554432000 4194304 4196468 140731631231904 140672611489392 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6095] ppid=6084 vsize=13982928 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6095/stat : 6095 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14318518272 11978 33554432000 4194304 4196468 140731631231904 140672610437712 140673140201371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6096] ppid=6084 vsize=13982928 memory=7100839887185294217 CPUtime=0.03 cores=0,2,4,6
/proc/6086/task/6096/stat : 6096 (java) S 6084 6084 5085 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 15 0 154133819 14318518272 11978 33554432000 4194304 4196468 140731631231904 140672609384560 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6097] ppid=6084 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6086/task/6097/stat : 6097 (java) S 6084 6084 5085 0 -1 1077944384 467 0 0 0 3 0 0 0 20 0 15 0 154133819 14318518272 11978 33554432000 4194304 4196468 140731631231904 140672608331760 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6098] ppid=6084 vsize=13982928 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6086/task/6098/stat : 6098 (java) R 6084 6084 5085 0 -1 4202560 830 0 0 0 12 0 0 0 20 0 15 0 154133819 14318518272 11978 33554432000 4194304 4196468 140731631231904 140672607279472 140673140194710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6099] ppid=6084 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6099/stat : 6099 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14318518272 11978 33554432000 4194304 4196468 140731631231904 140672606226912 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6100] ppid=6084 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6100/stat : 6100 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133820 14318518272 11978 33554432000 4194304 4196468 140731631231904 140672605174704 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49292 KiB
[startup+0.701076 s]
/proc/loadavg: 2.04 1.91 1.50 4/217 6100
/proc/meminfo: memFree=22440896/32770624 swapFree=67108860/67108860
[pid=6084] ppid=6081 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6084/stat : 6084 (xcsp3-exec) S 6081 6084 5085 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133813 9740288 345 33554432000 4194304 5098028 140722233527312 140722233525416 139746613748348 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38572032 140722233529461 140722233529664 140722233529664 140722233532395 0
/proc/6084/statm: 2378 345 289 221 0 87 0
[pid=6086] ppid=6084 vsize=13984976 memory=71024 CPUtime=1.65 cores=0,2,4,6
/proc/6086/stat : 6086 (java) S 6084 6084 5085 0 -1 1077944320 12488 0 0 0 161 4 0 0 20 0 15 0 154133814 14320615424 17756 33554432000 4194304 4196468 140731631231904 140731631214448 140673140182775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
/proc/6086/statm: 3496244 17756 3213 1 0 3483478 0
[pid=6086/tid=6087] ppid=6084 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/6086/task/6087/stat : 6087 (java) R 6084 6084 5085 0 -1 4202560 6770 0 0 0 64 3 0 0 20 0 15 0 154133814 14320615424 17756 33554432000 4194304 4196468 140731631231904 140673144419280 140672745177440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6088] ppid=6084 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6088/stat : 6088 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 17756 33554432000 4194304 4196468 140731631231904 140673070270864 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6089] ppid=6084 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6089/stat : 6089 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 17756 33554432000 4194304 4196468 140731631231904 140673069218064 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6090] ppid=6084 vsize=13984976 memory=42996 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6090/stat : 6090 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 17756 33554432000 4194304 4196468 140731631231904 140673068165776 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6091] ppid=6084 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6091/stat : 6091 (java) S 6084 6084 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 17756 33554432000 4194304 4196468 140731631231904 140673067112976 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6092] ppid=6084 vsize=13984976 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6092/stat : 6092 (java) S 6084 6084 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154133816 14320615424 17756 33554432000 4194304 4196468 140731631231904 140672613595760 140673140193922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6093] ppid=6084 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6093/stat : 6093 (java) S 6084 6084 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154133817 14320615424 17756 33554432000 4194304 4196468 140731631231904 140672612541728 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6094] ppid=6084 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6094/stat : 6094 (java) S 6084 6084 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154133817 14320615424 17756 33554432000 4194304 4196468 140731631231904 140672611489392 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6095] ppid=6084 vsize=13984976 memory=11112 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6095/stat : 6095 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14320615424 17756 33554432000 4194304 4196468 140731631231904 140672610437712 140673140201371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6096] ppid=6084 vsize=13984976 memory=5776 CPUtime=0.31 cores=0,2,4,6
/proc/6086/task/6096/stat : 6096 (java) R 6084 6084 5085 0 -1 4202560 1212 0 0 0 31 0 0 0 20 0 15 0 154133819 14320615424 17756 33554432000 4194304 4196468 140731631231904 140672609370504 140673124088667 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6097] ppid=6084 vsize=13984976 memory=4616 CPUtime=0.28 cores=0,2,4,6
/proc/6086/task/6097/stat : 6097 (java) R 6084 6084 5085 0 -1 4202560 1272 0 0 0 28 0 0 0 20 0 15 0 154133819 14320615424 17756 33554432000 4194304 4196468 140731631231904 140672608319200 140673125080400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6098] ppid=6084 vsize=13984976 memory=792 CPUtime=0.37 cores=0,2,4,6
/proc/6086/task/6098/stat : 6098 (java) R 6084 6084 5085 0 -1 4202560 1928 0 0 0 37 0 0 0 20 0 15 0 154133819 14320615424 17756 33554432000 4194304 4196468 140731631231904 140672607279472 140673140204122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6099] ppid=6084 vsize=13984976 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6099/stat : 6099 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14320615424 17756 33554432000 4194304 4196468 140731631231904 140672606226912 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6100] ppid=6084 vsize=13984976 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6100/stat : 6100 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133820 14320615424 17756 33554432000 4194304 4196468 140731631231904 140672605174704 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 72404 KiB
[startup+1.40527 s]
# the end of solver process 6084 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.50331 s, system=0.073462 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.803036 s]
/proc/loadavg: 2.04 1.91 1.50 4/217 6100
/proc/meminfo: memFree=22440896/32770624 swapFree=67108860/67108860
[pid=6084] ppid=6081 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6084/stat : 6084 (xcsp3-exec) S 6081 6084 5085 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133813 9740288 345 33554432000 4194304 5098028 140722233527312 140722233525416 139746613748348 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38572032 140722233529461 140722233529664 140722233529664 140722233532395 0
/proc/6084/statm: 2378 345 289 221 0 87 0
[pid=6086] ppid=6084 vsize=13984976 memory=78200 CPUtime=1.99 cores=0,2,4,6
/proc/6086/stat : 6086 (java) S 6084 6084 5085 0 -1 1077944320 13836 0 0 0 194 5 0 0 20 0 15 0 154133814 14320615424 19550 33554432000 4194304 4196468 140731631231904 140731631214448 140673140182775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
/proc/6086/statm: 3496244 19550 3214 1 0 3483478 0
[pid=6086/tid=6087] ppid=6084 vsize=13984976 memory=10640 CPUtime=0.77 cores=0,2,4,6
/proc/6086/task/6087/stat : 6087 (java) R 6084 6084 5085 0 -1 4202560 6812 0 0 0 74 3 0 0 20 0 15 0 154133814 14320615424 19550 33554432000 4194304 4196468 140731631231904 140673144397872 140672749195058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6088] ppid=6084 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6088/stat : 6088 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 19550 33554432000 4194304 4196468 140731631231904 140673070270864 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6089] ppid=6084 vsize=13984976 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6089/stat : 6089 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 19550 33554432000 4194304 4196468 140731631231904 140673069218064 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6090] ppid=6084 vsize=13984976 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6090/stat : 6090 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 19550 33554432000 4194304 4196468 140731631231904 140673068165776 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6091] ppid=6084 vsize=13984976 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6091/stat : 6091 (java) S 6084 6084 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 19550 33554432000 4194304 4196468 140731631231904 140673067112976 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6092] ppid=6084 vsize=13984976 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6092/stat : 6092 (java) S 6084 6084 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154133816 14320615424 19550 33554432000 4194304 4196468 140731631231904 140672613595760 140673140193922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6093] ppid=6084 vsize=13984976 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6093/stat : 6093 (java) S 6084 6084 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154133817 14320615424 19550 33554432000 4194304 4196468 140731631231904 140672612541728 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6094] ppid=6084 vsize=13984976 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6094/stat : 6094 (java) S 6084 6084 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154133817 14320615424 19550 33554432000 4194304 4196468 140731631231904 140672611489392 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6095] ppid=6084 vsize=13984976 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6095/stat : 6095 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14320615424 19550 33554432000 4194304 4196468 140731631231904 140672610437712 140673140201371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6096] ppid=6084 vsize=13984976 memory=19876 CPUtime=0.41 cores=0,2,4,6
/proc/6086/task/6096/stat : 6096 (java) R 6084 6084 5085 0 -1 4202560 1699 0 0 0 41 0 0 0 20 0 15 0 154133819 14320615424 19550 33554432000 4194304 4196468 140731631231904 140672609365576 140673120929584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6097] ppid=6084 vsize=13984976 memory=22084 CPUtime=0.37 cores=0,2,4,6
/proc/6086/task/6097/stat : 6097 (java) R 6084 6084 5085 0 -1 4202560 1965 0 0 0 37 0 0 0 20 0 15 0 154133819 14320615424 19550 33554432000 4194304 4196468 140731631231904 140672608317224 140673125088168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6098] ppid=6084 vsize=13984976 memory=24292 CPUtime=0.4 cores=0,2,4,6
/proc/6086/task/6098/stat : 6098 (java) R 6084 6084 5085 0 -1 4202560 2054 0 0 0 40 0 0 0 20 0 15 0 154133819 14320615424 19550 33554432000 4194304 4196468 140731631231904 140672607279472 140673118787335 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6099] ppid=6084 vsize=13984976 memory=26500 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6099/stat : 6099 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14320615424 19550 33554432000 4194304 4196468 140731631231904 140672606226912 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6100] ppid=6084 vsize=13984976 memory=28708 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6100/stat : 6100 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133820 14320615424 19550 33554432000 4194304 4196468 140731631231904 140672605174704 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 79580 KiB
[startup+1.20073 s]
/proc/loadavg: 2.04 1.91 1.50 5/217 6100
/proc/meminfo: memFree=22402616/32770624 swapFree=67108860/67108860
[pid=6084] ppid=6081 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6084/stat : 6084 (xcsp3-exec) S 6081 6084 5085 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133813 9740288 345 33554432000 4194304 5098028 140722233527312 140722233525416 139746613748348 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38572032 140722233529461 140722233529664 140722233529664 140722233532395 0
/proc/6084/statm: 2378 345 289 221 0 87 0
[pid=6086] ppid=6084 vsize=13984976 memory=93200 CPUtime=3.12 cores=0,2,4,6
/proc/6086/stat : 6086 (java) S 6084 6084 5085 0 -1 1077944320 17563 0 0 0 306 6 0 0 20 0 15 0 154133814 14320615424 23300 33554432000 4194304 4196468 140731631231904 140731631214448 140673140182775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
/proc/6086/statm: 3496244 23300 3219 1 0 3483478 0
[pid=6086/tid=6087] ppid=6084 vsize=13984976 memory=16102567671239301 CPUtime=1.17 cores=0,2,4,6
/proc/6086/task/6087/stat : 6087 (java) R 6084 6084 5085 0 -1 4202560 7505 0 0 0 114 3 0 0 20 0 15 0 154133814 14320615424 23300 33554432000 4194304 4196468 140731631231904 140673144418816 140672749962121 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6088] ppid=6084 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6088/stat : 6088 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 23300 33554432000 4194304 4196468 140731631231904 140673070270864 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6089] ppid=6084 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6089/stat : 6089 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 23300 33554432000 4194304 4196468 140731631231904 140673069218064 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6090] ppid=6084 vsize=13984976 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6090/stat : 6090 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 23300 33554432000 4194304 4196468 140731631231904 140673068165776 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6091] ppid=6084 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6091/stat : 6091 (java) S 6084 6084 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 23300 33554432000 4194304 4196468 140731631231904 140673067112976 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6092] ppid=6084 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6092/stat : 6092 (java) S 6084 6084 5085 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154133816 14320615424 23300 33554432000 4194304 4196468 140731631231904 140672613595760 140673140193922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6093] ppid=6084 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6093/stat : 6093 (java) S 6084 6084 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154133817 14320615424 23300 33554432000 4194304 4196468 140731631231904 140672612541728 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6094] ppid=6084 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6094/stat : 6094 (java) S 6084 6084 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154133817 14320615424 23300 33554432000 4194304 4196468 140731631231904 140672611489392 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6095] ppid=6084 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6095/stat : 6095 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14320615424 23300 33554432000 4194304 4196468 140731631231904 140672610437712 140673140201371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6096] ppid=6084 vsize=13984976 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/6086/task/6096/stat : 6096 (java) S 6084 6084 5085 0 -1 1077944384 3407 0 0 0 75 0 0 0 20 0 15 0 154133819 14320615424 23300 33554432000 4194304 4196468 140731631231904 140672609384560 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6097] ppid=6084 vsize=13984976 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/6086/task/6097/stat : 6097 (java) S 6084 6084 5085 0 -1 1077944384 3083 0 0 0 72 1 0 0 20 0 15 0 154133819 14320615424 23300 33554432000 4194304 4196468 140731631231904 140672608331760 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6098] ppid=6084 vsize=13984976 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/6086/task/6098/stat : 6098 (java) S 6084 6084 5085 0 -1 1077944384 2210 0 0 0 43 0 0 0 20 0 15 0 154133819 14320615424 23300 33554432000 4194304 4196468 140731631231904 140672607279472 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6099] ppid=6084 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6099/stat : 6099 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133819 14320615424 23300 33554432000 4194304 4196468 140731631231904 140672606226912 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6100] ppid=6084 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6100/stat : 6100 (java) S 6084 6084 5085 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 154133820 14320615424 23300 33554432000 4194304 4196468 140731631231904 140672605174704 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 94580 KiB
[startup+1.40073 s]
/proc/loadavg: 2.04 1.91 1.50 5/217 6100
/proc/meminfo: memFree=22402616/32770624 swapFree=67108860/67108860
[pid=6084] ppid=6081 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6084/stat : 6084 (xcsp3-exec) S 6081 6084 5085 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133813 9740288 345 33554432000 4194304 5098028 140722233527312 140722233525416 139746613748348 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38572032 140722233529461 140722233529664 140722233529664 140722233532395 0
/proc/6084/statm: 2378 345 289 221 0 87 0
[pid=6086] ppid=6084 vsize=13984976 memory=101480 CPUtime=3.56 cores=0,2,4,6
/proc/6086/stat : 6086 (java) S 6084 6084 5085 0 -1 1077944320 19286 0 0 0 350 6 0 0 20 0 15 0 154133814 14320615424 25370 33554432000 4194304 4196468 140731631231904 140731631214448 140673140182775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
/proc/6086/statm: 3496244 25370 3221 1 0 3483478 0
[pid=6086/tid=6087] ppid=6084 vsize=13984976 memory=-7812193691855986592 CPUtime=1.37 cores=0,2,4,6
/proc/6086/task/6087/stat : 6087 (java) S 6084 6084 5085 0 -1 1077944384 7877 0 0 0 134 3 0 0 20 0 15 0 154133814 14320615424 25371 33554432000 4194304 4196468 140731631231904 140673144425616 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6088] ppid=6084 vsize=13984976 memory=6944656425122700657 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6088/stat : 6088 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 25371 33554432000 4194304 4196468 140731631231904 140673070270864 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6089] ppid=6084 vsize=13984976 memory=-6948055166404804227 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6089/stat : 6089 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 25374 33554432000 4194304 4196468 140731631231904 140673069218064 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6090] ppid=6084 vsize=13984976 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6090/stat : 6090 (java) S 6084 6084 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133815 14320615424 25376 33554432000 4194304 4196468 140731631231904 140673068165776 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6091] ppid=6084 vsize=13984976 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6091/stat : 6091 (java) S 6084 6084 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 154133815 14320615424 25376 33554432000 4194304 4196468 140731631231904 140673067112976 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6092] ppid=6084 vsize=13984976 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6092/stat : 6092 (java) R 6084 6084 5085 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 13 0 154133816 14320615424 25376 33554432000 4194304 4196468 140731631231904 140672613596280 140673132899927 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6093] ppid=6084 vsize=13984976 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6093/stat : 6093 (java) S 6084 6084 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 154133817 14320615424 25376 33554432000 4194304 4196468 140731631231904 140672612541728 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6094] ppid=6084 vsize=13984976 memory=-1189914978686163229 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6094/stat : 6094 (java) S 6084 6084 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 12 0 154133817 14320615424 25381 33554432000 4194304 4196468 140731631231904 140672611489392 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6096] ppid=6084 vsize=13984976 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/6086/task/6096/stat : 6096 (java) S 6084 6084 5085 0 -1 1077944384 4212 0 0 0 87 0 0 0 20 0 12 0 154133819 14320615424 25381 33554432000 4194304 4196468 140731631231904 140672609370800 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6097] ppid=6084 vsize=13984976 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/6086/task/6097/stat : 6097 (java) S 6084 6084 5085 0 -1 1077944384 3611 0 0 0 83 1 0 0 20 0 12 0 154133819 14320615424 25381 33554432000 4194304 4196468 140731631231904 140672608331760 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6098] ppid=6084 vsize=13984976 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/6086/task/6098/stat : 6098 (java) S 6084 6084 5085 0 -1 1077944384 2228 0 0 0 44 0 0 0 20 0 12 0 154133819 14320615424 25381 33554432000 4194304 4196468 140731631231904 140672607279472 140673140193922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
[pid=6086/tid=6099] ppid=6084 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6086/task/6099/stat : 6099 (java) S 6084 6084 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 11 0 154133819 14320615424 25353 33554432000 4194304 4196468 140731631231904 140672606226912 140673140192981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140731631240349 140731631240524 140731631240524 140731631243215 0
Current children cumulated CPU time: 3.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 102860 KiB
Child status: 0
Real time (s): 1.4053
CPU time (s): 3.57677
CPU user time (s): 3.50331
CPU system time (s): 0.073462
CPU usage (%): 254.519
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 102860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.50331
system time used= 0.073462
maximum resident set size= 101992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19868
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= 2043
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 6084
# total CPU time (s): 3.57677
# total CPU user time (s): 3.50331
# total CPU system time (s): 0.073462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034374 second user time and 0.056616 second system time
The end