Trace number 39735

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 NameAnswerCPU timeWall clock time
bsolo 2006/05? 1800.31 1800.8

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM63ec6637b1b124456335cf99c2a6c3dd
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark796.385
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables201731
Total number of constraints592525
Number of constraints which are clauses579429
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13096
Minimum length of a constraint1
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 131
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 513
Number of bits of the biggest sum of numbers10
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 Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
106.55	c Initial problem consists of 201731 variables and 592525 constraints.
168.27	c Using non-optimization problem switches.
168.27	c No problem reductions applied in OPT. instance.
168.27	c	preprocess terminated. Elapsed time: 168.21
168.27	c After prepocess the problem consists of 196128 variables and 579638 constraints.
193.16	c Restart #1 #Var: 196128 LB: 0 @ 193.09
234.03	c Restart #2 #Var: 196128 LB: 0 @ 233.94
282.22	c Restart #3 #Var: 196128 LB: 0 @ 282.12
332.90	c Restart #4 #Var: 196128 LB: 0 @ 332.8
374.39	c Restart #5 #Var: 196128 LB: 0 @ 374.27
435.46	c Restart #6 #Var: 196128 LB: 0 @ 435.33
472.97	c Restart #7 #Var: 196113 LB: 0 @ 472.83
509.25	c Restart #8 #Var: 196113 LB: 0 @ 509.1
521.50	c Restart #9 #Var: 196113 LB: 0 @ 521.35
523.03	c Restart #10 #Var: 196113 LB: 0 @ 522.87
549.73	c Restart #11 #Var: 196113 LB: 0 @ 549.57
550.14	c Restart #12 #Var: 196113 LB: 0 @ 549.98
569.15	c Restart #13 #Var: 196113 LB: 0 @ 568.98
606.27	c Restart #14 #Var: 196113 LB: 0 @ 606.09
695.58	c Restart #15 #Var: 196109 LB: 0 @ 695.38
702.17	c Restart #16 #Var: 196109 LB: 0 @ 701.96
702.76	c Restart #17 #Var: 196109 LB: 0 @ 702.56
722.55	c Restart #18 #Var: 196079 LB: 0 @ 722.35
731.33	c Restart #19 #Var: 196076 LB: 0 @ 731.12
830.28	c Restart #20 #Var: 196019 LB: 0 @ 830.05
888.44	c Restart #21 #Var: 196019 LB: 0 @ 888.19
927.21	c CHANGE Heuristic... 
927.21	c Restart #0 #Var: 196019 LB: 0 @ 926.95
937.70	c Restart #1 #Var: 196016 LB: 0 @ 937.43
971.85	c Restart #2 #Var: 196016 LB: 0 @ 971.58
1020.05	c Restart #3 #Var: 196013 LB: 0 @ 1019.8
1038.16	c Restart #4 #Var: 195980 LB: 0 @ 1037.9
1107.30	c Restart #5 #Var: 195962 LB: 0 @ 1107
1169.81	c Restart #6 #Var: 195962 LB: 0 @ 1169.5
1287.63	c Restart #7 #Var: 195917 LB: 0 @ 1287.3
1395.16	c Restart #8 #Var: 195917 LB: 0 @ 1394.8
1412.69	c Restart #9 #Var: 195917 LB: 0 @ 1412.3
1539.06	c Restart #10 #Var: 195899 LB: 0 @ 1538.6
1693.61	c Restart #11 #Var: 195892 LB: 0 @ 1693.2
1800.72	s UNKNOWN
1800.72	c Exit Code: 0
1800.72	c Total time: 1800.2 s

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node84/watcher-39735-1149239290 -o ROOT/results/node84/solver-39735-1149239290 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39735-1149239290/instance-39735-1149239290.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/67 12541
/proc/meminfo: memFree=1654816/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=4752 CPUtime=0
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 228 0 0 0 0 0 0 0 18 0 1 0 189568397 4866048 199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8515136 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 1188 208 150 55 0 79 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.95 0.98 2/67 12541
/proc/meminfo: memFree=1565216/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=94320 CPUtime=9.98
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 1404945 0 0 0 622 376 0 0 25 0 1 0 189568397 96583680 22673 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 23580 22682 278 55 0 22471 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 94320

[startup+20.008 s]
/proc/loadavg: 0.94 0.96 0.98 2/67 12541
/proc/meminfo: memFree=1523232/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=136856 CPUtime=19.98
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 3287513 0 0 0 1126 872 0 0 25 0 1 0 189568397 140140544 33160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 34214 33168 278 55 0 33105 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 136856

