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-4082318-1465253972/watcher-4082318-1465253972 -o /tmp/evaluation-result-4082318-1465253972/solver-4082318-1465253972 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465244211-28759 --watchdog 1960 naps-1.02 HOME/instance-4082318-1465253972.opb 

pid=31662
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.31 2.18 2.11 3/176 31665
/proc/meminfo: memFree=30974360/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=6956 CPUtime=0 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 414 0 0 0 0 0 0 0 20 0 1 0 107329779 7122944 288 33554432000 4194304 5796924 140737045958656 140736575519848 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 1739 288 128 392 0 1338 0

[startup+0.100197 s]
/proc/loadavg: 2.31 2.18 2.11 3/176 31665
/proc/meminfo: memFree=30974360/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=9160 CPUtime=0.09 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 997 0 0 0 9 0 0 0 20 0 1 0 107329779 9379840 871 33554432000 4194304 5796924 140737045958656 140736575519848 5092550 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 2290 871 139 392 0 1889 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9160

[startup+0.200275 s]
/proc/loadavg: 2.31 2.18 2.11 3/176 31665
/proc/meminfo: memFree=30974360/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=12624 CPUtime=0.19 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 2055 0 0 0 19 0 0 0 20 0 1 0 107329779 12926976 1860 33554432000 4194304 5796924 140737045958656 140736575519848 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 3156 1860 162 392 0 2755 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12624

[startup+0.300245 s]
/proc/loadavg: 2.31 2.18 2.11 3/176 31665
/proc/meminfo: memFree=30974360/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=12624 CPUtime=0.29 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 2055 0 0 0 29 0 0 0 20 0 1 0 107329779 12926976 1860 33554432000 4194304 5796924 140737045958656 140736575519848 5092657 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 3156 1860 162 392 0 2755 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12624

[startup+0.700265 s]
/proc/loadavg: 2.31 2.18 2.11 3/176 31665
/proc/meminfo: memFree=30974360/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=12624 CPUtime=0.69 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 2055 0 0 0 69 0 0 0 20 0 1 0 107329779 12926976 1860 33554432000 4194304 5796924 140737045958656 140736575519848 4809286 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 3156 1860 162 392 0 2755 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12624

[startup+1.50025 s]
/proc/loadavg: 2.31 2.18 2.11 3/177 31666
/proc/meminfo: memFree=30967160/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=12624 CPUtime=1.49 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 2056 0 0 0 149 0 0 0 20 0 1 0 107329779 12926976 1861 33554432000 4194304 5796924 140737045958656 140737045955640 5092509 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 3156 1861 163 392 0 2755 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12624

[startup+3.10027 s]
/proc/loadavg: 2.29 2.18 2.11 3/177 31666
/proc/meminfo: memFree=30967036/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=12624 CPUtime=3.09 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 2056 0 0 0 309 0 0 0 20 0 1 0 107329779 12926976 1861 33554432000 4194304 5796924 140737045958656 140737045955640 4865443 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 3156 1861 163 392 0 2755 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12624

[startup+6.30027 s]
/proc/loadavg: 2.29 2.18 2.11 3/177 31666
/proc/meminfo: memFree=30967240/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=12624 CPUtime=6.29 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 2056 0 0 0 629 0 0 0 20 0 1 0 107329779 12926976 1861 33554432000 4194304 5796924 140737045958656 140737045955640 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 3156 1861 163 392 0 2755 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12624

[startup+12.7003 s]
/proc/loadavg: 2.24 2.17 2.10 3/177 31666
/proc/meminfo: memFree=30966640/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=12624 CPUtime=12.69 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 2056 0 0 0 1269 0 0 0 20 0 1 0 107329779 12926976 1861 33554432000 4194304 5796924 140737045958656 140737045955640 5092509 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 3156 1861 163 392 0 2755 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12624

