Trace number 214049

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.07 1814.63

General information on the benchmark

NamepseudoSeries/par/
par-32-4.xml
MD5SUM9c351985b3c0fab0e0a2671ea674c5f3
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
Satisfiable
(Un)Satisfiability was proved
Number of variables6352
Number of constraints13348
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension13348
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/214049-1170099822/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/214049-1170099822/unknown.xml [Mon Jan 29 20:43:45 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/214049-1170099822/unknown.xml /tmp/evaluation/214049-1170099822/sugar26015.csp [Mon Jan 29 20:43:45 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/214049-1170099822/sugar-v0-40.jar -convert /tmp/evaluation/214049-1170099822/unknown.xml /tmp/evaluation/214049-1170099822/sugar26015.csp
0.17	c BEGIN convert /tmp/evaluation/214049-1170099822/unknown.xml
1.50	c END convert (1.331112 seconds)
1.54	c # CONVERT_XML  END : /tmp/evaluation/214049-1170099822/sugar26015.csp 548428 bytes (2 seconds) [Mon Jan 29 20:43:47 2007]
1.54	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
1.54	
1.54	c # GENERATE_SAT  BEGIN : /tmp/evaluation/214049-1170099822/sugar26015.bcnf [Mon Jan 29 20:43:47 2007]
1.54	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/214049-1170099822/sugar-v0-40.jar -bcnf -map /tmp/evaluation/214049-1170099822/sugar26015.map /tmp/evaluation/214049-1170099822/sugar26015.csp /tmp/evaluation/214049-1170099822/sugar26015.bcnf
1.66	c BEGIN parse /tmp/evaluation/214049-1170099822/sugar26015.csp
3.16	c END parse (1.49878 seconds)
3.16	c BEGIN simplify
3.17	c END simplify (0.008987 seconds)
3.17	c BEGIN encode /tmp/evaluation/214049-1170099822/sugar26015.bcnf
3.32	c END encode (0.146198 seconds)
3.43	c # GENERATE_SAT  END : 6211 variables 12952 clauses 182556 bytes (2 seconds) [Mon Jan 29 20:43:49 2007]
3.43	c # GENERATE_SAT  CPU : 1.83 = 0.07 + 0.01 + 1.66 + 0.09
3.43	
3.43	c # SOLVE_SAT  BEGIN : /tmp/evaluation/214049-1170099822/sugar26015.bcnf [Mon Jan 29 20:43:49 2007]
3.43	c # CMD : /tmp/evaluation/214049-1170099822/minisat /tmp/evaluation/214049-1170099822/sugar26015.bcnf /tmp/evaluation/214049-1170099822/sugar26015.out
3.44	c ==================================[MINISAT]===================================
3.44	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
3.44	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
3.44	c ==============================================================================
3.44	c |         0 |   11089    29076 |    3696       0        0     nan |  0.000 % |
3.45	c |       102 |   11089    29076 |    4065     102     1062    10.4 | 23.201 % |
3.48	c |       254 |   11089    29076 |    4472     254     4282    16.9 | 23.201 % |
3.51	c |       481 |   11090    29076 |    4919     480     7175    14.9 | 23.201 % |
3.57	c |       818 |   11092    29076 |    5411     815    14617    17.9 | 23.201 % |
3.64	c |      1325 |   11093    29076 |    5952    1321    22153    16.8 | 23.201 % |
3.77	c |      2084 |   11096    29076 |    6547    2077    39295    18.9 | 23.201 % |
3.95	c |      3223 |   11098    29076 |    7202    3214    59174    18.4 | 23.201 % |
4.55	c |      4932 |   11092    29061 |    7922    4921   104345    21.2 | 23.265 % |
5.07	c |      7494 |   11094    29061 |    8714    7481   169019    22.6 | 23.265 % |
6.01	c |     11338 |   11096    29061 |    9586    5974   164048    27.5 | 23.265 % |
7.87	c |     17105 |   11110    29061 |   10545    6153   176081    28.6 | 23.265 % |
10.60	c |     25754 |   11122    29061 |   11599    8716   235313    27.0 | 23.265 % |
15.11	c |     38728 |   11129    29061 |   12759    8509   203743    23.9 | 23.265 % |
22.38	c |     58189 |   11129    29061 |   14035   13648   330279    24.2 | 23.265 % |
34.23	c |     87381 |   11133    29061 |   15439   11553   264845    22.9 | 23.265 % |
52.82	c |    131171 |   11140    29061 |   16983   12799   287659    22.5 | 23.265 % |
82.99	c |    196856 |   11150    29061 |   18681   13458   299415    22.2 | 23.265 % |
128.13	c |    295382 |   11165    29061 |   20549   10691   217388    20.3 | 23.265 % |
200.28	c |    443171 |   11185    29061 |   22604   14595   322187    22.1 | 23.265 % |
314.91	c |    664854 |   11188    29061 |   24864   18569   406899    21.9 | 23.265 % |
502.87	c |    997379 |   11202    29061 |   27351   20591   442469    21.5 | 23.265 % |
805.80	c |   1496167 |   11208    29061 |   30086   21202   450925    21.3 | 23.265 % |
1283.22	c |   2244349 |   11220    29061 |   33095   16769   329279    19.6 | 23.265 % |
1814.62	s UNKNOWN
1814.62	c # ERROR No such file or directory /tmp/evaluation/214049-1170099822/sugar26015.out, at /tmp/evaluation/214049-1170099822/sugar line 393.
1814.62	
1814.62	c # MAIN  END :  (1815 seconds) [Mon Jan 29 21:14:00 2007]
1814.62	c # MAIN  CPU : 1798.61 = 0.07 + 0.01 + 1798.29 + 0.24
1814.62

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/node18/watcher-214049-1170099822 -o ROOT/results/node18/solver-214049-1170099822 -C 1800 -M 900 /tmp/evaluation/214049-1170099822/solver /tmp/evaluation/214049-1170099822 /tmp/evaluation/214049-1170099822/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: 1.55 1.88 1.96 5/87 26016
/proc/meminfo: memFree=1721472/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=12128 CPUtime=0
/proc/26015/stat : 26015 (sugar) R 26013 26015 25950 0 -1 4194304 498 0 0 0 0 0 0 0 20 0 1 0 29937065 12419072 217 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227848655585 0 0 4224 0 0 0 0 17 1 0 0
/proc/26015/statm: 3032 217 163 3 0 132 0

[startup+0.105088 s]
/proc/loadavg: 1.55 1.88 1.96 5/87 26016
/proc/meminfo: memFree=1721472/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=13724 CPUtime=0.04
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 29937065 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+0.513126 s]
/proc/loadavg: 1.55 1.88 1.96 5/87 26016
/proc/meminfo: memFree=1721472/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=13724 CPUtime=0.04
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29937065 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.33421 s]
/proc/loadavg: 1.55 1.88 1.96 4/95 26024
/proc/meminfo: memFree=1677888/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=13724 CPUtime=0.04
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29937065 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 3431 805 368 3 0 531 0
[pid=26017] ppid=26015 vsize=807412 CPUtime=1.26
/proc/26017/stat : 26017 (java) S 26015 26015 25950 0 -1 0 13493 0 1 0 116 10 0 0 17 0 8 0 29937070 826789888 13239 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26017/statm: 201853 13239 1694 14 0 189131 0
[pid=26017/tid=26018] ppid=26015 vsize=807412 CPUtime=0.2
/proc/26017/task/26018/stat : 26018 (java) R 26015 26015 25950 0 -1 64 6888 0 0 0 17 3 0 0 16 0 8 0 29937073 826789888 13239 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153822911 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26017/tid=26019] ppid=26015 vsize=807412 CPUtime=0
/proc/26017/task/26019/stat : 26019 (java) S 26015 26015 25950 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 29937074 826789888 13239 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26017/tid=26020] ppid=26015 vsize=807412 CPUtime=0
/proc/26017/task/26020/stat : 26020 (java) S 26015 26015 25950 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29937074 826789888 13239 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26017/tid=26021] ppid=26015 vsize=807412 CPUtime=0
/proc/26017/task/26021/stat : 26021 (java) S 26015 26015 25950 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29937077 826789888 13239 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26017/tid=26022] ppid=26015 vsize=807412 CPUtime=0.17
/proc/26017/task/26022/stat : 26022 (java) R 26015 26015 25950 0 -1 64 423 0 0 0 16 1 0 0 20 0 8 0 29937077 826789888 13239 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26017/tid=26023] ppid=26015 vsize=807412 CPUtime=0
/proc/26017/task/26023/stat : 26023 (java) S 26015 26015 25950 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29937077 826789888 13239 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26017/tid=26024] ppid=26015 vsize=807412 CPUtime=0
/proc/26017/task/26024/stat : 26024 (java) S 26015 26015 25950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29937077 826789888 13239 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 821136

