Trace number 233665

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 NameAnswerCPU timeWall clock time
sugar 0.40? (TO) 1800.05 1816.9

General information on the benchmark

Nametaillard/
os-taillard-15/os-taillard-15-95-0.xml
MD5SUM9022ba7be6fd37cd1686d43ac72ffbad
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size908
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04	c # Sugar v0-40 (/tmp/evaluation/233665-1170106804/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/233665-1170106804/unknown.xml [Mon Jan 29 22:40:04 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/233665-1170106804/unknown.xml /tmp/evaluation/233665-1170106804/sugar26493.csp [Mon Jan 29 22:40:04 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233665-1170106804/sugar-v0-40.jar -convert /tmp/evaluation/233665-1170106804/unknown.xml /tmp/evaluation/233665-1170106804/sugar26493.csp
0.15	c BEGIN convert /tmp/evaluation/233665-1170106804/unknown.xml
0.72	c END convert (0.564256 seconds)
0.74	c # CONVERT_XML  END : /tmp/evaluation/233665-1170106804/sugar26493.csp 155001 bytes (1 seconds) [Mon Jan 29 22:40:05 2007]
0.74	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
0.74	
0.74	c # GENERATE_SAT  BEGIN : /tmp/evaluation/233665-1170106804/sugar26493.bcnf [Mon Jan 29 22:40:05 2007]
0.74	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233665-1170106804/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233665-1170106804/sugar26493.map /tmp/evaluation/233665-1170106804/sugar26493.csp /tmp/evaluation/233665-1170106804/sugar26493.bcnf
0.86	c BEGIN parse /tmp/evaluation/233665-1170106804/sugar26493.csp
1.42	c END parse (0.565016 seconds)
1.42	c BEGIN simplify
1.49	c END simplify (0.064582 seconds)
1.49	c BEGIN encode /tmp/evaluation/233665-1170106804/sugar26493.bcnf
6.02	c END encode (4.529352 seconds)
6.08	c # GENERATE_SAT  END : 199358 variables 5299431 clauses 83956748 bytes (5 seconds) [Mon Jan 29 22:40:10 2007]
6.08	c # GENERATE_SAT  CPU : 5.32 = 0.04 + 0.02 + 4.89 + 0.37
6.08	
6.08	c # SOLVE_SAT  BEGIN : /tmp/evaluation/233665-1170106804/sugar26493.bcnf [Mon Jan 29 22:40:10 2007]
6.08	c # CMD : /tmp/evaluation/233665-1170106804/minisat /tmp/evaluation/233665-1170106804/sugar26493.bcnf /tmp/evaluation/233665-1170106804/sugar26493.out
9.14	c ==================================[MINISAT]===================================
9.14	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
9.14	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
9.14	c ==============================================================================
9.14	c |         0 | 5299431 15689710 | 1766477       0        0     nan |  0.000 % |
10.30	c |       101 | 5299431 15689710 | 1943124     101     1509    14.9 |  0.000 % |
10.44	c |       252 | 5299431 15689710 | 2137437     252     3583    14.2 |  0.000 % |
10.63	c |       477 | 5299431 15689710 | 2351180     477     5681    11.9 |  0.000 % |
10.82	c |       814 | 5299431 15689710 | 2586298     814     8941    11.0 |  0.000 % |
11.15	c |      1320 | 5299431 15689710 | 2844928    1320    14693    11.1 |  0.000 % |
11.94	c |      2079 | 5299431 15689710 | 3129421    2079    24501    11.8 |  0.000 % |
12.88	c |      3220 | 5299431 15689710 | 3442363    3220    41950    13.0 |  0.000 % |
14.38	c |      4928 | 5299431 15689710 | 3786600    4928    68351    13.9 |  0.000 % |
16.02	c |      7490 | 5299431 15689710 | 4165260    7490   107368    14.3 |  0.000 % |
19.29	c |     11336 | 5299431 15689710 | 4581786   11336   159983    14.1 |  0.000 % |
25.25	c |     17103 | 5299431 15689710 | 5039965   17103   248026    14.5 |  0.000 % |
35.59	c |     25754 | 5299431 15689710 | 5543961   25754   382372    14.8 |  0.000 % |
49.24	c |     38730 | 5299431 15689710 | 6098357   38730   673308    17.4 |  0.000 % |
72.71	c |     58192 | 5299431 15689710 | 6708193   58192   991597    17.0 |  0.000 % |
109.99	c |     87384 | 5299431 15689710 | 7379012   87384  1605732    18.4 |  0.000 % |
183.66	c |    131173 | 5299431 15689710 | 8116914  131173  2382223    18.2 |  0.000 % |
327.99	c |    196858 | 5299431 15689710 | 8928605  196858  3729553    18.9 |  0.000 % |
606.66	c |    295384 | 5299431 15689710 | 9821466  295384  5732340    19.4 |  0.000 % |
1161.95	c |    443173 | 5299431 15689710 | 10803612  443173  8768722    19.8 |  0.000 % |
1815.69	
1815.69	s UNKNOWN
1815.69	c # INTERRUPTED
1815.69	c # MAIN  END :  (1816 seconds) [Mon Jan 29 23:10:20 2007]
1815.69	c # MAIN  CPU : 5.32 = 0.04 + 0.02 + 4.89 + 0.37
1815.69

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: UNKNOWN

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node75/watcher-233665-1170106804 -o ROOT/results/node75/solver-233665-1170106804 -C 1800 -M 900 /tmp/evaluation/233665-1170106804/solver /tmp/evaluation/233665-1170106804 /tmp/evaluation/233665-1170106804/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.10 2.23 1.80 5/74 26494
/proc/meminfo: memFree=1877088/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=12268 CPUtime=0
/proc/26493/stat : 26493 (sugar) R 26491 26493 26212 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 30646221 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891581950 0 0 4224 0 0 0 0 17 1 0 0
/proc/26493/statm: 3067 316 241 3 0 167 0

