runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4252188-1500923099/watcher-4252188-1500923099 -o /tmp/evaluation-result-4252188-1500923099/solver-4252188-1500923099 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3378 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252188-1500923099.xml
pid=5009
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.06 2.05 3/181 5012
/proc/meminfo: memFree=32121828/32770624 swapFree=5780/113236
[pid=5012] ppid=5009 vsize=25124 CPUtime=0 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 1082 0 0 0 0 0 0 0 20 0 1 0 1862635 25726976 912 33554432000 4194304 6986860 140724401017264 140724401013960 139900151667685 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 6281 912 679 682 0 284 0
[startup+0.100186 s]
/proc/loadavg: 2.12 2.06 2.05 3/181 5012
/proc/meminfo: memFree=32121828/32770624 swapFree=5780/113236
[pid=5012] ppid=5009 vsize=26700 CPUtime=0.09 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 1532 0 0 0 9 0 0 0 20 0 1 0 1862635 27340800 1375 33554432000 4194304 6986860 140724401017264 140724401013960 5587218 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 6675 1375 750 682 0 678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26700
[startup+0.200353 s]
/proc/loadavg: 2.12 2.06 2.05 3/181 5012
/proc/meminfo: memFree=32121828/32770624 swapFree=5780/113236
[pid=5012] ppid=5009 vsize=27488 CPUtime=0.19 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 1760 0 0 0 19 0 0 0 20 0 1 0 1862635 28147712 1604 33554432000 4194304 6986860 140724401017264 140724401013960 139900151667685 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 6872 1604 764 682 0 875 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27488
[startup+0.300319 s]
/proc/loadavg: 2.12 2.06 2.05 3/181 5012
/proc/meminfo: memFree=32121828/32770624 swapFree=5780/113236
[pid=5012] ppid=5009 vsize=30656 CPUtime=0.29 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 2547 0 0 0 29 0 0 0 20 0 1 0 1862635 31391744 2330 33554432000 4194304 6986860 140724401017264 140724401013960 5430432 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 7664 2330 764 682 0 1667 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30656
[startup+0.700283 s]
/proc/loadavg: 2.12 2.06 2.05 3/181 5012
/proc/meminfo: memFree=32121828/32770624 swapFree=5780/113236
[pid=5012] ppid=5009 vsize=33560 CPUtime=0.69 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3288 0 0 0 69 0 0 0 20 0 1 0 1862635 34365440 3122 33554432000 4194304 6986860 140724401017264 140724401011640 5453232 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3122 764 682 0 2393 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33560
[startup+1.50028 s]
/proc/loadavg: 2.12 2.06 2.05 3/182 5013
/proc/meminfo: memFree=32112784/32770624 swapFree=5780/113476
[pid=5012] ppid=5009 vsize=33560 CPUtime=1.49 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3288 0 0 0 149 0 0 0 20 0 1 0 1862635 34365440 3122 33554432000 4194304 6986860 140724401017264 140724401012792 5430072 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3122 764 682 0 2393 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33560
[startup+3.10028 s]
/proc/loadavg: 2.12 2.06 2.05 3/182 5013
/proc/meminfo: memFree=32112164/32770624 swapFree=5780/113476
[pid=5012] ppid=5009 vsize=33560 CPUtime=3.09 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3295 0 0 0 309 0 0 0 20 0 1 0 1862635 34365440 3122 33554432000 4194304 6986860 140724401017264 140724401012792 5355833 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3122 764 682 0 2393 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33560
[startup+6.30028 s]
/proc/loadavg: 2.03 2.04 2.04 3/182 5013
/proc/meminfo: memFree=32112116/32770624 swapFree=5780/113484
[pid=5012] ppid=5009 vsize=33560 CPUtime=6.29 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3302 0 0 0 629 0 0 0 20 0 1 0 1862635 34365440 3122 33554432000 4194304 6986860 140724401017264 140724401012792 5355911 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3122 764 682 0 2393 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33560
[startup+12.7003 s]
/proc/loadavg: 2.03 2.04 2.04 3/182 5013
/proc/meminfo: memFree=32111744/32770624 swapFree=5780/113484
[pid=5012] ppid=5009 vsize=33560 CPUtime=12.69 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3309 0 0 0 1269 0 0 0 20 0 1 0 1862635 34365440 3122 33554432000 4194304 6986860 140724401017264 140724401012792 5431086 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3122 764 682 0 2393 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33560
[startup+25.5003 s]
/proc/loadavg: 2.10 2.05 2.05 3/182 5013
/proc/meminfo: memFree=32112240/32770624 swapFree=5780/113504
[pid=5012] ppid=5009 vsize=33560 CPUtime=25.49 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3323 0 0 0 2549 0 0 0 20 0 1 0 1862635 34365440 3122 33554432000 4194304 6986860 140724401017264 140724401012792 5453291 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3122 764 682 0 2393 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33560
[startup+51.1003 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 5013
/proc/meminfo: memFree=32112108/32770624 swapFree=5780/113512
[pid=5012] ppid=5009 vsize=33560 CPUtime=51.09 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3330 0 0 0 5109 0 0 0 20 0 1 0 1862635 34365440 3122 33554432000 4194304 6986860 140724401017264 140724401012792 5453232 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3122 764 682 0 2393 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 33560
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 5014
/proc/meminfo: memFree=32111784/32770624 swapFree=5780/113544
[pid=5012] ppid=5009 vsize=33560 CPUtime=102.29 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3336 0 0 0 10229 0 0 0 20 0 1 0 1862635 34365440 3122 33554432000 4194304 6986860 140724401017264 140724401012792 5429895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3122 764 682 0 2393 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 33560
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/182 5015
/proc/meminfo: memFree=32111784/32770624 swapFree=5780/113572
[pid=5012] ppid=5009 vsize=33560 CPUtime=162.29 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3342 0 0 0 16229 0 0 0 20 0 1 0 1862635 34365440 3122 33554432000 4194304 6986860 140724401017264 140724401012792 5476458 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3122 764 682 0 2393 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 33560
[startup+222.306 s]
/proc/loadavg: 2.12 2.07 2.05 3/182 5016
/proc/meminfo: memFree=32111536/32770624 swapFree=5780/113604
[pid=5012] ppid=5009 vsize=33560 CPUtime=222.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3348 0 0 0 22230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5355920 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 33560
[startup+282.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/182 5017
/proc/meminfo: memFree=32111412/32770624 swapFree=5780/113636
[pid=5012] ppid=5009 vsize=33560 CPUtime=282.29 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3354 0 0 0 28229 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5431205 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 33560
[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/182 5025
/proc/meminfo: memFree=32110480/32770624 swapFree=5780/113680
[pid=5012] ppid=5009 vsize=33560 CPUtime=342.29 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3360 0 0 0 34229 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5430243 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 33560
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 5026
/proc/meminfo: memFree=32110988/32770624 swapFree=5780/113708
[pid=5012] ppid=5009 vsize=33560 CPUtime=402.29 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3366 0 0 0 40229 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5414312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 33560
[startup+462.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/182 5027
/proc/meminfo: memFree=32110960/32770624 swapFree=5780/113736
[pid=5012] ppid=5009 vsize=33560 CPUtime=462.29 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3372 0 0 0 46229 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5453216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 33560
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 5028
/proc/meminfo: memFree=32111288/32770624 swapFree=5780/113768
[pid=5012] ppid=5009 vsize=33560 CPUtime=522.29 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3378 0 0 0 52229 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5355328 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 33560
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5029
/proc/meminfo: memFree=32111128/32770624 swapFree=5780/113796
[pid=5012] ppid=5009 vsize=33560 CPUtime=582.29 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3384 0 0 0 58229 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5430269 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 33560
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5303
/proc/meminfo: memFree=26156184/32770624 swapFree=5780/114436
[pid=5012] ppid=5009 vsize=33560 CPUtime=1482.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3474 0 0 0 148230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5474992 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 33560
[startup+1542.31 s]
/proc/loadavg: 1.91 1.98 2.03 3/182 5374
/proc/meminfo: memFree=32108556/32770624 swapFree=5780/114532
[pid=5012] ppid=5009 vsize=33560 CPUtime=1542.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3480 0 0 0 154230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5453294 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 33560
[startup+1602.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/182 5375
/proc/meminfo: memFree=32108044/32770624 swapFree=5780/114568
[pid=5012] ppid=5009 vsize=33560 CPUtime=1602.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3486 0 0 0 160230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5355422 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 33560
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/182 5376
/proc/meminfo: memFree=32107912/32770624 swapFree=5780/114596
[pid=5012] ppid=5009 vsize=33560 CPUtime=1662.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3492 0 0 0 166230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5453247 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 33560
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 5377
/proc/meminfo: memFree=32107640/32770624 swapFree=5780/114624
[pid=5012] ppid=5009 vsize=33560 CPUtime=1722.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3498 0 0 0 172230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5472560 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 33560
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 5378
/proc/meminfo: memFree=32107252/32770624 swapFree=5780/114652
[pid=5012] ppid=5009 vsize=33560 CPUtime=1782.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3504 0 0 0 178230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5476438 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 33560
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 5379
/proc/meminfo: memFree=32107236/32770624 swapFree=5780/114692
[pid=5012] ppid=5009 vsize=33560 CPUtime=1842.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3510 0 0 0 184230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5430495 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 33560
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 5380
/proc/meminfo: memFree=32107080/32770624 swapFree=5780/114720
[pid=5012] ppid=5009 vsize=33560 CPUtime=1902.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3516 0 0 0 190230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5453255 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 33560
[startup+1962.3 s]
/proc/loadavg: 2.03 2.00 2.04 3/182 5381
/proc/meminfo: memFree=32107196/32770624 swapFree=5780/114748
[pid=5012] ppid=5009 vsize=33560 CPUtime=1962.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3522 0 0 0 196230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5430072 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 33560
[startup+2022.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/182 5382
/proc/meminfo: memFree=32107180/32770624 swapFree=5780/114776
[pid=5012] ppid=5009 vsize=33560 CPUtime=2022.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3528 0 0 0 202230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5430985 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 33560
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 5383
/proc/meminfo: memFree=32107384/32770624 swapFree=5780/114804
[pid=5012] ppid=5009 vsize=33560 CPUtime=2082.31 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3534 0 0 0 208231 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5472552 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 33560
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 5392
/proc/meminfo: memFree=32106908/32770624 swapFree=5780/114852
[pid=5012] ppid=5009 vsize=33560 CPUtime=2142.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3540 0 0 0 214230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5355938 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 2142.3
Current children cumulated vsize (KiB) 33560
[startup+2202.31 s]
/proc/loadavg: 2.08 2.02 2.05 3/183 5393
/proc/meminfo: memFree=32107136/32770624 swapFree=5780/114880
[pid=5012] ppid=5009 vsize=33560 CPUtime=2202.31 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3546 0 0 0 220231 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5472144 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 33560
[startup+2262.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/183 5394
/proc/meminfo: memFree=32107012/32770624 swapFree=5780/114908
[pid=5012] ppid=5009 vsize=33560 CPUtime=2262.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3552 0 0 0 226230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5430720 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 2262.3
Current children cumulated vsize (KiB) 33560
[startup+2322.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/183 5395
/proc/meminfo: memFree=32107152/32770624 swapFree=5780/114936
[pid=5012] ppid=5009 vsize=33560 CPUtime=2322.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3558 0 0 0 232230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5453300 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 2322.3
Current children cumulated vsize (KiB) 33560
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5396
/proc/meminfo: memFree=32107036/32770624 swapFree=5780/114968
[pid=5012] ppid=5009 vsize=33560 CPUtime=2382.3 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3564 0 0 0 238230 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5474992 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 2382.3
Current children cumulated vsize (KiB) 33560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5396
/proc/meminfo: memFree=32107036/32770624 swapFree=5780/114980
[pid=5012] ppid=5009 vsize=33560 CPUtime=2400 cores=0,2,4,6
/proc/5012/stat : 5012 (naxos-xcsp3) R 5009 5012 3347 0 -1 4202496 3570 0 0 0 240000 0 0 0 20 0 1 0 1862635 34365440 3134 33554432000 4194304 6986860 140724401017264 140724401012792 5355309 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30810112 140724401026318 140724401026399 140724401026399 140724401029098 0
/proc/5012/statm: 8390 3134 764 682 0 2393 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 33560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5012 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400
CPU time (s): 2400.01
CPU user time (s): 2400.01
CPU system time (s): 0.006
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 33560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.006
maximum resident set size= 12572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3607
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 3022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.13051 second user time and 10.6734 second system time
The end