Trace number 216444

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.02 1803.95

General information on the benchmark

NamepseudoSeries/chnl/
chnl-20-30.xml
MD5SUM57eb3fb1525664572c92f4a647c3ff1e
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 variables1200
Number of constraints100
Maximum constraint arity30
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension100
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/216444-1170100651/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/216444-1170100651/unknown.xml [Mon Jan 29 20:57:31 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/216444-1170100651/unknown.xml /tmp/evaluation/216444-1170100651/sugar27190.csp [Mon Jan 29 20:57:31 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216444-1170100651/sugar-v0-40.jar -convert /tmp/evaluation/216444-1170100651/unknown.xml /tmp/evaluation/216444-1170100651/sugar27190.csp
0.17	c BEGIN convert /tmp/evaluation/216444-1170100651/unknown.xml
0.53	c END convert (0.358044 seconds)
0.55	c # CONVERT_XML  END : /tmp/evaluation/216444-1170100651/sugar27190.csp 51110 bytes (0 seconds) [Mon Jan 29 20:57:31 2007]
0.55	c # CONVERT_XML  CPU : 0.01 = 0 + 0.01 + 0 + 0
0.55	
0.55	c # GENERATE_SAT  BEGIN : /tmp/evaluation/216444-1170100651/sugar27190.bcnf [Mon Jan 29 20:57:31 2007]
0.55	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216444-1170100651/sugar-v0-40.jar -bcnf -map /tmp/evaluation/216444-1170100651/sugar27190.map /tmp/evaluation/216444-1170100651/sugar27190.csp /tmp/evaluation/216444-1170100651/sugar27190.bcnf
0.67	c BEGIN parse /tmp/evaluation/216444-1170100651/sugar27190.csp
1.50	c END parse (0.833576 seconds)
1.50	c BEGIN simplify
1.51	c END simplify (0.004562 seconds)
1.51	c BEGIN encode /tmp/evaluation/216444-1170100651/sugar27190.bcnf
1.62	c END encode (0.113374 seconds)
1.71	c # GENERATE_SAT  END : 8640 variables 39720 clauses 553224 bytes (2 seconds) [Mon Jan 29 20:57:33 2007]
1.71	c # GENERATE_SAT  CPU : 0.04 = 0.04 + 0 + 0 + 0
1.71	
1.71	c # SOLVE_SAT  BEGIN : /tmp/evaluation/216444-1170100651/sugar27190.bcnf [Mon Jan 29 20:57:33 2007]
1.71	c # CMD : /tmp/evaluation/216444-1170100651/minisat /tmp/evaluation/216444-1170100651/sugar27190.bcnf /tmp/evaluation/216444-1170100651/sugar27190.out
1.74	c ==================================[MINISAT]===================================
1.74	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
1.74	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
1.74	c ==============================================================================
1.74	c |         0 |   26440    70540 |    8813       0        0     nan |  0.000 % |
1.75	c |       101 |   26440    70540 |    9694     101     2741    27.1 | 34.722 % |
1.76	c |       251 |   26440    70540 |   10663     251     5487    21.9 | 34.722 % |
1.78	c |       477 |   26440    70540 |   11730     477    10233    21.5 | 34.722 % |
1.80	c |       815 |   26440    70540 |   12903     815    19004    23.3 | 34.722 % |
1.83	c |      1322 |   26440    70540 |   14193    1322    32203    24.4 | 34.722 % |
1.91	c |      2082 |   26440    70540 |   15612    2082    59980    28.8 | 34.722 % |
2.01	c |      3221 |   26440    70540 |   17174    3221   104626    32.5 | 34.722 % |
2.17	c |      4929 |   26440    70540 |   18891    4929   180518    36.6 | 34.722 % |
2.40	c |      7493 |   26440    70540 |   20780    7493   242662    32.4 | 34.722 % |
3.05	c |     11340 |   26440    70540 |   22858   11340   446172    39.3 | 34.722 % |
3.72	c |     17107 |   26440    70540 |   25144   17107   621387    36.3 | 34.722 % |
5.85	c |     25756 |   26440    70540 |   27658   25756  1098396    42.6 | 34.722 % |
8.87	c |     38731 |   26440    70540 |   30424   19237  1190414    61.9 | 34.722 % |
15.66	c |     58192 |   26440    70540 |   33467   16251   813358    50.0 | 34.722 % |
25.79	c |     87385 |   26440    70540 |   36814   19733  1587006    80.4 | 34.722 % |
45.57	c |    131174 |   26440    70540 |   40495   35459  2296986    64.8 | 34.722 % |
65.52	c |    196858 |   26440    70540 |   44545   39809  2017977    50.7 | 34.722 % |
96.37	c |    295385 |   26440    70540 |   48999   33626  1510616    44.9 | 34.722 % |
225.54	c |    443176 |   26440    70540 |   53899   27859  2747112    98.6 | 34.722 % |
334.83	c |    664861 |   26440    70540 |   59289   34530  1843267    53.4 | 34.722 % |
497.61	c |    997386 |   26440    70540 |   65218   30285  1964163    64.9 | 34.722 % |
722.55	c |   1496174 |   26440    70540 |   71740   57654  2828118    49.1 | 34.722 % |
1146.70	c |   2244356 |   26440    70540 |   78914   45190  3243878    71.8 | 34.722 % |
1802.94	
1802.94	s UNKNOWN
1802.94	c # INTERRUPTED
1802.94	c # MAIN  END :  (1803 seconds) [Mon Jan 29 21:27:34 2007]
1802.94	c # MAIN  CPU : 0.05 = 0.04 + 0.01 + 0 + 0
1802.94

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/node62/watcher-216444-1170100651 -o ROOT/results/node62/solver-216444-1170100651 -C 1800 -M 900 /tmp/evaluation/216444-1170100651/solver /tmp/evaluation/216444-1170100651 /tmp/evaluation/216444-1170100651/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.44 2.87 2.82 5/81 27191
/proc/meminfo: memFree=90376/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=18540 CPUtime=0
/proc/27190/stat : 27190 (runsolver) R 27188 27190 26377 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30022148 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 236437695783 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27190/statm: 4635 279 244 17 0 2626 0

[startup+0.109514 s]
/proc/loadavg: 2.44 2.87 2.82 5/81 27191
/proc/meminfo: memFree=90376/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=13724 CPUtime=0.04
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30022148 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27190/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+0.522561 s]
/proc/loadavg: 2.44 2.87 2.82 5/81 27191
/proc/meminfo: memFree=90376/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=13724 CPUtime=0.04
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30022148 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27190/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.34365 s]
/proc/loadavg: 2.44 2.87 2.82 4/90 27207
/proc/meminfo: memFree=49792/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=13724 CPUtime=0.04
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30022148 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27190/statm: 3431 809 371 3 0 531 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=807360 CPUtime=0.77
/proc/27200/stat : 27200 (java) R 27190 27190 26377 0 -1 0 7477 0 1 0 73 4 0 0 18 0 8 0 30022203 826736640 7225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154523580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27200/statm: 201840 7225 1506 14 0 189118 0
[pid=27200/tid=27201] ppid=27190 vsize=807360 CPUtime=0.04
/proc/27200/task/27201/stat : 27201 (java) S 27190 27190 26377 0 -1 64 1275 0 0 0 4 0 0 0 16 0 8 0 30022206 826736640 7225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27200/tid=27202] ppid=27190 vsize=807360 CPUtime=0
/proc/27200/task/27202/stat : 27202 (java) S 27190 27190 26377 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30022207 826736640 7225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27200/tid=27203] ppid=27190 vsize=807360 CPUtime=0
/proc/27200/task/27203/stat : 27203 (java) S 27190 27190 26377 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30022207 826736640 7225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27200/tid=27204] ppid=27190 vsize=807360 CPUtime=0
/proc/27200/task/27204/stat : 27204 (java) S 27190 27190 26377 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30022210 826736640 7225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27200/tid=27205] ppid=27190 vsize=807360 CPUtime=0.14
/proc/27200/task/27205/stat : 27205 (java) R 27190 27190 26377 0 -1 64 411 0 0 0 14 0 0 0 20 0 8 0 30022210 826736640 7225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27200/tid=27206] ppid=27190 vsize=807360 CPUtime=0
/proc/27200/task/27206/stat : 27206 (java) S 27190 27190 26377 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30022210 826736640 7225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27200/tid=27207] ppid=27190 vsize=807360 CPUtime=0
/proc/27200/task/27207/stat : 27207 (java) S 27190 27190 26377 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30022210 826736640 7225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 821084

