Trace number 217852

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.03 1808.04

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-67-11-a3.xml
MD5SUMd7c2fefbd3266c439250439ebb1f1515
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark822.148
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables66
Number of constraints1595
Maximum constraint arity3
Maximum domain size68
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1595
Global constraints used (with number of constraints)

Solver Data (download as text)

0.13	c # Sugar v0-40 (/tmp/evaluation/217852-1170101633/sugar-v0-40.jar)
0.13	
0.14	c # MAIN  BEGIN : /tmp/evaluation/217852-1170101633/unknown.xml [Mon Jan 29 21:13:54 2007]
0.14	c # CONVERT_XML  BEGIN : /tmp/evaluation/217852-1170101633/unknown.xml /tmp/evaluation/217852-1170101633/sugar28435.csp [Mon Jan 29 21:13:54 2007]
0.14	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217852-1170101633/sugar-v0-40.jar -convert /tmp/evaluation/217852-1170101633/unknown.xml /tmp/evaluation/217852-1170101633/sugar28435.csp
0.32	c BEGIN convert /tmp/evaluation/217852-1170101633/unknown.xml
0.78	c END convert (0.458164 seconds)
0.80	c # CONVERT_XML  END : /tmp/evaluation/217852-1170101633/sugar28435.csp 23627 bytes (1 seconds) [Mon Jan 29 21:13:55 2007]
0.80	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
0.80	
0.80	c # GENERATE_SAT  BEGIN : /tmp/evaluation/217852-1170101633/sugar28435.bcnf [Mon Jan 29 21:13:55 2007]
0.80	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217852-1170101633/sugar-v0-40.jar -bcnf -map /tmp/evaluation/217852-1170101633/sugar28435.map /tmp/evaluation/217852-1170101633/sugar28435.csp /tmp/evaluation/217852-1170101633/sugar28435.bcnf
0.91	c BEGIN parse /tmp/evaluation/217852-1170101633/sugar28435.csp
1.25	c END parse (0.338254 seconds)
1.25	c BEGIN simplify
1.28	c END simplify (0.026944 seconds)
1.28	c BEGIN encode /tmp/evaluation/217852-1170101633/sugar28435.bcnf
1.78	c END encode (0.497763 seconds)
1.84	c # GENERATE_SAT  END : 7337 variables 459096 clauses 7238824 bytes (1 seconds) [Mon Jan 29 21:13:56 2007]
1.84	c # GENERATE_SAT  CPU : 0.03 = 0.02 + 0.01 + 0 + 0
1.84	
1.84	c # SOLVE_SAT  BEGIN : /tmp/evaluation/217852-1170101633/sugar28435.bcnf [Mon Jan 29 21:13:56 2007]
1.84	c # CMD : /tmp/evaluation/217852-1170101633/minisat /tmp/evaluation/217852-1170101633/sugar28435.bcnf /tmp/evaluation/217852-1170101633/sugar28435.out
2.12	c ==================================[MINISAT]===================================
2.12	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
2.12	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
2.12	c ==============================================================================
2.12	c |         0 |  414637  1227271 |  138212       0        0     nan |  0.000 % |
2.62	c |       100 |  414637  1227271 |  152033     100     1226    12.3 |  5.997 % |
2.78	c |       250 |  414637  1227271 |  167236     250     2519    10.1 |  5.997 % |
3.24	c |       475 |  414637  1227271 |  183960     475     4894    10.3 |  5.997 % |
3.62	c |       812 |  414642  1227271 |  202356     806     7555     9.4 |  6.611 % |
4.21	c |      1319 |  414643  1227271 |  222591    1312    12730     9.7 |  6.611 % |
5.21	c |      2079 |  414644  1227271 |  244850    2071    21319    10.3 |  6.611 % |
7.68	c |      3218 |  409767  1214191 |  269336    3210    33449    10.4 |  6.612 % |
10.00	c |      4926 |  409768  1214191 |  296269    4917    52404    10.7 |  6.612 % |
15.24	c |      7489 |  409769  1214191 |  325896    7479    79624    10.6 |  6.613 % |
21.06	c |     11333 |  409774  1214191 |  358486   11318   119982    10.6 |  6.612 % |
28.84	c |     17099 |  409779  1214191 |  394334   17079   183673    10.8 |  6.611 % |
39.60	c |     25748 |  409782  1214191 |  433768   25725   270625    10.5 |  6.613 % |
62.65	c |     38722 |  359414  1078453 |  477145   32052   394405    12.3 | 11.723 % |
104.01	c |     58185 |  359414  1078453 |  524859   51515   674823    13.1 | 11.721 % |
169.49	c |     87377 |  359419  1078453 |  577345   80702  1107866    13.7 | 11.723 % |
307.56	c |    131167 |  359425  1078453 |  635080  124486  1757890    14.1 | 11.724 % |
471.14	c |    196852 |  338642  1019509 |  698588  125177  1757588    14.0 | 14.298 % |
776.23	c |    295380 |  338644  1019509 |  768447  223703  3373490    15.1 | 14.298 % |
1430.32	c |    443170 |  338645  1019509 |  845292  371492  5878020    15.8 | 14.299 % |
1807.03	
1807.03	s UNKNOWN
1807.03	c # INTERRUPTED
1807.03	c # MAIN  END :  (1807 seconds) [Mon Jan 29 21:44:01 2007]
1807.03	c # MAIN  CPU : 0.03 = 0.02 + 0.01 + 0 + 0
1807.03

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/node35/watcher-217852-1170101633 -o ROOT/results/node35/solver-217852-1170101633 -C 1800 -M 900 /tmp/evaluation/217852-1170101633/solver /tmp/evaluation/217852-1170101633 /tmp/evaluation/217852-1170101633/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.44 2.54 3.89 4/65 28436
/proc/meminfo: memFree=1954448/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=5352 CPUtime=0
/proc/28435/stat : 28435 (solver) D 28433 28435 27364 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 3927113 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 266134416679 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/28435/statm: 1338 231 193 169 0 49 0