[startup+0.107667 s]
/proc/loadavg: 2.10 2.23 1.80 5/74 26494
/proc/meminfo: memFree=1877088/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=13724 CPUtime=0.03
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 1112 0 0 0 3 0 0 0 19 0 1 0 30646221 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26493/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.515718 s]
/proc/loadavg: 2.10 2.23 1.80 5/74 26494
/proc/meminfo: memFree=1877088/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=13724 CPUtime=0.03
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30646221 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26493/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33781 s]
/proc/loadavg: 2.10 2.23 1.80 4/83 26510
/proc/meminfo: memFree=1855640/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=13724 CPUtime=0.03
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 30646221 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26493/statm: 3431 808 370 3 0 531 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26503] ppid=26493 vsize=807332 CPUtime=0.57
/proc/26503/stat : 26503 (java) R 26493 26493 26212 0 -1 0 7467 0 1 0 54 3 0 0 16 0 8 0 30646295 826707968 7216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073592476 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26503/statm: 201833 7216 1506 14 0 189111 0
[pid=26503/tid=26504] ppid=26493 vsize=807332 CPUtime=0.05
/proc/26503/task/26504/stat : 26504 (java) S 26493 26493 26212 0 -1 64 1280 0 0 0 5 0 0 0 16 0 8 0 30646298 826707968 7216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26505] ppid=26493 vsize=807332 CPUtime=0
/proc/26503/task/26505/stat : 26505 (java) S 26493 26493 26212 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30646299 826707968 7216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26506] ppid=26493 vsize=807332 CPUtime=0
/proc/26503/task/26506/stat : 26506 (java) S 26493 26493 26212 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30646299 826707968 7216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26507] ppid=26493 vsize=807332 CPUtime=0
/proc/26503/task/26507/stat : 26507 (java) S 26493 26493 26212 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30646302 826707968 7216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26508] ppid=26493 vsize=807332 CPUtime=0.12
/proc/26503/task/26508/stat : 26508 (java) R 26493 26493 26212 0 -1 64 401 0 0 0 12 0 0 0 20 0 8 0 30646302 826707968 7216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26509] ppid=26493 vsize=807332 CPUtime=0
/proc/26503/task/26509/stat : 26509 (java) S 26493 26493 26212 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30646302 826707968 7216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26510] ppid=26493 vsize=807332 CPUtime=0
/proc/26503/task/26510/stat : 26510 (java) S 26493 26493 26212 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30646302 826707968 7216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 821056