[startup+2.98185 s]
/proc/loadavg: 2.44 2.87 2.82 3/84 27208
/proc/meminfo: memFree=44856/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 15 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=4996 CPUtime=1.24
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 1058 0 0 0 124 0 0 0 25 0 1 0 30022319 5115904 907 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/27208/statm: 1249 907 52 112 0 1133 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 21280

[startup+6.18323 s]
/proc/loadavg: 2.41 2.85 2.81 3/84 27208
/proc/meminfo: memFree=16184/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=8996 CPUtime=4.36
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 2010 0 0 0 433 3 0 0 25 0 1 0 30022319 9211904 1859 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134640104 0 0 4096 3 0 0 0 17 1 0 0
/proc/27208/statm: 2249 1859 52 112 0 2133 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 25280

[startup+12.651 s]
/proc/loadavg: 2.37 2.84 2.81 3/84 27208
/proc/meminfo: memFree=15096/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=11896 CPUtime=10.73
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 2771 0 0 0 1065 8 0 0 25 0 1 0 30022319 12181504 2620 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528442 0 0 4096 3 0 0 0 17 1 0 0
/proc/27208/statm: 2974 2620 52 112 0 2858 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 28180

[startup+25.5165 s]
/proc/loadavg: 2.44 2.83 2.81 3/84 27208
/proc/meminfo: memFree=15032/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=16308 CPUtime=23.48
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 3843 0 0 0 2337 11 0 0 25 0 1 0 30022319 16699392 3692 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527281 0 0 4096 3 0 0 0 17 1 0 0
/proc/27208/statm: 4077 3692 52 112 0 3961 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 32592

