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-4252589-1500926622/watcher-4252589-1500926622 -o /tmp/evaluation-result-4252589-1500926622/solver-4252589-1500926622 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500914921-3495 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252589-1500926622.xml
pid=5752
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.00 2.02 2.05 3/181 5755
/proc/meminfo: memFree=32108888/32770624 swapFree=5784/120952
[pid=5755] ppid=5752 vsize=24864 CPUtime=0 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 1015 0 0 0 0 0 0 0 20 0 1 0 2215516 25460736 818 33554432000 4194304 6986860 140735898323056 140735898319752 140451072822245 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6216 818 652 682 0 219 0
[startup+0.100198 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 5755
/proc/meminfo: memFree=32108888/32770624 swapFree=5784/120952
[pid=5755] ppid=5752 vsize=25128 CPUtime=0.09 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 1094 0 0 0 9 0 0 0 20 0 1 0 2215516 25731072 883 33554432000 4194304 6986860 140735898323056 140735898319752 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 883 680 682 0 285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25128
[startup+0.200333 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 5755
/proc/meminfo: memFree=32108888/32770624 swapFree=5784/120952
[pid=5755] ppid=5752 vsize=25128 CPUtime=0.19 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 1094 0 0 0 19 0 0 0 20 0 1 0 2215516 25731072 883 33554432000 4194304 6986860 140735898323056 140735898319752 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 883 680 682 0 285 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25128
[startup+0.300318 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 5755
/proc/meminfo: memFree=32108888/32770624 swapFree=5784/120952
[pid=5755] ppid=5752 vsize=25128 CPUtime=0.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 1094 0 0 0 29 0 0 0 20 0 1 0 2215516 25731072 883 33554432000 4194304 6986860 140735898323056 140735898319752 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 883 680 682 0 285 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25128
[startup+0.700278 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 5755
/proc/meminfo: memFree=32108888/32770624 swapFree=5784/120952
[pid=5755] ppid=5752 vsize=25128 CPUtime=0.69 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 1094 0 0 0 69 0 0 0 20 0 1 0 2215516 25731072 883 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 883 680 682 0 285 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25128
[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5756
/proc/meminfo: memFree=32107716/32770624 swapFree=5784/120976
[pid=5755] ppid=5752 vsize=25128 CPUtime=1.49 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 1094 0 0 0 147 2 0 0 20 0 1 0 2215516 25731072 883 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 883 680 682 0 285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25128
[startup+3.10027 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5756
/proc/meminfo: memFree=32107344/32770624 swapFree=5784/120976
[pid=5755] ppid=5752 vsize=25128 CPUtime=3.09 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 1251 0 0 0 305 4 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25128
[startup+6.30028 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5756
/proc/meminfo: memFree=32106904/32770624 swapFree=5784/120976
[pid=5755] ppid=5752 vsize=25128 CPUtime=6.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 1408 0 0 0 621 8 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25128
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5756
/proc/meminfo: memFree=32106840/32770624 swapFree=5784/120988
[pid=5755] ppid=5752 vsize=25128 CPUtime=12.69 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 1567 0 0 0 1253 16 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25128
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5756
/proc/meminfo: memFree=32106840/32770624 swapFree=5784/120996
[pid=5755] ppid=5752 vsize=25128 CPUtime=25.49 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 1884 0 0 0 2515 34 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25128
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5756
/proc/meminfo: memFree=32106840/32770624 swapFree=5784/121008
[pid=5755] ppid=5752 vsize=25128 CPUtime=51.09 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 2048 0 0 0 5034 75 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25128
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5757
/proc/meminfo: memFree=32106588/32770624 swapFree=5784/121044
[pid=5755] ppid=5752 vsize=25128 CPUtime=102.3 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 2209 0 0 0 10077 153 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 25128
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5758
/proc/meminfo: memFree=32106752/32770624 swapFree=5784/121076
[pid=5755] ppid=5752 vsize=25128 CPUtime=162.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 2371 0 0 0 15987 242 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 25128
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5759
/proc/meminfo: memFree=32106804/32770624 swapFree=5784/121100
[pid=5755] ppid=5752 vsize=25128 CPUtime=222.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 2533 0 0 0 21896 333 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 25128
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5760
/proc/meminfo: memFree=32106600/32770624 swapFree=5784/121128
[pid=5755] ppid=5752 vsize=25128 CPUtime=282.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 2696 0 0 0 27798 431 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 25128
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5761
/proc/meminfo: memFree=32106352/32770624 swapFree=5784/121160
[pid=5755] ppid=5752 vsize=25128 CPUtime=342.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 2858 0 0 0 33704 525 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 25128
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5770
/proc/meminfo: memFree=32106128/32770624 swapFree=5784/121196
[pid=5755] ppid=5752 vsize=25128 CPUtime=402.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 3020 0 0 0 39611 618 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 25128
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5892
/proc/meminfo: memFree=32106252/32770624 swapFree=5784/121308
[pid=5755] ppid=5752 vsize=25128 CPUtime=462.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 3182 0 0 0 45522 707 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 25128
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5893
/proc/meminfo: memFree=32106216/32770624 swapFree=5784/121368
[pid=5755] ppid=5752 vsize=25128 CPUtime=522.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 3345 0 0 0 51432 797 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 25128
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5894
/proc/meminfo: memFree=32106212/32770624 swapFree=5784/121408
[pid=5755] ppid=5752 vsize=25128 CPUtime=582.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 3507 0 0 0 57338 891 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 25128
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5920
/proc/meminfo: memFree=32105652/32770624 swapFree=5784/122012
[pid=5755] ppid=5752 vsize=25128 CPUtime=1542.3 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 6103 0 0 0 151854 2376 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 25128
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5928
/proc/meminfo: memFree=32105028/32770624 swapFree=5784/122056
[pid=5755] ppid=5752 vsize=25128 CPUtime=1602.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 6265 0 0 0 157761 2468 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 25128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5929
/proc/meminfo: memFree=32105068/32770624 swapFree=5784/122088
[pid=5755] ppid=5752 vsize=25128 CPUtime=1662.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 6427 0 0 0 163664 2565 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 25128
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5930
/proc/meminfo: memFree=32105124/32770624 swapFree=5784/122112
[pid=5755] ppid=5752 vsize=25128 CPUtime=1722.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 6590 0 0 0 169569 2660 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 25128
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5931
/proc/meminfo: memFree=32105044/32770624 swapFree=5784/122144
[pid=5755] ppid=5752 vsize=25128 CPUtime=1782.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 6752 0 0 0 175479 2750 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 25128
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5932
/proc/meminfo: memFree=32106308/32770624 swapFree=5784/122168
[pid=5755] ppid=5752 vsize=25128 CPUtime=1842.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 6914 0 0 0 181384 2845 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 1842.29
Current children cumulated vsize (KiB) 25128
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5934
/proc/meminfo: memFree=32105076/32770624 swapFree=5784/122204
[pid=5755] ppid=5752 vsize=25128 CPUtime=1902.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 7076 0 0 0 187293 2936 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 1902.29
Current children cumulated vsize (KiB) 25128
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5935
/proc/meminfo: memFree=32105348/32770624 swapFree=5784/122256
[pid=5755] ppid=5752 vsize=25128 CPUtime=1962.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 7239 0 0 0 193193 3036 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 1962.29
Current children cumulated vsize (KiB) 25128
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5936
/proc/meminfo: memFree=32105240/32770624 swapFree=5784/122284
[pid=5755] ppid=5752 vsize=25128 CPUtime=2022.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 7401 0 0 0 199098 3131 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 2022.29
Current children cumulated vsize (KiB) 25128
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5937
/proc/meminfo: memFree=32105004/32770624 swapFree=5784/122312
[pid=5755] ppid=5752 vsize=25128 CPUtime=2082.3 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 7563 0 0 0 205003 3227 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 2082.3
Current children cumulated vsize (KiB) 25128
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5938
/proc/meminfo: memFree=32105016/32770624 swapFree=5784/122340
[pid=5755] ppid=5752 vsize=25128 CPUtime=2142.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 7725 0 0 0 210909 3320 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 2142.29
Current children cumulated vsize (KiB) 25128
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5946
/proc/meminfo: memFree=32104224/32770624 swapFree=5784/122384
[pid=5755] ppid=5752 vsize=25128 CPUtime=2202.3 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 7888 0 0 0 216813 3417 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 2202.3
Current children cumulated vsize (KiB) 25128
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5947
/proc/meminfo: memFree=32104844/32770624 swapFree=5784/122420
[pid=5755] ppid=5752 vsize=25128 CPUtime=2262.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 8050 0 0 0 222713 3516 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 2262.29
Current children cumulated vsize (KiB) 25128
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5948
/proc/meminfo: memFree=32104752/32770624 swapFree=5784/122452
[pid=5755] ppid=5752 vsize=25128 CPUtime=2322.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 8212 0 0 0 228619 3610 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 25128
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5949
/proc/meminfo: memFree=32104924/32770624 swapFree=5784/122484
[pid=5755] ppid=5752 vsize=25128 CPUtime=2382.29 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 8374 0 0 0 234523 3706 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318408 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 2382.29
Current children cumulated vsize (KiB) 25128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5950
/proc/meminfo: memFree=32104304/32770624 swapFree=5784/122508
[pid=5755] ppid=5752 vsize=25128 CPUtime=2400.09 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 8535 0 0 0 236272 3737 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 25128
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 5755 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5950
/proc/meminfo: memFree=32104304/32770624 swapFree=5784/122508
[pid=5755] ppid=5752 vsize=25128 CPUtime=2400.09 cores=0,2,4,6
/proc/5755/stat : 5755 (naxos-xcsp3) R 5752 5755 3464 0 -1 4202496 8535 0 0 0 236272 3737 0 0 20 0 1 0 2215516 25731072 940 33554432000 4194304 6986860 140735898323056 140735898318584 140451073085820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 10964992 140735898326286 140735898326367 140735898326367 140735898329066 0
/proc/5755/statm: 6282 940 690 682 0 285 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 25128
Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.1
CPU user time (s): 2362.73
CPU system time (s): 37.374
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 25128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2362.73
system time used= 37.374
maximum resident set size= 3800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8566
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= 7
involuntary context switches= 938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.12342 second user time and 8.72862 second system time
The end