[startup+2.99001 s]
/proc/loadavg: 2.10 2.23 1.80 4/83 26510
/proc/meminfo: memFree=1836632/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=13724 CPUtime=0.03
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 30646221 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26493/statm: 3431 808 370 3 0 531 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26503] ppid=26493 vsize=807332 CPUtime=2.23
/proc/26503/stat : 26503 (java) R 26493 26493 26212 0 -1 0 8145 0 1 0 209 14 0 0 25 0 8 0 30646295 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26503/statm: 201833 7892 1510 14 0 189111 0
[pid=26503/tid=26504] ppid=26493 vsize=807332 CPUtime=0.08
/proc/26503/task/26504/stat : 26504 (java) S 26493 26493 26212 0 -1 64 1913 0 0 0 8 0 0 0 16 0 8 0 30646298 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26505] ppid=26493 vsize=807332 CPUtime=0
/proc/26503/task/26505/stat : 26505 (java) S 26493 26493 26212 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30646299 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26506] ppid=26493 vsize=807332 CPUtime=0
/proc/26503/task/26506/stat : 26506 (java) S 26493 26493 26212 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30646299 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26507] ppid=26493 vsize=807332 CPUtime=0
/proc/26503/task/26507/stat : 26507 (java) S 26493 26493 26212 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30646302 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26508] ppid=26493 vsize=807332 CPUtime=0.15
/proc/26503/task/26508/stat : 26508 (java) S 26493 26493 26212 0 -1 64 420 0 0 0 15 0 0 0 16 0 8 0 30646302 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26509] ppid=26493 vsize=807332 CPUtime=0
/proc/26503/task/26509/stat : 26509 (java) S 26493 26493 26212 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30646302 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26503/tid=26510] ppid=26493 vsize=807332 CPUtime=0
/proc/26503/task/26510/stat : 26510 (java) S 26493 26493 26212 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30646302 826707968 7892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 821056

[startup+6.19238 s]
/proc/loadavg: 2.09 2.22 1.81 3/83 26510
/proc/meminfo: memFree=1773400/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2173 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 17316

[startup+12.6592 s]
/proc/loadavg: 2.16 2.24 1.81 3/76 26511
/proc/meminfo: memFree=1553176/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 15 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=239060 CPUtime=6.51
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 59971 0 0 0 614 37 0 0 25 0 1 0 30646829 244797440 58916 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528151 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 59765 58916 52 112 0 59649 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 256376

[startup+25.5487 s]
/proc/loadavg: 2.12 2.22 1.81 3/76 26511
/proc/meminfo: memFree=1547480/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=245176 CPUtime=19.3
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 61514 0 0 0 1892 38 0 0 25 0 1 0 30646829 251060224 60459 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528059 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 61294 60459 52 112 0 61178 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 262492

[startup+51.2317 s]
/proc/loadavg: 2.23 2.24 1.83 3/76 26511
/proc/meminfo: memFree=1543640/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=248812 CPUtime=44.77
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 62428 0 0 0 4437 40 0 0 25 0 1 0 30646829 254783488 61373 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134641738 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 62203 61373 52 112 0 62087 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 266128

[startup+102.497 s]
/proc/loadavg: 2.10 2.20 1.83 3/76 26511
/proc/meminfo: memFree=1539288/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=253380 CPUtime=95.6
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 63539 0 0 0 9519 41 0 0 25 0 1 0 30646829 259461120 62484 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 63345 62484 52 112 0 63229 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 270696

