Trace number 50584

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, and are wall clock time (not CPU 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
PBS 4.1L? (TO) 1800.59 1801.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
MD5SUM9e8d546df5cfe52cfb5a29d8ae802e41
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark222.519
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 34
Optimality of the best value was proved YES
Number of variables8601
Total number of constraints386810
Number of constraints which are clauses384742
Number of constraints which are cardinality constraints (but not clauses)2068
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint94
Number of terms in the objective function 94
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 94
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 92
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 186
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node59/50584-1154117048/instance-50584-1154117048.opb ......
4.06	c done parsing opb.
4.06	o 94
4.06	o 93
4.07	o 92
4.08	o 91
4.08	o 90
4.09	o 89
4.09	o 88
4.10	o 87
4.11	o 86
4.11	o 85
4.12	o 84
4.13	o 83
4.13	o 82
4.14	o 81
4.15	o 80
4.15	o 79
4.16	o 78
4.17	o 77
4.17	o 76
4.18	o 75
4.18	o 74
4.19	o 73
4.20	o 72
4.20	o 71
4.21	o 70
4.22	o 69
4.22	o 68
4.23	o 67
4.24	o 66
4.24	o 65
4.25	o 64
4.26	o 63
4.26	o 62
4.27	o 61
4.27	o 60
4.28	o 59
4.29	o 58
4.29	o 57
4.30	o 56
4.31	o 55
4.33	o 54
4.68	o 53
4.84	o 52
5.26	o 51
5.59	o 50
14.40	o 49
18.05	o 48
19.83	o 47
26.19	o 45
26.24	o 44
26.28	o 43
27.32	o 42
27.41	o 41
33.94	o 40
646.89	o 39
1056.73	o 38

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node59/watcher-50584-1154117048 -o ROOT/results/node59/solver-50584-1154117048 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node59/50584-1154117048/instance-50584-1154117048.opb 650961186 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=897128/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=2208 CPUtime=0
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 158574683 2260992 145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 552 146 90 232 0 317 0

[startup+10.0027 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=866232/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=37220 CPUtime=9.98
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 10978 0 0 0 983 15 0 0 25 0 1 0 158574683 38113280 7885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 9305 7885 108 232 0 9070 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 37220

[startup+20.0096 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=860792/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=54124 CPUtime=19.99
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 12356 0 0 0 1971 28 0 0 25 0 1 0 158574683 55422976 9263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 13531 9263 108 232 0 13296 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 54124

[startup+30.0165 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=857976/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=54380 CPUtime=30
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 13089 0 0 0 2961 39 0 0 25 0 1 0 158574683 55685120 9996 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 13595 9996 108 232 0 13360 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 54380

[startup+40.0225 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=857016/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=54532 CPUtime=39.99
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 13321 0 0 0 3951 48 0 0 25 0 1 0 158574683 55840768 10228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 13633 10228 108 232 0 13398 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 54532

[startup+50.0294 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=854776/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=54792 CPUtime=50
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 13905 0 0 0 4945 55 0 0 25 0 1 0 158574683 56107008 10812 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 13698 10812 108 232 0 13463 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 54792

[startup+60.0353 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=852664/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=54956 CPUtime=60
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 14432 0 0 0 5939 61 0 0 25 0 1 0 158574683 56274944 11339 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 13739 11339 108 232 0 13504 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 54956

[startup+70.0422 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=850296/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=55268 CPUtime=70
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 15013 0 0 0 6932 68 0 0 25 0 1 0 158574683 56594432 11920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 13817 11920 108 232 0 13582 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 55268

[startup+80.0482 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=848120/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=55428 CPUtime=80.01
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 15564 0 0 0 7925 76 0 0 25 0 1 0 158574683 56758272 12471 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 13857 12471 108 232 0 13622 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 55428

[startup+90.0541 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=846264/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=55636 CPUtime=90.01
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 16023 0 0 0 8919 82 0 0 25 0 1 0 158574683 56971264 12930 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 13909 12930 108 232 0 13674 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 55636

[startup+100.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=844344/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=88484 CPUtime=100.01
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 16509 0 0 0 9914 87 0 0 25 0 1 0 158574683 90607616 13416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585807 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 22121 13416 108 232 0 21886 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 88484

[startup+110.066 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=842680/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=88688 CPUtime=110.02
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 16921 0 0 0 10909 93 0 0 25 0 1 0 158574683 90816512 13828 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 22172 13828 108 232 0 21937 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 88688

[startup+120.073 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=840952/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=88960 CPUtime=120.02
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 17361 0 0 0 11903 99 0 0 25 0 1 0 158574683 91095040 14268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 22240 14268 108 232 0 22005 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 88960

[startup+130.079 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=838392/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=89136 CPUtime=130.02
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 18018 0 0 0 12897 105 0 0 25 0 1 0 158574683 91275264 14925 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552434 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 22284 14925 108 232 0 22049 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 89136

[startup+140.085 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=836792/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=89408 CPUtime=140.03
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 18431 0 0 0 13892 111 0 0 25 0 1 0 158574683 91553792 15338 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 22352 15338 108 232 0 22117 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 89408

[startup+150.091 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=835512/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=89600 CPUtime=150.03
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 18748 0 0 0 14887 116 0 0 25 0 1 0 158574683 91750400 15655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 22400 15655 108 232 0 22165 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 89600

[startup+160.097 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=833400/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=89856 CPUtime=160.02
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 19276 0 0 0 15881 121 0 0 25 0 1 0 158574683 92012544 16183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 22464 16183 108 232 0 22229 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 89856

[startup+170.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=831544/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=90080 CPUtime=170.03
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 19743 0 0 0 16876 127 0 0 25 0 1 0 158574683 92241920 16650 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 22520 16650 108 232 0 22285 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 90080

[startup+180.108 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=830072/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=90200 CPUtime=180.03
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 20101 0 0 0 17871 132 0 0 25 0 1 0 158574683 92364800 17008 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 22550 17008 108 232 0 22315 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 90200

[startup+190.114 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=827768/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=90424 CPUtime=190.04
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 20675 0 0 0 18865 139 0 0 25 0 1 0 158574683 92594176 17582 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 22606 17582 108 232 0 22371 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 90424

[startup+200.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=827128/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=90424 CPUtime=200.04
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 20835 0 0 0 19860 144 0 0 25 0 1 0 158574683 92594176 17742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 22606 17742 108 232 0 22371 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 90424

[startup+210.126 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657

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

/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51976 0 0 0 177396 751 0 0 25 0 1 0 158574683 320856064 45744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45744 108 232 0 78099 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 313336

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714552/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1782.47
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51977 0 0 0 177496 751 0 0 25 0 1 0 158574683 320856064 45745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45745 108 232 0 78099 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 313336

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714552/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1783.47
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51978 0 0 0 177596 751 0 0 25 0 1 0 158574683 320856064 45746 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45746 108 232 0 78099 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 313336

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714552/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1784.48
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51979 0 0 0 177696 752 0 0 25 0 1 0 158574683 320856064 45747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552627 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45747 108 232 0 78099 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 313336

[startup+1786.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714552/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1785.48
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51981 0 0 0 177796 752 0 0 25 0 1 0 158574683 320856064 45749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45749 108 232 0 78099 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 313336

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714552/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1786.48
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51981 0 0 0 177896 752 0 0 25 0 1 0 158574683 320856064 45749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45749 108 232 0 78099 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 313336

[startup+1788.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1787.49
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51986 0 0 0 177997 752 0 0 25 0 1 0 158574683 320856064 45754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552011 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45754 108 232 0 78099 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 313336

[startup+1789.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1788.5
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51987 0 0 0 178097 753 0 0 25 0 1 0 158574683 320856064 45755 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45755 108 232 0 78099 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 313336

[startup+1790.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1789.5
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51987 0 0 0 178197 753 0 0 25 0 1 0 158574683 320856064 45755 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45755 108 232 0 78099 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (Kb) 313336

[startup+1791.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1790.5
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51988 0 0 0 178297 753 0 0 25 0 1 0 158574683 320856064 45756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45756 108 232 0 78099 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 313336

[startup+1792.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1791.51
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51989 0 0 0 178397 754 0 0 25 0 1 0 158574683 320856064 45757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45757 108 232 0 78099 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 313336

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1792.51
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51989 0 0 0 178497 754 0 0 25 0 1 0 158574683 320856064 45757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45757 108 232 0 78099 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 313336

[startup+1794.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1793.52
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51990 0 0 0 178598 754 0 0 25 0 1 0 158574683 320856064 45758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45758 108 232 0 78099 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 313336

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714488/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1794.52
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 51992 0 0 0 178698 754 0 0 25 0 1 0 158574683 320856064 45760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45760 108 232 0 78099 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 313336

[startup+1796.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714424/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1795.53
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52012 0 0 0 178798 755 0 0 25 0 1 0 158574683 320856064 45780 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45780 108 232 0 78099 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 313336

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17657
/proc/meminfo: memFree=714232/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1796.53
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52049 0 0 0 178898 755 0 0 25 0 1 0 158574683 320856064 45817 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45817 108 232 0 78099 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (Kb) 313336

[startup+1798.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714104/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1797.53
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52083 0 0 0 178998 755 0 0 25 0 1 0 158574683 320856064 45851 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45851 108 232 0 78099 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 313336

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=714040/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1798.54
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52108 0 0 0 179098 756 0 0 25 0 1 0 158574683 320856064 45876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45876 108 232 0 78099 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (Kb) 313336

[startup+1800.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=713912/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1799.55
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52137 0 0 0 179199 756 0 0 25 0 1 0 158574683 320856064 45905 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45905 108 232 0 78099 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 313336

[startup+1801.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=713720/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1800.55
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52176 0 0 0 179299 756 0 0 25 0 1 0 158574683 320856064 45944 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45944 108 232 0 78099 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 313336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17657
/proc/meminfo: memFree=713720/2055920 swapFree=4182992/4192956
[pid=17657] ppid=17655 vsize=313336 CPUtime=1800.55
/proc/17657/stat : 17657 (PBS4L) R 17655 17657 17608 0 -1 4194304 52176 0 0 0 179299 756 0 0 25 0 1 0 158574683 320856064 45944 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 78334 45944 108 232 0 78099 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 313336

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.22
CPU time (s): 1800.59
CPU user time (s): 1793
CPU system time (s): 7.59485
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (Kb): 313336
The end

Launcher Data (download as text)

Begin job on node59 on Fri Jul 28 20:04:09 UTC 2006


FILE ID= 50584-1154117048

PBS_JOBID= 886762

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.00.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node59/50584-1154117048/instance-50584-1154117048.opb 650961186
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-50584-1154117048 -o ROOT/results/node59/solver-50584-1154117048 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node59/50584-1154117048/instance-50584-1154117048.opb 650961186

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  9e8d546df5cfe52cfb5a29d8ae802e41

RANDOM SEED= 650961186

TIMEOUT= 1800 seconds


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        897400 kB
Buffers:         43868 kB
Cached:        1030828 kB
SwapCached:       3852 kB
Active:         258828 kB
Inactive:       824520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        897400 kB
SwapTotal:     4192956 kB
SwapFree:      4182992 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14756 kB
Slab:            61196 kB
Committed_AS:  1111588 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node59 on Fri Jul 28 20:34:10 UTC 2006