[startup+2.97237 s]
/proc/loadavg: 1.55 1.88 1.96 3/96 26032
/proc/meminfo: memFree=1693696/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=13724 CPUtime=0.04
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29937065 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 3431 808 370 3 0 531 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26025] ppid=26015 vsize=807376 CPUtime=1.4
/proc/26025/stat : 26025 (java) R 26015 26015 25950 0 -1 0 10002 0 1 0 133 7 0 0 25 0 8 0 29937219 826753024 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26025/statm: 201844 9745 1506 14 0 189122 0
[pid=26025/tid=26026] ppid=26015 vsize=807376 CPUtime=0.24
/proc/26025/task/26026/stat : 26026 (java) R 26015 26015 25950 0 -1 64 3800 0 0 0 23 1 0 0 16 0 8 0 29937223 826753024 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827332 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26025/tid=26027] ppid=26015 vsize=807376 CPUtime=0
/proc/26025/task/26027/stat : 26027 (java) S 26015 26015 25950 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29937223 826753024 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26025/tid=26028] ppid=26015 vsize=807376 CPUtime=0
/proc/26025/task/26028/stat : 26028 (java) S 26015 26015 25950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29937223 826753024 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26025/tid=26029] ppid=26015 vsize=807376 CPUtime=0
/proc/26025/task/26029/stat : 26029 (java) S 26015 26015 25950 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29937227 826753024 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26025/tid=26030] ppid=26015 vsize=807376 CPUtime=0.14
/proc/26025/task/26030/stat : 26030 (java) S 26015 26015 25950 0 -1 64 412 0 0 0 14 0 0 0 16 0 8 0 29937227 826753024 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26025/tid=26031] ppid=26015 vsize=807376 CPUtime=0
/proc/26025/task/26031/stat : 26031 (java) S 26015 26015 25950 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29937227 826753024 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26025/tid=26032] ppid=26015 vsize=807376 CPUtime=0
/proc/26025/task/26032/stat : 26032 (java) S 26015 26015 25950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29937227 826753024 9745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 821100

