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 (11544 MiB free)
memory of node 1: 16384 MiB (13357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282844-1503210833/watcher-4282844-1503210833 -o /tmp/evaluation-result-4282844-1503210833/solver-4282844-1503210833 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32625 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1854150405 HOME/instance-4282844-1503210833.xml
running on 4 cores: 1,3,5,7
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=1260, runsolver pid=1257
[startup+0.106207 s]*
/proc/loadavg: 1.77 1.80 1.58 7/217 1276
/proc/meminfo: memFree=25480568/32770624 swapFree=67108860/67108860
[pid=1260] ppid=1257 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1260/stat : 1260 (xcsp3-exec) S 1257 1260 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154171395 9740288 346 33554432000 4194304 5098028 140722574704208 140722574702312 139749629481596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38367232 140722574709876 140722574710080 140722574710080 140722574712811 0
/proc/1260/statm: 2378 346 289 221 0 87 0
[pid=1262] ppid=1260 vsize=13978596 memory=28804 CPUtime=0.13 cores=1,3,5,7
/proc/1262/stat : 1262 (java) S 1260 1260 32593 0 -1 1077944320 5510 0 0 0 12 1 0 0 20 0 15 0 154171395 14314082304 7201 33554432000 4194304 4196468 140728030137984 140728030120528 139871933411063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
/proc/1262/statm: 3494649 7201 2907 1 0 3482966 0
[pid=1262/tid=1263] ppid=1260 vsize=13978596 memory=7031125463459224206 CPUtime=0.1 cores=1,3,5,7
/proc/1262/task/1263/stat : 1263 (java) R 1260 1260 32593 0 -1 4202560 3446 0 0 0 9 1 0 0 20 0 15 0 154171396 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871937640704 139871532486909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1264] ppid=1260 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1264/stat : 1264 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171396 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871863499152 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1265] ppid=1260 vsize=13978596 memory=140260333688448 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171396 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871862446352 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1266] ppid=1260 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1266/stat : 1266 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171396 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871861394064 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1267] ppid=1260 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171396 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871860341264 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1268] ppid=1260 vsize=13978596 memory=140260333688448 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1268/stat : 1268 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171398 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871407016560 139871933422210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1269] ppid=1260 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (java) S 1260 1260 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154171398 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871405962528 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1270] ppid=1260 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1270/stat : 1270 (java) S 1260 1260 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154171398 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871404910192 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1271] ppid=1260 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1271/stat : 1271 (java) S 1260 1260 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154171401 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871403858512 139871933429659 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1272] ppid=1260 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1272/stat : 1272 (java) S 1260 1260 32593 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 154171401 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871402805360 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1273] ppid=1260 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1273/stat : 1273 (java) R 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171401 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871401752560 139871933422210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1274] ppid=1260 vsize=13978596 memory=140260333688448 CPUtime=0.02 cores=1,3,5,7
/proc/1262/task/1274/stat : 1274 (java) R 1260 1260 32593 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 154171401 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871400700272 139871933422998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1275] ppid=1260 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1275/stat : 1275 (java) S 1260 1260 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154171401 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871399647712 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1276] ppid=1260 vsize=13978596 memory=140260333688448 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1276/stat : 1276 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171401 14314082304 7201 33554432000 4194304 4196468 140728030137984 139871398595504 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30188 KiB
[startup+0.210745 s]*
/proc/loadavg: 1.77 1.80 1.58 5/217 1276
/proc/meminfo: memFree=25467060/32770624 swapFree=67108860/67108860
[pid=1260] ppid=1257 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1260/stat : 1260 (xcsp3-exec) S 1257 1260 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154171395 9740288 346 33554432000 4194304 5098028 140722574704208 140722574702312 139749629481596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38367232 140722574709876 140722574710080 140722574710080 140722574712811 0
/proc/1260/statm: 2378 346 289 221 0 87 0
[pid=1262] ppid=1260 vsize=13982852 memory=40608 CPUtime=0.34 cores=1,3,5,7
/proc/1262/stat : 1262 (java) S 1260 1260 32593 0 -1 1077944320 8139 0 0 0 31 3 0 0 20 0 15 0 154171395 14318440448 10152 33554432000 4194304 4196468 140728030137984 140728030120528 139871933411063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
/proc/1262/statm: 3495713 10152 3073 1 0 3482966 0
[pid=1262/tid=1263] ppid=1260 vsize=13982852 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1262/task/1263/stat : 1263 (java) R 1260 1260 32593 0 -1 4202560 5336 0 0 0 18 2 0 0 20 0 15 0 154171396 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871937621856 139871926090285 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1264] ppid=1260 vsize=13982852 memory=4294976320 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1264/stat : 1264 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171396 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871863499152 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1265] ppid=1260 vsize=13982852 memory=140260333721122 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171396 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871862446352 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1266] ppid=1260 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1266/stat : 1266 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171396 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871861394064 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1267] ppid=1260 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171396 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871860341264 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1268] ppid=1260 vsize=13982852 memory=140260333688448 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1268/stat : 1268 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171398 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871407016560 139871933422210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1269] ppid=1260 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (java) S 1260 1260 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154171398 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871405962528 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1270] ppid=1260 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1270/stat : 1270 (java) S 1260 1260 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154171398 14318473216 10173 33554432000 4194304 4196468 140728030137984 139871404910192 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1271] ppid=1260 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1271/stat : 1271 (java) S 1260 1260 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154171401 14318473216 10173 33554432000 4194304 4196468 140728030137984 139871403858512 139871933429659 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1272] ppid=1260 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1262/task/1272/stat : 1272 (java) S 1260 1260 32593 0 -1 1077944384 562 0 0 0 1 0 0 0 20 0 15 0 154171401 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871402805360 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1273] ppid=1260 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/1262/task/1273/stat : 1273 (java) S 1260 1260 32593 0 -1 1077944384 277 0 0 0 3 0 0 0 20 0 15 0 154171401 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871401752560 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1274] ppid=1260 vsize=13982852 memory=140260333688448 CPUtime=0.08 cores=1,3,5,7
/proc/1262/task/1274/stat : 1274 (java) S 1260 1260 32593 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 15 0 154171401 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871400700272 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1275] ppid=1260 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1275/stat : 1275 (java) S 1260 1260 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154171401 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871399647712 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1276] ppid=1260 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1276/stat : 1276 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171401 14318440448 10173 33554432000 4194304 4196468 140728030137984 139871398595504 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41992 KiB
[startup+0.312135 s]*
/proc/loadavg: 1.77 1.80 1.58 7/217 1276
/proc/meminfo: memFree=25459856/32770624 swapFree=67108860/67108860
[pid=1260] ppid=1257 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1260/stat : 1260 (xcsp3-exec) S 1257 1260 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154171395 9740288 346 33554432000 4194304 5098028 140722574704208 140722574702312 139749629481596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38367232 140722574709876 140722574710080 140722574710080 140722574712811 0
/proc/1260/statm: 2378 346 289 221 0 87 0
[pid=1262] ppid=1260 vsize=13982852 memory=48112 CPUtime=0.51 cores=1,3,5,7
/proc/1262/stat : 1262 (java) S 1260 1260 32593 0 -1 1077944320 9179 0 0 0 48 3 0 0 20 0 15 0 154171395 14318440448 12028 33554432000 4194304 4196468 140728030137984 140728030120528 139871933411063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
/proc/1262/statm: 3495713 12028 3100 1 0 3482966 0
[pid=1262/tid=1263] ppid=1260 vsize=13982928 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1262/task/1263/stat : 1263 (java) R 1260 1260 32593 0 -1 4202560 6051 0 0 0 27 2 0 0 20 0 15 0 154171396 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871937643392 139871933432989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1264] ppid=1260 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1264/stat : 1264 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171396 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871863499152 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1265] ppid=1260 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171396 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871862446352 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1266] ppid=1260 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1266/stat : 1266 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171396 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871861394064 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1267] ppid=1260 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171396 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871860341264 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1268] ppid=1260 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1268/stat : 1268 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171398 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871407016560 139871933422210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1269] ppid=1260 vsize=13982928 memory=3761694498073096479 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (java) S 1260 1260 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154171398 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871405962528 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1270] ppid=1260 vsize=13982928 memory=7165352523811273016 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1270/stat : 1270 (java) S 1260 1260 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154171398 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871404910192 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1271] ppid=1260 vsize=13982928 memory=7526543781273360997 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1271/stat : 1271 (java) S 1260 1260 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154171401 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871403858512 139871933429659 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1272] ppid=1260 vsize=13982928 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1262/task/1272/stat : 1272 (java) S 1260 1260 32593 0 -1 1077944384 570 0 0 0 2 0 0 0 20 0 15 0 154171401 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871402805360 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1273] ppid=1260 vsize=13982928 memory=3979247150116647222 CPUtime=0.04 cores=1,3,5,7
/proc/1262/task/1273/stat : 1273 (java) S 1260 1260 32593 0 -1 1077944384 404 0 0 0 4 0 0 0 20 0 15 0 154171401 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871401752560 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1274] ppid=1260 vsize=13982928 memory=3540022482336396976 CPUtime=0.12 cores=1,3,5,7
/proc/1262/task/1274/stat : 1274 (java) S 1260 1260 32593 0 -1 1077944384 888 0 0 0 12 0 0 0 20 0 15 0 154171401 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871400700272 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1275] ppid=1260 vsize=13982928 memory=3467824627879784479 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1275/stat : 1275 (java) S 1260 1260 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154171401 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871399647712 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1276] ppid=1260 vsize=13982928 memory=3545657552090805940 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1276/stat : 1276 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171401 14318518272 12028 33554432000 4194304 4196468 140728030137984 139871398595504 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49496 KiB
[startup+0.487251 s]
# the end of solver process 1260 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.880826 s, system=0.051373 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410719 s]*
/proc/loadavg: 1.77 1.80 1.58 3/217 1276
/proc/meminfo: memFree=25453280/32770624 swapFree=67108860/67108860
[pid=1260] ppid=1257 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1260/stat : 1260 (xcsp3-exec) S 1257 1260 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154171395 9740288 346 33554432000 4194304 5098028 140722574704208 140722574702312 139749629481596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38367232 140722574709876 140722574710080 140722574710080 140722574712811 0
/proc/1260/statm: 2378 346 289 221 0 87 0
[pid=1262] ppid=1260 vsize=13982928 memory=54624 CPUtime=0.72 cores=1,3,5,7
/proc/1262/stat : 1262 (java) S 1260 1260 32593 0 -1 1077944320 9906 0 0 0 68 4 0 0 20 0 15 0 154171395 14318518272 13656 33554432000 4194304 4196468 140728030137984 140728030120528 139871933411063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
/proc/1262/statm: 3495732 13656 3137 1 0 3482966 0
[pid=1262/tid=1263] ppid=1260 vsize=13982928 memory=7022364632946311227 CPUtime=0.39 cores=1,3,5,7
/proc/1262/task/1263/stat : 1263 (java) R 1260 1260 32593 0 -1 4202560 6458 0 0 0 36 3 0 0 20 0 15 0 154171396 14318518272 13680 33554432000 4194304 4196468 140728030137984 139871937649088 139871532443937 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1264] ppid=1260 vsize=13982928 memory=4294976320 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1264/stat : 1264 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171396 14318518272 13680 33554432000 4194304 4196468 140728030137984 139871863499152 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1265] ppid=1260 vsize=13982928 memory=140260333721122 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171396 14318518272 13680 33554432000 4194304 4196468 140728030137984 139871862446352 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1266] ppid=1260 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1266/stat : 1266 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171396 14318518272 13680 33554432000 4194304 4196468 140728030137984 139871861394064 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1267] ppid=1260 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171396 14318518272 13680 33554432000 4194304 4196468 140728030137984 139871860341264 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1268] ppid=1260 vsize=13982928 memory=140260333688448 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1268/stat : 1268 (java) S 1260 1260 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154171398 14318518272 13680 33554432000 4194304 4196468 140728030137984 139871407016560 139871933422210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1269] ppid=1260 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (java) S 1260 1260 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154171398 14318518272 13680 33554432000 4194304 4196468 140728030137984 139871405962528 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1270] ppid=1260 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1270/stat : 1270 (java) S 1260 1260 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154171398 14320615424 13680 33554432000 4194304 4196468 140728030137984 139871404910192 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1271] ppid=1260 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1271/stat : 1271 (java) S 1260 1260 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154171401 14320615424 13680 33554432000 4194304 4196468 140728030137984 139871403858512 139871933429659 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1272] ppid=1260 vsize=13984976 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1262/task/1272/stat : 1272 (java) S 1260 1260 32593 0 -1 1077944384 586 0 0 0 4 0 0 0 20 0 15 0 154171401 14320615424 13680 33554432000 4194304 4196468 140728030137984 139871402805360 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1273] ppid=1260 vsize=13984976 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1262/task/1273/stat : 1273 (java) R 1260 1260 32593 0 -1 1077944384 531 0 0 0 8 0 0 0 20 0 15 0 154171401 14320615424 13680 33554432000 4194304 4196468 140728030137984 139871401752560 139871933422210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1274] ppid=1260 vsize=13984976 memory=140260333688448 CPUtime=0.18 cores=1,3,5,7
/proc/1262/task/1274/stat : 1274 (java) S 1260 1260 32593 0 -1 1077944384 1034 0 0 0 18 0 0 0 20 0 15 0 154171401 14320615424 13680 33554432000 4194304 4196468 140728030137984 139871400698064 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1275] ppid=1260 vsize=13984976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1275/stat : 1275 (java) S 1260 1260 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154171401 14320615424 13680 33554432000 4194304 4196468 140728030137984 139871399647712 139871933421269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
[pid=1262/tid=1276] ppid=1260 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1276/stat : 1276 (java) S 1260 1260 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154171401 14320615424 13680 33554432000 4194304 4196468 140728030137984 139871398595504 139871933422210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30015488 140728030139549 140728030139724 140728030139724 140728030142415 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 56008 KiB
Child status: 0
Real time (s): 0.487284
CPU time (s): 0.932199
CPU user time (s): 0.880826
CPU system time (s): 0.051373
CPU usage (%): 191.305
Max. virtual memory (cumulated for all children) (KiB): 13992440
Max. memory (cumulated for all children) (KiB): 56008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.880826
system time used= 0.051373
maximum resident set size= 61728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11517
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= 1290
involuntary context switches= 4
# summary of solver processes directly reported to runsolver:
# pid: 1260
# total CPU time (s): 0.932199
# total CPU user time (s): 0.880826
# total CPU system time (s): 0.051373
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025154 second user time and 0.03878 second system time
The end