Trace number 210686

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 1809.15

General information on the benchmark

NamepseudoSeries/fpga/
fpga-40-40.xml
MD5SUMd13c6dd432a5c3e073ce430b7f3f135c
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2400
Number of constraints1720
Maximum constraint arity40
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1720
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/210686-1170097969/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/210686-1170097969/unknown.xml [Mon Jan 29 20:12:50 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/210686-1170097969/unknown.xml /tmp/evaluation/210686-1170097969/sugar25103.csp [Mon Jan 29 20:12:50 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/210686-1170097969/sugar-v0-40.jar -convert /tmp/evaluation/210686-1170097969/unknown.xml /tmp/evaluation/210686-1170097969/sugar25103.csp
0.18	c BEGIN convert /tmp/evaluation/210686-1170097969/unknown.xml
0.95	c END convert (0.769873 seconds)
0.97	c # CONVERT_XML  END : /tmp/evaluation/210686-1170097969/sugar25103.csp 449720 bytes (1 seconds) [Mon Jan 29 20:12:51 2007]
0.97	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
0.97	
0.97	c # GENERATE_SAT  BEGIN : /tmp/evaluation/210686-1170097969/sugar25103.bcnf [Mon Jan 29 20:12:51 2007]
0.97	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/210686-1170097969/sugar-v0-40.jar -bcnf -map /tmp/evaluation/210686-1170097969/sugar25103.map /tmp/evaluation/210686-1170097969/sugar25103.csp /tmp/evaluation/210686-1170097969/sugar25103.bcnf
1.09	c BEGIN parse /tmp/evaluation/210686-1170097969/sugar25103.csp
5.81	c END parse (4.721885 seconds)
5.81	c BEGIN simplify
5.82	c END simplify (0.009406 seconds)
5.82	c BEGIN encode /tmp/evaluation/210686-1170097969/sugar25103.bcnf
6.09	c END encode (0.261687 seconds)
6.22	c # GENERATE_SAT  END : 25200 variables 129960 clauses 1828504 bytes (5 seconds) [Mon Jan 29 20:12:56 2007]
6.22	c # GENERATE_SAT  CPU : 5.21 = 0.11 + 0.02 + 4.97 + 0.11
6.22	
6.22	c # SOLVE_SAT  BEGIN : /tmp/evaluation/210686-1170097969/sugar25103.bcnf [Mon Jan 29 20:12:56 2007]
6.22	c # CMD : /tmp/evaluation/210686-1170097969/minisat /tmp/evaluation/210686-1170097969/sugar25103.bcnf /tmp/evaluation/210686-1170097969/sugar25103.out
6.31	c ==================================[MINISAT]===================================
6.31	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
6.31	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
6.31	c ==============================================================================
6.31	c |         0 |  100960   262640 |   33653       0        0     nan |  0.000 % |
6.33	c |       100 |  100960   262640 |   37018     100     6216    62.2 | 24.444 % |
6.36	c |       251 |  100960   262640 |   40720     251    11788    47.0 | 24.444 % |
6.39	c |       476 |  100960   262640 |   44792     476    16528    34.7 | 24.444 % |
6.43	c |       813 |  100960   262640 |   49271     813    24190    29.8 | 24.444 % |
6.49	c |      1320 |  100960   262640 |   54198    1320    36129    27.4 | 24.444 % |
6.58	c |      2080 |  100960   262640 |   59618    2080    56415    27.1 | 24.444 % |
6.74	c |      3219 |  100960   262640 |   65580    3219    91625    28.5 | 24.444 % |
6.97	c |      4928 |  100960   262640 |   72138    4928   159197    32.3 | 24.444 % |
7.43	c |      7490 |  100960   262640 |   79352    7490   246004    32.8 | 24.444 % |
8.02	c |     11335 |  100960   262640 |   87287   11335   338696    29.9 | 24.444 % |
9.26	c |     17101 |  100960   262640 |   96015   17101   754975    44.1 | 24.444 % |
10.86	c |     25750 |  100960   262640 |  105617   25750  1078729    41.9 | 24.444 % |
14.04	c |     38726 |  100960   262640 |  116179   38726  1680593    43.4 | 24.444 % |
20.67	c |     58187 |  100960   262640 |  127797   58187  3038596    52.2 | 24.444 % |
32.78	c |     87379 |  100960   262640 |  140576   87379  5041950    57.7 | 24.444 % |
70.54	c |    131168 |  100960   262640 |  154634  131168  8895846    67.8 | 24.444 % |
154.19	c |    196852 |  100960   262640 |  170098   42091  5505862   130.8 | 24.444 % |
235.74	c |    295379 |  100960   262640 |  187107  140618 10470197    74.5 | 24.444 % |
399.04	c |    443168 |  100960   262640 |  205818  102487  9909577    96.7 | 24.444 % |
626.12	c |    664852 |  100960   262640 |  226400  121797  8718165    71.6 | 24.444 % |
1040.86	c |    997378 |  100960   262640 |  249040  231560 15506850    67.0 | 24.444 % |
1808.09	
1808.09	s UNKNOWN
1808.09	c # INTERRUPTED
1808.09	c # MAIN  END :  (1808 seconds) [Mon Jan 29 20:42:58 2007]
1808.09	c # MAIN  CPU : 5.21 = 0.11 + 0.02 + 4.97 + 0.11
1808.09

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/node1/watcher-210686-1170097969 -o ROOT/results/node1/solver-210686-1170097969 -C 1800 -M 900 /tmp/evaluation/210686-1170097969/solver /tmp/evaluation/210686-1170097969 /tmp/evaluation/210686-1170097969/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.02 2.08 2.08 5/94 25104
/proc/meminfo: memFree=1156320/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=12128 CPUtime=0
/proc/25103/stat : 25103 (sugar) R 25101 25103 24550 0 -1 4194304 496 0 0 0 0 0 0 0 20 0 1 0 29752077 12419072 215 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259373303584 0 0 4224 0 0 0 0 17 1 0 0
/proc/25103/statm: 3032 215 162 3 0 132 0

[startup+0.105113 s]
/proc/loadavg: 2.02 2.08 2.08 5/94 25104
/proc/meminfo: memFree=1156320/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=13724 CPUtime=0.03
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29752077 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.513159 s]
/proc/loadavg: 2.02 2.08 2.08 5/94 25104
/proc/meminfo: memFree=1156320/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=13724 CPUtime=0.03
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29752077 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33626 s]
/proc/loadavg: 2.02 2.08 2.08 3/103 25120
/proc/meminfo: memFree=1148888/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=13724 CPUtime=0.03
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29752077 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 3431 808 370 3 0 531 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25113] ppid=25103 vsize=807064 CPUtime=0.34
/proc/25113/stat : 25113 (java) R 25103 25103 24550 0 -1 0 6393 0 1 0 30 4 0 0 21 0 8 0 29752174 826433536 6143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25113/statm: 201766 6143 1491 14 0 189044 0
[pid=25113/tid=25114] ppid=25103 vsize=807064 CPUtime=0.01
/proc/25113/task/25114/stat : 25114 (java) R 25103 25103 24550 0 -1 64 337 0 0 0 1 0 0 0 16 0 8 0 29752178 826433536 6143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25115] ppid=25103 vsize=807064 CPUtime=0
/proc/25113/task/25115/stat : 25115 (java) S 25103 25103 24550 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 29752178 826433536 6143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25116] ppid=25103 vsize=807064 CPUtime=0
/proc/25113/task/25116/stat : 25116 (java) S 25103 25103 24550 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29752178 826433536 6143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25117] ppid=25103 vsize=807064 CPUtime=0
/proc/25113/task/25117/stat : 25117 (java) S 25103 25103 24550 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29752182 826433536 6143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25118] ppid=25103 vsize=807064 CPUtime=0.05
/proc/25113/task/25118/stat : 25118 (java) S 25103 25103 24550 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29752182 826433536 6143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25119] ppid=25103 vsize=807064 CPUtime=0
/proc/25113/task/25119/stat : 25119 (java) S 25103 25103 24550 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29752182 826433536 6143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25120] ppid=25103 vsize=807064 CPUtime=0
/proc/25113/task/25120/stat : 25120 (java) S 25103 25103 24550 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29752182 826433536 6143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788