[startup+6.25268 s]
/proc/loadavg: 1.58 1.88 1.96 3/89 26033
/proc/meminfo: memFree=1711096/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=3880 CPUtime=2.78
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 686 0 0 0 278 0 0 0 25 0 1 0 29937408 3973120 626 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/26033/statm: 970 626 52 112 0 854 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 22568

[startup+12.7303 s]
/proc/loadavg: 1.62 1.88 1.96 3/89 26033
/proc/meminfo: memFree=1710072/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=4656 CPUtime=9.2
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 869 0 0 0 920 0 0 0 25 0 1 0 29937408 4767744 809 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528043 0 0 4096 3 0 0 0 17 1 0 0
/proc/26033/statm: 1164 809 52 112 0 1048 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 23344

[startup+25.5826 s]
/proc/loadavg: 1.70 1.89 1.96 3/89 26033
/proc/meminfo: memFree=1709176/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=5092 CPUtime=21.93
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 960 0 0 0 2193 0 0 0 25 0 1 0 29937408 5214208 900 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26033/statm: 1273 900 52 112 0 1157 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 23780

[startup+51.271 s]
/proc/loadavg: 1.80 1.90 1.96 3/89 26033
/proc/meminfo: memFree=1707384/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=5508 CPUtime=47.39
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 1062 0 0 0 4738 1 0 0 25 0 1 0 29937408 5640192 1002 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26033/statm: 1377 1002 52 112 0 1261 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 24196