[startup+30.0141 s]
/proc/loadavg: 0.95 0.96 0.98 2/67 12541
/proc/meminfo: memFree=1488608/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=170956 CPUtime=29.98
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 5198738 0 0 0 1614 1384 0 0 25 0 1 0 189568397 175058944 41818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8542251 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 42844 41824 278 55 0 41735 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 170956

[startup+40.0202 s]
/proc/loadavg: 0.95 0.96 0.98 2/67 12541
/proc/meminfo: memFree=1460896/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=198980 CPUtime=39.98
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 7145391 0 0 0 2095 1903 0 0 25 0 1 0 189568397 203755520 48769 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 49745 48780 278 55 0 48636 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 198980

[startup+50.0272 s]
/proc/loadavg: 0.96 0.96 0.98 2/67 12541
/proc/meminfo: memFree=1435872/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=225248 CPUtime=49.99
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 9089370 0 0 0 2567 2432 0 0 25 0 1 0 189568397 230653952 54961 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 56312 54967 278 55 0 55203 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 225248

[startup+60.0333 s]
/proc/loadavg: 0.97 0.96 0.98 2/67 12541
/proc/meminfo: memFree=1414240/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=246868 CPUtime=59.99
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 11011983 0 0 0 3040 2959 0 0 25 0 1 0 189568397 252792832 60391 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 61717 60401 278 55 0 60608 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 246868

[startup+70.0394 s]
/proc/loadavg: 0.97 0.96 0.98 2/67 12541
/proc/meminfo: memFree=1394080/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=266640 CPUtime=69.99
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 12915229 0 0 0 3511 3488 0 0 25 0 1 0 189568397 273039360 65300 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 66499 65300 278 55 0 65390 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 266640

[startup+80.0455 s]
/proc/loadavg: 0.98 0.96 0.98 2/67 12541
/proc/meminfo: memFree=1375776/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=285088 CPUtime=80
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 14823684 0 0 0 3973 4027 0 0 25 0 1 0 189568397 291930112 70045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 71272 70054 278 55 0 70163 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 285088

[startup+90.0515 s]
/proc/loadavg: 0.98 0.96 0.98 2/67 12541
/proc/meminfo: memFree=1358816/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=302072 CPUtime=90
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 16699450 0 0 0 4430 4570 0 0 25 0 1 0 189568397 309321728 74357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 75518 74364 278 55 0 74409 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 302072

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.98 2/67 12541
/proc/meminfo: memFree=1342688/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=317092 CPUtime=100
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 18562372 0 0 0 4888 5112 0 0 25 0 1 0 189568397 324702208 78208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 79273 78209 278 55 0 78164 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 317092

[startup+110.065 s]
/proc/loadavg: 0.98 0.96 0.98 2/67 12541
/proc/meminfo: memFree=1234080/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=430420 CPUtime=110.01
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 19609835 0 0 0 5585 5416 0 0 25 0 1 0 189568397 440750080 105363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 107605 105363 285 55 0 106496 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 430420

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1234080/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=430420 CPUtime=120.01
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 19609835 0 0 0 6585 5416 0 0 25 0 1 0 189568397 440750080 105363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 107605 105363 285 55 0 106496 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 430420

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1234144/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=430420 CPUtime=130.01
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 19609835 0 0 0 7585 5416 0 0 25 0 1 0 189568397 440750080 105363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 107605 105363 285 55 0 106496 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 430420

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1211552/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=456444 CPUtime=140.02
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 20440299 0 0 0 8235 5767 0 0 25 0 1 0 189568397 467398656 111659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134622542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 114111 111664 288 55 0 113002 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 456444

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1207776/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=461200 CPUtime=150.02
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 21676876 0 0 0 8707 6295 0 0 25 0 1 0 189568397 472268800 112281 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134622542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 115300 112287 288 55 0 114191 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 461200

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1200544/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=460952 CPUtime=160.02
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 22581760 0 0 0 9321 6681 0 0 25 0 1 0 189568397 472014848 113010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 115238 113010 288 55 0 114129 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 460952

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1173792/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=492208 CPUtime=170.02
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23300733 0 0 0 10009 6993 0 0 25 0 1 0 189568397 504020992 120431 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 123052 120431 297 55 0 121943 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 492208

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1173728/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=492208 CPUtime=180.03
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23300742 0 0 0 11009 6994 0 0 25 0 1 0 189568397 504020992 120440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541231 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 123052 120440 297 55 0 121943 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 492208

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1173664/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=492340 CPUtime=190.03
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23300752 0 0 0 12009 6994 0 0 25 0 1 0 189568397 504156160 120450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719391 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 123085 120450 297 55 0 121976 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 492340

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1173664/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=492340 CPUtime=200.04
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23300760 0 0 0 13010 6994 0 0 25 0 1 0 189568397 504156160 120458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541214 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 123085 120458 297 55 0 121976 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 492340

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1173600/2055892 swapFree=4085292/4096564

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