[startup+2.98945 s]
/proc/loadavg: 2.02 2.08 2.08 3/103 25120
/proc/meminfo: memFree=1123480/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=13724 CPUtime=0.03
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29752077 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 3431 808 370 3 0 531 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25113] ppid=25103 vsize=807376 CPUtime=1.99
/proc/25113/stat : 25113 (java) R 25103 25103 24550 0 -1 0 9891 0 1 0 192 7 0 0 25 0 8 0 29752174 826753024 9628 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154523531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25113/statm: 201844 9628 1506 14 0 189122 0
[pid=25113/tid=25114] ppid=25103 vsize=807376 CPUtime=0.22
/proc/25113/task/25114/stat : 25114 (java) S 25103 25103 24550 0 -1 64 3670 0 0 0 20 2 0 0 16 0 8 0 29752178 826753024 9628 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25115] ppid=25103 vsize=807376 CPUtime=0
/proc/25113/task/25115/stat : 25115 (java) S 25103 25103 24550 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29752178 826753024 9628 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25116] ppid=25103 vsize=807376 CPUtime=0
/proc/25113/task/25116/stat : 25116 (java) S 25103 25103 24550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29752178 826753024 9628 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25117] ppid=25103 vsize=807376 CPUtime=0
/proc/25113/task/25117/stat : 25117 (java) S 25103 25103 24550 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29752182 826753024 9628 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25118] ppid=25103 vsize=807376 CPUtime=0.15
/proc/25113/task/25118/stat : 25118 (java) S 25103 25103 24550 0 -1 64 419 0 0 0 15 0 0 0 16 0 8 0 29752182 826753024 9628 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25119] ppid=25103 vsize=807376 CPUtime=0
/proc/25113/task/25119/stat : 25119 (java) S 25103 25103 24550 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29752182 826753024 9628 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25113/tid=25120] ppid=25103 vsize=807376 CPUtime=0
/proc/25113/task/25120/stat : 25120 (java) S 25103 25103 24550 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29752182 826753024 9628 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821100

