Trace number 357279

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.09 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
MD5SUM14e0de9f4556c57c4cf25980f23fb0f1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark409600
Best CPU time to get the best result obtained on this benchmark1021
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 409600
Optimality of the best value was proved NO
Number of variables19747
Total number of constraints3145
Number of constraints which are clauses426
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2719
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 133
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073847295
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147758078
Number of bits of the biggest sum of numbers32
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.38/0.46	c ...done
0.38/0.46	c #vars=19747 #constraints=3147 hasObjective=yes
0.49/0.51	c res. mode=mod
0.49/0.51	c VSIDS like heuristics
0.49/0.51	c complete search running
0.79/0.86	c restart after 401 decisions
0.89/0.94	c nbDecision=500 #constraints=3147
1.09/1.19	c restart after 801 decisions
1.29/1.36	c nbDecision=1000 #constraints=3147
1.69/1.78	c nbDecision=1500 #constraints=3147
1.79/1.86	c restart after 1601 decisions
2.09/2.20	c nbDecision=2000 #constraints=3147
2.59/2.69	c nbDecision=2500 #constraints=3206
4.09/4.13	c nbDecision=3000 #constraints=3683
4.79/4.89	c restart after 3201 decisions
5.09/5.14	c nbDecision=3500 #constraints=3872
5.49/5.56	c nbDecision=4000 #constraints=3872
7.28/7.39	c nbDecision=4500 #constraints=4298
9.89/9.91	c nbDecision=5000 #constraints=4770
13.09/13.15	c nbDecision=5500 #constraints=5234
17.78/17.83	c nbDecision=6000 #constraints=5691
21.88/21.95	c restart after 6401 decisions
21.98/22.09	c nbDecision=6500 #constraints=6070
22.48/22.51	c nbDecision=7000 #constraints=6070
25.78/25.80	c nbDecision=7500 #constraints=6316
31.88/31.93	c nbDecision=8000 #constraints=6793
41.18/41.23	c nbDecision=8500 #constraints=7270
49.67/49.77	c nbDecision=9000 #constraints=7732
58.66/58.75	c nbDecision=9500 #constraints=8208
68.17/68.23	c nbDecision=10000 #constraints=8677
80.46/80.50	c nbDecision=10500 #constraints=9156
90.65/90.76	c nbDecision=11000 #constraints=9624
104.15/104.23	c nbDecision=11500 #constraints=10105
117.85/117.96	c nbDecision=12000 #constraints=10558
132.94/133.05	c nbDecision=12500 #constraints=11028
143.05/143.19	c restart after 12801 decisions
143.44/143.55	c nbDecision=13000 #constraints=11309
143.84/143.97	c nbDecision=13500 #constraints=11309
156.54/156.61	c nbDecision=14000 #constraints=11653
172.83/172.98	c nbDecision=14500 #constraints=12120
197.92/198.03	c nbDecision=15000 #constraints=12594
222.31/222.42	c nbDecision=15500 #constraints=13074
244.80/244.92	c nbDecision=16000 #constraints=13544
268.49/268.64	c nbDecision=16500 #constraints=14013
292.18/292.33	c nbDecision=17000 #constraints=14477
314.18/314.38	c nbDecision=17500 #constraints=14945
337.77/337.96	c nbDecision=18000 #constraints=15405
362.56/362.78	c nbDecision=18500 #constraints=15875
389.85/390.03	c nbDecision=19000 #constraints=16346
419.44/419.65	c nbDecision=19500 #constraints=16815
462.93/463.16	c nbDecision=20000 #constraints=17281
494.72/494.91	c nbDecision=20500 #constraints=17747
524.41/524.64	c nbDecision=21000 #constraints=18217
555.79/556.00	c nbDecision=21500 #constraints=18689
588.19/588.41	c nbDecision=22000 #constraints=19149
623.87/624.10	c nbDecision=22500 #constraints=19622
664.86/665.13	c nbDecision=23000 #constraints=20092
709.14/709.40	c nbDecision=23500 #constraints=20571
754.13/754.46	c nbDecision=24000 #constraints=21040
810.20/810.53	c nbDecision=24500 #constraints=21510
850.90/851.29	c nbDecision=25000 #constraints=21976
893.38/893.78	c nbDecision=25500 #constraints=22435
899.49/899.82	c restart after 25601 decisions
900.28/900.60	c nbDecision=26000 #constraints=22527
906.78/907.12	c nbDecision=26500 #constraints=22581
944.76/945.14	c nbDecision=27000 #constraints=23052
982.06/982.44	c nbDecision=27500 #constraints=23516
1034.04/1034.48	c nbDecision=28000 #constraints=23975
1080.52/1080.92	c nbDecision=28500 #constraints=24426
1128.10/1128.56	c nbDecision=29000 #constraints=24897
1176.19/1176.60	c nbDecision=29500 #constraints=25371
1226.37/1226.88	c nbDecision=30000 #constraints=25829
1262.26/1262.75	c nbDecision=30500 #constraints=26292
1304.24/1304.71	c nbDecision=31000 #constraints=26762
1349.33/1349.88	c nbDecision=31500 #constraints=27230
1408.80/1409.33	c nbDecision=32000 #constraints=27695
1474.29/1474.83	c nbDecision=32500 #constraints=28154
1537.66/1538.24	c nbDecision=33000 #constraints=28617
1596.04/1596.67	c nbDecision=33500 #constraints=29083
1656.59/1657.26	c nbDecision=34000 #constraints=29551
1709.42/1710.13	c nbDecision=34500 #constraints=30025
1762.41/1763.16	c nbDecision=35000 #constraints=30489
1800.01/1800.71	Received signal 15
1800.01/1800.76	
1800.01/1800.76	s UNKNOWN
1800.01/1800.76	
1800.01/1800.76	c user time= 1799.79 s
1800.01/1800.76	c system time= 0.281957 s
1800.01/1800.76	c wall clock time=1800.76

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/node37/watcher-357279-1176993219 -o ROOT/results/node37/solver-357279-1176993219 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357279-1176993219/instance-357279-1176993219.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.92 0.99 0.99 3/78 1851
/proc/meminfo: memFree=1669048/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=0 CPUtime=0
/proc/1851/stat : 1851 (runsolver) R 1849 1851 1411 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 147234406 0 0 18446744073709551615 0 0 0 18446744073709551615 213116316967 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1851/statm: 0 0 0 0 0 0 0