[startup+51.2165 s]
/proc/loadavg: 2.22 2.75 2.78 2/77 27211
/proc/meminfo: memFree=1911416/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=18776 CPUtime=48.83
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 4466 0 0 0 4862 21 0 0 25 0 1 0 30022319 19226624 4315 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134532777 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 4694 4315 52 112 0 4578 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 35060

[startup+102.506 s]
/proc/loadavg: 2.15 2.64 2.74 3/77 27275
/proc/meminfo: memFree=1883704/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=20796 CPUtime=99.7
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 4965 0 0 0 9944 26 0 0 25 0 1 0 30022319 21295104 4814 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 5199 4814 52 112 0 5083 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 37080

[startup+162.533 s]
/proc/loadavg: 2.05 2.52 2.69 3/77 27275
/proc/meminfo: memFree=1868664/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=34040 CPUtime=159.68
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 8186 0 0 0 15939 29 0 0 25 0 1 0 30022319 34856960 8035 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 8510 8035 52 112 0 8394 0
Current children cumulated CPU time (s) 161.29
Current children cumulated vsize (KiB) 50324

[startup+222.581 s]
/proc/loadavg: 2.02 2.43 2.64 3/83 27347
/proc/meminfo: memFree=1857448/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0

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

/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=63980 CPUtime=1359.43
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 15144 0 0 0 135886 57 0 0 25 0 1 0 30022319 65515520 14993 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 15995 14993 52 112 0 15879 0
Current children cumulated CPU time (s) 1361.04
Current children cumulated vsize (KiB) 80264

[startup+1423.58 s]
/proc/loadavg: 2.04 2.03 2.17 3/77 27473
/proc/meminfo: memFree=1811576/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=67088 CPUtime=1419.42
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 15892 0 0 0 141884 58 0 0 25 0 1 0 30022319 68698112 15741 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 16772 15741 52 112 0 16656 0
Current children cumulated CPU time (s) 1421.03
Current children cumulated vsize (KiB) 83372

[startup+1483.64 s]
/proc/loadavg: 2.01 2.02 2.16 3/77 27473
/proc/meminfo: memFree=1809336/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=68928 CPUtime=1479.4
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 16379 0 0 0 147882 58 0 0 25 0 1 0 30022319 70582272 16228 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 17232 16228 52 112 0 17116 0
Current children cumulated CPU time (s) 1481.01
Current children cumulated vsize (KiB) 85212

[startup+1543.69 s]
/proc/loadavg: 2.00 2.02 2.15 3/77 27473
/proc/meminfo: memFree=1806712/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=70784 CPUtime=1539.41
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 16825 0 0 0 153882 59 0 0 25 0 1 0 30022319 72482816 16674 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 17696 16674 52 112 0 17580 0
Current children cumulated CPU time (s) 1541.02
Current children cumulated vsize (KiB) 87068

[startup+1603.73 s]
/proc/loadavg: 2.00 2.01 2.13 3/77 27473
/proc/meminfo: memFree=1804984/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=72700 CPUtime=1599.4
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 17263 0 0 0 159880 60 0 0 25 0 1 0 30022319 74444800 17112 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 18175 17112 52 112 0 18059 0
Current children cumulated CPU time (s) 1601.01
Current children cumulated vsize (KiB) 88984