[startup+6.27884 s]
/proc/loadavg: 2.01 2.08 2.08 3/103 25120
/proc/meminfo: memFree=1113624/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3054 13176 0 1 14 2 497 11 19 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 21056

[startup+12.7596 s]
/proc/loadavg: 2.01 2.07 2.08 3/96 25121
/proc/meminfo: memFree=1133648/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=13396 CPUtime=6.49
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 3391 0 0 0 647 2 0 0 25 0 1 0 29752699 13717504 2930 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 3349 2930 52 112 0 3233 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 34452

[startup+25.5931 s]
/proc/loadavg: 2.01 2.07 2.08 3/96 25121
/proc/meminfo: memFree=1122064/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=25480 CPUtime=19.26
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 6392 0 0 0 1922 4 0 0 25 0 1 0 29752699 26091520 5931 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528267 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 6370 5931 52 112 0 6254 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 46536

[startup+51.2921 s]
/proc/loadavg: 2.01 2.06 2.08 3/96 25121
/proc/meminfo: memFree=1107536/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=39644 CPUtime=44.84
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 9918 0 0 0 4475 9 0 0 25 0 1 0 29752699 40595456 9457 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528762 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 9911 9457 52 112 0 9795 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 60700

[startup+102.582 s]
/proc/loadavg: 2.10 2.08 2.08 2/83 25133
/proc/meminfo: memFree=1795448/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=62032 CPUtime=95.89
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 15492 0 0 0 9572 17 0 0 25 0 1 0 29752699 63520768 15031 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 0 0 0
/proc/25121/statm: 15508 15031 52 112 0 15392 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 83088

