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 (14240 MiB free)
memory of node 1: 16384 MiB (13136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272118-1502817691/watcher-4272118-1502817691 -o /tmp/evaluation-result-4272118-1502817691/solver-4272118-1502817691 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5949 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 686694675 HOME/instance-4272118-1502817691.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11114, runsolver pid=11111
Current StackSize limit: 8192 KiB
[startup+0.100126 s]*
/proc/loadavg: 1.95 1.70 1.59 4/217 11130
/proc/meminfo: memFree=28016524/32770624 swapFree=67108860/67108860
[pid=11114] ppid=11111 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11114/stat : 11114 (xcsp3-exec) S 11111 11114 5918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114857108 9740288 345 33554432000 4194304 5098028 140728720894864 140728720892968 139812506403452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728720897135 140728720897339 140728720897339 140728720900075 0
/proc/11114/statm: 2378 345 289 221 0 87 0
[pid=11116] ppid=11114 vsize=13978596 memory=27632 CPUtime=0.12 cores=0,2,4,6
/proc/11116/stat : 11116 (java) S 11114 11114 5918 0 -1 1077944320 5334 0 0 0 10 2 0 0 20 0 15 0 114857108 14314082304 6908 33554432000 4194304 4196468 140733405382432 140733405364976 139660932427511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
/proc/11116/statm: 3494649 6908 2847 1 0 3482966 0
[pid=11116/tid=11117] ppid=11114 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/11116/task/11117/stat : 11117 (java) R 11114 11114 5918 0 -1 4202560 3332 0 0 0 8 1 0 0 20 0 15 0 114857109 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660936656688 139660915803775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11118] ppid=11114 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11118/stat : 11118 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857109 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660862515856 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11119] ppid=11114 vsize=13978596 memory=140498427582080 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11119/stat : 11119 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660527057424 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11120] ppid=11114 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11120/stat : 11120 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660526004624 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11121] ppid=11114 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11121/stat : 11121 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660524951824 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11122] ppid=11114 vsize=13978596 memory=140498427582080 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11122/stat : 11122 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857111 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660473772912 139660932438658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11123] ppid=11114 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11123/stat : 11123 (java) S 11114 11114 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857111 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660472718880 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11124] ppid=11114 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11124/stat : 11124 (java) S 11114 11114 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857111 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660471666032 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11125] ppid=11114 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11125/stat : 11125 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660470614352 139660932446107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11126] ppid=11114 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11126/stat : 11126 (java) S 11114 11114 5918 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 114857114 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660469561712 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11127] ppid=11114 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11127/stat : 11127 (java) S 11114 11114 5918 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 114857114 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660468508912 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11128] ppid=11114 vsize=13978596 memory=140498427582080 CPUtime=0.01 cores=0,2,4,6
/proc/11116/task/11128/stat : 11128 (java) R 11114 11114 5918 0 -1 4202560 288 0 0 0 1 0 0 0 20 0 15 0 114857114 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660467456112 139660911353222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11129] ppid=11114 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11129/stat : 11129 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660466403552 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11130] ppid=11114 vsize=13978596 memory=140498427582080 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11130/stat : 11130 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857114 14314082304 6973 33554432000 4194304 4196468 140733405382432 139660465351856 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29012 KiB
[startup+0.210807 s]*
/proc/loadavg: 1.95 1.70 1.59 3/217 11130
/proc/meminfo: memFree=28004616/32770624 swapFree=67108860/67108860
[pid=11114] ppid=11111 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11114/stat : 11114 (xcsp3-exec) S 11111 11114 5918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114857108 9740288 345 33554432000 4194304 5098028 140728720894864 140728720892968 139812506403452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728720897135 140728720897339 140728720897339 140728720900075 0
/proc/11114/statm: 2378 345 289 221 0 87 0
[pid=11116] ppid=11114 vsize=13982852 memory=40616 CPUtime=0.34 cores=0,2,4,6
/proc/11116/stat : 11116 (java) S 11114 11114 5918 0 -1 1077944320 8211 0 0 0 31 3 0 0 20 0 15 0 114857108 14318440448 10154 33554432000 4194304 4196468 140733405382432 140733405364976 139660932427511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
/proc/11116/statm: 3495713 10154 3052 1 0 3482966 0
[pid=11116/tid=11117] ppid=11114 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/11116/task/11117/stat : 11117 (java) R 11114 11114 5918 0 -1 4202560 5318 0 0 0 17 2 0 0 20 0 15 0 114857109 14318473216 10154 33554432000 4194304 4196468 140733405382432 139660936629200 139660925107229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11118] ppid=11114 vsize=13982884 memory=12474 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11118/stat : 11118 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857109 14318473216 10154 33554432000 4194304 4196468 140733405382432 139660862515856 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11119] ppid=11114 vsize=13982852 memory=140498428148986 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11119/stat : 11119 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14318440448 10154 33554432000 4194304 4196468 140733405382432 139660527057424 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11120] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11120/stat : 11120 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14318440448 10154 33554432000 4194304 4196468 140733405382432 139660526004624 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11121] ppid=11114 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11121/stat : 11121 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14318440448 10154 33554432000 4194304 4196468 140733405382432 139660524951824 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11122] ppid=11114 vsize=13982852 memory=140498427582080 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11122/stat : 11122 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857111 14318440448 10154 33554432000 4194304 4196468 140733405382432 139660473772912 139660932438658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11123] ppid=11114 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11123/stat : 11123 (java) S 11114 11114 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857111 14318440448 10154 33554432000 4194304 4196468 140733405382432 139660472718880 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11124] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11124/stat : 11124 (java) S 11114 11114 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857111 14318440448 10154 33554432000 4194304 4196468 140733405382432 139660471666032 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11125] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11125/stat : 11125 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14318440448 10154 33554432000 4194304 4196468 140733405382432 139660470614352 139660932446107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11126] ppid=11114 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11116/task/11126/stat : 11126 (java) S 11114 11114 5918 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 15 0 114857114 14318440448 10154 33554432000 4194304 4196468 140733405382432 139660469561712 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11127] ppid=11114 vsize=13982884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11116/task/11127/stat : 11127 (java) S 11114 11114 5918 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 114857114 14318473216 10154 33554432000 4194304 4196468 140733405382432 139660468508912 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11128] ppid=11114 vsize=13982884 memory=140498427582080 CPUtime=0.08 cores=0,2,4,6
/proc/11116/task/11128/stat : 11128 (java) S 11114 11114 5918 0 -1 1077944384 794 0 0 0 8 0 0 0 20 0 15 0 114857114 14318473216 10154 33554432000 4194304 4196468 140733405382432 139660467456112 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11129] ppid=11114 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11129/stat : 11129 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14318440448 10154 33554432000 4194304 4196468 140733405382432 139660466403552 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11130] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11130/stat : 11130 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857114 14318440448 10154 33554432000 4194304 4196468 140733405382432 139660465351856 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41996 KiB
[startup+0.310701 s]*
/proc/loadavg: 1.95 1.70 1.59 4/217 11130
/proc/meminfo: memFree=27998040/32770624 swapFree=67108860/67108860
[pid=11114] ppid=11111 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11114/stat : 11114 (xcsp3-exec) S 11111 11114 5918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114857108 9740288 345 33554432000 4194304 5098028 140728720894864 140728720892968 139812506403452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728720897135 140728720897339 140728720897339 140728720900075 0
/proc/11114/statm: 2378 345 289 221 0 87 0
[pid=11116] ppid=11114 vsize=13982852 memory=47548 CPUtime=0.52 cores=0,2,4,6
/proc/11116/stat : 11116 (java) S 11114 11114 5918 0 -1 1077944320 9085 0 0 0 48 4 0 0 20 0 15 0 114857108 14318440448 11887 33554432000 4194304 4196468 140733405382432 140733405364976 139660932427511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
/proc/11116/statm: 3495713 11887 3099 1 0 3482966 0
[pid=11116/tid=11117] ppid=11114 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/11116/task/11117/stat : 11117 (java) R 11114 11114 5918 0 -1 4202560 5968 0 0 0 27 2 0 0 20 0 15 0 114857109 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660936649424 139660918120933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11118] ppid=11114 vsize=13982852 memory=12804 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11118/stat : 11118 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857109 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660862515856 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11119] ppid=11114 vsize=13982852 memory=571550 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11119/stat : 11119 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660527057424 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11120] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11120/stat : 11120 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660526004624 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11121] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11121/stat : 11121 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660524951824 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11122] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11122/stat : 11122 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857111 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660473772912 139660932438658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11123] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11123/stat : 11123 (java) S 11114 11114 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857111 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660472718880 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11124] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11124/stat : 11124 (java) S 11114 11114 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857111 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660471666032 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11125] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11125/stat : 11125 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660470614352 139660932446107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11126] ppid=11114 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11116/task/11126/stat : 11126 (java) S 11114 11114 5918 0 -1 1077944384 518 0 0 0 4 0 0 0 20 0 15 0 114857114 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660469561712 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11127] ppid=11114 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11116/task/11127/stat : 11127 (java) S 11114 11114 5918 0 -1 1077944384 373 0 0 0 3 0 0 0 20 0 15 0 114857114 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660468508912 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11128] ppid=11114 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11116/task/11128/stat : 11128 (java) S 11114 11114 5918 0 -1 1077944384 920 0 0 0 13 0 0 0 20 0 15 0 114857114 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660467456112 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11129] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11129/stat : 11129 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660466403552 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11130] ppid=11114 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11130/stat : 11130 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857114 14318440448 11887 33554432000 4194304 4196468 140733405382432 139660465351856 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48928 KiB
[startup+0.701059 s]
/proc/loadavg: 1.95 1.70 1.59 6/217 11130
/proc/meminfo: memFree=27982408/32770624 swapFree=67108860/67108860
[pid=11114] ppid=11111 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11114/stat : 11114 (xcsp3-exec) S 11111 11114 5918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114857108 9740288 345 33554432000 4194304 5098028 140728720894864 140728720892968 139812506403452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728720897135 140728720897339 140728720897339 140728720900075 0
/proc/11114/statm: 2378 345 289 221 0 87 0
[pid=11116] ppid=11114 vsize=13984976 memory=72776 CPUtime=1.61 cores=0,2,4,6
/proc/11116/stat : 11116 (java) S 11114 11114 5918 0 -1 1077944320 11832 0 0 0 155 6 0 0 20 0 15 0 114857108 14320615424 18194 33554432000 4194304 4196468 140733405382432 140733405364976 139660932427511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
/proc/11116/statm: 3496244 18194 3213 1 0 3483478 0
[pid=11116/tid=11117] ppid=11114 vsize=13984976 memory=4044 CPUtime=0.67 cores=0,2,4,6
/proc/11116/task/11117/stat : 11117 (java) R 11114 11114 5918 0 -1 4202560 6674 0 0 0 63 4 0 0 20 0 15 0 114857109 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660936665648 139660546058268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11118] ppid=11114 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11118/stat : 11118 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660862515856 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11119] ppid=11114 vsize=13984976 memory=636 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11119/stat : 11119 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660527057424 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11120] ppid=11114 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11120/stat : 11120 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660526004624 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11121] ppid=11114 vsize=13984976 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11121/stat : 11121 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660524951824 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11122] ppid=11114 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11122/stat : 11122 (java) S 11114 11114 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660473772912 139660932438658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11123] ppid=11114 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11123/stat : 11123 (java) S 11114 11114 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660472718880 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11124] ppid=11114 vsize=13984976 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11124/stat : 11124 (java) S 11114 11114 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660471666032 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11125] ppid=11114 vsize=13984976 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11125/stat : 11125 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660470614352 139660932446107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11126] ppid=11114 vsize=13984976 memory=932 CPUtime=0.28 cores=0,2,4,6
/proc/11116/task/11126/stat : 11126 (java) R 11114 11114 5918 0 -1 4202560 1090 0 0 0 28 0 0 0 20 0 15 0 114857114 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660469553040 139660917321153 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11127] ppid=11114 vsize=13984976 memory=2200 CPUtime=0.25 cores=0,2,4,6
/proc/11116/task/11127/stat : 11127 (java) R 11114 11114 5918 0 -1 4202560 985 0 0 0 25 0 0 0 20 0 15 0 114857114 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660468489928 139660917327130 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11128] ppid=11114 vsize=13984976 memory=6504 CPUtime=0.38 cores=0,2,4,6
/proc/11116/task/11128/stat : 11128 (java) S 11114 11114 5918 0 -1 1077944384 1774 0 0 0 38 0 0 0 20 0 15 0 114857114 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660467456112 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11129] ppid=11114 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11129/stat : 11129 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660466403552 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11130] ppid=11114 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11130/stat : 11130 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 18194 33554432000 4194304 4196468 140733405382432 139660465351856 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 74156 KiB
[startup+1.18264 s]
# the end of solver process 11114 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.054 s, system=0.088241 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.810019 s]
/proc/loadavg: 1.95 1.70 1.59 6/217 11130
/proc/meminfo: memFree=27982408/32770624 swapFree=67108860/67108860
[pid=11114] ppid=11111 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11114/stat : 11114 (xcsp3-exec) S 11111 11114 5918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114857108 9740288 345 33554432000 4194304 5098028 140728720894864 140728720892968 139812506403452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728720897135 140728720897339 140728720897339 140728720900075 0
/proc/11114/statm: 2378 345 289 221 0 87 0
[pid=11116] ppid=11114 vsize=13984976 memory=81428 CPUtime=1.97 cores=0,2,4,6
/proc/11116/stat : 11116 (java) S 11114 11114 5918 0 -1 1077944320 13003 0 0 0 191 6 0 0 20 0 15 0 114857108 14320615424 20357 33554432000 4194304 4196468 140733405382432 140733405364976 139660932427511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
/proc/11116/statm: 3496244 20357 3214 1 0 3483478 0
[pid=11116/tid=11117] ppid=11114 vsize=13984976 memory=280996625081792 CPUtime=0.78 cores=0,2,4,6
/proc/11116/task/11117/stat : 11117 (java) R 11114 11114 5918 0 -1 4202560 6677 0 0 0 74 4 0 0 20 0 15 0 114857109 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660936664144 139660932439446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11118] ppid=11114 vsize=13984976 memory=2465 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11118/stat : 11118 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660862515856 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11119] ppid=11114 vsize=13984976 memory=288230596067721541 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11119/stat : 11119 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660527057424 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11120] ppid=11114 vsize=13984976 memory=15824391279744994 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11120/stat : 11120 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660526004624 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11121] ppid=11114 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11121/stat : 11121 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660524951824 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11122] ppid=11114 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11122/stat : 11122 (java) S 11114 11114 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660473772912 139660932438658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11123] ppid=11114 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11123/stat : 11123 (java) S 11114 11114 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660472718880 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11124] ppid=11114 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11124/stat : 11124 (java) S 11114 11114 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660471666032 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11125] ppid=11114 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11125/stat : 11125 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660470614352 139660932446107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11126] ppid=11114 vsize=13984976 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/11116/task/11126/stat : 11126 (java) R 11114 11114 5918 0 -1 4202560 1755 0 0 0 39 0 0 0 20 0 15 0 114857114 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660469551824 139660915941599 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11127] ppid=11114 vsize=13984976 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/11116/task/11127/stat : 11127 (java) R 11114 11114 5918 0 -1 4202560 1343 0 0 0 36 0 0 0 20 0 15 0 114857114 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660468494240 139660912599533 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11128] ppid=11114 vsize=13984976 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/11116/task/11128/stat : 11128 (java) S 11114 11114 5918 0 -1 1077944384 1920 0 0 0 41 0 0 0 20 0 15 0 114857114 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660467456112 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11129] ppid=11114 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11129/stat : 11129 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660466403552 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11130] ppid=11114 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11130/stat : 11130 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 20357 33554432000 4194304 4196468 140733405382432 139660465351856 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
Current children cumulated CPU time: 1.97 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 82808 KiB
[startup+1.00106 s]*
/proc/loadavg: 1.95 1.70 1.59 5/217 11130
/proc/meminfo: memFree=27942288/32770624 swapFree=67108860/67108860
[pid=11114] ppid=11111 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11114/stat : 11114 (xcsp3-exec) S 11111 11114 5918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114857108 9740288 345 33554432000 4194304 5098028 140728720894864 140728720892968 139812506403452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728720897135 140728720897339 140728720897339 140728720900075 0
/proc/11114/statm: 2378 345 289 221 0 87 0
[pid=11116] ppid=11114 vsize=13984976 memory=105200 CPUtime=2.59 cores=0,2,4,6
/proc/11116/stat : 11116 (java) S 11114 11114 5918 0 -1 1077944320 16416 0 0 0 253 6 0 0 20 0 15 0 114857108 14320615424 26300 33554432000 4194304 4196468 140733405382432 140733405364976 139660932427511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
/proc/11116/statm: 3496244 26300 3216 1 0 3483478 0
[pid=11116/tid=11117] ppid=11114 vsize=13984976 memory=4211863184478994316 CPUtime=0.98 cores=0,2,4,6
/proc/11116/task/11117/stat : 11117 (java) R 11114 11114 5918 0 -1 4202560 6688 0 0 0 94 4 0 0 20 0 15 0 114857109 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660936665952 139660542222208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11118] ppid=11114 vsize=13984976 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11118/stat : 11118 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660862515856 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11119] ppid=11114 vsize=13984976 memory=280996739988416 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11119/stat : 11119 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660527057424 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11120] ppid=11114 vsize=13984976 memory=-3839181684196723249 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11120/stat : 11120 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660526004624 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11121] ppid=11114 vsize=13984976 memory=734139722786418735 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11121/stat : 11121 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660524951824 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11122] ppid=11114 vsize=13984976 memory=3472468794655262384 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11122/stat : 11122 (java) S 11114 11114 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660473772912 139660932438658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11123] ppid=11114 vsize=13984976 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11123/stat : 11123 (java) S 11114 11114 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660472718880 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11124] ppid=11114 vsize=13984976 memory=6944656592455088490 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11124/stat : 11124 (java) S 11114 11114 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660471666032 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11125] ppid=11114 vsize=13984976 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11125/stat : 11125 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660470614352 139660932446107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11126] ppid=11114 vsize=13984976 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/11116/task/11126/stat : 11126 (java) R 11114 11114 5918 0 -1 4202560 3597 0 0 0 59 0 0 0 20 0 15 0 114857114 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660469542728 139660915840564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11127] ppid=11114 vsize=13984976 memory=3833745396274246449 CPUtime=0.54 cores=0,2,4,6
/proc/11116/task/11127/stat : 11127 (java) R 11114 11114 5918 0 -1 4202560 2565 0 0 0 54 0 0 0 20 0 15 0 114857114 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660468493792 139660911673359 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11128] ppid=11114 vsize=13984976 memory=140498427582080 CPUtime=0.45 cores=0,2,4,6
/proc/11116/task/11128/stat : 11128 (java) S 11114 11114 5918 0 -1 1077944384 2257 0 0 0 45 0 0 0 20 0 15 0 114857114 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660467456112 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11129] ppid=11114 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11129/stat : 11129 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660466403552 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11130] ppid=11114 vsize=13984976 memory=140498427582080 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11130/stat : 11130 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 26300 33554432000 4194304 4196468 140733405382432 139660465351856 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 106580 KiB
[startup+1.11112 s]
/proc/loadavg: 1.95 1.70 1.59 5/217 11130
/proc/meminfo: memFree=27942288/32770624 swapFree=67108860/67108860
[pid=11114] ppid=11111 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11114/stat : 11114 (xcsp3-exec) S 11111 11114 5918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114857108 9740288 345 33554432000 4194304 5098028 140728720894864 140728720892968 139812506403452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30756864 140728720897135 140728720897339 140728720897339 140728720900075 0
/proc/11114/statm: 2378 345 289 221 0 87 0
[pid=11116] ppid=11114 vsize=13984976 memory=112556 CPUtime=2.92 cores=0,2,4,6
/proc/11116/stat : 11116 (java) S 11114 11114 5918 0 -1 1077944320 25219 0 0 0 285 7 0 0 20 0 15 0 114857108 14320615424 28139 33554432000 4194304 4196468 140733405382432 140733405364976 139660932427511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
/proc/11116/statm: 3496244 28139 3219 1 0 3483478 0
[pid=11116/tid=11117] ppid=11114 vsize=13984976 memory=4044 CPUtime=1.08 cores=0,2,4,6
/proc/11116/task/11117/stat : 11117 (java) R 11114 11114 5918 0 -1 4202560 7073 0 0 0 104 4 0 0 20 0 15 0 114857109 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660936663736 139660545605127 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11118] ppid=11114 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11118/stat : 11118 (java) S 11114 11114 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660862515856 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11119] ppid=11114 vsize=13984976 memory=636 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11119/stat : 11119 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660527057424 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11120] ppid=11114 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11120/stat : 11120 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660526004624 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11121] ppid=11114 vsize=13984976 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11121/stat : 11121 (java) S 11114 11114 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114857109 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660524951824 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11122] ppid=11114 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11122/stat : 11122 (java) S 11114 11114 5918 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660473772912 139660932438658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11123] ppid=11114 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11123/stat : 11123 (java) S 11114 11114 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660472718880 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11124] ppid=11114 vsize=13984976 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11124/stat : 11124 (java) S 11114 11114 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114857111 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660471666032 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11125] ppid=11114 vsize=13984976 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11125/stat : 11125 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660470614352 139660932446107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11126] ppid=11114 vsize=13984976 memory=932 CPUtime=0.69 cores=0,2,4,6
/proc/11116/task/11126/stat : 11126 (java) R 11114 11114 5918 0 -1 4202560 9028 0 0 0 68 1 0 0 20 0 15 0 114857114 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660469542680 139660915913461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11127] ppid=11114 vsize=13984976 memory=2200 CPUtime=0.64 cores=0,2,4,6
/proc/11116/task/11127/stat : 11127 (java) R 11114 11114 5918 0 -1 4202560 4730 0 0 0 64 0 0 0 20 0 15 0 114857114 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660468501400 139660917315431 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11128] ppid=11114 vsize=13984976 memory=6504 CPUtime=0.48 cores=0,2,4,6
/proc/11116/task/11128/stat : 11128 (java) S 11114 11114 5918 0 -1 1077944384 3063 0 0 0 48 0 0 0 20 0 15 0 114857114 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660467456112 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11129] ppid=11114 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11129/stat : 11129 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660466403552 139660932437717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
[pid=11116/tid=11130] ppid=11114 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/11116/task/11130/stat : 11130 (java) S 11114 11114 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114857114 14320615424 28139 33554432000 4194304 4196468 140733405382432 139660465351856 139660932438658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18624512 140733405389975 140733405390151 140733405390151 140733405392847 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 113936 KiB
Child status: 0
Real time (s): 1.18269
CPU time (s): 3.14225
CPU user time (s): 3.054
CPU system time (s): 0.088241
CPU usage (%): 265.687
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 113936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.054
system time used= 0.088241
maximum resident set size= 121308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28812
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= 2002
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 11114
# total CPU time (s): 3.14225
# total CPU user time (s): 3.054
# total CPU system time (s): 0.088241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028652 second user time and 0.060375 second system time
The end