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-4251663-1500915006/watcher-4251663-1500915006 -o /tmp/evaluation-result-4251663-1500915006/solver-4251663-1500915006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500915006-3508 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251663-1500915006.xml
pid=3529
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: 8.00 7.97 7.95 3/180 3532
/proc/meminfo: memFree=32135388/32770624 swapFree=5732/106784
[pid=3532] ppid=3529 vsize=6540 CPUtime=0 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) D 3529 3532 3476 0 -1 4194304 157 0 0 0 0 0 0 0 20 0 1 0 1040613 6696960 35 33554432000 4194304 6986860 140733996188208 140733996185304 140485070281210 0 0 4096 0 18446744071580431491 0 0 17 3 0 0 0 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 1635 35 26 682 0 41 0
[startup+0.100112 s]
/proc/loadavg: 8.00 7.97 7.95 3/180 3532
/proc/meminfo: memFree=32135388/32770624 swapFree=5732/106784
[pid=3532] ppid=3529 vsize=26384 CPUtime=0.08 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 1380 0 3 0 8 0 0 0 20 0 1 0 1040613 27017216 1175 33554432000 4194304 6986860 140733996188208 140733996184000 140485058288640 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 6596 1175 662 682 0 599 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26384
[startup+0.200287 s]
/proc/loadavg: 8.00 7.97 7.95 3/180 3532
/proc/meminfo: memFree=32135388/32770624 swapFree=5732/106784
[pid=3532] ppid=3529 vsize=26840 CPUtime=0.18 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 1547 0 3 0 18 0 0 0 20 0 1 0 1040613 27484160 1311 33554432000 4194304 6986860 140733996188208 140733996184000 5812067 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 6710 1311 663 682 0 713 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 26840
[startup+0.300239 s]
/proc/loadavg: 8.00 7.97 7.95 3/180 3532
/proc/meminfo: memFree=32135388/32770624 swapFree=5732/106784
[pid=3532] ppid=3529 vsize=27488 CPUtime=0.28 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 1763 0 3 0 28 0 0 0 20 0 1 0 1040613 28147712 1423 33554432000 4194304 6986860 140733996188208 140733996184000 5959736 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 6872 1423 663 682 0 875 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27488
[startup+0.700218 s]
/proc/loadavg: 8.00 7.97 7.95 3/180 3532
/proc/meminfo: memFree=32135388/32770624 swapFree=5732/106784
[pid=3532] ppid=3529 vsize=28916 CPUtime=0.67 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 2270 0 3 0 67 0 0 0 20 0 1 0 1040613 29609984 1779 33554432000 4194304 6986860 140733996188208 140733996182888 5524631 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 7229 1779 705 682 0 1232 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 28916
[startup+1.50021 s]
/proc/loadavg: 7.52 7.87 7.92 3/184 3539
/proc/meminfo: memFree=32122956/32770624 swapFree=5732/108308
[pid=3532] ppid=3529 vsize=29048 CPUtime=1.47 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 2292 0 3 0 147 0 0 0 20 0 1 0 1040613 29745152 1779 33554432000 4194304 6986860 140733996188208 140733996182888 5637808 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 7262 1779 705 682 0 1265 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29048
[startup+3.10022 s]
/proc/loadavg: 7.52 7.87 7.92 3/184 3539
/proc/meminfo: memFree=32122228/32770624 swapFree=5732/108308
[pid=3532] ppid=3529 vsize=29180 CPUtime=3.07 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 2784 0 3 0 307 0 0 0 20 0 1 0 1040613 29880320 1835 33554432000 4194304 6986860 140733996188208 140733996178456 5637838 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 7295 1835 705 682 0 1298 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29180
[startup+6.30021 s]
/proc/loadavg: 7.52 7.87 7.92 3/184 3539
/proc/meminfo: memFree=32121544/32770624 swapFree=5740/108264
[pid=3532] ppid=3529 vsize=29576 CPUtime=6.27 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 3398 0 3 0 627 0 0 0 20 0 1 0 1040613 30285824 1937 33554432000 4194304 6986860 140733996188208 140733996178456 5646820 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 7394 1937 705 682 0 1397 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 29576
[startup+12.7002 s]
/proc/loadavg: 6.67 7.68 7.86 3/184 3539
/proc/meminfo: memFree=32119096/32770624 swapFree=5740/108264
[pid=3532] ppid=3529 vsize=30500 CPUtime=12.67 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 4167 0 3 0 1267 0 0 0 20 0 1 0 1040613 31232000 2116 33554432000 4194304 6986860 140733996188208 140733996178456 6250964 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 7625 2116 705 682 0 1628 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 30500
[startup+25.5003 s]
/proc/loadavg: 5.95 7.49 7.80 3/184 3539
/proc/meminfo: memFree=32111680/32770624 swapFree=5740/108284
[pid=3532] ppid=3529 vsize=32216 CPUtime=25.48 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 5363 0 3 0 2547 1 0 0 20 0 1 0 1040613 32989184 2563 33554432000 4194304 6986860 140733996188208 140733996178456 140485057847858 0 0 4096 0 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 8054 2563 705 682 0 2057 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32216
[startup+51.1003 s]
/proc/loadavg: 4.60 7.05 7.64 3/184 3539
/proc/meminfo: memFree=32088788/32770624 swapFree=5740/108288
[pid=3532] ppid=3529 vsize=56420 CPUtime=51.07 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 14153 0 3 0 5091 16 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56420
[startup+102.3 s]
/proc/loadavg: 3.04 6.20 7.32 3/184 3540
/proc/meminfo: memFree=32089184/32770624 swapFree=5740/108312
[pid=3532] ppid=3529 vsize=56420 CPUtime=102.28 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 14425 0 3 0 10186 42 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183736 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 56420
[startup+162.3 s]
/proc/loadavg: 2.43 5.45 6.99 3/184 3541
/proc/meminfo: memFree=32089688/32770624 swapFree=5740/108340
[pid=3532] ppid=3529 vsize=56420 CPUtime=162.27 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 14694 0 3 0 16155 72 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183736 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 56420
[startup+222.306 s]
/proc/loadavg: 2.16 4.82 6.68 3/184 3542
/proc/meminfo: memFree=32089864/32770624 swapFree=5740/108360
[pid=3532] ppid=3529 vsize=56420 CPUtime=222.28 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 14963 0 3 0 22125 103 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 56420
[startup+282.3 s]
/proc/loadavg: 2.06 4.31 6.39 3/184 3543
/proc/meminfo: memFree=32089568/32770624 swapFree=5740/108384
[pid=3532] ppid=3529 vsize=56420 CPUtime=282.28 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 15232 0 3 0 28093 135 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 56420
[startup+342.3 s]
/proc/loadavg: 2.05 3.90 6.12 3/182 3545
/proc/meminfo: memFree=32089860/32770624 swapFree=5740/108412
[pid=3532] ppid=3529 vsize=56420 CPUtime=342.28 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 15499 0 3 0 34061 167 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 56420
[startup+402.3 s]
/proc/loadavg: 2.09 3.57 5.86 3/182 3546
/proc/meminfo: memFree=32090204/32770624 swapFree=5740/108432
[pid=3532] ppid=3529 vsize=56420 CPUtime=402.28 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 15768 0 3 0 40029 199 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183736 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 56420
[startup+462.3 s]
/proc/loadavg: 2.03 3.29 5.62 3/182 3547
/proc/meminfo: memFree=32090524/32770624 swapFree=5740/108456
[pid=3532] ppid=3529 vsize=56420 CPUtime=462.28 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 16037 0 3 0 45998 230 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 56420
[startup+522.3 s]
/proc/loadavg: 2.01 3.05 5.39 3/182 3549
/proc/meminfo: memFree=32089972/32770624 swapFree=5740/108484
[pid=3532] ppid=3529 vsize=56420 CPUtime=522.28 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 16304 0 3 0 51968 260 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 56420
[startup+582.3 s]
/proc/loadavg: 2.00 2.86 5.18 3/182 3550
/proc/meminfo: memFree=32090304/32770624 swapFree=5740/108508
[pid=3532] ppid=3529 vsize=56420 CPUtime=582.29 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 16573 0 3 0 57937 292 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183736 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 56420
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.05 3.21 3/182 3601
/proc/meminfo: memFree=32088924/32770624 swapFree=5740/108872
[pid=3532] ppid=3529 vsize=56420 CPUtime=1482.32 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 20600 0 3 0 147446 786 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 56420
[startup+1542.31 s]
/proc/loadavg: 2.00 2.04 3.14 3/182 3602
/proc/meminfo: memFree=32089116/32770624 swapFree=5740/108892
[pid=3532] ppid=3529 vsize=56420 CPUtime=1542.32 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 20870 0 3 0 153416 816 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183736 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 56420
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 3.07 3/181 3603
/proc/meminfo: memFree=32090312/32770624 swapFree=5740/108736
[pid=3532] ppid=3529 vsize=56420 CPUtime=1602.32 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 21138 0 3 0 159382 850 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 56420
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 3.00 3/182 3605
/proc/meminfo: memFree=32089816/32770624 swapFree=5740/108764
[pid=3532] ppid=3529 vsize=56420 CPUtime=1662.32 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 21406 0 3 0 165349 883 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 56420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.94 3/182 3606
/proc/meminfo: memFree=32089664/32770624 swapFree=5740/108784
[pid=3532] ppid=3529 vsize=56420 CPUtime=1722.33 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 21674 0 3 0 171319 914 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 56420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.88 3/182 3607
/proc/meminfo: memFree=32089788/32770624 swapFree=5740/108808
[pid=3532] ppid=3529 vsize=56420 CPUtime=1782.33 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 21942 0 3 0 177287 946 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 56420
[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.83 3/182 3615
/proc/meminfo: memFree=32088328/32770624 swapFree=5740/108840
[pid=3532] ppid=3529 vsize=56420 CPUtime=1842.33 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 22210 0 3 0 183254 979 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183736 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 56420
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.78 3/182 3616
/proc/meminfo: memFree=32089132/32770624 swapFree=5740/108856
[pid=3532] ppid=3529 vsize=56420 CPUtime=1902.33 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 22478 0 3 0 189222 1011 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 1902.33
Current children cumulated vsize (KiB) 56420
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.74 3/182 3617
/proc/meminfo: memFree=32089116/32770624 swapFree=5740/108888
[pid=3532] ppid=3529 vsize=56420 CPUtime=1962.33 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 22747 0 3 0 195192 1041 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183736 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 1962.33
Current children cumulated vsize (KiB) 56420
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.69 3/182 3618
/proc/meminfo: memFree=32089364/32770624 swapFree=5740/108908
[pid=3532] ppid=3529 vsize=56420 CPUtime=2022.33 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 23015 0 3 0 201160 1073 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 56420
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.64 3/182 3619
/proc/meminfo: memFree=32089652/32770624 swapFree=5740/108928
[pid=3532] ppid=3529 vsize=56420 CPUtime=2082.34 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 23283 0 3 0 207129 1105 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 56420
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.60 3/182 3621
/proc/meminfo: memFree=32089788/32770624 swapFree=5740/108956
[pid=3532] ppid=3529 vsize=56420 CPUtime=2142.33 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 23552 0 3 0 213100 1133 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183736 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 2142.33
Current children cumulated vsize (KiB) 56420
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.57 3/182 3622
/proc/meminfo: memFree=32089620/32770624 swapFree=5740/108976
[pid=3532] ppid=3529 vsize=56420 CPUtime=2202.34 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 23820 0 3 0 219069 1165 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 2202.34
Current children cumulated vsize (KiB) 56420
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.53 3/182 3623
/proc/meminfo: memFree=32089980/32770624 swapFree=5740/109008
[pid=3532] ppid=3529 vsize=56420 CPUtime=2262.34 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 24088 0 3 0 225035 1199 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 2262.34
Current children cumulated vsize (KiB) 56420
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.50 3/182 3625
/proc/meminfo: memFree=32089824/32770624 swapFree=5740/109036
[pid=3532] ppid=3529 vsize=56420 CPUtime=2322.34 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 24358 0 3 0 231002 1232 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 2322.34
Current children cumulated vsize (KiB) 56420
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.47 3/182 3626
/proc/meminfo: memFree=32089684/32770624 swapFree=5740/109060
[pid=3532] ppid=3529 vsize=56420 CPUtime=2382.34 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 24628 0 3 0 236972 1262 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183560 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 2382.34
Current children cumulated vsize (KiB) 56420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.08 2.03 2.46 3/182 3633
/proc/meminfo: memFree=32088740/32770624 swapFree=5740/109068
[pid=3532] ppid=3529 vsize=56420 CPUtime=2400.04 cores=1,3,5,7
/proc/3532/stat : 3532 (naxos-xcsp3) R 3529 3532 3476 0 -1 4202496 24895 0 3 0 238733 1271 0 0 20 0 1 0 1040613 57774080 8789 33554432000 4194304 6986860 140733996188208 140733996183736 140485058113916 0 0 4096 16384 0 0 0 17 3 0 0 1 0 0 9087712 9120176 11546624 140733996197134 140733996197215 140733996197215 140733996199914 0
/proc/3532/statm: 14105 8789 729 682 0 8108 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 56420
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 3532 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.05
CPU user time (s): 2387.34
CPU system time (s): 12.7184
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 56420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.34
system time used= 12.7184
maximum resident set size= 35176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24923
page faults= 3
swaps= 0
block input operations= 3320
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 700
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79494 second user time and 8.0497 second system time
The end