[startup+0.106093 s]
/proc/loadavg: 1.44 2.54 3.89 4/65 28436
/proc/meminfo: memFree=1954448/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=12668 CPUtime=0
/proc/28435/stat : 28435 (sugar) D 28433 28435 27364 0 -1 4194304 776 0 4 0 0 0 0 0 18 0 1 0 3927113 12972032 499 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 0 18446744071563479169 0 0 17 0 0 0
/proc/28435/statm: 3167 499 315 3 0 267 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12668

[startup+0.514177 s]
/proc/loadavg: 1.44 2.54 3.89 4/65 28436
/proc/meminfo: memFree=1954448/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=13724 CPUtime=0.03
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1117 0 4 0 3 0 0 0 15 0 1 0 3927113 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33634 s]
/proc/loadavg: 1.44 2.54 3.89 2/74 28452
/proc/meminfo: memFree=1936072/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=13724 CPUtime=0.03
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1184 0 4 0 3 0 0 0 16 0 1 0 3927113 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3431 808 370 3 0 531 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=807356 CPUtime=0.5
/proc/28445/stat : 28445 (java) S 28435 28435 27364 0 -1 0 6394 0 1 0 46 4 0 0 16 0 8 0 3927194 826732544 6144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28445/statm: 201839 6144 1510 14 0 189117 0
[pid=28445/tid=28446] ppid=28435 vsize=807356 CPUtime=0.01
/proc/28445/task/28446/stat : 28446 (java) S 28435 28435 27364 0 -1 64 426 0 0 0 1 0 0 0 16 0 8 0 3927197 826732544 6145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28445/tid=28447] ppid=28435 vsize=807356 CPUtime=0
/proc/28445/task/28447/stat : 28447 (java) S 28435 28435 27364 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3927197 826732544 6145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28445/tid=28448] ppid=28435 vsize=807356 CPUtime=0
/proc/28445/task/28448/stat : 28448 (java) S 28435 28435 27364 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3927197 826732544 6145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28445/tid=28449] ppid=28435 vsize=807356 CPUtime=0
/proc/28445/task/28449/stat : 28449 (java) S 28435 28435 27364 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 3927200 826732544 6145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28445/tid=28450] ppid=28435 vsize=807356 CPUtime=0.13
/proc/28445/task/28450/stat : 28450 (java) S 28435 28435 27364 0 -1 64 410 0 0 0 13 0 0 0 16 0 8 0 3927200 826732544 6145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28445/tid=28451] ppid=28435 vsize=807356 CPUtime=0
/proc/28445/task/28451/stat : 28451 (java) S 28435 28435 27364 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 3927200 826732544 6145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28445/tid=28452] ppid=28435 vsize=807356 CPUtime=0
/proc/28445/task/28452/stat : 28452 (java) S 28435 28435 27364 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3927200 826732544 6145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 821080

[startup+2.97868 s]
/proc/loadavg: 1.44 2.54 3.89 2/68 28453
/proc/meminfo: memFree=1919552/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 15 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=19196 CPUtime=1.12
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 5440 0 0 0 109 3 0 0 25 0 1 0 3927297 19656704 4400 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/28453/statm: 4799 4400 51 112 0 4683 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 34604