[startup+102.545 s]
/proc/loadavg: 1.91 1.91 1.96 3/89 26033
/proc/meminfo: memFree=1703864/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=6268 CPUtime=98.2
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 1247 0 0 0 9818 2 0 0 25 0 1 0 29937408 6418432 1187 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26033/statm: 1567 1187 52 112 0 1451 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 24956

[startup+162.563 s]
/proc/loadavg: 1.97 1.92 1.96 3/89 26033
/proc/meminfo: memFree=1700600/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=6864 CPUtime=157.67
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 1382 0 0 0 15765 2 0 0 25 0 1 0 29937408 7028736 1322 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/26033/statm: 1716 1322 52 112 0 1600 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 25552

[startup+222.576 s]
/proc/loadavg: 2.04 1.95 1.96 3/89 26033
/proc/meminfo: memFree=1697848/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=7256 CPUtime=217.14
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 1496 0 0 0 21711 3 0 0 25 0 1 0 29937408 7430144 1436 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/26033/statm: 1814 1436 52 112 0 1698 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 25944

[startup+282.593 s]
/proc/loadavg: 2.05 1.97 1.97 3/89 26033
/proc/meminfo: memFree=1694904/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0

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

/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 2097 0 0 0 122805 12 0 0 25 0 1 0 29937408 10305536 2037 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/26033/statm: 2516 2037 52 112 0 2400 0
Current children cumulated CPU time (s) 1231.48
Current children cumulated vsize (KiB) 28752

[startup+1302.94 s]
/proc/loadavg: 2.03 2.01 1.98 3/89 26296
/proc/meminfo: memFree=1802616/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=10064 CPUtime=1287.84
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 2100 0 0 0 128771 13 0 0 25 0 1 0 29937408 10305536 2040 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26033/statm: 2516 2040 52 112 0 2400 0
Current children cumulated CPU time (s) 1291.15
Current children cumulated vsize (KiB) 28752

[startup+1362.95 s]
/proc/loadavg: 2.01 2.00 1.98 3/89 26296
/proc/meminfo: memFree=1801144/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=10280 CPUtime=1347.54
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 2144 0 0 0 134741 13 0 0 25 0 1 0 29937408 10526720 2084 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528057 0 0 4096 3 0 0 0 17 0 0 0
/proc/26033/statm: 2570 2084 52 112 0 2454 0
Current children cumulated CPU time (s) 1350.85
Current children cumulated vsize (KiB) 28968

