Trace number 4103375

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
NaPS 1.02? (TO) 1800.05 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
MD5SUMbb02029eb777c2a6ae8e192b29bcb9de
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107808
Total number of constraints3904
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 348966092800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 299074813804544
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 348966092800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 299074813804544
Number of bits of the biggest sum of numbers49
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.02b.
1800.04/1800.40	c 
1800.04/1800.40	c *** TERMINATED *** by signal 15
1800.04/1800.40	s UNKNOWN
1800.04/1800.40	c _____________________________________________________________________________
1800.04/1800.40	c 
1800.04/1800.40	c std/band forms        : 80,6
1800.04/1800.40	c 2cl/3cl ITE-codings   : 0,0
1800.04/1800.40	c BDD/srt/adr Max costs : 9498,154235,112
1800.04/1800.40	c BDDraw/bin/mul/srt/adr: 64,0,3,16,2
1800.04/1800.40	c BDD nodes             : 8498603
1800.04/1800.40	c Es1/CC detections     : 0,0
1800.04/1800.40	c SAT/UNSAT calls       : 0,0
1800.04/1800.40	c restarts              : 0
1800.04/1800.40	c conflicts             : 0              (0 /sec)
1800.04/1800.40	c decisions             : 0              (0 /sec)
1800.04/1800.40	c propagations          : 0              (0 /sec)
1800.04/1800.40	c inspects              : 0              (0 /sec)
1800.04/1800.40	c CPU time (solving tm) : 1800 s        (0 s)
1800.04/1800.40	c Time for Opt-base     : 1700 s
1800.04/1800.40	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-4103375-1466253765/watcher-4103375-1466253765 -o /tmp/evaluation-result-4103375-1466253765/solver-4103375-1466253765 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466241101-19193 --watchdog 1960 naps-1.02 HOME/instance-4103375-1466253765.opb 

pid=20386
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.00 2.00 2.00 2/179 20389
/proc/meminfo: memFree=31690048/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=7296 CPUtime=0 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 498 0 0 0 0 0 0 0 20 0 1 0 27422397 7471104 372 33554432000 4194304 5796924 140734279041040 140735253766088 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 1824 372 114 392 0 1423 0