[startup+6.26232 s]
/proc/loadavg: 1.40 2.51 3.87 2/68 28453
/proc/meminfo: memFree=1919112/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=19328 CPUtime=4.4
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 5470 0 0 0 437 3 0 0 25 0 1 0 3927297 19791872 4430 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28453/statm: 4832 4430 51 112 0 4716 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 34736

[startup+12.7326 s]
/proc/loadavg: 1.37 2.48 3.86 2/68 28453
/proc/meminfo: memFree=1919048/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=19460 CPUtime=10.86
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 5494 0 0 0 1083 3 0 0 25 0 1 0 3927297 19927040 4454 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28453/statm: 4865 4454 51 112 0 4749 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 34868

[startup+25.5572 s]
/proc/loadavg: 1.29 2.41 3.81 2/68 28453
/proc/meminfo: memFree=1919176/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=19724 CPUtime=23.68
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 5569 0 0 0 2365 3 0 0 25 0 1 0 3927297 20197376 4529 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528433 0 0 4096 3 0 0 0 17 1 0 0
/proc/28453/statm: 4931 4529 51 112 0 4815 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 35132

[startup+51.2101 s]
/proc/loadavg: 1.19 2.30 3.74 2/68 28453
/proc/meminfo: memFree=1918536/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=20612 CPUtime=49.32
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 5780 0 0 0 4928 4 0 0 25 0 1 0 3927297 21106688 4740 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/28453/statm: 5153 4740 51 112 0 5037 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 36020

[startup+102.508 s]
/proc/loadavg: 1.08 2.09 3.59 2/68 28453
/proc/meminfo: memFree=1917832/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=21508 CPUtime=100.61
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 6009 0 0 0 10056 5 0 0 25 0 1 0 3927297 22024192 4969 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528340 0 0 4096 3 0 0 0 17 1 0 0
/proc/28453/statm: 5377 4969 51 112 0 5261 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 36916

[startup+162.532 s]
/proc/loadavg: 1.03 1.89 3.43 2/68 28453
/proc/meminfo: memFree=1915208/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=24116 CPUtime=160.61
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 6637 0 0 0 16055 6 0 0 25 0 1 0 3927297 24694784 5597 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/28453/statm: 6029 5597 51 112 0 5913 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 39524

[startup+222.56 s]
/proc/loadavg: 1.01 1.73 3.27 2/68 28453
/proc/meminfo: memFree=1913352/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0

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

/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=52464 CPUtime=1359.03
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 13557 0 0 0 135885 18 0 0 25 0 1 0 3927297 53723136 12517 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28453/statm: 13116 12517 51 112 0 13000 0
Current children cumulated CPU time (s) 1360.56
Current children cumulated vsize (KiB) 67872

[startup+1423.28 s]
/proc/loadavg: 2.41 1.81 1.93 3/85 28682
/proc/meminfo: memFree=1289136/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=53576 CPUtime=1418.45
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 13803 0 0 0 141826 19 0 0 25 0 1 0 3927297 54861824 12763 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528426 0 0 4096 3 0 0 0 17 0 0 0
/proc/28453/statm: 13394 12763 51 112 0 13278 0
Current children cumulated CPU time (s) 1419.98
Current children cumulated vsize (KiB) 68984

[startup+1483.31 s]
/proc/loadavg: 2.55 1.95 1.97 4/85 28682
/proc/meminfo: memFree=1285424/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=54732 CPUtime=1477.89
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 14112 0 0 0 147769 20 0 0 25 0 1 0 3927297 56045568 13072 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/28453/statm: 13683 13072 51 112 0 13567 0
Current children cumulated CPU time (s) 1479.42
Current children cumulated vsize (KiB) 70140

[startup+1543.31 s]
/proc/loadavg: 2.45 2.02 1.99 4/85 28682
/proc/meminfo: memFree=1283696/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=55728 CPUtime=1537.29
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 14370 0 0 0 153709 20 0 0 25 0 1 0 3927297 57065472 13330 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28453/statm: 13932 13330 51 112 0 13816 0
Current children cumulated CPU time (s) 1538.82
Current children cumulated vsize (KiB) 71136

[startup+1603.32 s]
/proc/loadavg: 2.24 2.04 2.00 3/78 28683
/proc/meminfo: memFree=1648488/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=57196 CPUtime=1596.69
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 14739 0 0 0 159648 21 0 0 25 0 1 0 3927297 58568704 13699 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28453/statm: 14299 13699 51 112 0 14183 0
Current children cumulated CPU time (s) 1598.22
Current children cumulated vsize (KiB) 72604