[startup+1663.8 s]
/proc/loadavg: 2.00 2.00 2.12 3/77 27473
/proc/meminfo: memFree=1803448/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=73616 CPUtime=1659.39
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 17457 0 0 0 165879 60 0 0 25 0 1 0 30022319 75382784 17306 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 18404 17306 52 112 0 18288 0
Current children cumulated CPU time (s) 1661
Current children cumulated vsize (KiB) 89900

[startup+1723.85 s]
/proc/loadavg: 2.00 2.00 2.11 3/77 27473
/proc/meminfo: memFree=1802616/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=73828 CPUtime=1719.39
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 17501 0 0 0 171879 60 0 0 25 0 1 0 30022319 75599872 17350 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 18457 17350 52 112 0 18341 0
Current children cumulated CPU time (s) 1721
Current children cumulated vsize (KiB) 90112

[startup+1783.9 s]
/proc/loadavg: 2.00 2.00 2.10 3/77 27473
/proc/meminfo: memFree=1798968/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=77360 CPUtime=1779.39
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 18385 0 0 0 177878 61 0 0 25 0 1 0 30022319 79216640 18234 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 19340 18234 52 112 0 19224 0
Current children cumulated CPU time (s) 1781
Current children cumulated vsize (KiB) 93644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.93 s]
/proc/loadavg: 2.00 2.00 2.10 3/77 27473
/proc/meminfo: memFree=1798968/2055920 swapFree=4192812/4192956
[pid=27190] ppid=27188 vsize=16284 CPUtime=0.08
/proc/27190/stat : 27190 (sugar) S 27188 27190 26377 0 -1 4194304 1940 0 0 0 7 1 0 0 16 0 1 0 30022148 16674816 1454 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27190/statm: 4071 1454 373 3 0 1171 0
[pid=27192] ppid=27190 vsize=0 CPUtime=0.47
/proc/27192/stat : 27192 (java) Z 27190 27190 26377 0 -1 1036 5120 0 1 0 43 4 0 0 17 0 1 0 30022153 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27192/statm: 0 0 0 0 0 0 0
[pid=27200] ppid=27190 vsize=0 CPUtime=1.06
/proc/27200/stat : 27200 (java) Z 27190 27190 26377 0 -1 1036 7992 0 1 0 101 5 0 0 17 0 1 0 30022203 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27200/statm: 0 0 0 0 0 0 0
[pid=27208] ppid=27190 vsize=77360 CPUtime=1798.39
/proc/27208/stat : 27208 (minisat) R 27190 27190 26377 0 -1 0 18387 0 0 0 179778 61 0 0 25 0 1 0 30022319 79216640 18236 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/27208/statm: 19340 18236 52 112 0 19224 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 93644

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 27190 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=75988 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=14997
CPU time returned by wait4() is 0.090985
while last known CPU time is 1800.02

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

Real time (s): 1803.95
CPU time (s): 1800.02
CPU user time (s): 1799.3
CPU system time (s): 0.72
CPU usage (%): 99.7819
Max. virtual memory (cumulated for all children) (KiB): 821084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.075988
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2024
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 21

runsolver used 2.06469 s user time and 5.9271 s system time

The end

Launcher Data (download as text)

Begin job on node62 on Mon Jan 29 19:57:31 UTC 2007


IDJOB= 216444
IDBENCH= 5078
IDSOLVER= 86
FILE ID= node62/216444-1170100651

PBS_JOBID= 3689691

Free space on /tmp= 34969 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/chnl/chnl-20-30.xml
COMMAND LINE= /tmp/evaluation/216444-1170100651/solver /tmp/evaluation/216444-1170100651 /tmp/evaluation/216444-1170100651/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-216444-1170100651 -o ROOT/results/node62/solver-216444-1170100651 -C 1800 -M 900  /tmp/evaluation/216444-1170100651/solver /tmp/evaluation/216444-1170100651 /tmp/evaluation/216444-1170100651/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  57eb3fb1525664572c92f4a647c3ff1e

RANDOM SEED= 275963320

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.234
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.234
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:         91176 kB
Buffers:          3696 kB
Cached:        1785384 kB
SwapCached:          0 kB
Active:         110780 kB
Inactive:      1765008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:         91176 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          809992 kB
Writeback:           0 kB
Mapped:         103532 kB
Slab:            74040 kB
Committed_AS:   391744 kB
PageTables:       2060 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= 66563 MiB



End job on node62 on Mon Jan 29 20:27:35 UTC 2007