/proc/12541/statm: 129158 126513 297 55 0 128049 0
Current children cumulated CPU time (s) 1760.56
Current children cumulated vsize (Kb) 516632

[startup+1771.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149088/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1770.56
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307605 0 0 0 170035 7021 0 0 25 0 1 0 189568397 529031168 126524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126524 297 55 0 128049 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 516632

[startup+1781.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1780.56
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171035 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126536 297 55 0 128049 0
Current children cumulated CPU time (s) 1780.56
Current children cumulated vsize (Kb) 516632

[startup+1782.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1781.57
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171136 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126536 297 55 0 128049 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 516632

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1782.57
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171236 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126536 297 55 0 128049 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 516632

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1783.58
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171337 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126536 297 55 0 128049 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 516632

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1784.58
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171437 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533955 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126536 297 55 0 128049 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (Kb) 516632

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1785.59
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171538 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126536 297 55 0 128049 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (Kb) 516632

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1786.59
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171638 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126536 297 55 0 128049 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 516632

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1787.6
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171739 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126536 297 55 0 128049 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 516632

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1788.6
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171839 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126536 297 55 0 128049 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (Kb) 516632

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1789.6
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171939 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524309 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126536 297 55 0 128049 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 516632

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1790.61
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 172040 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126536 297 55 0 128049 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (Kb) 516632

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1791.61
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307618 0 0 0 172140 7021 0 0 25 0 1 0 189568397 529031168 126537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126537 297 55 0 128049 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (Kb) 516632

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1792.62
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307620 0 0 0 172241 7021 0 0 25 0 1 0 189568397 529031168 126539 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126539 297 55 0 128049 0
Current children cumulated CPU time (s) 1792.62
Current children cumulated vsize (Kb) 516632

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516632 CPUtime=1793.62
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307622 0 0 0 172341 7021 0 0 25 0 1 0 189568397 529031168 126541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129158 126541 297 55 0 128049 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 516632

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516764 CPUtime=1794.63
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307623 0 0 0 172442 7021 0 0 25 0 1 0 189568397 529166336 126542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595806 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129191 126542 297 55 0 128082 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (Kb) 516764

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516764 CPUtime=1795.63
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307624 0 0 0 172542 7021 0 0 25 0 1 0 189568397 529166336 126543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541611 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129191 126543 297 55 0 128082 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 516764

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516764 CPUtime=1796.64
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307626 0 0 0 172643 7021 0 0 25 0 1 0 189568397 529166336 126545 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129191 126545 297 55 0 128082 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (Kb) 516764

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516764 CPUtime=1797.64
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307629 0 0 0 172743 7021 0 0 25 0 1 0 189568397 529166336 126548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129191 126548 297 55 0 128082 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 516764

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1148960/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516764 CPUtime=1798.64
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307631 0 0 0 172843 7021 0 0 25 0 1 0 189568397 529166336 126550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129191 126550 297 55 0 128082 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 516764

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 12541
/proc/meminfo: memFree=1148960/2055892 swapFree=4085292/4096564
[pid=12541] ppid=12539 vsize=516764 CPUtime=1799.65
/proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307632 0 0 0 172944 7021 0 0 25 0 1 0 189568397 529166336 126551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12541/statm: 129191 126551 297 55 0 128082 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 516764

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.31
CPU user time (s): 1730.02
CPU system time (s): 70.2893
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (Kb): 516764

Launcher Data (download as text)

Begin job on node84 on Fri Jun  2 09:08:11 UTC 2006


FILE ID= 39735-1149239290

PBS_JOBID= 297302

BENCH NAME= ROOT/tmp/node84/39735-1149239290/instance-39735-1149239290.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39735-1149239290/instance-39735-1149239290.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node84/watcher-39735-1149239290 -o ROOT/results/node84/solver-39735-1149239290 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39735-1149239290/instance-39735-1149239290.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  63ec6637b1b124456335cf99c2a6c3dd

RANDOM SEED= 22347735


/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.231
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	: 6006.15
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.231
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	: 5999.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1655024 kB
Buffers:         25516 kB
Cached:         304756 kB
SwapCached:       2520 kB
Active:         125104 kB
Inactive:       213792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1655024 kB
SwapTotal:     4096564 kB
SwapFree:      4085292 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          16412 kB
Slab:            48644 kB
Committed_AS:   287744 kB
PageTables:       1272 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node84 on Fri Jun  2 09:38:12 UTC 2006