Trace number 366928

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? (MO) 1249.52 1249.87

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb
MD5SUM0c8a7426d22e304535ce287c1bd24030
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark3.9314
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables13201
Total number of constraints38881
Number of constraints which are clauses38880
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint12960
Number of terms in the objective function 81
Biggest coefficient in the objective function 1208925819614629174706176
Number of bits for the biggest coefficient in the objective function 81
Sum of the numbers in the objective function 2417851639229258349412351
Number of bits of the sum of numbers in the objective function 81
Biggest number in a constraint 883423532389192164791648750371459257913741948437809479060803100646309888
Number of bits of the biggest number in a constraint 240
Biggest sum of numbers in a constraint 3533694129556768659166594778305965527968662855207593266623367657506383399
Number of bits of the biggest sum of numbers241
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.39/0.40	c ...done
0.39/0.40	c #vars=13201 #constraints=38883 hasObjective=yes
0.49/0.53	c res. mode=mod
0.49/0.53	c VSIDS like heuristics
0.49/0.53	c complete search running
55.18/55.24	c restart after 401 decisions
57.27/57.39	c nbDecision=500 #constraints=39204
119.66/119.75	c restart after 801 decisions
143.85/143.98	c nbDecision=1000 #constraints=39612
284.00/284.14	c nbDecision=1500 #constraints=40120
306.50/306.65	c restart after 1601 decisions
399.78/399.93	c nbDecision=2000 #constraints=40538
578.44/578.67	c nbDecision=2500 #constraints=41043
778.57/778.86	c nbDecision=3000 #constraints=41544
857.35/857.63	c restart after 3201 decisions
968.52/968.85	c nbDecision=3500 #constraints=41955
1225.14/1225.51	c nbDecision=4000 #constraints=42459
1247.24/1247.60	Received signal 15

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/node17/watcher-366928-1177002338 -o ROOT/results/node17/solver-366928-1177002338 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366928-1177002338/instance-366928-1177002338.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.78 0.95 0.98 3/77 2258
/proc/meminfo: memFree=1537840/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1468 CPUtime=0
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 148151369 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 367 165 130 317 0 46 0