[startup+25.5004 s]
/proc/loadavg: 2.21 2.17 2.10 3/177 31666
/proc/meminfo: memFree=30513352/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=563504 CPUtime=25.49 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 63616 0 0 0 2535 14 0 0 20 0 1 0 107329779 577028096 127453 33554432000 4194304 5796924 140737045958656 140737045956216 4621249 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 140876 127454 170 392 0 140475 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 563504

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31665 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6004 s]
/proc/loadavg: 2.21 2.17 2.10 3/177 31666
/proc/meminfo: memFree=30513352/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=563504 CPUtime=25.59 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 64039 0 0 0 2545 14 0 0 20 0 1 0 107329779 577028096 130897 33554432000 4194304 5796924 140737045958656 140737045956216 4632410 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 140876 130897 170 392 0 140475 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 563504

[startup+32.0071 s]
/proc/loadavg: 2.17 2.16 2.10 3/178 31669
/proc/meminfo: memFree=30082720/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=928296 CPUtime=31.99 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 72564 0 0 0 3178 21 0 0 20 0 1 0 107329779 950575104 222480 33554432000 4194304 5796924 140737045958656 140737045957048 4650879 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 232074 222480 170 392 0 231673 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 928296

[startup+35.2003 s]
/proc/loadavg: 2.17 2.16 2.10 4/178 31669
/proc/meminfo: memFree=29871060/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=1207904 CPUtime=35.19 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 77339 0 0 0 3493 26 0 0 20 0 1 0 107329779 1236893696 275376 33554432000 4194304 5796924 140737045958656 140737045922776 5101645 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 301976 275376 170 392 0 301575 0
Current children cumulated CPU time (s) 35.19
Current children cumulated vsize (KiB) 1207904

[startup+36.8003 s]
/proc/loadavg: 2.17 2.16 2.10 4/178 31669
/proc/meminfo: memFree=29850644/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=1228668 CPUtime=36.78 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 78053 0 0 0 3651 27 0 0 20 0 1 0 107329779 1258156032 285288 33554432000 4194304 5796924 140737045958656 140737045956376 4627017 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 307167 285288 170 392 0 306766 0
Current children cumulated CPU time (s) 36.78
Current children cumulated vsize (KiB) 1228668

[startup+37.2002 s]
/proc/loadavg: 2.17 2.16 2.10 4/178 31669
/proc/meminfo: memFree=29850644/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=1228668 CPUtime=37.18 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 78055 0 0 0 3691 27 0 0 20 0 1 0 107329779 1258156032 286312 33554432000 4194304 5796924 140737045958656 140737045957048 4648365 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 307167 286312 170 392 0 306766 0
Current children cumulated CPU time (s) 37.18
Current children cumulated vsize (KiB) 1228668

[startup+37.6003 s]
/proc/loadavg: 2.24 2.18 2.11 4/178 31669
/proc/meminfo: memFree=29827248/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=1228668 CPUtime=37.58 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 78055 0 0 0 3731 27 0 0 20 0 1 0 107329779 1258156032 286312 33554432000 4194304 5796924 140737045958656 140737045957048 4577067 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 307167 286312 170 392 0 306766 0
Current children cumulated CPU time (s) 37.58
Current children cumulated vsize (KiB) 1228668

[startup+37.7003 s]
/proc/loadavg: 2.24 2.18 2.11 4/178 31669
/proc/meminfo: memFree=29827248/32872528 swapFree=12328/568296
[pid=31665] ppid=31662 vsize=1228668 CPUtime=37.68 cores=0,2,4,6
/proc/31665/stat : 31665 (naps-1.02) R 31662 31665 28743 0 -1 4202496 78069 0 0 0 3741 27 0 0 20 0 1 0 107329779 1258156032 286326 33554432000 4194304 5796924 140737045958656 140737045957048 4553761 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31665/statm: 307167 286326 184 392 0 306766 0
Current children cumulated CPU time (s) 37.68
Current children cumulated vsize (KiB) 1228668

Child status: 30
Real time (s): 37.764
CPU time (s): 37.7583
CPU user time (s): 37.4523
CPU system time (s): 0.305953
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 1228668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.4523
system time used= 0.305953
maximum resident set size= 1145304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78070
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= 3
involuntary context switches= 39

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.100984 second user time and 0.140978 second system time

The end