[startup+162.592 s]
/proc/loadavg: 2.03 2.16 1.84 3/76 26511
/proc/meminfo: memFree=1534744/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=257836 CPUtime=155.22
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 64634 0 0 0 15479 43 0 0 25 0 1 0 30646829 264024064 63579 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 64459 63579 52 112 0 64343 0
Current children cumulated CPU time (s) 161.24
Current children cumulated vsize (KiB) 275152

[startup+222.681 s]
/proc/loadavg: 2.01 2.13 1.85 3/76 26511
/proc/meminfo: memFree=1528984/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=261580 CPUtime=214.82
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 65541 0 0 0 21439 43 0 0 25 0 1 0 30646829 267857920 64486 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528406 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 65395 64486 52 112 0 65279 0
Current children cumulated CPU time (s) 220.84
Current children cumulated vsize (KiB) 278896

[startup+282.776 s]
/proc/loadavg: 2.00 2.10 1.85 3/76 26511
/proc/meminfo: memFree=1525528/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0

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

/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 74757 0 0 0 122732 58 0 0 25 0 1 0 30646829 306348032 73702 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 74792 73702 52 112 0 74676 0
Current children cumulated CPU time (s) 1233.92
Current children cumulated vsize (KiB) 316484

[startup+1304.32 s]
/proc/loadavg: 2.08 2.02 1.93 3/82 26625
/proc/meminfo: memFree=1480720/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=301544 CPUtime=1287.35
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 75149 0 0 0 128669 66 0 0 25 0 1 0 30646829 308781056 74094 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 75386 74094 52 112 0 75270 0
Current children cumulated CPU time (s) 1293.37
Current children cumulated vsize (KiB) 318860

[startup+1364.36 s]
/proc/loadavg: 2.90 2.23 2.00 3/83 26812
/proc/meminfo: memFree=354488/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=303112 CPUtime=1346.92
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 75574 0 0 0 134610 82 0 0 25 0 1 0 30646829 310386688 74519 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26511/statm: 75778 74519 52 112 0 75662 0
Current children cumulated CPU time (s) 1352.94
Current children cumulated vsize (KiB) 320428

[startup+1424.36 s]
/proc/loadavg: 4.10 2.70 2.17 3/83 26818
/proc/meminfo: memFree=19832/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=304968 CPUtime=1406.37
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 76057 0 0 0 140526 111 0 0 25 0 1 0 30646829 312287232 75002 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26511/statm: 76242 75002 52 112 0 76126 0
Current children cumulated CPU time (s) 1412.39
Current children cumulated vsize (KiB) 322284

[startup+1484.45 s]
/proc/loadavg: 3.32 2.77 2.23 3/83 26821
/proc/meminfo: memFree=15160/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=306924 CPUtime=1466.03
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 76533 0 0 0 146481 122 0 0 25 0 1 0 30646829 314290176 75478 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 76731 75478 52 112 0 76615 0
Current children cumulated CPU time (s) 1472.05
Current children cumulated vsize (KiB) 324240

[startup+1544.5 s]
/proc/loadavg: 2.61 2.66 2.23 3/83 26821
/proc/meminfo: memFree=15672/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=308564 CPUtime=1525.49
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 76942 0 0 0 152421 128 0 0 25 0 1 0 30646829 315969536 75887 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 77141 75887 52 112 0 77025 0
Current children cumulated CPU time (s) 1531.51
Current children cumulated vsize (KiB) 325880

[startup+1604.53 s]
/proc/loadavg: 2.22 2.54 2.21 3/83 26821
/proc/meminfo: memFree=15352/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=309928 CPUtime=1584.93
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 77315 0 0 0 158358 135 0 0 25 0 1 0 30646829 317366272 76260 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 77482 76260 52 112 0 77366 0
Current children cumulated CPU time (s) 1590.95
Current children cumulated vsize (KiB) 327244

