Trace number 429937

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.22 1800.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=41-P1=37-P2=47-P3=2-P4=7-P5=29-P6=53-B.opb
MD5SUMdaba014eb092fb7e1b2012524271e492
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.076988
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables108
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint6
Maximum length of a constraint48
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 2048
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 8064
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)216
Sum of products size (including duplicates)432
Number of different products216
Sum of products size432

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.00/0.00	c ...done
0.00/0.00	c #vars=324 #constraints=452 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.19/0.26	c restart after 401 decisions
0.29/0.32	c nbDecision=500 #constraints=869
0.39/0.49	c restart after 801 decisions
0.59/0.65	c nbDecision=1000 #constraints=1276
1.10/1.14	c nbDecision=1500 #constraints=1742
1.19/1.26	c restart after 1601 decisions
1.69/1.75	c nbDecision=2000 #constraints=2193
2.69/2.73	c nbDecision=2500 #constraints=2644
4.19/4.20	c nbDecision=3000 #constraints=3086
4.99/5.00	c restart after 3201 decisions
5.99/6.03	c nbDecision=3500 #constraints=3497
9.08/9.12	c nbDecision=4000 #constraints=3926
13.29/13.38	c nbDecision=4500 #constraints=4359
19.29/19.34	c nbDecision=5000 #constraints=4815
26.48/26.57	c nbDecision=5500 #constraints=5230
33.38/33.42	c nbDecision=6000 #constraints=5658
40.89/40.97	c restart after 6401 decisions
41.18/41.27	c nbDecision=6500 #constraints=6079
52.58/52.69	c nbDecision=7000 #constraints=6516
59.47/59.51	c nbDecision=7500 #constraints=6950
73.27/73.37	c nbDecision=8000 #constraints=7415
89.37/89.48	c nbDecision=8500 #constraints=7890
104.06/104.14	c nbDecision=9000 #constraints=8329
120.87/120.95	c nbDecision=9500 #constraints=8759
136.76/136.82	c nbDecision=10000 #constraints=9220
152.35/152.49	c nbDecision=10500 #constraints=9641
170.36/170.45	c nbDecision=11000 #constraints=10069
191.74/191.81	c nbDecision=11500 #constraints=10481
210.04/210.12	c nbDecision=12000 #constraints=10932
230.73/230.84	c nbDecision=12500 #constraints=11370
246.53/246.66	c restart after 12801 decisions
249.73/249.90	c nbDecision=13000 #constraints=11815
279.91/280.01	c nbDecision=13500 #constraints=12287
312.81/312.97	c nbDecision=14000 #constraints=12768
347.20/347.34	c nbDecision=14500 #constraints=13236
367.60/367.75	c nbDecision=15000 #constraints=13659
380.99/381.14	c nbDecision=15500 #constraints=14112
416.59/416.78	c nbDecision=16000 #constraints=14563
432.18/432.31	c nbDecision=16500 #constraints=14993
444.97/445.17	c nbDecision=17000 #constraints=15458
463.47/463.67	c nbDecision=17500 #constraints=15940
482.67/482.86	c nbDecision=18000 #constraints=16403
500.96/501.10	c nbDecision=18500 #constraints=16853
522.95/523.11	c nbDecision=19000 #constraints=17327
546.45/546.69	c nbDecision=19500 #constraints=17788
569.14/569.34	c nbDecision=20000 #constraints=18249
595.84/596.06	c nbDecision=20500 #constraints=18696
615.03/615.24	c nbDecision=21000 #constraints=19148
644.72/644.94	c nbDecision=21500 #constraints=19634
675.92/676.15	c nbDecision=22000 #constraints=20103
705.21/705.44	c nbDecision=22500 #constraints=20596
734.90/735.12	c nbDecision=23000 #constraints=21078
768.20/768.43	c nbDecision=23500 #constraints=21566
798.29/798.57	c nbDecision=24000 #constraints=21974
833.48/833.79	c nbDecision=24500 #constraints=22422
876.86/877.15	c nbDecision=25000 #constraints=22908
921.55/921.81	c nbDecision=25500 #constraints=23396
930.45/930.73	c restart after 25601 decisions
964.84/965.12	c nbDecision=26000 #constraints=23835
1004.33/1004.68	c nbDecision=26500 #constraints=24238
1043.32/1043.69	c nbDecision=27000 #constraints=24627
1085.41/1085.77	c nbDecision=27500 #constraints=25054
1129.19/1129.51	c nbDecision=28000 #constraints=25482
1185.08/1185.41	c nbDecision=28500 #constraints=25942
1236.97/1237.30	c nbDecision=29000 #constraints=26360
1285.15/1285.51	c nbDecision=29500 #constraints=26772
1341.15/1341.55	c nbDecision=30000 #constraints=27210
1394.22/1394.64	c nbDecision=30500 #constraints=27613
1451.01/1451.44	c nbDecision=31000 #constraints=28083
1503.40/1503.89	c nbDecision=31500 #constraints=28524
1566.28/1566.70	c nbDecision=32000 #constraints=28968
1623.77/1624.29	c nbDecision=32500 #constraints=29431
1684.25/1684.74	c nbDecision=33000 #constraints=29892
1736.64/1737.16	c nbDecision=33500 #constraints=30295
1786.62/1787.18	c nbDecision=34000 #constraints=30684
1800.02/1800.50	Received signal 15
1800.13/1800.66	
1800.13/1800.66	s UNKNOWN
1800.13/1800.66	
1800.13/1800.66	c user time= 1799.9 s
1800.13/1800.66	c system time= 0.299954 s
1800.13/1800.66	c wall clock time=1800.66

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb
mv /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb.tmp /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-429937-1177989892 -o ROOT/results/node47/solver-429937-1177989892 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429937-1177989892/instance-429937-1177989892.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.99 1.00 1.00 2/77 828
/proc/meminfo: memFree=1816072/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=1468 CPUtime=0
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 153834533 1503232 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 402 182 136 317 0 81 0