[startup+0.103178 s]
/proc/loadavg: 0.92 0.99 0.99 3/78 1851
/proc/meminfo: memFree=1669048/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=2656 CPUtime=0.09
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 487 0 0 0 9 0 0 0 19 0 1 0 147234406 2719744 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 664 470 131 317 0 343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2656

[startup+0.201195 s]
/proc/loadavg: 0.92 0.99 0.99 3/78 1851
/proc/meminfo: memFree=1669048/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=3976 CPUtime=0.19
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 792 0 0 0 19 0 0 0 20 0 1 0 147234406 4071424 774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 994 774 131 317 0 673 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3976

[startup+0.301214 s]
/proc/loadavg: 0.92 0.99 0.99 3/78 1851
/proc/meminfo: memFree=1669048/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=5032 CPUtime=0.29
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 1064 0 0 0 29 0 0 0 21 0 1 0 147234406 5152768 1046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 1258 1046 131 317 0 937 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5032

[startup+0.70129 s]
/proc/loadavg: 0.92 0.99 0.99 3/78 1851
/proc/meminfo: memFree=1669048/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=10288 CPUtime=0.69
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 2406 0 0 0 68 1 0 0 25 0 1 0 147234406 10534912 2388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 2572 2388 138 317 0 2251 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10288

[startup+1.50144 s]
/proc/loadavg: 0.92 0.99 0.99 2/79 1852
/proc/meminfo: memFree=1659952/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=10288 CPUtime=1.49
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 2406 0 0 0 148 1 0 0 25 0 1 0 147234406 10534912 2388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 2572 2388 138 317 0 2251 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10288

[startup+3.10174 s]
/proc/loadavg: 0.92 0.99 0.99 2/79 1852
/proc/meminfo: memFree=1659824/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=10988 CPUtime=3.09
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 2574 0 0 0 308 1 0 0 25 0 1 0 147234406 11251712 2556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 2747 2556 170 317 0 2426 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10988

[startup+6.30134 s]
/proc/loadavg: 0.93 0.99 0.99 2/79 1852
/proc/meminfo: memFree=1657840/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=12696 CPUtime=6.29
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 3007 0 0 0 627 2 0 0 25 0 1 0 147234406 13000704 2989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 3174 2989 170 317 0 2853 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12696