[startup+1663.34 s]
/proc/loadavg: 2.08 2.03 2.00 3/78 28683
/proc/meminfo: memFree=1638440/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=58128 CPUtime=1656.11
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 14973 0 0 0 165589 22 0 0 25 0 1 0 3927297 59523072 13933 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28453/statm: 14532 13933 51 112 0 14416 0
Current children cumulated CPU time (s) 1657.64
Current children cumulated vsize (KiB) 73536

[startup+1723.35 s]
/proc/loadavg: 2.03 2.02 2.00 3/78 28683
/proc/meminfo: memFree=1629352/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=59072 CPUtime=1715.58
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 15233 0 0 0 171536 22 0 0 25 0 1 0 3927297 60489728 14193 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28453/statm: 14768 14193 51 112 0 14652 0
Current children cumulated CPU time (s) 1717.11
Current children cumulated vsize (KiB) 74480

[startup+1783.38 s]
/proc/loadavg: 2.01 2.02 2.00 3/78 28683
/proc/meminfo: memFree=1621672/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=59980 CPUtime=1775.04
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 15467 0 0 0 177481 23 0 0 25 0 1 0 3927297 61419520 14427 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28453/statm: 14995 14427 51 112 0 14879 0
Current children cumulated CPU time (s) 1776.57
Current children cumulated vsize (KiB) 75388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.02 s]
/proc/loadavg: 2.00 2.01 2.00 3/78 28683
/proc/meminfo: memFree=1618280/2055920 swapFree=4192812/4192956
[pid=28435] ppid=28433 vsize=15408 CPUtime=0.06
/proc/28435/stat : 28435 (sugar) S 28433 28435 27364 0 -1 4194304 1707 0 4 0 5 1 0 0 16 0 1 0 3927113 15777792 1221 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28435/statm: 3852 1221 373 3 0 952 0
[pid=28437] ppid=28435 vsize=0 CPUtime=0.52
/proc/28437/stat : 28437 (java) Z 28435 28435 27364 0 -1 1036 4663 0 20 0 47 5 0 0 16 0 1 0 3927127 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28437/statm: 0 0 0 0 0 0 0
[pid=28445] ppid=28435 vsize=0 CPUtime=0.95
/proc/28445/stat : 28445 (java) Z 28435 28435 27364 0 -1 1036 6415 0 1 0 88 7 0 0 16 0 1 0 3927194 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28445/statm: 0 0 0 0 0 0 0
[pid=28453] ppid=28435 vsize=60440 CPUtime=1798.49
/proc/28453/stat : 28453 (minisat) R 28435 28435 27364 0 -1 0 15577 0 0 0 179826 23 0 0 25 0 1 0 3927297 61890560 14537 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28453/statm: 15110 14537 51 112 0 14994 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 75848

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 28435 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=57991 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=18997
CPU time returned by wait4() is 0.076988
while last known CPU time is 1800.03

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

Real time (s): 1808.04
CPU time (s): 1800.03
CPU user time (s): 1799.66
CPU system time (s): 0.37
CPU usage (%): 99.5569
Max. virtual memory (cumulated for all children) (KiB): 821080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.057991
system time used= 0.018997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1792
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77
involuntary context switches= 11

runsolver used 2.04569 s user time and 4.86126 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Mon Jan 29 20:13:53 UTC 2007


IDJOB= 217852
IDBENCH= 5175
IDSOLVER= 86
FILE ID= node35/217852-1170101633

PBS_JOBID= 3689723

Free space on /tmp= 66564 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-67-11-a3.xml
COMMAND LINE= /tmp/evaluation/217852-1170101633/solver /tmp/evaluation/217852-1170101633 /tmp/evaluation/217852-1170101633/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-217852-1170101633 -o ROOT/results/node35/solver-217852-1170101633 -C 1800 -M 900  /tmp/evaluation/217852-1170101633/solver /tmp/evaluation/217852-1170101633 /tmp/evaluation/217852-1170101633/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  d7c2fefbd3266c439250439ebb1f1515

RANDOM SEED= 19181822

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.263
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.263
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:       1955056 kB
Buffers:         12532 kB
Cached:          27928 kB
SwapCached:          0 kB
Active:          40196 kB
Inactive:        15924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1955056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1164 kB
Writeback:           0 kB
Mapped:          25848 kB
Slab:            30744 kB
Committed_AS:   199592 kB
PageTables:       1412 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= 66475 MiB



End job on node35 on Mon Jan 29 20:44:02 UTC 2007