[startup+0.0314331 s]
/proc/loadavg: 0.99 1.00 1.00 2/77 828
/proc/meminfo: memFree=1816072/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=1736 CPUtime=0.02
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 240 0 0 0 2 0 0 0 18 0 1 0 153834533 1777664 223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 434 223 139 317 0 113 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1736

[startup+0.101441 s]
/proc/loadavg: 0.99 1.00 1.00 2/77 828
/proc/meminfo: memFree=1816072/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=1868 CPUtime=0.09
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 288 0 0 0 9 0 0 0 18 0 1 0 153834533 1912832 271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 467 271 139 317 0 146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1868

[startup+0.301461 s]
/proc/loadavg: 0.99 1.00 1.00 2/77 828
/proc/meminfo: memFree=1816072/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=2516 CPUtime=0.29
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 442 0 0 0 29 0 0 0 19 0 1 0 153834533 2576384 425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 629 425 139 317 0 308 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2516

[startup+0.701505 s]
/proc/loadavg: 0.99 1.00 1.00 2/77 828
/proc/meminfo: memFree=1816072/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=3572 CPUtime=0.69
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 745 0 0 0 69 0 0 0 23 0 1 0 153834533 3657728 728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 893 728 170 317 0 572 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3572

[startup+1.50159 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1813056/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=5272 CPUtime=1.49
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 1169 0 0 0 149 0 0 0 25 0 1 0 153834533 5398528 1152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 1318 1152 170 317 0 997 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5272

[startup+3.10176 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1811136/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=7084 CPUtime=3.09
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 1604 0 0 0 308 1 0 0 25 0 1 0 153834533 7254016 1587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 1771 1587 170 317 0 1450 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7084

[startup+6.30111 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1808768/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=9068 CPUtime=6.29
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 2105 0 0 0 628 1 0 0 25 0 1 0 153834533 9285632 2088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 2267 2088 170 317 0 1946 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9068

[startup+12.7018 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1806408/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=11064 CPUtime=12.69
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 2584 0 0 0 1267 2 0 0 25 0 1 0 153834533 11329536 2567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563414 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 2766 2567 170 317 0 2445 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11064

[startup+25.5012 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1804040/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=13280 CPUtime=25.48
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 3132 0 0 0 2546 2 0 0 25 0 1 0 153834533 13598720 3115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 3320 3115 170 317 0 2999 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13280

[startup+51.102 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1800968/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=16608 CPUtime=51.08
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 3912 0 0 0 5105 3 0 0 25 0 1 0 153834533 17006592 3895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 4152 3895 170 317 0 3831 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16608

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1796360/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=21368 CPUtime=102.27
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 5052 0 0 0 10223 4 0 0 25 0 1 0 153834533 21880832 5035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 5342 5035 170 317 0 5021 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21368

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1792584/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=25688 CPUtime=162.24
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 6052 0 0 0 16219 5 0 0 25 0 1 0 153834533 26304512 5977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 6422 5977 170 317 0 6101 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 25688

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1789384/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=28740 CPUtime=222.23
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 6838 0 0 0 22217 6 0 0 25 0 1 0 153834533 29429760 6763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 7185 6763 170 317 0 6864 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 28740

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1786568/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=31408 CPUtime=282.21
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 7541 0 0 0 28214 7 0 0 25 0 1 0 153834533 32161792 7466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 7852 7466 170 317 0 7531 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 31408

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1784520/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=33516 CPUtime=342.2
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 8056 0 0 0 34212 8 0 0 25 0 1 0 153834533 34320384 7981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 8379 7981 170 317 0 8058 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 33516

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1781320/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=36804 CPUtime=402.18
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 8828 0 0 0 40209 9 0 0 25 0 1 0 153834533 37687296 8753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 9201 8753 170 317 0 8880 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 36804

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1777672/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=40528 CPUtime=462.17
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 9741 0 0 0 46207 10 0 0 25 0 1 0 153834533 41500672 9666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 10132 9666 170 317 0 9811 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 40528

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1774344/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=44448 CPUtime=522.16
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 10709 0 0 0 52204 12 0 0 25 0 1 0 153834533 45514752 10520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 11112 10520 170 317 0 10791 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 44448

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 829
/proc/meminfo: memFree=1771528/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=47256 CPUtime=582.13
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 11384 0 0 0 58200 13 0 0 25 0 1 0 153834533 48390144 11195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 11814 11195 170 317 0 11493 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 47256

[startup+642.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 829
/proc/meminfo: memFree=1768328/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=51196 CPUtime=642.12
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 12165 0 0 0 64198 14 0 0 25 0 1 0 153834533 52424704 11976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 12799 11976 170 317 0 12478 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 51196


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1760200/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=59256 CPUtime=882.06
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 14143 0 0 0 88189 17 0 0 25 0 1 0 153834533 60678144 13954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 14814 13954 170 317 0 14493 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 59256

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1758792/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=60688 CPUtime=942.04
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 14494 0 0 0 94186 18 0 0 25 0 1 0 153834533 62144512 14305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 15172 14305 170 317 0 14851 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 60688

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 829
/proc/meminfo: memFree=1757192/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=62212 CPUtime=1002.03
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 14872 0 0 0 100184 19 0 0 25 0 1 0 153834533 63705088 14683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 15553 14683 170 317 0 15232 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 62212

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1755656/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=63820 CPUtime=1062.01
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 15262 0 0 0 106181 20 0 0 25 0 1 0 153834533 65351680 15073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 15955 15073 170 317 0 15634 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 63820

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1754056/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=65528 CPUtime=1122
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 15641 0 0 0 112179 21 0 0 25 0 1 0 153834533 67100672 15452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 16382 15452 170 317 0 16061 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 65528

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1752776/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=66968 CPUtime=1181.98
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 15965 0 0 0 118176 22 0 0 25 0 1 0 153834533 68575232 15776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 16742 15776 170 317 0 16421 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 66968

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1751368/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=68168 CPUtime=1241.97
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 16277 0 0 0 124174 23 0 0 25 0 1 0 153834533 69804032 16088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 17042 16088 170 317 0 16721 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 68168

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1750152/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=69336 CPUtime=1301.95
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 16580 0 0 0 130172 23 0 0 25 0 1 0 153834533 71000064 16391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 17334 16391 170 317 0 17013 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 69336

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1749000/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=70704 CPUtime=1361.94
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 16864 0 0 0 136170 24 0 0 25 0 1 0 153834533 72400896 16675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 17676 16675 170 317 0 17355 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 70704

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1747784/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=72012 CPUtime=1421.92
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 17172 0 0 0 142167 25 0 0 25 0 1 0 153834533 73740288 16983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 18003 16983 170 317 0 17682 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 72012

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1746632/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=73324 CPUtime=1481.91
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 17459 0 0 0 148165 26 0 0 25 0 1 0 153834533 75083776 17270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716140 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 18331 17270 170 317 0 18010 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 73324

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1745480/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=74376 CPUtime=1541.89
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 17739 0 0 0 154162 27 0 0 25 0 1 0 153834533 76161024 17550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 18594 17550 170 317 0 18273 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 74376

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1744392/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=75560 CPUtime=1601.87
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18022 0 0 0 160160 27 0 0 25 0 1 0 153834533 77373440 17833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 18890 17833 170 317 0 18569 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 75560

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1743240/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=76616 CPUtime=1661.86
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18290 0 0 0 166158 28 0 0 25 0 1 0 153834533 78454784 18101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 19154 18101 170 317 0 18833 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 76616

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1742088/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=77668 CPUtime=1721.85
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18559 0 0 0 172156 29 0 0 25 0 1 0 153834533 79532032 18370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 19417 18370 170 317 0 19096 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 77668

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1740872/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=78764 CPUtime=1781.82
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18808 0 0 0 178153 29 0 0 25 0 1 0 153834533 80654336 18619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 19691 18619 170 317 0 19370 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 78764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 829
/proc/meminfo: memFree=1740552/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=79160 CPUtime=1800.02
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18889 0 0 0 179973 29 0 0 25 0 1 0 153834533 81059840 18700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 19790 18700 170 317 0 19469 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 79160

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 830
/proc/meminfo: memFree=1740544/2055920 swapFree=4157776/4192956
[pid=828] ppid=826 vsize=79160 CPUtime=1800.13
/proc/828/stat : 828 (oree) R 826 828 30166 0 -1 4194304 18891 0 0 0 179984 29 0 0 25 0 1 0 153834533 81059840 18702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/828/statm: 19790 18702 170 317 0 19469 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 79160

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.22
CPU user time (s): 1799.9
CPU system time (s): 0.313952
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 79160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.313952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18907
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= 3430

runsolver used 1.60176 second user time and 4.46332 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Tue May  1 03:24:52 UTC 2007

IDJOB= 429937
IDBENCH= 47944
IDSOLVER= 172
FILE ID= node47/429937-1177989892

PBS_JOBID= 4728167

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=37-P2=47-P3=2-P4=7-P5=29-P6=53-B.opb
COMMAND LINE= oree /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-429937-1177989892 -o ROOT/results/node47/conversion-429937-1177989892 -C 600 -M 1800 /tmp/evaluation/429937-1177989892/substituteSizeProductKeyword /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-429937-1177989892 -o ROOT/results/node47/solver-429937-1177989892 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/429937-1177989892/instance-429937-1177989892.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  daba014eb092fb7e1b2012524271e492

RANDOM SEED= 900361444

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1816480 kB
Buffers:         19812 kB
Cached:         137392 kB
SwapCached:       3412 kB
Active:          59456 kB
Inactive:       121860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816480 kB
SwapTotal:     4192956 kB
SwapFree:      4157776 kB
Dirty:            1488 kB
Writeback:           0 kB
Mapped:          31016 kB
Slab:            43580 kB
Committed_AS:  4087680 kB
PageTables:       1780 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= 66563 MiB

End job on node47 on Tue May  1 03:54:54 UTC 2007