Trace number 41696

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.52 1801.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUMa8708c855e8ec8c2a31771025318bb9b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4822
Best CPU time to get the best result obtained on this benchmark132.429
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4822
Optimality of the best value was proved YES
Number of variables771
Total number of constraints1951
Number of constraints which are clauses1949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 771
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 33355
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 33355
Number of bits of the biggest sum of numbers16
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/node68/41696-1149401930/instance-41696-1149401930.opb ......
0.03	c done parsing opb.
0.03	o 30994
0.04	o 30971
0.04	o 30965
0.04	o 30946
0.05	o 30937
0.05	o 30913
0.05	o 28379
0.06	o 28232
0.06	o 28066
0.06	o 28053
0.07	o 28043
0.07	o 28029
0.07	o 28015
0.07	o 28014
0.08	o 27999
0.08	o 27987
0.08	o 27962
0.09	o 27926
0.09	o 27912
0.09	o 27903
0.09	o 27894
0.10	o 27880
0.10	o 19725
0.10	o 19627
0.11	o 19618
0.12	o 12028
0.12	o 11740
0.12	o 11722
0.12	o 11694
0.12	o 11691
0.12	o 11688
0.13	o 11666
0.13	o 11659
0.13	o 11655
0.13	o 11642
0.13	o 11640
0.14	o 11632
0.14	o 10821
0.14	o 10739
0.14	o 10656
0.15	o 10561
0.15	o 10449
0.15	o 10425
0.15	o 10398
0.15	o 10379
0.15	o 10365
0.15	o 10351
0.16	o 10343
0.16	o 10334
0.16	o 10088
0.16	o 10081
29.91	o 10061
29.92	o 9973
29.92	o 9931
29.92	o 9906
29.92	o 9881
29.92	o 9873
29.92	o 9872
29.93	o 9864
29.93	o 9855
29.93	o 9830
29.93	o 9805
29.93	o 9780
29.93	o 9763
29.94	o 9738
29.94	o 9721
29.94	o 9704
29.94	o 9695
29.94	o 9687
29.94	o 9679
29.94	o 9670
29.95	o 9653
29.95	o 9636
29.95	o 9611
29.95	o 9594
29.95	o 9586
29.95	o 9561
29.96	o 9552
29.96	o 9543
29.96	o 9519
29.96	o 9518
29.96	o 9510
29.96	o 9502
29.96	o 9493
29.97	o 9476
29.97	o 9468
29.97	o 9459
29.97	o 9451
29.97	o 9434
29.97	o 9426
29.98	o 9418
29.98	o 9402
29.98	o 9401
29.98	o 9398
29.98	o 9391
29.98	o 9378
29.98	o 9356
29.99	o 9351
29.99	o 9332
29.99	o 9307
29.99	o 9292
29.99	o 9291
29.99	o 9288
30.00	o 9282
30.00	o 9258
30.00	o 9256
30.00	o 9247
30.00	o 9242
30.00	o 9233
30.00	o 9225
30.01	o 9224
30.01	o 9206
30.01	o 9195
30.01	o 9183
30.01	o 9158
30.01	o 9141
30.01	o 9116
30.02	o 9103
30.02	o 9096
30.02	o 9084
30.02	o 9080
30.02	o 9071
30.02	o 9054
30.02	o 9035
30.03	o 9010
30.03	o 9008
30.03	o 8990
30.03	o 8967
30.03	o 8942
30.03	o 8935
30.03	o 8932
30.04	o 8927
30.04	o 8924
30.04	o 8922
30.04	o 8913
30.04	o 8901
30.04	o 8885
30.05	o 8875
30.05	o 8860
30.05	o 8838
30.05	o 8820
30.05	o 8801
30.05	o 8791
30.05	o 8790
30.06	o 8784
30.06	o 8768
30.06	o 8748
30.06	o 8743
30.06	o 8741
30.06	o 8718
30.06	o 8715
30.07	o 8700
30.07	o 8683
30.07	o 8679
30.07	o 8674
30.07	o 8655
30.07	o 8642
30.07	o 8634
30.08	o 8610
30.08	o 8607
30.08	o 8588
30.08	o 8573
30.08	o 8553
30.08	o 8552
30.08	o 8550
30.09	o 8526
30.09	o 8518
30.09	o 8499
30.09	o 8489
30.09	o 8483
30.09	o 8474
30.09	o 8469
30.09	o 8452
30.10	o 8450
30.10	o 8443
30.10	o 8404
30.10	o 8305
30.10	o 8301
30.10	o 8289
30.10	o 8270
30.11	o 8266
30.11	o 8259
30.11	o 8256
30.11	o 8232
30.11	o 8225
30.11	o 8203
30.11	o 8181
30.12	o 8171
30.12	o 8168
30.12	o 8161
30.12	o 8140
30.12	o 8127
30.12	o 8125
30.12	o 8121
30.13	o 8114
30.13	o 8112
30.13	o 8095
30.13	o 8084
30.13	o 8071
30.13	o 8058
30.13	o 8049
30.14	o 8045
30.14	o 8041
30.14	o 8026
30.14	o 8012
30.14	o 8004
30.14	o 7990
30.14	o 7981
30.15	o 7956
30.15	o 7955
30.15	o 7947
30.15	o 7935
30.15	o 7929
30.15	o 7906
30.15	o 7886
30.15	o 7885
30.16	o 7871
30.16	o 7862
30.16	o 7861
30.16	o 7857
30.16	o 7842
30.16	o 7839
30.16	o 7822
30.17	o 7821
30.17	o 7812
30.17	o 7803
30.17	o 7800
30.17	o 7795
30.17	o 7790
30.18	o 7484
30.18	o 7233
30.18	o 7205
30.18	o 7184
30.18	o 7166
30.18	o 7153
30.18	o 7149
30.18	o 7120
30.19	o 7098
30.19	o 7096
30.19	o 7091
30.19	o 7071
30.19	o 7048
30.19	o 7023
30.19	o 7012
30.19	o 7007
30.20	o 6982
30.20	o 6974
30.20	o 6961
30.20	o 6952
30.20	o 6928
30.20	o 6903
30.20	o 6882
30.20	o 6860
30.21	o 6856
30.21	o 6836
30.22	o 6833
75.08	o 6830
75.09	o 6829
75.09	o 6824
75.09	o 6823
75.09	o 6818
75.10	o 6817
75.10	o 6735
75.10	o 6726
75.10	o 6701
75.10	o 6676
75.10	o 6659
75.10	o 6634
75.10	o 6625
75.11	o 6609
75.11	o 6600
75.11	o 6591
75.11	o 6568
75.11	o 6550
75.11	o 6543
75.11	o 6534
75.11	o 6509
75.11	o 6500
75.12	o 6491
75.12	o 6482
75.12	o 6466
75.12	o 6441
75.12	o 6432
75.12	o 6423
75.12	o 6407
75.12	o 6382
75.12	o 6373
75.12	o 6348
75.13	o 6332
75.13	o 6323
75.13	o 6298
75.13	o 6289
75.13	o 6280
75.13	o 6255
75.13	o 6246
75.13	o 6223
75.13	o 6221
75.14	o 6198
75.14	o 6189
75.14	o 6173
75.14	o 6158
75.14	o 6157
75.14	o 6132
75.14	o 6116

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/node68/watcher-41696-1149401930 -o ROOT/results/node68/solver-41696-1149401930 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41696-1149401930/instance-41696-1149401930.opb 179567911 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/64 30673
/proc/meminfo: memFree=1852128/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=1532 CPUtime=0
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 173 0 0 0 0 0 0 0 18 0 1 0 205862580 1568768 152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 383 152 97 232 0 148 0

