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-4253435-1500932433/watcher-4253435-1500932433 -o /tmp/evaluation-result-4253435-1500932433/solver-4253435-1500932433 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500914923-3501 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253435-1500932433.xml
pid=9125
running on 4 cores: 1,3,5,7
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.01 2.05 2/181 9128
/proc/meminfo: memFree=32102800/32770624 swapFree=5712/126332
[pid=9128] ppid=9125 vsize=24612 CPUtime=0 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 930 0 0 0 0 0 0 0 20 0 1 0 2783360 25202688 756 33554432000 4194304 6986860 140733423292080 140733423288776 5483169 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6153 756 652 682 0 156 0
[startup+0.100154 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 9128
/proc/meminfo: memFree=32102800/32770624 swapFree=5712/126332
[pid=9128] ppid=9125 vsize=27240 CPUtime=0.09 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 1634 0 0 0 9 0 0 0 20 0 1 0 2783360 27893760 1420 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1420 710 682 0 813 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27240
[startup+0.20027 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 9128
/proc/meminfo: memFree=32102800/32770624 swapFree=5712/126332
[pid=9128] ppid=9125 vsize=27240 CPUtime=0.19 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 1634 0 0 0 19 0 0 0 20 0 1 0 2783360 27893760 1420 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1420 710 682 0 813 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27240
[startup+0.300241 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 9128
/proc/meminfo: memFree=32102800/32770624 swapFree=5712/126332
[pid=9128] ppid=9125 vsize=27240 CPUtime=0.29 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 1634 0 0 0 29 0 0 0 20 0 1 0 2783360 27893760 1420 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1420 710 682 0 813 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27240
[startup+0.700213 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 9128
/proc/meminfo: memFree=32102800/32770624 swapFree=5712/126332
[pid=9128] ppid=9125 vsize=27240 CPUtime=0.69 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 1635 0 0 0 69 0 0 0 20 0 1 0 2783360 27893760 1420 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1420 710 682 0 813 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27240
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9129
/proc/meminfo: memFree=32099508/32770624 swapFree=5712/126340
[pid=9128] ppid=9125 vsize=27240 CPUtime=1.49 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 1635 0 0 0 148 1 0 0 20 0 1 0 2783360 27893760 1420 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1420 710 682 0 813 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27240
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9129
/proc/meminfo: memFree=32098580/32770624 swapFree=5712/126352
[pid=9128] ppid=9125 vsize=27240 CPUtime=3.09 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 1817 0 0 0 307 2 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27240
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9129
/proc/meminfo: memFree=32098952/32770624 swapFree=5712/126352
[pid=9128] ppid=9125 vsize=27240 CPUtime=6.29 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 2003 0 0 0 624 5 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27240
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9129
/proc/meminfo: memFree=32099200/32770624 swapFree=5712/126360
[pid=9128] ppid=9125 vsize=27240 CPUtime=12.69 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 2187 0 0 0 1261 8 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27240
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9129
/proc/meminfo: memFree=32099904/32770624 swapFree=5712/126376
[pid=9128] ppid=9125 vsize=27240 CPUtime=25.49 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 2555 0 0 0 2530 19 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27240
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9129
/proc/meminfo: memFree=32100288/32770624 swapFree=5712/126392
[pid=9128] ppid=9125 vsize=27240 CPUtime=51.1 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 2744 0 0 0 5072 38 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 27240
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9130
/proc/meminfo: memFree=32100272/32770624 swapFree=5712/126428
[pid=9128] ppid=9125 vsize=27240 CPUtime=102.31 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 2931 0 0 0 10155 76 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 5453291 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 27240
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9131
/proc/meminfo: memFree=32100420/32770624 swapFree=5712/126464
[pid=9128] ppid=9125 vsize=27240 CPUtime=162.31 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 3116 0 0 0 16115 116 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 27240
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9132
/proc/meminfo: memFree=32100364/32770624 swapFree=5712/126496
[pid=9128] ppid=9125 vsize=27240 CPUtime=222.32 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 3301 0 0 0 22073 159 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 27240
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9133
/proc/meminfo: memFree=32100100/32770624 swapFree=5712/126528
[pid=9128] ppid=9125 vsize=27240 CPUtime=282.32 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 3301 0 0 0 28031 201 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 27240
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9134
/proc/meminfo: memFree=32099936/32770624 swapFree=5712/126556
[pid=9128] ppid=9125 vsize=27240 CPUtime=342.33 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 3487 0 0 0 33989 244 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 27240
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9135
/proc/meminfo: memFree=32100132/32770624 swapFree=5712/126584
[pid=9128] ppid=9125 vsize=27240 CPUtime=402.33 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 3487 0 0 0 39946 287 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 27240
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9136
/proc/meminfo: memFree=32099828/32770624 swapFree=5712/126620
[pid=9128] ppid=9125 vsize=27240 CPUtime=462.34 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 3672 0 0 0 45904 330 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 27240
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9137
/proc/meminfo: memFree=32099652/32770624 swapFree=5712/126652
[pid=9128] ppid=9125 vsize=27240 CPUtime=522.34 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 3672 0 0 0 51854 380 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 27240
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9145
/proc/meminfo: memFree=32098812/32770624 swapFree=5712/126680
[pid=9128] ppid=9125 vsize=27240 CPUtime=582.35 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 3858 0 0 0 57814 421 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 27240
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9146
/proc/meminfo: memFree=32098956/32770624 swapFree=5712/126712
[pid=9128] ppid=9125 vsize=27240 CPUtime=642.35 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 3859 0 0 0 63770 465 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 27240
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9147
/proc/meminfo: memFree=32098960/32770624 swapFree=5712/126740
[pid=9128] ppid=9125 vsize=27240 CPUtime=702.36 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 4046 0 0 0 69728 508 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 27240
[startup+762.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 9160
/proc/meminfo: memFree=32097940/32770624 swapFree=5712/127096
[pid=9128] ppid=9125 vsize=27240 CPUtime=762.38 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 4046 0 0 0 75684 554 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 27240
[startup+822.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/183 9161
/proc/meminfo: memFree=32098364/32770624 swapFree=5712/127128
[pid=9128] ppid=9125 vsize=27240 CPUtime=822.38 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 4233 0 0 0 81640 598 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 27240
[startup+882.306 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 9163
/proc/meminfo: memFree=32098116/32770624 swapFree=5712/127152
[pid=9128] ppid=9125 vsize=27240 CPUtime=882.39 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 4250 0 0 0 87599 640 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 27240
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9128 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+883.2 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 9163
/proc/meminfo: memFree=32098116/32770624 swapFree=5712/127152
[pid=9128] ppid=9125 vsize=27240 CPUtime=883.28 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 4250 0 0 0 87688 640 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 883.28
Current children cumulated vsize (KiB) 27240
[startup+889.6 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 9163
/proc/meminfo: memFree=32098128/32770624 swapFree=5712/127152
[pid=9128] ppid=9125 vsize=27240 CPUtime=889.68 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 4250 0 0 0 88322 646 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287608 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 889.68
Current children cumulated vsize (KiB) 27240
[startup+896 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 9163
/proc/meminfo: memFree=32098252/32770624 swapFree=5712/127160
[pid=9128] ppid=9125 vsize=27240 CPUtime=896.08 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 4250 0 0 0 88957 651 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 896.08
Current children cumulated vsize (KiB) 27240
[startup+899.2 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 9163
/proc/meminfo: memFree=32098252/32770624 swapFree=5712/127160
[pid=9128] ppid=9125 vsize=27240 CPUtime=899.28 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 4448 0 0 0 89275 653 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 899.28
Current children cumulated vsize (KiB) 27240
[startup+900 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 9163
/proc/meminfo: memFree=32098252/32770624 swapFree=5712/127160
[pid=9128] ppid=9125 vsize=27240 CPUtime=900.08 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 4448 0 0 0 89354 654 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 900.08
Current children cumulated vsize (KiB) 27240
[startup+900.8 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 9163
/proc/meminfo: memFree=32098252/32770624 swapFree=5712/127160
[pid=9128] ppid=9125 vsize=27240 CPUtime=900.88 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 4448 0 0 0 89434 654 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 900.88
Current children cumulated vsize (KiB) 27240
[startup+901.006 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 9164
/proc/meminfo: memFree=32097880/32770624 swapFree=5712/127160
[pid=9128] ppid=9125 vsize=27240 CPUtime=901.09 cores=1,3,5,7
/proc/9128/stat : 9128 (naxos-xcsp3) R 9125 9128 3469 0 -1 4202496 4448 0 0 0 89454 655 0 0 20 0 1 0 2783360 27893760 1481 33554432000 4194304 6986860 140733423292080 140733423287432 140559819182460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 14045184 140733423297806 140733423297887 140733423297887 140733423300586 0
/proc/9128/statm: 6810 1481 716 682 0 813 0
Current children cumulated CPU time (s) 901.09
Current children cumulated vsize (KiB) 27240
Child status: 0
Real time (s): 901.062
CPU time (s): 901.153
CPU user time (s): 894.601
CPU system time (s): 6.55268
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 27240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 894.601
system time used= 6.55268
maximum resident set size= 5944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4475
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= 234
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.31624 second user time and 2.73135 second system time
The end