[startup+1422.97 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 26296
/proc/meminfo: memFree=1796280/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=10280 CPUtime=1407.24
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 2145 0 0 0 140711 13 0 0 25 0 1 0 29937408 10526720 2085 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528921 0 0 4096 3 0 0 0 17 0 0 0
/proc/26033/statm: 2570 2085 52 112 0 2454 0
Current children cumulated CPU time (s) 1410.55
Current children cumulated vsize (KiB) 28968

[startup+1482.98 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 26296
/proc/meminfo: memFree=1795256/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=10280 CPUtime=1466.92
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 2171 0 0 0 146679 13 0 0 25 0 1 0 29937408 10526720 2111 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/26033/statm: 2570 2111 52 112 0 2454 0
Current children cumulated CPU time (s) 1470.23
Current children cumulated vsize (KiB) 28968

[startup+1543 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 26296
/proc/meminfo: memFree=1794680/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=10280 CPUtime=1526.61
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 2171 0 0 0 152647 14 0 0 25 0 1 0 29937408 10526720 2111 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 0 0 0
/proc/26033/statm: 2570 2111 52 112 0 2454 0
Current children cumulated CPU time (s) 1529.92
Current children cumulated vsize (KiB) 28968

[startup+1603.01 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 26296
/proc/meminfo: memFree=1792312/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=10492 CPUtime=1586.31
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 2195 0 0 0 158617 14 0 0 25 0 1 0 29937408 10743808 2135 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525676 0 0 4096 3 0 0 0 17 0 0 0
/proc/26033/statm: 2623 2135 52 112 0 2507 0
Current children cumulated CPU time (s) 1589.62
Current children cumulated vsize (KiB) 29180

[startup+1663.02 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 26296
/proc/meminfo: memFree=1791992/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=10492 CPUtime=1645.99
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 2218 0 0 0 164585 14 0 0 25 0 1 0 29937408 10743808 2158 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528418 0 0 4096 3 0 0 0 17 0 0 0
/proc/26033/statm: 2623 2158 52 112 0 2507 0
Current children cumulated CPU time (s) 1649.3
Current children cumulated vsize (KiB) 29180

[startup+1723.03 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 26296
/proc/meminfo: memFree=1791224/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=10492 CPUtime=1705.68
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 2218 0 0 0 170554 14 0 0 25 0 1 0 29937408 10743808 2158 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/26033/statm: 2623 2158 52 112 0 2507 0
Current children cumulated CPU time (s) 1708.99
Current children cumulated vsize (KiB) 29180

[startup+1783.06 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 26296
/proc/meminfo: memFree=1788920/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=10624 CPUtime=1765.38
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 2245 0 0 0 176524 14 0 0 25 0 1 0 29937408 10878976 2185 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528083 0 0 4096 3 0 0 0 17 0 0 0
/proc/26033/statm: 2656 2185 52 112 0 2540 0
Current children cumulated CPU time (s) 1768.69
Current children cumulated vsize (KiB) 29312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.61 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 26296
/proc/meminfo: memFree=1788728/2055920 swapFree=4192812/4192956
[pid=26015] ppid=26013 vsize=18688 CPUtime=1.87
/proc/26015/stat : 26015 (sugar) S 26013 26015 25950 0 -1 4194304 2536 12047 0 1 10 2 166 9 16 0 1 0 29937065 19136512 2049 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26015/statm: 4672 2049 373 3 0 1772 0
[pid=26017] ppid=26015 vsize=0 CPUtime=1.44
/proc/26017/stat : 26017 (java) Z 26015 26015 25950 0 -1 1036 13942 0 1 0 133 11 0 0 17 0 1 0 29937070 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26017/statm: 0 0 0 0 0 0 0
[pid=26033] ppid=26015 vsize=10780 CPUtime=1796.76
/proc/26033/stat : 26033 (minisat) R 26015 26015 25950 0 -1 0 2259 0 0 0 179662 14 0 0 25 0 1 0 29937408 11038720 2199 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/26033/statm: 2695 2199 52 112 0 2579 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 29468

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26015 and gives childrusage.ru_utime.tv_sec=1798 childrusage.ru_utime.tv_usec=404600 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=271958
CPU time returned by wait4() is 1798.68
while last known CPU time is 1800.07

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

Real time (s): 1814.63
CPU time (s): 1800.07
CPU user time (s): 1799.71
CPU system time (s): 0.36
CPU usage (%): 99.1979
Max. virtual memory (cumulated for all children) (KiB): 821136

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

runsolver used 2.05469 s user time and 6.00309 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Mon Jan 29 19:43:43 UTC 2007


IDJOB= 214049
IDBENCH= 4894
IDSOLVER= 86
FILE ID= node18/214049-1170099822

PBS_JOBID= 3689505

Free space on /tmp= 66529 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-32-4.xml
COMMAND LINE= /tmp/evaluation/214049-1170099822/solver /tmp/evaluation/214049-1170099822 /tmp/evaluation/214049-1170099822/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-214049-1170099822 -o ROOT/results/node18/solver-214049-1170099822 -C 1800 -M 900  /tmp/evaluation/214049-1170099822/solver /tmp/evaluation/214049-1170099822 /tmp/evaluation/214049-1170099822/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  9c351985b3c0fab0e0a2671ea674c5f3

RANDOM SEED= 349655724

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.236
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.236
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:       1722080 kB
Buffers:         17856 kB
Cached:          93732 kB
SwapCached:          0 kB
Active:         241364 kB
Inactive:        36868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1722080 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3060 kB
Writeback:           0 kB
Mapped:         186372 kB
Slab:            40516 kB
Committed_AS:   478028 kB
PageTables:       2248 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= 66550 MiB



End job on node18 on Mon Jan 29 20:14:00 UTC 2007