[startup+0.100165 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20389
/proc/meminfo: memFree=31690048/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=18880 CPUtime=0.09 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 3255 0 0 0 9 0 0 0 20 0 1 0 27422397 19333120 2993 33554432000 4194304 5796924 140734279041040 140735253766088 5092487 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 4720 2993 116 392 0 4319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18880

[startup+0.200357 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20389
/proc/meminfo: memFree=31690048/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=24304 CPUtime=0.19 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 4905 0 0 0 19 0 0 0 20 0 1 0 27422397 24887296 4402 33554432000 4194304 5796924 140734279041040 140735253766088 4261418 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 6076 4403 128 392 0 5675 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24304

[startup+0.300332 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20389
/proc/meminfo: memFree=31690048/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=29104 CPUtime=0.29 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 5698 0 0 0 29 0 0 0 20 0 1 0 27422397 29802496 5178 33554432000 4194304 5796924 140734279041040 140735253766088 4659057 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 7276 5178 128 392 0 6875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29104

[startup+0.70024 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 20389
/proc/meminfo: memFree=31690048/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=40012 CPUtime=0.69 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 8572 0 0 0 68 1 0 0 20 0 1 0 27422397 40972288 8052 33554432000 4194304 5796924 140734279041040 140735253766088 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 10003 8052 128 392 0 9602 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40012

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20390
/proc/meminfo: memFree=31647136/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=64020 CPUtime=1.48 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 14226 0 0 0 147 1 0 0 20 0 1 0 27422397 65556480 13706 33554432000 4194304 5796924 140734279041040 140734279038456 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 16005 13707 128 392 0 15604 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 64020

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20390
/proc/meminfo: memFree=31609192/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=140756 CPUtime=3.09 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 33442 0 0 0 305 4 0 0 20 0 1 0 27422397 144134144 32234 33554432000 4194304 5796924 140734279041040 140734277749672 4805658 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 35189 32234 139 392 0 34788 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 140756

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20390
/proc/meminfo: memFree=31429920/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=316984 CPUtime=6.29 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 74713 0 0 0 619 10 0 0 20 0 1 0 27422397 324591616 76275 33554432000 4194304 5796924 140734279041040 140734277892984 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 79246 76275 139 392 0 78845 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 316984

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 20390
/proc/meminfo: memFree=31322612/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=376476 CPUtime=12.68 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 89138 0 0 0 1256 12 0 0 20 0 1 0 27422397 385511424 91211 33554432000 4194304 5796924 140734279041040 140734279038024 5087643 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 94119 91211 144 392 0 93718 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 376476

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 20390
/proc/meminfo: memFree=31307296/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=376476 CPUtime=25.48 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 89138 0 0 0 2536 12 0 0 20 0 1 0 27422397 385511424 91211 33554432000 4194304 5796924 140734279041040 140734279038024 5087606 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 94119 91211 144 392 0 93718 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 376476

[startup+51.1003 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 20390
/proc/meminfo: memFree=31301680/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=376476 CPUtime=51.08 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 89138 0 0 0 5096 12 0 0 20 0 1 0 27422397 385511424 91211 33554432000 4194304 5796924 140734279041040 140734279038024 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 94119 91211 144 392 0 93718 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 376476

[startup+102.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 20392
/proc/meminfo: memFree=31294748/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=376476 CPUtime=102.28 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 89138 0 0 0 10216 12 0 0 20 0 1 0 27422397 385511424 91211 33554432000 4194304 5796924 140734279041040 140734279038024 4806736 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 94119 91211 144 392 0 93718 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 376476

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 20393
/proc/meminfo: memFree=31279448/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=380172 CPUtime=162.25 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 90114 0 0 0 16213 12 0 0 20 0 1 0 27422397 389296128 92883 33554432000 4194304 5796924 140734279041040 140734279038024 5087488 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 95043 92883 151 392 0 94642 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 380172

[startup+222.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 20394
/proc/meminfo: memFree=31234380/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=380396 CPUtime=222.22 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 90170 0 0 0 22210 12 0 0 20 0 1 0 27422397 389525504 92900 33554432000 4194304 5796924 140734279041040 140734279035608 4863552 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 95099 92900 151 392 0 94698 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 380396

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 20395
/proc/meminfo: memFree=31200796/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=398476 CPUtime=282.19 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 91731 0 0 0 28206 13 0 0 20 0 1 0 27422397 408039424 96894 33554432000 4194304 5796924 140734279041040 140734279038024 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 99619 96894 151 392 0 99218 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 398476

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20396
/proc/meminfo: memFree=31134852/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=402296 CPUtime=342.17 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 92673 0 0 0 34204 13 0 0 20 0 1 0 27422397 411951104 98540 33554432000 4194304 5796924 140734279041040 140734279038024 5087766 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 100574 98540 151 392 0 100173 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 402296

[startup+402.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 20398
/proc/meminfo: memFree=31117548/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=402296 CPUtime=402.16 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 92690 0 0 0 40203 13 0 0 20 0 1 0 27422397 411951104 98557 33554432000 4194304 5796924 140734279041040 140734279038024 4865421 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 100574 98557 151 392 0 100173 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 402296

[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 20402
/proc/meminfo: memFree=31101512/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=412012 CPUtime=462.15 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 93831 0 0 0 46202 13 0 0 20 0 1 0 27422397 421900288 100209 33554432000 4194304 5796924 140734279041040 140734279038024 5092450 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 103003 100209 151 392 0 102602 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 412012

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20403
/proc/meminfo: memFree=31090192/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=412264 CPUtime=522.14 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 93848 0 0 0 52201 13 0 0 20 0 1 0 27422397 422158336 100226 33554432000 4194304 5796924 140734279041040 140734279035608 5096660 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 103066 100226 151 392 0 102665 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 412264

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20404
/proc/meminfo: memFree=30427468/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=415696 CPUtime=582.13 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 94753 0 0 0 58200 13 0 0 20 0 1 0 27422397 425672704 101642 33554432000 4194304 5796924 140734279041040 140734279038024 5087501 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 103924 101642 151 392 0 103523 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 415696


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.38 2.19 2.07 3/180 20504
/proc/meminfo: memFree=31372712/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=453480 CPUtime=882.08 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 97903 0 0 0 88194 14 0 0 20 0 1 0 27422397 464363520 109275 33554432000 4194304 5796924 140734279041040 140734279038024 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 113370 109275 151 392 0 112969 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 453480

[startup+942.3 s]
/proc/loadavg: 2.14 2.16 2.07 3/179 20505
/proc/meminfo: memFree=31368204/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=457176 CPUtime=942.07 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 98818 0 0 0 94193 14 0 0 20 0 1 0 27422397 468148224 110701 33554432000 4194304 5796924 140734279041040 140734279038024 4296050 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 114294 110701 151 392 0 113893 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 457176

[startup+1002.3 s]
/proc/loadavg: 2.08 2.14 2.07 3/179 20507
/proc/meminfo: memFree=31368340/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=457176 CPUtime=1002.06 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 98826 0 0 0 100192 14 0 0 20 0 1 0 27422397 468148224 110709 33554432000 4194304 5796924 140734279041040 140734279038024 5092694 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 114294 110709 151 392 0 113893 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 457176

[startup+1062.3 s]
/proc/loadavg: 2.03 2.11 2.06 3/180 20511
/proc/meminfo: memFree=31357600/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=460740 CPUtime=1062.06 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 99740 0 0 0 106191 15 0 0 20 0 1 0 27422397 471797760 112133 33554432000 4194304 5796924 140734279041040 140734279038024 4199792 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 115185 112133 151 392 0 114784 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 460740

[startup+1122.3 s]
/proc/loadavg: 2.01 2.09 2.05 3/180 20535
/proc/meminfo: memFree=31350472/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=464544 CPUtime=1122.04 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 100663 0 0 0 112189 15 0 0 20 0 1 0 27422397 475693056 113567 33554432000 4194304 5796924 140734279041040 140734279038024 4199792 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 116136 113567 151 392 0 115735 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 464544

[startup+1182.3 s]
/proc/loadavg: 2.00 2.07 2.05 3/179 20536
/proc/meminfo: memFree=31351548/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=464544 CPUtime=1182.04 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 100675 0 0 0 118189 15 0 0 20 0 1 0 27422397 475693056 113579 33554432000 4194304 5796924 140734279041040 140734279038024 5087776 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 116136 113579 151 392 0 115735 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 464544

[startup+1242.3 s]
/proc/loadavg: 2.00 2.05 2.04 3/179 20537
/proc/meminfo: memFree=31345244/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=468108 CPUtime=1242.02 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 101584 0 0 0 124187 15 0 0 20 0 1 0 27422397 479342592 114999 33554432000 4194304 5796924 140734279041040 140734279038024 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 117027 114999 151 392 0 116626 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 468108

[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/178 20538
/proc/meminfo: memFree=31345372/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=468356 CPUtime=1302.01 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 101599 0 0 0 130186 15 0 0 20 0 1 0 27422397 479596544 115014 33554432000 4194304 5796924 140734279041040 140734279035608 5087772 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 117089 115014 151 392 0 116688 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 468356

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/179 20540
/proc/meminfo: memFree=31341020/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=485628 CPUtime=1362.01 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 102664 0 0 0 136185 16 0 0 20 0 1 0 27422397 497283072 116076 33554432000 4194304 5796924 140734279041040 140734279038024 4809129 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 121407 116076 151 392 0 121006 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 485628

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/179 20541
/proc/meminfo: memFree=31339232/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=485884 CPUtime=1422.01 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 102681 0 0 0 142185 16 0 0 20 0 1 0 27422397 497545216 116448 33554432000 4194304 5796924 140734279041040 140734279035608 5094663 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 121471 116448 151 392 0 121070 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 485884

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.02 3/179 20542
/proc/meminfo: memFree=31333592/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=489316 CPUtime=1481.99 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 103586 0 0 0 148183 16 0 0 20 0 1 0 27422397 501059584 117864 33554432000 4194304 5796924 140734279041040 140734279038024 4809349 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 122329 117864 151 392 0 121928 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 489316

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.02 3/179 20543
/proc/meminfo: memFree=31334340/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=489568 CPUtime=1541.99 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 103603 0 0 0 154183 16 0 0 20 0 1 0 27422397 501317632 117881 33554432000 4194304 5796924 140734279041040 140734279035608 5087529 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 122392 117881 151 392 0 121991 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 489568

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/179 20544
/proc/meminfo: memFree=31328576/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=493000 CPUtime=1601.97 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 104508 0 0 0 160181 16 0 0 20 0 1 0 27422397 504832000 119297 33554432000 4194304 5796924 140734279041040 140734279038024 5092509 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 123250 119297 151 392 0 122849 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 493000

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/180 20549
/proc/meminfo: memFree=31328224/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=493252 CPUtime=1661.96 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 104525 0 0 0 166180 16 0 0 20 0 1 0 27422397 505090048 119314 33554432000 4194304 5796924 140734279041040 140734279035608 4805840 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 123313 119314 151 392 0 122912 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 493252

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.01 3/179 20550
/proc/meminfo: memFree=31282116/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=538868 CPUtime=1721.96 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 105573 0 0 0 172178 18 0 0 20 0 1 0 27422397 551800832 130764 33554432000 4194304 5796924 140734279041040 140734279038024 4295994 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 134717 130764 151 392 0 134316 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 538868

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 20551
/proc/meminfo: memFree=31281624/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=539120 CPUtime=1781.95 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 105590 0 0 0 178177 18 0 0 20 0 1 0 27422397 552058880 130781 33554432000 4194304 5796924 140734279041040 140734279035608 5087606 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 134780 130781 151 392 0 134379 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 539120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 20552
/proc/meminfo: memFree=31281504/32872528 swapFree=7780/7780
[pid=20389] ppid=20386 vsize=539120 CPUtime=1800.04 cores=0,2,4,6
/proc/20389/stat : 20389 (naps-1.02) R 20386 20389 19177 0 -1 4202496 105630 0 0 0 179986 18 0 0 20 0 1 0 27422397 552058880 130821 33554432000 4194304 5796924 140734279041040 140734279037256 4805613 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20389/statm: 134780 130821 191 392 0 134379 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 539120

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 20389 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.05
CPU user time (s): 1799.87
CPU system time (s): 0.185971
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 577616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.185971
maximum resident set size= 561620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105642
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= 134
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69529 second user time and 6.92795 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-18 14:42:45
IDJOB=4103375
IDBENCH=2342
IDSOLVER=2544
FILE ID=node133/4103375-1466253765
RUNJOBID= node133-1466241101-19193
PBS_JOBID= 19918201
Free space on /tmp= 71700 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103375-1466253765/watcher-4103375-1466253765 -o /tmp/evaluation-result-4103375-1466253765/solver-4103375-1466253765 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466241101-19193 --watchdog 1960  naps-1.02 HOME/instance-4103375-1466253765.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bb02029eb777c2a6ae8e192b29bcb9de
RANDOM SEED=1829115360

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31690692 kB
Buffers:          116552 kB
Cached:           185240 kB
SwapCached:         1324 kB
Active:           224444 kB
Inactive:         216784 kB
Active(anon):     140104 kB
Inactive(anon):     1904 kB
Active(file):      84340 kB
Inactive(file):   214880 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099968 kB
Dirty:              8556 kB
Writeback:             0 kB
AnonPages:        146560 kB
Mapped:             8992 kB
Shmem:                 0 kB
Slab:             602944 kB
SReclaimable:      46228 kB
SUnreclaim:       556716 kB
KernelStack:        1464 kB
PageTables:         4480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     277064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node133 at 2016-06-18 15:12:45