[startup+1664.55 s]
/proc/loadavg: 2.21 2.48 2.21 3/83 26821
/proc/meminfo: memFree=15736/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=311560 CPUtime=1644.36
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 77709 0 0 0 164295 141 0 0 25 0 1 0 30646829 319037440 76654 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528368 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 77890 76654 52 112 0 77774 0
Current children cumulated CPU time (s) 1650.38
Current children cumulated vsize (KiB) 328876

[startup+1724.58 s]
/proc/loadavg: 2.08 2.39 2.19 3/83 26821
/proc/meminfo: memFree=15672/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=313248 CPUtime=1703.78
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 78121 0 0 0 170231 147 0 0 25 0 1 0 30646829 320765952 77066 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 78312 77066 52 112 0 78196 0
Current children cumulated CPU time (s) 1709.8
Current children cumulated vsize (KiB) 330564

[startup+1784.6 s]
/proc/loadavg: 2.15 2.36 2.19 3/83 26821
/proc/meminfo: memFree=16248/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=314624 CPUtime=1763.21
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 78502 0 0 0 176168 153 0 0 25 0 1 0 30646829 322174976 77447 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 78656 77447 52 112 0 78540 0
Current children cumulated CPU time (s) 1769.23
Current children cumulated vsize (KiB) 331940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.68 s]
/proc/loadavg: 2.17 2.34 2.18 3/83 26821
/proc/meminfo: memFree=14968/2055920 swapFree=4192812/4192956
[pid=26493] ppid=26491 vsize=17316 CPUtime=5.35
/proc/26493/stat : 26493 (sugar) S 26491 26493 26212 0 -1 4194304 2183 8161 0 1 7 2 489 37 16 0 1 0 30646221 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26493/statm: 4329 1693 373 3 0 1429 0
[pid=26495] ppid=26493 vsize=0 CPUtime=0.67
/proc/26495/stat : 26495 (java) Z 26493 26493 26212 0 -1 1036 7667 0 1 0 61 6 0 0 17 0 1 0 30646225 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26495/statm: 0 0 0 0 0 0 0
[pid=26511] ppid=26493 vsize=315280 CPUtime=1793.98
/proc/26511/stat : 26511 (minisat) R 26493 26493 26212 0 -1 0 78675 0 0 0 179243 155 0 0 25 0 1 0 30646829 322846720 77620 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26511/statm: 78820 77620 52 112 0 78704 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 332596

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26493 and gives childrusage.ru_utime.tv_sec=4 childrusage.ru_utime.tv_usec=975243 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=411937
CPU time returned by wait4() is 5.38718
while last known CPU time is 1800.05

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1816.9
CPU time (s): 1800.05
CPU user time (s): 1798
CPU system time (s): 2.05
CPU usage (%): 99.0727
Max. virtual memory (cumulated for all children) (KiB): 821056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.97524
system time used= 0.411937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10428
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 674
involuntary context switches= 563

runsolver used 1.74473 s user time and 5.04723 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Mon Jan 29 21:40:04 UTC 2007


IDJOB= 233665
IDBENCH= 6622
IDSOLVER= 86
FILE ID= node75/233665-1170106804

PBS_JOBID= 3689893

Free space on /tmp= 66551 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-95-0.xml
COMMAND LINE= /tmp/evaluation/233665-1170106804/solver /tmp/evaluation/233665-1170106804 /tmp/evaluation/233665-1170106804/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-233665-1170106804 -o ROOT/results/node75/solver-233665-1170106804 -C 1800 -M 900  /tmp/evaluation/233665-1170106804/solver /tmp/evaluation/233665-1170106804 /tmp/evaluation/233665-1170106804/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  9022ba7be6fd37cd1686d43ac72ffbad

RANDOM SEED= 470782084

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.218
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.218
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1877504 kB
Buffers:          9220 kB
Cached:          48036 kB
SwapCached:          0 kB
Active:         102268 kB
Inactive:        24216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1877504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1388 kB
Writeback:           0 kB
Mapped:          80144 kB
Slab:            37180 kB
Committed_AS:   459676 kB
PageTables:       1904 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= 62689 MiB



End job on node75 on Mon Jan 29 22:10:22 UTC 2007