Trace number 357285

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
oree 0.1.2 alpha? (TO) 1800.25 1800.87

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
MD5SUM671dfb6ede3c120af748dc40a7daef68
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
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/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.19/0.28	c ...done
0.19/0.28	c #vars=8902 #constraints=3039 hasObjective=yes
0.29/0.31	c res. mode=mod
0.29/0.31	c VSIDS like heuristics
0.29/0.31	c complete search running
0.69/0.76	c restart after 401 decisions
0.79/0.80	c nbDecision=500 #constraints=3221
1.19/1.26	c restart after 801 decisions
1.29/1.38	c nbDecision=1000 #constraints=3447
2.09/2.17	c nbDecision=1500 #constraints=3829
2.28/2.32	c restart after 1601 decisions
3.09/3.19	c nbDecision=2000 #constraints=4116
5.69/5.76	c nbDecision=2500 #constraints=4532
8.09/8.15	c nbDecision=3000 #constraints=4926
10.29/10.30	c restart after 3201 decisions
10.69/10.78	c nbDecision=3500 #constraints=5175
12.48/12.58	c nbDecision=4000 #constraints=5566
15.49/15.52	c nbDecision=4500 #constraints=5986
18.19/18.28	c nbDecision=5000 #constraints=6376
21.78/21.80	c nbDecision=5500 #constraints=6778
25.39/25.41	c nbDecision=6000 #constraints=7197
28.78/28.84	c restart after 6401 decisions
29.08/29.16	c nbDecision=6500 #constraints=7540
32.78/32.84	c nbDecision=7000 #constraints=7854
35.68/35.76	c nbDecision=7500 #constraints=8261
38.88/38.91	c nbDecision=8000 #constraints=8649
42.48/42.59	c nbDecision=8500 #constraints=9080
46.38/46.49	c nbDecision=9000 #constraints=9476
50.18/50.27	c nbDecision=9500 #constraints=9873
54.48/54.52	c nbDecision=10000 #constraints=10281
58.57/58.66	c nbDecision=10500 #constraints=10698
66.37/66.41	c nbDecision=11000 #constraints=11134
72.47/72.54	c nbDecision=11500 #constraints=11546
79.86/79.92	c nbDecision=12000 #constraints=11935
86.67/86.78	c nbDecision=12500 #constraints=12346
91.56/91.68	c restart after 12801 decisions
92.76/92.87	c nbDecision=13000 #constraints=12618
106.86/106.93	c nbDecision=13500 #constraints=13024
121.35/121.40	c nbDecision=14000 #constraints=13428
135.95/136.02	c nbDecision=14500 #constraints=13855
153.24/153.35	c nbDecision=15000 #constraints=14315
174.74/174.81	c nbDecision=15500 #constraints=14776
188.93/189.07	c nbDecision=16000 #constraints=15208
201.23/201.35	c nbDecision=16500 #constraints=15670
214.53/214.61	c nbDecision=17000 #constraints=16114
231.82/231.98	c nbDecision=17500 #constraints=16561
247.72/247.80	c nbDecision=18000 #constraints=16994
263.72/263.83	c nbDecision=18500 #constraints=17444
279.71/279.82	c nbDecision=19000 #constraints=17893
292.60/292.78	c nbDecision=19500 #constraints=18311
308.81/309.00	c nbDecision=20000 #constraints=18745
325.00/325.15	c nbDecision=20500 #constraints=19173
344.79/344.91	c nbDecision=21000 #constraints=19618
364.99/365.13	c nbDecision=21500 #constraints=20045
387.58/387.71	c nbDecision=22000 #constraints=20503
405.88/406.04	c nbDecision=22500 #constraints=20928
423.56/423.74	c nbDecision=23000 #constraints=21358
443.17/443.37	c nbDecision=23500 #constraints=21803
463.26/463.40	c nbDecision=24000 #constraints=22252
484.55/484.73	c nbDecision=24500 #constraints=22688
508.44/508.64	c nbDecision=25000 #constraints=23135
535.44/535.66	c nbDecision=25500 #constraints=23576
539.94/540.19	c restart after 25601 decisions
557.03/557.25	c nbDecision=26000 #constraints=23840
582.53/582.79	c nbDecision=26500 #constraints=24255
607.81/608.06	c nbDecision=27000 #constraints=24651
632.10/632.30	c nbDecision=27500 #constraints=25052
659.30/659.54	c nbDecision=28000 #constraints=25444
687.59/687.80	c nbDecision=28500 #constraints=25870
697.29/697.56	c nbDecision=29000 #constraints=26136
699.79/700.00	c nbDecision=29500 #constraints=26207
700.69/700.99	c nbDecision=30000 #constraints=26239
702.88/703.12	c nbDecision=30500 #constraints=26293
703.69/703.97	c nbDecision=31000 #constraints=26318
704.38/704.67	c nbDecision=31500 #constraints=26341
704.79/705.06	c nbDecision=32000 #constraints=26355
705.48/705.73	c nbDecision=32500 #constraints=26367
706.38/706.63	c nbDecision=33000 #constraints=26395
707.88/708.14	c nbDecision=33500 #constraints=26428
708.68/708.97	c nbDecision=34000 #constraints=26446
709.58/709.87	c nbDecision=34500 #constraints=26467
710.58/710.81	c nbDecision=35000 #constraints=26488
711.58/711.83	c nbDecision=35500 #constraints=26510
712.28/712.54	c nbDecision=36000 #constraints=26528
712.78/713.01	c nbDecision=36500 #constraints=26539
713.28/713.59	c nbDecision=37000 #constraints=26551
714.28/714.57	c nbDecision=37500 #constraints=26582
715.69/715.98	c nbDecision=38000 #constraints=26612
716.59/716.82	c nbDecision=38500 #constraints=26628
717.09/717.37	c nbDecision=39000 #constraints=26641
718.09/718.34	c nbDecision=39500 #constraints=26661
718.78/719.04	c nbDecision=40000 #constraints=26674
720.29/720.59	c nbDecision=40500 #constraints=26706
723.38/723.62	c nbDecision=41000 #constraints=26784
726.08/726.34	c nbDecision=41500 #constraints=26841
727.07/727.35	c nbDecision=42000 #constraints=26866
727.47/727.71	c nbDecision=42500 #constraints=26879
728.47/728.70	c nbDecision=43000 #constraints=26904
731.87/732.20	c nbDecision=43500 #constraints=26976
733.38/733.63	c nbDecision=44000 #constraints=27014
735.68/735.90	c nbDecision=44500 #constraints=27062
737.47/737.76	c nbDecision=45000 #constraints=27106
740.47/740.78	c nbDecision=45500 #constraints=27173
741.57/741.84	c nbDecision=46000 #constraints=27194
743.37/743.62	c nbDecision=46500 #constraints=27230
745.28/745.51	c nbDecision=47000 #constraints=27273
746.78/747.05	c nbDecision=47500 #constraints=27307
747.68/747.97	c nbDecision=48000 #constraints=27325
748.98/749.28	c nbDecision=48500 #constraints=27360
751.47/751.70	c nbDecision=49000 #constraints=27417
753.37/753.62	c nbDecision=49500 #constraints=27459
754.77/755.08	c nbDecision=50000 #constraints=27497
755.37/755.69	c nbDecision=50500 #constraints=27521
757.77/758.01	c nbDecision=51000 #constraints=27574
758.27/758.51	c restart after 51201 decisions
770.56/770.81	c nbDecision=51500 #constraints=27705
807.55/807.81	c nbDecision=52000 #constraints=28123
839.74/840.04	c nbDecision=52500 #constraints=28557
878.93/879.26	c nbDecision=53000 #constraints=28978
912.83/913.17	c nbDecision=53500 #constraints=29399
948.61/948.90	c nbDecision=54000 #constraints=29824
979.71/980.06	c nbDecision=54500 #constraints=30281
1029.79/1030.16	c nbDecision=55000 #constraints=30739
1082.27/1082.60	c nbDecision=55500 #constraints=31192
1138.06/1138.47	c nbDecision=56000 #constraints=31651
1190.54/1190.90	c nbDecision=56500 #constraints=32099
1241.23/1241.67	c nbDecision=57000 #constraints=32549
1296.71/1297.12	c nbDecision=57500 #constraints=32993
1356.99/1357.45	c nbDecision=58000 #constraints=33460
1412.57/1413.06	c nbDecision=58500 #constraints=33905
1470.87/1471.49	c nbDecision=59000 #constraints=34367
1538.84/1539.44	c nbDecision=59500 #constraints=34846
1607.23/1607.88	c nbDecision=60000 #constraints=35323
1676.70/1677.40	c nbDecision=60500 #constraints=35799
1750.68/1751.38	c nbDecision=61000 #constraints=36279
1800.08/1800.71	Received signal 15
1800.17/1800.82	
1800.17/1800.82	s UNKNOWN
1800.17/1800.82	
1800.17/1800.82	c user time= 1799.55 s
1800.17/1800.82	c system time= 0.641902 s
1800.17/1800.82	c wall clock time=1800.82

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-357285-1176993447 -o ROOT/results/node5/solver-357285-1176993447 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357285-1176993447/instance-357285-1176993447.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 31924
/proc/meminfo: memFree=1708480/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=1468 CPUtime=0
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175382352 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 367 162 131 317 0 46 0