[startup+162.64 s]
/proc/loadavg: 2.01 2.05 2.07 3/96 25400
/proc/meminfo: memFree=1636240/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=70748 CPUtime=155.78
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 17679 0 0 0 15554 24 0 0 25 0 1 0 29752699 72445952 17218 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/25121/statm: 17687 17218 52 112 0 17571 0
Current children cumulated CPU time (s) 161.9
Current children cumulated vsize (KiB) 91804

[startup+222.703 s]
/proc/loadavg: 3.43 2.40 2.19 3/96 25414
/proc/meminfo: memFree=68752/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=70748 CPUtime=215.35
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 17679 0 0 0 21477 58 0 0 25 0 1 0 29752699 72445952 17218 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25121/statm: 17687 17218 52 112 0 17571 0
Current children cumulated CPU time (s) 221.47
Current children cumulated vsize (KiB) 91804

[startup+282.782 s]
/proc/loadavg: 5.31 3.08 2.43 3/100 25436
/proc/meminfo: memFree=14816/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0

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

/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 26954 0 0 0 122536 445 0 0 25 0 1 0 29752699 111165440 26493 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 27140 26493 52 112 0 27024 0
Current children cumulated CPU time (s) 1235.93
Current children cumulated vsize (KiB) 129616

[startup+1303.63 s]
/proc/loadavg: 2.09 3.65 4.29 3/96 25513
/proc/meminfo: memFree=15560/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=109460 CPUtime=1289.78
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 27140 0 0 0 128526 452 0 0 25 0 1 0 29752699 112087040 26679 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 27365 26679 52 112 0 27249 0
Current children cumulated CPU time (s) 1295.9
Current children cumulated vsize (KiB) 130516

[startup+1363.7 s]
/proc/loadavg: 2.10 3.38 4.15 3/96 25513
/proc/meminfo: memFree=15176/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=110192 CPUtime=1349.81
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 27293 0 0 0 134522 459 0 0 25 0 1 0 29752699 112836608 26832 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 27548 26832 52 112 0 27432 0
Current children cumulated CPU time (s) 1355.93
Current children cumulated vsize (KiB) 131248

[startup+1423.78 s]
/proc/loadavg: 2.11 3.14 4.02 3/96 25515
/proc/meminfo: memFree=16264/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=111576 CPUtime=1409.85
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 27543 0 0 0 140519 466 0 0 25 0 1 0 29752699 114253824 27082 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 27894 27082 52 112 0 27778 0
Current children cumulated CPU time (s) 1415.97
Current children cumulated vsize (KiB) 132632

[startup+1483.82 s]
/proc/loadavg: 2.27 2.99 3.91 3/96 25515
/proc/meminfo: memFree=16008/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=112792 CPUtime=1469.85
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 27797 0 0 0 146515 470 0 0 25 0 1 0 29752699 115499008 27336 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 28198 27336 52 112 0 28082 0
Current children cumulated CPU time (s) 1475.97
Current children cumulated vsize (KiB) 133848

[startup+1543.86 s]
/proc/loadavg: 2.13 2.82 3.80 3/96 25515
/proc/meminfo: memFree=15944/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=113888 CPUtime=1529.86
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 28014 0 0 0 152507 479 0 0 25 0 1 0 29752699 116621312 27553 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 28472 27553 52 112 0 28356 0
Current children cumulated CPU time (s) 1535.98
Current children cumulated vsize (KiB) 134944

[startup+1603.9 s]
/proc/loadavg: 2.05 2.67 3.68 3/96 25515
/proc/meminfo: memFree=14856/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=115868 CPUtime=1589.86
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 28503 0 0 0 158502 484 0 0 25 0 1 0 29752699 118648832 28042 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 28967 28042 52 112 0 28851 0
Current children cumulated CPU time (s) 1595.98
Current children cumulated vsize (KiB) 136924