[startup+12.7015 s]
/proc/loadavg: 0.93 0.99 0.99 2/79 1852
/proc/meminfo: memFree=1654768/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=15452 CPUtime=12.69
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 3698 0 0 0 1266 3 0 0 25 0 1 0 147234406 15822848 3680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 3863 3680 170 317 0 3542 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15452

[startup+25.502 s]
/proc/loadavg: 1.03 1.01 1.00 2/79 1852
/proc/meminfo: memFree=1651568/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=18728 CPUtime=25.48
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 4486 0 0 0 2545 3 0 0 25 0 1 0 147234406 19177472 4425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 4682 4425 170 317 0 4361 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18728

[startup+51.1018 s]
/proc/loadavg: 1.02 1.00 1.00 2/79 1852
/proc/meminfo: memFree=1648176/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=22704 CPUtime=51.07
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 5395 0 0 0 5103 4 0 0 25 0 1 0 147234406 23248896 5334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 5676 5334 170 317 0 5355 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22704

[startup+102.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/79 1852
/proc/meminfo: memFree=1642608/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=28092 CPUtime=102.25
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 6768 0 0 0 10220 5 0 0 25 0 1 0 147234406 28766208 6707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 7023 6707 170 317 0 6702 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 28092

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1852
/proc/meminfo: memFree=1637936/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=33260 CPUtime=162.24
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 7918 0 0 0 16217 7 0 0 25 0 1 0 147234406 34058240 7857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 8315 7857 170 317 0 7994 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 33260

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1852
/proc/meminfo: memFree=1634928/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=36896 CPUtime=222.21
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 8767 0 0 0 22214 7 0 0 25 0 1 0 147234406 37781504 8621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 9224 8621 170 317 0 8903 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 36896

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1852
/proc/meminfo: memFree=1631984/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=39928 CPUtime=282.19
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 9483 0 0 0 28211 8 0 0 25 0 1 0 147234406 40886272 9337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 9982 9337 170 317 0 9661 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 39928

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1629040/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=42556 CPUtime=342.16
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 10213 0 0 0 34207 9 0 0 25 0 1 0 147234406 43577344 10067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 10639 10067 170 317 0 10318 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 42556

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1626480/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=45288 CPUtime=402.15
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 10857 0 0 0 40204 11 0 0 25 0 1 0 147234406 46374912 10711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 11322 10711 170 317 0 11001 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 45288

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1624816/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=46992 CPUtime=462.12
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 11277 0 0 0 46201 11 0 0 25 0 1 0 147234406 48119808 11131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604147 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 11748 11131 170 317 0 11427 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 46992

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1622640/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=48840 CPUtime=522.11
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 11825 0 0 0 52198 13 0 0 25 0 1 0 147234406 50012160 11679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 12210 11679 170 317 0 11889 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 48840

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1620528/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=51100 CPUtime=582.09
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 12353 0 0 0 58195 14 0 0 25 0 1 0 147234406 52326400 12207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 12775 12207 170 317 0 12454 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 51100

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1618480/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=54628 CPUtime=642.07
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 13021 0 0 0 64193 14 0 0 25 0 1 0 147234406 55939072 12710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 13657 12710 170 317 0 13336 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 54628


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1614128/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=59768 CPUtime=822
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 14103 0 0 0 82185 15 0 0 25 0 1 0 147234406 61202432 13792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711041 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 14942 13792 170 317 0 14621 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 59768

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1612592/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=61720 CPUtime=881.98
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 14579 0 0 0 88182 16 0 0 25 0 1 0 147234406 63201280 14169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 15430 14169 170 317 0 15109 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 61720

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1610800/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=63540 CPUtime=941.96
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 15028 0 0 0 94179 17 0 0 25 0 1 0 147234406 65064960 14618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 15885 14618 170 317 0 15564 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 63540

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1608944/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=65108 CPUtime=1001.94
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 15481 0 0 0 100176 18 0 0 25 0 1 0 147234406 66670592 15071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 16277 15071 170 317 0 15956 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 65108

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1607792/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=66284 CPUtime=1061.92
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 15782 0 0 0 106173 19 0 0 25 0 1 0 147234406 67874816 15372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 16571 15372 170 317 0 16250 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 66284

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1605616/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=68812 CPUtime=1121.9
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 16447 0 0 0 112170 20 0 0 25 0 1 0 147234406 70463488 15867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 17203 15867 170 317 0 16882 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 68812

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1604848/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=69592 CPUtime=1181.89
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 16680 0 0 0 118168 21 0 0 25 0 1 0 147234406 71262208 16100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 17398 16100 170 317 0 17077 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 69592

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1603376/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=70896 CPUtime=1241.86
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 17034 0 0 0 124165 21 0 0 25 0 1 0 147234406 72597504 16454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 17724 16454 170 317 0 17403 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 70896

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1601584/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=72324 CPUtime=1301.84
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 17474 0 0 0 130162 22 0 0 25 0 1 0 147234406 74059776 16894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 18081 16894 170 317 0 17760 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 72324

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1599984/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=73768 CPUtime=1361.82
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 17864 0 0 0 136159 23 0 0 25 0 1 0 147234406 75538432 17284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 18442 17284 170 317 0 18121 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 73768

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1598960/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=75112 CPUtime=1421.81
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 18232 0 0 0 142157 24 0 0 25 0 1 0 147234406 76914688 17553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 18778 17553 170 317 0 18457 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 75112

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1598064/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=75752 CPUtime=1481.78
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 18449 0 0 0 148153 25 0 0 25 0 1 0 147234406 77570048 17770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 18938 17770 170 317 0 18617 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 75752

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1596912/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=76936 CPUtime=1541.76
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 18729 0 0 0 154151 25 0 0 25 0 1 0 147234406 78782464 18050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 19234 18050 170 317 0 18913 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 76936

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1854
/proc/meminfo: memFree=1595760/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=78116 CPUtime=1601.74
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 19018 0 0 0 160148 26 0 0 25 0 1 0 147234406 79990784 18339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 19529 18339 170 317 0 19208 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 78116

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 1976
/proc/meminfo: memFree=1593472/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=79412 CPUtime=1661.68
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 19386 0 0 0 166141 27 0 0 25 0 1 0 147234406 81317888 18608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 19853 18608 170 317 0 19532 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 79412

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2066
/proc/meminfo: memFree=1593136/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=80588 CPUtime=1721.62
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 19723 0 0 0 172135 27 0 0 25 0 1 0 147234406 82522112 18945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 20147 18945 170 317 0 19826 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 80588

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2066
/proc/meminfo: memFree=1591856/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=81684 CPUtime=1781.61
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 20031 0 0 0 178133 28 0 0 25 0 1 0 147234406 83644416 19253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 20421 19253 170 317 0 20100 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 81684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2066
/proc/meminfo: memFree=1591408/2055920 swapFree=4158988/4192956
[pid=1851] ppid=1849 vsize=82080 CPUtime=1800.01
/proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 20137 0 0 0 179973 28 0 0 25 0 1 0 147234406 84049920 19359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1851/statm: 20520 19359 170 317 0 20199 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 82080

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

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

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.09
CPU user time (s): 1799.8
CPU system time (s): 0.294955
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (KiB): 82080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.294955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20153
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= 7
involuntary context switches= 18727

runsolver used 1.81072 second user time and 4.75028 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Thu Apr 19 14:33:39 UTC 2007

IDJOB= 357279
IDBENCH= 2343
IDSOLVER= 172
FILE ID= node37/357279-1176993219

PBS_JOBID= 4630446

Free space on /tmp= 66413 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-railway_8_1_0.opb
COMMAND LINE= oree /tmp/evaluation/357279-1176993219/instance-357279-1176993219.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-357279-1176993219 -o ROOT/results/node37/solver-357279-1176993219 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357279-1176993219/instance-357279-1176993219.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  14e0de9f4556c57c4cf25980f23fb0f1

RANDOM SEED= 657061312

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node37.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.281
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.281
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:       1669464 kB
Buffers:         41768 kB
Cached:         251176 kB
SwapCached:       2516 kB
Active:          97148 kB
Inactive:       219672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1669464 kB
SwapTotal:     4192956 kB
SwapFree:      4158988 kB
Dirty:            3336 kB
Writeback:           0 kB
Mapped:          31448 kB
Slab:            54980 kB
Committed_AS:  1141840 kB
PageTables:       2000 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= 66413 MiB

End job on node37 on Thu Apr 19 15:03:42 UTC 2007