[startup+0.0181219 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 2258
/proc/meminfo: memFree=1537840/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1732 CPUtime=0.01
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 255 0 0 0 1 0 0 0 18 0 1 0 148151369 1773568 237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 433 237 130 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.10113 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 2258
/proc/meminfo: memFree=1537840/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=3580 CPUtime=0.09
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 700 0 0 0 9 0 0 0 18 0 1 0 148151369 3665920 682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 895 682 130 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.30115 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 2258
/proc/meminfo: memFree=1537840/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=7932 CPUtime=0.29
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 1796 0 0 0 29 0 0 0 19 0 1 0 148151369 8122368 1745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 1983 1745 130 317 0 1662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7932

[startup+0.701192 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 2258
/proc/meminfo: memFree=1537840/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=15500 CPUtime=0.69
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 3778 0 0 0 67 2 0 0 22 0 1 0 148151369 15872000 3595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277271 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 3875 3595 139 317 0 3554 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15500

[startup+1.50127 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 2259
/proc/meminfo: memFree=1523944/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=15632 CPUtime=1.49
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 3806 0 0 0 147 2 0 0 25 0 1 0 148151369 16007168 3623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 3908 3623 139 317 0 3587 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15632

[startup+3.10144 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 2259
/proc/meminfo: memFree=1523752/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=17536 CPUtime=3.09
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 4391 0 0 0 307 2 0 0 25 0 1 0 148151369 17956864 3840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 4384 3840 139 317 0 4063 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17536

[startup+6.30178 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 2259
/proc/meminfo: memFree=1515688/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=29900 CPUtime=6.29
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 10113 0 0 0 625 4 0 0 25 0 1 0 148151369 30617600 6680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 7475 6680 139 317 0 7154 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29900

[startup+12.7014 s]
/proc/loadavg: 0.89 0.97 0.99 2/78 2259
/proc/meminfo: memFree=1500208/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=42532 CPUtime=12.69
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 15503 0 0 0 1262 7 0 0 25 0 1 0 148151369 43552768 9585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 10633 9585 139 317 0 10312 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42532

[startup+25.5018 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 2259
/proc/meminfo: memFree=1463600/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=81748 CPUtime=25.48
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 33663 0 0 0 2535 13 0 0 25 0 1 0 148151369 83709952 18616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554540 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 20437 18616 170 317 0 20116 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81748

[startup+51.1015 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 2259
/proc/meminfo: memFree=1404208/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=146912 CPUtime=51.07
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 63331 0 0 0 5082 25 0 0 25 0 1 0 148151369 150437888 33627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 36728 33627 170 317 0 36407 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 146912

[startup+102.306 s]
/proc/loadavg: 1.02 0.99 0.99 2/78 2259
/proc/meminfo: memFree=1289648/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=270680 CPUtime=102.26
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 119555 0 0 0 10179 47 0 0 25 0 1 0 148151369 277176320 62112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 67670 62112 170 317 0 67349 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 270680

[startup+162.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 2259
/proc/meminfo: memFree=1129264/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=442928 CPUtime=162.24
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 194453 0 0 0 16149 75 0 0 25 0 1 0 148151369 453558272 102109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 110732 102109 170 317 0 110411 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 442928

[startup+222.301 s]
/proc/loadavg: 1.12 1.03 1.01 2/78 2259
/proc/meminfo: memFree=1064752/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=513940 CPUtime=222.22
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 230396 0 0 0 22133 89 0 0 25 0 1 0 148151369 526274560 118106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 128485 118106 170 317 0 128164 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 513940

[startup+282.302 s]
/proc/loadavg: 1.14 1.05 1.01 2/78 2259
/proc/meminfo: memFree=988336/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=599172 CPUtime=282.21
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 273673 0 0 0 28115 106 0 0 25 0 1 0 148151369 613552128 137285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 149793 137285 170 317 0 149472 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 599172

[startup+342.302 s]
/proc/loadavg: 1.08 1.05 1.01 2/78 2259
/proc/meminfo: memFree=914992/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=680832 CPUtime=342.19
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 314192 0 0 0 34095 124 0 0 25 0 1 0 148151369 697171968 155669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 170208 155669 170 317 0 169887 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 680832

[startup+402.301 s]
/proc/loadavg: 1.03 1.04 1.00 2/78 2259
/proc/meminfo: memFree=756592/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=866832 CPUtime=402.17
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 377678 0 0 0 40067 150 0 0 25 0 1 0 148151369 887635968 195107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 216708 195107 170 317 0 216387 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 866832

[startup+462.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 2259
/proc/meminfo: memFree=680048/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=943868 CPUtime=462.16
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 418233 0 0 0 46051 165 0 0 25 0 1 0 148151369 966520832 214016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 235967 214016 170 317 0 235646 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 943868

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 2259
/proc/meminfo: memFree=611312/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1013900 CPUtime=522.14
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 455370 0 0 0 52033 181 0 0 25 0 1 0 148151369 1038233600 231261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134550027 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 253475 231261 170 317 0 253154 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1013900

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 2259
/proc/meminfo: memFree=562672/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1063308 CPUtime=582.12
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 481860 0 0 0 58021 191 0 0 25 0 1 0 148151369 1088827392 243441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 265827 243441 170 317 0 265506 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1063308

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 2259
/proc/meminfo: memFree=508080/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1119724 CPUtime=642.11
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 510301 0 0 0 64009 202 0 0 25 0 1 0 148151369 1146597376 256911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 279931 256911 170 317 0 279610 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1119724

[startup+702.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 2259
/proc/meminfo: memFree=442352/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1192884 CPUtime=702.09
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 547177 0 0 0 69991 218 0 0 25 0 1 0 148151369 1221513216 273363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712470 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 298221 273363 170 317 0 297900 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1192884

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2259
/proc/meminfo: memFree=397040/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1243112 CPUtime=762.08
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 571627 0 0 0 75982 226 0 0 25 0 1 0 148151369 1272946688 284648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284237 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 310778 284648 170 317 0 310457 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 1243112

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2259
/proc/meminfo: memFree=350768/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1294136 CPUtime=822.06
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 597366 0 0 0 81970 236 0 0 25 0 1 0 148151369 1325195264 296163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 323534 296163 170 317 0 323213 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 1294136

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2259
/proc/meminfo: memFree=319344/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1329120 CPUtime=882.04
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 615395 0 0 0 87961 243 0 0 25 0 1 0 148151369 1361018880 304011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 332280 304011 170 317 0 331959 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1329120

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2259
/proc/meminfo: memFree=275376/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1379388 CPUtime=942.03
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 640627 0 0 0 93950 253 0 0 25 0 1 0 148151369 1412493312 315264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717766 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 344847 315264 170 317 0 344526 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1379388

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2259
/proc/meminfo: memFree=91888/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1638088 CPUtime=1002.01
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 703399 0 0 0 99926 275 0 0 25 0 1 0 148151369 1677402112 360781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 409522 360781 170 317 0 409201 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1638088

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2259
/proc/meminfo: memFree=56240/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1675608 CPUtime=1061.99
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 723042 0 0 0 105916 283 0 0 25 0 1 0 148151369 1715822592 370029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 418902 370029 170 317 0 418581 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1675608

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2259
/proc/meminfo: memFree=15280/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1728564 CPUtime=1121.97
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 750706 0 0 0 111904 293 0 0 25 0 1 0 148151369 1770049536 383045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 432141 383045 170 317 0 431820 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1728564

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2259
/proc/meminfo: memFree=16048/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1779612 CPUtime=1181.96
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 777427 0 0 0 117894 302 0 0 25 0 1 0 148151369 1822322688 395614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278940 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 444903 395614 170 317 0 444582 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1779612

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2259
/proc/meminfo: memFree=15664/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1834060 CPUtime=1241.94
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 806307 0 0 0 123882 312 0 0 25 0 1 0 148151369 1878077440 408992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 458515 408992 170 317 0 458194 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1834060



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1247.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2259
/proc/meminfo: memFree=15728/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1843292 CPUtime=1247.24
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 811092 0 0 0 124410 314 0 0 25 0 1 0 148151369 1887531008 411237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718742 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 460823 411237 170 317 0 460502 0
Current children cumulated CPU time (s) 1247.24
Current children cumulated vsize (KiB) 1843292

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1247.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2259
/proc/meminfo: memFree=15728/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1843292 CPUtime=1247.44
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 811096 0 0 0 124430 314 0 0 25 0 1 0 148151369 1887531008 411241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710868 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 460823 411241 170 317 0 460502 0
Current children cumulated CPU time (s) 1247.44
Current children cumulated vsize (KiB) 1843292

[startup+1248.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2260
/proc/meminfo: memFree=15144/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1843828 CPUtime=1248.24
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 811439 0 0 0 124510 314 0 0 25 0 1 0 148151369 1888079872 411385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 460957 411385 170 317 0 460636 0
Current children cumulated CPU time (s) 1248.24
Current children cumulated vsize (KiB) 1843828

[startup+1249.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2260
/proc/meminfo: memFree=15144/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=1844484 CPUtime=1249.04
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4194304 811789 0 0 0 124590 314 0 0 25 0 1 0 148151369 1888751616 411536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 461121 411536 170 317 0 460800 0
Current children cumulated CPU time (s) 1249.04
Current children cumulated vsize (KiB) 1844484

[startup+1249.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2260
/proc/meminfo: memFree=16296/2055920 swapFree=4141660/4192956
[pid=2258] ppid=2256 vsize=0 CPUtime=1249.43
/proc/2258/stat : 2258 (oree) R 2256 2258 2201 0 -1 4195332 811794 0 0 0 124610 333 0 0 25 0 1 0 148151369 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2258/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1249.43
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1249.87
CPU time (s): 1249.52
CPU user time (s): 1246.11
CPU system time (s): 3.41148
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1844484

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

runsolver used 1.39379 second user time and 2.86356 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Thu Apr 19 17:05:39 UTC 2007

IDJOB= 366928
IDBENCH= 2958
IDSOLVER= 172
FILE ID= node17/366928-1177002338

PBS_JOBID= 4630525

Free space on /tmp= 66390 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb
COMMAND LINE= oree /tmp/evaluation/366928-1177002338/instance-366928-1177002338.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-366928-1177002338 -o ROOT/results/node17/solver-366928-1177002338 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/366928-1177002338/instance-366928-1177002338.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0c8a7426d22e304535ce287c1bd24030

RANDOM SEED= 188004991

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1538312 kB
Buffers:         37772 kB
Cached:         399556 kB
SwapCached:      14192 kB
Active:         210760 kB
Inactive:       249988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1538312 kB
SwapTotal:     4192956 kB
SwapFree:      4141660 kB
Dirty:            3044 kB
Writeback:           0 kB
Mapped:          29504 kB
Slab:            42408 kB
Committed_AS:  7106188 kB
PageTables:       1796 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= 66390 MiB

End job on node17 on Thu Apr 19 17:26:29 UTC 2007