[startup+1664 s]
/proc/loadavg: 2.05 2.56 3.58 3/96 25515
/proc/meminfo: memFree=15176/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=121868 CPUtime=1649.92
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 29995 0 0 0 164500 492 0 0 25 0 1 0 29752699 124792832 29534 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 30467 29534 52 112 0 30351 0
Current children cumulated CPU time (s) 1656.04
Current children cumulated vsize (KiB) 142924

[startup+1724.09 s]
/proc/loadavg: 2.24 2.52 3.50 3/96 25515
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=123408 CPUtime=1709.96
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 30348 0 0 0 170498 498 0 0 25 0 1 0 29752699 126369792 29887 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 30852 29887 52 112 0 30736 0
Current children cumulated CPU time (s) 1716.08
Current children cumulated vsize (KiB) 144464

[startup+1784.17 s]
/proc/loadavg: 2.16 2.44 3.41 3/96 25515
/proc/meminfo: memFree=15176/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=123564 CPUtime=1770
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 30372 0 0 0 176495 505 0 0 25 0 1 0 29752699 126529536 29911 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 30891 29911 52 112 0 30775 0
Current children cumulated CPU time (s) 1776.12
Current children cumulated vsize (KiB) 144620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.08 s]
/proc/loadavg: 2.10 2.40 3.37 3/96 25515
/proc/meminfo: memFree=15752/2055920 swapFree=4192812/4192956
[pid=25103] ppid=25101 vsize=21056 CPUtime=5.24
/proc/25103/stat : 25103 (sugar) S 25101 25103 24550 0 -1 4194304 3063 13176 0 1 14 2 497 11 16 0 1 0 29752077 21561344 2576 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25103/statm: 5264 2576 373 3 0 2364 0
[pid=25105] ppid=25103 vsize=0 CPUtime=0.88
/proc/25105/stat : 25105 (java) Z 25103 25103 24550 0 -1 1036 8620 0 1 0 81 7 0 0 17 0 1 0 29752082 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25105/statm: 0 0 0 0 0 0 0
[pid=25121] ppid=25103 vsize=123728 CPUtime=1793.91
/proc/25121/stat : 25121 (minisat) R 25103 25103 24550 0 -1 0 30435 0 0 0 178883 508 0 0 25 0 1 0 29752699 126697472 29974 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/25121/statm: 30932 29974 52 112 0 30816 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 144784

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25103 and gives childrusage.ru_utime.tv_sec=5 childrusage.ru_utime.tv_usec=121221 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=140978
CPU time returned by wait4() is 5.2622
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): 1809.15
CPU time (s): 1800.05
CPU user time (s): 1794.75
CPU system time (s): 5.3
CPU usage (%): 99.497
Max. virtual memory (cumulated for all children) (KiB): 821100

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

runsolver used 2.18967 s user time and 5.9331 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Mon Jan 29 19:12:50 UTC 2007


IDJOB= 210686
IDBENCH= 4638
IDSOLVER= 86
FILE ID= node1/210686-1170097969

PBS_JOBID= 3689444

Free space on /tmp= 66480 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-40-40.xml
COMMAND LINE= /tmp/evaluation/210686-1170097969/solver /tmp/evaluation/210686-1170097969 /tmp/evaluation/210686-1170097969/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-210686-1170097969 -o ROOT/results/node1/solver-210686-1170097969 -C 1800 -M 900  /tmp/evaluation/210686-1170097969/solver /tmp/evaluation/210686-1170097969 /tmp/evaluation/210686-1170097969/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  d13c6dd432a5c3e073ce430b7f3f135c

RANDOM SEED= 681689094

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.230
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.230
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:       1156800 kB
Buffers:         27284 kB
Cached:         142920 kB
SwapCached:          0 kB
Active:         752896 kB
Inactive:        89128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1156800 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1484 kB
Writeback:           0 kB
Mapped:         697300 kB
Slab:            40304 kB
Committed_AS:   901760 kB
PageTables:       3656 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= 46142 MiB



End job on node1 on Mon Jan 29 19:43:01 UTC 2007