[startup+0.055837 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 31924
/proc/meminfo: memFree=1708480/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=2392 CPUtime=0.05
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 402 0 0 0 5 0 0 0 18 0 1 0 175382352 2449408 384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 598 384 131 317 0 277 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2392

[startup+0.101842 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 31924
/proc/meminfo: memFree=1708480/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=3316 CPUtime=0.09
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 635 0 0 0 9 0 0 0 18 0 1 0 175382352 3395584 617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 829 617 131 317 0 508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3316

[startup+0.301864 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 31924
/proc/meminfo: memFree=1708480/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=8116 CPUtime=0.29
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 1836 0 0 0 29 0 0 0 20 0 1 0 175382352 8310784 1818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 2029 1819 137 317 0 1708 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8116

[startup+0.701909 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 31924
/proc/meminfo: memFree=1708480/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=9456 CPUtime=0.69
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 2178 0 0 0 68 1 0 0 24 0 1 0 175382352 9682944 2160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 2364 2160 170 317 0 2043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9456

[startup+1.502 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 31925
/proc/meminfo: memFree=1699768/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=11160 CPUtime=1.49
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 2601 0 0 0 148 1 0 0 25 0 1 0 175382352 11427840 2583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 2790 2583 170 317 0 2469 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11160

[startup+3.10118 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 31925
/proc/meminfo: memFree=1697400/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=13936 CPUtime=3.09
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 3306 0 0 0 307 2 0 0 25 0 1 0 175382352 14270464 3288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 3484 3288 170 317 0 3163 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13936

[startup+6.30154 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 31925
/proc/meminfo: memFree=1692600/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=18080 CPUtime=6.29
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 4280 0 0 0 625 4 0 0 25 0 1 0 175382352 18513920 4262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 4520 4262 170 317 0 4199 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18080

[startup+12.7023 s]
/proc/loadavg: 0.93 0.95 0.96 2/78 31925
/proc/meminfo: memFree=1686712/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=24772 CPUtime=12.69
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 5868 0 0 0 1264 5 0 0 25 0 1 0 175382352 25366528 5850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 6193 5850 170 317 0 5872 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24772

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.96 2/78 31925
/proc/meminfo: memFree=1674232/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=35744 CPUtime=25.49
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 8725 0 0 0 2542 7 0 0 25 0 1 0 175382352 36601856 8666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 8936 8666 170 317 0 8615 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35744

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.96 2/78 31925
/proc/meminfo: memFree=1657784/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=53608 CPUtime=51.07
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 12885 0 0 0 5097 10 0 0 25 0 1 0 175382352 54894592 12826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 13402 12826 170 317 0 13081 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53608

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.96 2/78 31925
/proc/meminfo: memFree=1638200/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=73268 CPUtime=102.26
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 17767 0 0 0 10212 14 0 0 25 0 1 0 175382352 75026432 17629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604370 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 18317 17629 170 317 0 17996 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 73268

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1621432/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=93208 CPUtime=162.25
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 21987 0 0 0 16207 18 0 0 25 0 1 0 175382352 95444992 21849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 23302 21849 170 317 0 22981 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 93208

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1606008/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=108780 CPUtime=222.22
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 25776 0 0 0 22202 20 0 0 25 0 1 0 175382352 111390720 25638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 27195 25638 170 317 0 26874 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 108780

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1592440/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=121748 CPUtime=282.2
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 29182 0 0 0 28197 23 0 0 25 0 1 0 175382352 124669952 29044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712538 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 30437 29044 170 317 0 30116 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 121748

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1580216/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=132636 CPUtime=342.19
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 32204 0 0 0 34192 27 0 0 25 0 1 0 175382352 135819264 32066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 33159 32066 170 317 0 32838 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 132636

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1568888/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=146768 CPUtime=402.18
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 35383 0 0 0 40189 29 0 0 25 0 1 0 175382352 150290432 34915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 36692 34915 170 317 0 36371 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 146768

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1558392/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=157972 CPUtime=462.16
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 38071 0 0 0 46185 31 0 0 25 0 1 0 175382352 161763328 37504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 39493 37504 170 317 0 39172 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 157972

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1548344/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=171732 CPUtime=522.14
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 41472 0 0 0 52181 33 0 0 25 0 1 0 175382352 175853568 40022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 42933 40022 170 317 0 42612 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 171732

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1542264/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=180848 CPUtime=582.13
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 43586 0 0 0 58178 35 0 0 25 0 1 0 175382352 185188352 41509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 45212 41509 170 317 0 44891 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 180848

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1538168/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=185052 CPUtime=642.11
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 44668 0 0 0 64175 36 0 0 25 0 1 0 175382352 189493248 42525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 46263 42525 170 317 0 45942 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 185052


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1511032/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=211584 CPUtime=882.03
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 51931 0 0 0 88161 42 0 0 25 0 1 0 175382352 216662016 49260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 52896 49260 170 317 0 52575 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 211584

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1504888/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=217528 CPUtime=942.01
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 53562 0 0 0 94158 43 0 0 25 0 1 0 175382352 222748672 50825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 54382 50825 170 317 0 54061 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 217528

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1498744/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=222872 CPUtime=1001.99
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 55106 0 0 0 100155 44 0 0 25 0 1 0 175382352 228220928 52336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 55718 52336 170 317 0 55397 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 222872

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1493752/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=227596 CPUtime=1061.98
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 56416 0 0 0 106152 46 0 0 25 0 1 0 175382352 233058304 53580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 56899 53580 170 317 0 56578 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 227596

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1488824/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=233044 CPUtime=1121.96
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 57844 0 0 0 112150 46 0 0 25 0 1 0 175382352 238637056 54777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 58261 54777 170 317 0 57940 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 233044

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1484408/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=237348 CPUtime=1181.95
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 59096 0 0 0 118147 48 0 0 25 0 1 0 175382352 243044352 55930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711134 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 59337 55930 170 317 0 59016 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 237348

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1478904/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=246532 CPUtime=1241.93
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 61381 0 0 0 124143 50 0 0 25 0 1 0 175382352 252448768 57291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 61633 57291 170 317 0 61312 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 246532

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1474168/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=251032 CPUtime=1301.91
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 62642 0 0 0 130140 51 0 0 25 0 1 0 175382352 257056768 58453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 62758 58453 170 317 0 62437 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 251032

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 31925
/proc/meminfo: memFree=1469688/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=255404 CPUtime=1361.89
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 63839 0 0 0 136137 52 0 0 25 0 1 0 175382352 261533696 59584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 63851 59584 170 317 0 63530 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 255404

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/84 31997
/proc/meminfo: memFree=1463752/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=260520 CPUtime=1421.85
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 65204 0 0 0 142130 55 0 0 25 0 1 0 175382352 266772480 60751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716209 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 65130 60751 170 317 0 64809 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 260520

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32123
/proc/meminfo: memFree=1460472/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=265924 CPUtime=1481.76
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 66689 0 0 0 148119 57 0 0 25 0 1 0 175382352 272306176 61840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 66481 61840 170 317 0 66160 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 265924

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32123
/proc/meminfo: memFree=1456312/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=269628 CPUtime=1541.74
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 67714 0 0 0 154116 58 0 0 25 0 1 0 175382352 276099072 62865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 67407 62865 170 317 0 67086 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 269628

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32123
/proc/meminfo: memFree=1452088/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=273392 CPUtime=1601.72
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 68806 0 0 0 160113 59 0 0 25 0 1 0 175382352 279953408 63891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564040 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 68348 63891 170 317 0 68027 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 273392

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32123
/proc/meminfo: memFree=1448184/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=276820 CPUtime=1661.71
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 69797 0 0 0 166110 61 0 0 25 0 1 0 175382352 283463680 64882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 69205 64882 170 317 0 68884 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 276820

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32123
/proc/meminfo: memFree=1444536/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=280056 CPUtime=1721.69
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 70730 0 0 0 172107 62 0 0 25 0 1 0 175382352 286777344 65815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 70014 65815 170 317 0 69693 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 280056

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32123
/proc/meminfo: memFree=1440696/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=283608 CPUtime=1781.67
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 71656 0 0 0 178104 63 0 0 25 0 1 0 175382352 290414592 66741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 70902 66741 170 317 0 70581 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 283608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32123
/proc/meminfo: memFree=1439544/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=284528 CPUtime=1800.08
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 71951 0 0 0 179944 64 0 0 25 0 1 0 175382352 291356672 67036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 71132 67036 170 317 0 70811 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 284528

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

Solver just ended. Dumping a history of the last processes samples

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 32123
/proc/meminfo: memFree=1439544/2055920 swapFree=4151632/4192956
[pid=31924] ppid=31922 vsize=284528 CPUtime=1800.17
/proc/31924/stat : 31924 (oree) R 31922 31924 31536 0 -1 4194304 71953 0 0 0 179953 64 0 0 25 0 1 0 175382352 291356672 67038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31924/statm: 71132 67038 170 317 0 70811 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 284528

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.25
CPU user time (s): 1799.56
CPU system time (s): 0.687895
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 284528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.687895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71969
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 5815

runsolver used 1.90071 second user time and 4.66429 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Thu Apr 19 14:37:27 UTC 2007

IDJOB= 357285
IDBENCH= 2349
IDSOLVER= 172
FILE ID= node5/357285-1176993447

PBS_JOBID= 4630432

Free space on /tmp= 66355 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
COMMAND LINE= oree /tmp/evaluation/357285-1176993447/instance-357285-1176993447.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-357285-1176993447 -o ROOT/results/node5/solver-357285-1176993447 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357285-1176993447/instance-357285-1176993447.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  671dfb6ede3c120af748dc40a7daef68

RANDOM SEED= 245964892

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.232
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.232
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:       1708888 kB
Buffers:         31432 kB
Cached:         252308 kB
SwapCached:       9408 kB
Active:          59740 kB
Inactive:       246924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1708888 kB
SwapTotal:     4192956 kB
SwapFree:      4151632 kB
Dirty:            2204 kB
Writeback:           0 kB
Mapped:          29940 kB
Slab:            25912 kB
Committed_AS:  8663816 kB
PageTables:       1720 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66355 MiB

End job on node5 on Thu Apr 19 15:07:30 UTC 2007