[startup+10.0015 s]
/proc/loadavg: 0.93 0.95 0.98 2/64 30673
/proc/meminfo: memFree=1847080/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=5980 CPUtime=9.99
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 1378 0 0 0 992 7 0 0 25 0 1 0 205862580 6123520 1349 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 1495 1349 108 232 0 1260 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 5980

[startup+20.0072 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 30673
/proc/meminfo: memFree=1846760/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=6440 CPUtime=19.99
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 1510 0 0 0 1988 11 0 0 25 0 1 0 205862580 6594560 1432 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551257 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 1610 1432 108 232 0 1375 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 6440

[startup+30.0129 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 30673
/proc/meminfo: memFree=1846440/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=6700 CPUtime=30
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 1585 0 0 0 2986 14 0 0 25 0 1 0 205862580 6860800 1507 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137917 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 1675 1507 108 232 0 1440 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 6700

[startup+40.0187 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 30673
/proc/meminfo: memFree=1842024/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=11332 CPUtime=39.99
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 2784 0 0 0 3980 19 0 0 25 0 1 0 205862580 11603968 2609 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 2833 2609 108 232 0 2598 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 11332

[startup+50.0244 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 30673
/proc/meminfo: memFree=1841768/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=11464 CPUtime=50
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 2854 0 0 0 4980 20 0 0 25 0 1 0 205862580 11739136 2679 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 2866 2679 108 232 0 2631 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 11464

[startup+60.0301 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 30673
/proc/meminfo: memFree=1841576/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=11592 CPUtime=60
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 2892 0 0 0 5980 20 0 0 25 0 1 0 205862580 11870208 2717 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 2898 2717 108 232 0 2663 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 11592

[startup+70.0358 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 30673
/proc/meminfo: memFree=1841448/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=11720 CPUtime=70
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 2934 0 0 0 6979 21 0 0 25 0 1 0 205862580 12001280 2759 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 2930 2759 108 232 0 2695 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 11720

[startup+80.0415 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 30673
/proc/meminfo: memFree=1841000/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=12616 CPUtime=80
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3198 0 0 0 7979 21 0 0 25 0 1 0 205862580 12918784 2830 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552416 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 3154 2830 108 232 0 2919 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 12616

[startup+90.0463 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 30673
/proc/meminfo: memFree=1840936/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=12788 CPUtime=90
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3258 0 0 0 8978 22 0 0 25 0 1 0 205862580 13094912 2890 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 3197 2890 108 232 0 2962 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 12788

[startup+100.052 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 30673
/proc/meminfo: memFree=1840808/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=12972 CPUtime=100.01
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3302 0 0 0 9978 23 0 0 25 0 1 0 205862580 13283328 2934 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549440 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 3243 2934 108 232 0 3008 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 12972

[startup+110.059 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 30673
/proc/meminfo: memFree=1840616/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=12972 CPUtime=110.01
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3348 0 0 0 10978 23 0 0 25 0 1 0 205862580 13283328 2980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563483 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 3243 2980 108 232 0 3008 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 12972

[startup+120.064 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30673
/proc/meminfo: memFree=1840360/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=13140 CPUtime=120.01
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3404 0 0 0 11977 24 0 0 25 0 1 0 205862580 13455360 3036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 3285 3036 108 232 0 3050 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 13140

[startup+130.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30673
/proc/meminfo: memFree=1840168/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=13332 CPUtime=130.02
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3446 0 0 0 12977 25 0 0 25 0 1 0 205862580 13651968 3078 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 3333 3078 108 232 0 3098 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 13332

[startup+140.077 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30673
/proc/meminfo: memFree=1839976/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=13332 CPUtime=140.02
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3505 0 0 0 13976 26 0 0 25 0 1 0 205862580 13651968 3137 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 3333 3137 108 232 0 3098 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 13332

[startup+150.083 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30673
/proc/meminfo: memFree=1839720/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=13460 CPUtime=150.02
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3557 0 0 0 14976 26 0 0 25 0 1 0 205862580 13783040 3189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 3365 3189 108 232 0 3130 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 13460

[startup+160.088 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30673
/proc/meminfo: memFree=1839528/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=13680 CPUtime=160.02
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 3609 0 0 0 15975 27 0 0 25 0 1 0 205862580 14008320 3241 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 3420 3241 108 232 0 3185 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 13680

[startup+170.095 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30673
/proc/meminfo: memFree=1836520/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=23408 CPUtime=170.03
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 4750 0 0 0 16973 30 0 0 25 0 1 0 205862580 23969792 3997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 5852 3997 108 232 0 5617 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 23408

[startup+180.101 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30673
/proc/meminfo: memFree=1835944/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=23704 CPUtime=180.03
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 4881 0 0 0 17972 31 0 0 25 0 1 0 205862580 24272896 4128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563511 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 5926 4128 108 232 0 5691 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 23704

[startup+190.107 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30673
/proc/meminfo: memFree=1835752/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=23836 CPUtime=190.03
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 4932 0 0 0 18971 32 0 0 25 0 1 0 205862580 24408064 4179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 5959 4179 108 232 0 5724 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 23836

[startup+200.112 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30673
/proc/meminfo: memFree=1835496/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=23964 CPUtime=200.03
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 4990 0 0 0 19970 33 0 0 25 0 1 0 205862580 24539136 4237 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 5991 4237 108 232 0 5756 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 23964

[startup+210.118 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30673
/proc/meminfo: memFree=1834024/2055920 swapFree=4182304/4192956

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

/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15157 0 0 0 177985 156 0 0 25 0 1 0 205862580 62668800 12098 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15300 12098 108 232 0 15065 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 61200

[startup+1783.04 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803496/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61200 CPUtime=1782.41
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15159 0 0 0 178085 156 0 0 25 0 1 0 205862580 62668800 12100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15300 12100 108 232 0 15065 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (Kb) 61200

[startup+1784.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61200 CPUtime=1783.42
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15164 0 0 0 178186 156 0 0 25 0 1 0 205862580 62668800 12105 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15300 12105 108 232 0 15065 0
Current children cumulated CPU time (s) 1783.42
Current children cumulated vsize (Kb) 61200

[startup+1785.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61200 CPUtime=1784.42
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15165 0 0 0 178286 156 0 0 25 0 1 0 205862580 62668800 12106 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15300 12106 108 232 0 15065 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (Kb) 61200

[startup+1786.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61200 CPUtime=1785.43
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15167 0 0 0 178387 156 0 0 25 0 1 0 205862580 62668800 12108 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15300 12108 108 232 0 15065 0
Current children cumulated CPU time (s) 1785.43
Current children cumulated vsize (Kb) 61200

[startup+1787.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61200 CPUtime=1786.43
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15168 0 0 0 178487 156 0 0 25 0 1 0 205862580 62668800 12109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15300 12109 108 232 0 15065 0
Current children cumulated CPU time (s) 1786.43
Current children cumulated vsize (Kb) 61200

[startup+1788.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61200 CPUtime=1787.43
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15169 0 0 0 178587 156 0 0 25 0 1 0 205862580 62668800 12110 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15300 12110 108 232 0 15065 0
Current children cumulated CPU time (s) 1787.43
Current children cumulated vsize (Kb) 61200

[startup+1789.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61200 CPUtime=1788.44
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15170 0 0 0 178688 156 0 0 25 0 1 0 205862580 62668800 12111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15300 12111 108 232 0 15065 0
Current children cumulated CPU time (s) 1788.44
Current children cumulated vsize (Kb) 61200

[startup+1790.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61200 CPUtime=1789.44
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15171 0 0 0 178788 156 0 0 25 0 1 0 205862580 62668800 12112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15300 12112 108 232 0 15065 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (Kb) 61200

[startup+1791.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803432/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61200 CPUtime=1790.45
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15173 0 0 0 178889 156 0 0 25 0 1 0 205862580 62668800 12114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134856436 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15300 12114 108 232 0 15065 0
Current children cumulated CPU time (s) 1790.45
Current children cumulated vsize (Kb) 61200

[startup+1792.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61324 CPUtime=1791.45
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15183 0 0 0 178989 156 0 0 25 0 1 0 205862580 62795776 12124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15331 12124 108 232 0 15096 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (Kb) 61324

[startup+1793.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61324 CPUtime=1792.45
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15185 0 0 0 179089 156 0 0 25 0 1 0 205862580 62795776 12126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15331 12126 108 232 0 15096 0
Current children cumulated CPU time (s) 1792.45
Current children cumulated vsize (Kb) 61324

[startup+1794.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61324 CPUtime=1793.46
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15186 0 0 0 179190 156 0 0 25 0 1 0 205862580 62795776 12127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15331 12127 108 232 0 15096 0
Current children cumulated CPU time (s) 1793.46
Current children cumulated vsize (Kb) 61324

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61324 CPUtime=1794.46
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15187 0 0 0 179290 156 0 0 25 0 1 0 205862580 62795776 12128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15331 12128 108 232 0 15096 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (Kb) 61324

[startup+1796.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61324 CPUtime=1795.47
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15188 0 0 0 179390 157 0 0 25 0 1 0 205862580 62795776 12129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15331 12129 108 232 0 15096 0
Current children cumulated CPU time (s) 1795.47
Current children cumulated vsize (Kb) 61324

[startup+1797.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803368/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61324 CPUtime=1796.48
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15189 0 0 0 179491 157 0 0 25 0 1 0 205862580 62795776 12130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563491 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15331 12130 108 232 0 15096 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (Kb) 61324

[startup+1798.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803304/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61324 CPUtime=1797.48
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15194 0 0 0 179591 157 0 0 25 0 1 0 205862580 62795776 12135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15331 12135 108 232 0 15096 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (Kb) 61324

[startup+1799.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803304/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61324 CPUtime=1798.48
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15196 0 0 0 179691 157 0 0 25 0 1 0 205862580 62795776 12137 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15331 12137 108 232 0 15096 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (Kb) 61324

[startup+1800.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803304/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61324 CPUtime=1799.49
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15197 0 0 0 179792 157 0 0 25 0 1 0 205862580 62795776 12138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15331 12138 108 232 0 15096 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (Kb) 61324

[startup+1801.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803304/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61324 CPUtime=1800.49
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15199 0 0 0 179892 157 0 0 25 0 1 0 205862580 62795776 12140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15331 12140 108 232 0 15096 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (Kb) 61324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 30675
/proc/meminfo: memFree=1803304/2055920 swapFree=4182304/4192956
[pid=30673] ppid=30671 vsize=61324 CPUtime=1800.5
/proc/30673/stat : 30673 (PBS4L) R 30671 30673 30627 0 -1 4194304 15199 0 0 0 179893 157 0 0 25 0 1 0 205862580 62795776 12140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/30673/statm: 15331 12140 108 232 0 15096 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 61324

Sending SIGTERM to -30673
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.15
CPU time (s): 1800.52
CPU user time (s): 1798.93
CPU system time (s): 1.58376
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (Kb): 61324
The end

Launcher Data (download as text)

Begin job on node68 on Sun Jun  4 06:18:50 UTC 2006


FILE ID= 41696-1149401930

PBS_JOBID= 314067

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41696-1149401930/instance-41696-1149401930.opb 179567911
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-41696-1149401930 -o ROOT/results/node68/solver-41696-1149401930 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41696-1149401930/instance-41696-1149401930.opb 179567911

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  a8708c855e8ec8c2a31771025318bb9b

RANDOM SEED= 179567911


/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.279
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.279
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:       1852336 kB
Buffers:         11512 kB
Cached:         131140 kB
SwapCached:       2256 kB
Active:          32624 kB
Inactive:       118620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852336 kB
SwapTotal:     4192956 kB
SwapFree:      4182304 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          15548 kB
Slab:            38416 kB
Committed_AS:   406996 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node68 on Sun Jun  4 06:48:52 UTC 2006