Trace number 232299

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.18 1809.97

General information on the benchmark

Nametaillard/js-taillard-20/
js-taillard-20-100-3.xml
MD5SUMc7321ffc592167f34f044d3f3740ddb3
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1665
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/232299-1170106514/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/232299-1170106514/unknown.xml [Mon Jan 29 22:35:18 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/232299-1170106514/unknown.xml /tmp/evaluation/232299-1170106514/sugar19240.csp [Mon Jan 29 22:35:18 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232299-1170106514/sugar-v0-40.jar -convert /tmp/evaluation/232299-1170106514/unknown.xml /tmp/evaluation/232299-1170106514/sugar19240.csp
0.17	c BEGIN convert /tmp/evaluation/232299-1170106514/unknown.xml
0.88	c END convert (0.709572 seconds)
0.92	c # CONVERT_XML  END : /tmp/evaluation/232299-1170106514/sugar19240.csp 201502 bytes (1 seconds) [Mon Jan 29 22:35:19 2007]
0.92	c # CONVERT_XML  CPU : 0.82 = 0 + 0 + 0.74 + 0.08
0.92	
0.92	c # GENERATE_SAT  BEGIN : /tmp/evaluation/232299-1170106514/sugar19240.bcnf [Mon Jan 29 22:35:19 2007]
0.92	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232299-1170106514/sugar-v0-40.jar -bcnf -map /tmp/evaluation/232299-1170106514/sugar19240.map /tmp/evaluation/232299-1170106514/sugar19240.csp /tmp/evaluation/232299-1170106514/sugar19240.bcnf
1.03	c BEGIN parse /tmp/evaluation/232299-1170106514/sugar19240.csp
1.70	c END parse (0.666428 seconds)
1.70	c BEGIN simplify
1.73	c END simplify (0.032153 seconds)
1.73	c BEGIN encode /tmp/evaluation/232299-1170106514/sugar19240.bcnf
13.08	c END encode (11.350318 seconds)
13.19	c # GENERATE_SAT  END : 653200 variables 13137642 clauses 205164272 bytes (12 seconds) [Mon Jan 29 22:35:31 2007]
13.19	c # GENERATE_SAT  CPU : 12.08 = 0.07 + 0.01 + 11.19 + 0.81
13.19	
13.19	c # SOLVE_SAT  BEGIN : /tmp/evaluation/232299-1170106514/sugar19240.bcnf [Mon Jan 29 22:35:31 2007]
13.19	c # CMD : /tmp/evaluation/232299-1170106514/minisat /tmp/evaluation/232299-1170106514/sugar19240.bcnf /tmp/evaluation/232299-1170106514/sugar19240.out
26.91	c ==================================[MINISAT]===================================
26.91	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
26.91	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
26.91	c ==============================================================================
26.91	c |         0 | 5545706 15542353 | 1848568       0        0     nan |  0.000 % |
29.86	c |       100 | 5545706 15542353 | 2033424     100     2431    24.3 | 59.558 % |
32.76	c |       250 | 5545706 15542353 | 2236767     250     6304    25.2 | 59.558 % |
36.73	c |       475 | 5545707 15542353 | 2460444     474     9941    21.0 | 59.558 % |
40.56	c |       812 | 5545709 15542353 | 2706488     809    19865    24.6 | 59.558 % |
47.39	c |      1319 | 5545710 15542353 | 2977137    1315    25495    19.4 | 59.558 % |
59.55	c |      2078 | 5545711 15542353 | 3274850    2073    43990    21.2 | 59.558 % |
74.38	c |      3217 | 5545717 15542353 | 3602336    3206    75873    23.7 | 59.558 % |
96.46	c |      4925 | 5545721 15542353 | 3962569    4910   117387    23.9 | 59.558 % |
126.44	c |      7488 | 5545722 15542353 | 4358826    7472   193835    25.9 | 59.558 % |
189.47	c |     11332 | 5545728 15542353 | 4794709   11310   291506    25.8 | 59.558 % |
275.35	c |     17098 | 5545730 15542353 | 5274180   17074   535431    31.4 | 59.558 % |
379.13	c |     25750 | 5545739 15542353 | 5801598   25717   718609    27.9 | 59.558 % |
550.15	c |     38724 | 5545749 15542353 | 6381758   38681  1081801    28.0 | 59.558 % |
834.69	c |     58185 | 5545764 15542353 | 7019933   58127  1615269    27.8 | 59.558 % |
1278.19	c |     87378 | 5545777 15542353 | 7721927   87307  2941658    33.7 | 59.558 % |
1808.86	
1808.86	s UNKNOWN
1808.86	c # INTERRUPTED
1808.86	c # MAIN  END :  (1809 seconds) [Mon Jan 29 23:05:27 2007]
1808.86	c # MAIN  CPU : 12.9 = 0.07 + 0.01 + 11.93 + 0.89
1808.86

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/node38/watcher-232299-1170106514 -o ROOT/results/node38/solver-232299-1170106514 -C 1800 -M 900 /tmp/evaluation/232299-1170106514/solver /tmp/evaluation/232299-1170106514 /tmp/evaluation/232299-1170106514/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.14 2.74 2.85 4/81 19241
/proc/meminfo: memFree=1294360/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18540 CPUtime=0
/proc/19240/stat : 19240 (runsolver) R 19238 19240 19175 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30607604 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 266890439975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19240/statm: 4635 279 244 17 0 2626 0

[startup+0.107044 s]
/proc/loadavg: 2.14 2.74 2.85 4/81 19241
/proc/meminfo: memFree=1294360/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=13724 CPUtime=0.03
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 1112 0 0 0 3 0 0 0 19 0 1 0 30607604 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.51509 s]
/proc/loadavg: 2.14 2.74 2.85 4/81 19241
/proc/meminfo: memFree=1294360/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=13724 CPUtime=0.03
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30607604 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33619 s]
/proc/loadavg: 2.14 2.74 2.85 4/89 19257
/proc/meminfo: memFree=1286168/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=13724 CPUtime=0.85
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 1190 9580 0 1 3 0 74 8 15 0 1 0 30607604 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 3431 809 371 3 0 531 0
[pid=19250] ppid=19240 vsize=807064 CPUtime=0.39
/proc/19250/stat : 19250 (java) R 19240 19240 19175 0 -1 0 6548 0 1 0 36 3 0 0 25 0 8 0 30607696 826433536 6298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072937011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19250/statm: 201766 6298 1496 14 0 189044 0
[pid=19250/tid=19251] ppid=19240 vsize=807064 CPUtime=0.02
/proc/19250/task/19251/stat : 19251 (java) S 19240 19240 19175 0 -1 64 493 0 0 0 2 0 0 0 16 0 8 0 30607699 826433536 6298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19252] ppid=19240 vsize=807064 CPUtime=0
/proc/19250/task/19252/stat : 19252 (java) S 19240 19240 19175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30607700 826433536 6298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19253] ppid=19240 vsize=807064 CPUtime=0
/proc/19250/task/19253/stat : 19253 (java) S 19240 19240 19175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30607700 826433536 6298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19254] ppid=19240 vsize=807064 CPUtime=0
/proc/19250/task/19254/stat : 19254 (java) S 19240 19240 19175 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30607703 826433536 6298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19255] ppid=19240 vsize=807064 CPUtime=0.05
/proc/19250/task/19255/stat : 19255 (java) S 19240 19240 19175 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30607703 826433536 6298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19256] ppid=19240 vsize=807064 CPUtime=0
/proc/19250/task/19256/stat : 19256 (java) S 19240 19240 19175 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30607703 826433536 6298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19257] ppid=19240 vsize=807064 CPUtime=0
/proc/19250/task/19257/stat : 19257 (java) S 19240 19240 19175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30607703 826433536 6298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788

[startup+2.98837 s]
/proc/loadavg: 2.14 2.74 2.85 3/89 19257
/proc/meminfo: memFree=1254936/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=13724 CPUtime=0.85
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 1190 9580 0 1 3 0 74 8 16 0 1 0 30607604 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 3431 809 371 3 0 531 0
[pid=19250] ppid=19240 vsize=807344 CPUtime=2.04
/proc/19250/stat : 19250 (java) R 19240 19240 19175 0 -1 0 8784 0 1 0 192 12 0 0 25 0 8 0 30607696 826720256 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19250/statm: 201836 8530 1510 14 0 189114 0
[pid=19250/tid=19251] ppid=19240 vsize=807344 CPUtime=0.12
/proc/19250/task/19251/stat : 19251 (java) S 19240 19240 19175 0 -1 64 2553 0 0 0 12 0 0 0 17 0 8 0 30607699 826720256 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19252] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19252/stat : 19252 (java) S 19240 19240 19175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30607700 826720256 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19253] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19253/stat : 19253 (java) S 19240 19240 19175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30607700 826720256 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19254] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19254/stat : 19254 (java) S 19240 19240 19175 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30607703 826720256 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19255] ppid=19240 vsize=807344 CPUtime=0.16
/proc/19250/task/19255/stat : 19255 (java) S 19240 19240 19175 0 -1 64 420 0 0 0 16 0 0 0 16 0 8 0 30607703 826720256 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19256] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19256/stat : 19256 (java) S 19240 19240 19175 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30607703 826720256 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19257] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19257/stat : 19257 (java) S 19240 19240 19175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30607703 826720256 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 821068

[startup+6.19574 s]
/proc/loadavg: 2.13 2.73 2.84 3/89 19257
/proc/meminfo: memFree=1193240/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=13724 CPUtime=0.85
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 1190 9580 0 1 3 0 74 8 16 0 1 0 30607604 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 3431 809 371 3 0 531 0
[pid=19250] ppid=19240 vsize=807344 CPUtime=5.2
/proc/19250/stat : 19250 (java) R 19240 19240 19175 0 -1 0 8785 0 1 0 484 36 0 0 25 0 8 0 30607696 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152096930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19250/statm: 201836 8531 1510 14 0 189114 0
[pid=19250/tid=19251] ppid=19240 vsize=807344 CPUtime=0.12
/proc/19250/task/19251/stat : 19251 (java) S 19240 19240 19175 0 -1 64 2553 0 0 0 12 0 0 0 16 0 8 0 30607699 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19252] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19252/stat : 19252 (java) S 19240 19240 19175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30607700 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19253] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19253/stat : 19253 (java) S 19240 19240 19175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30607700 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19254] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19254/stat : 19254 (java) S 19240 19240 19175 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30607703 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19255] ppid=19240 vsize=807344 CPUtime=0.17
/proc/19250/task/19255/stat : 19255 (java) S 19240 19240 19175 0 -1 64 421 0 0 0 17 0 0 0 16 0 8 0 30607703 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19256] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19256/stat : 19256 (java) S 19240 19240 19175 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30607703 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19257] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19257/stat : 19257 (java) S 19240 19240 19175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30607703 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 821068

[startup+12.6775 s]
/proc/loadavg: 2.12 2.72 2.84 3/89 19257
/proc/meminfo: memFree=1070552/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=13724 CPUtime=0.85
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 1190 9580 0 1 3 0 74 8 16 0 1 0 30607604 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 3431 809 371 3 0 531 0
[pid=19250] ppid=19240 vsize=807344 CPUtime=11.59
/proc/19250/stat : 19250 (java) R 19240 19240 19175 0 -1 0 8785 0 1 0 1081 78 0 0 25 0 8 0 30607696 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19250/statm: 201836 8531 1510 14 0 189114 0
[pid=19250/tid=19251] ppid=19240 vsize=807344 CPUtime=0.12
/proc/19250/task/19251/stat : 19251 (java) S 19240 19240 19175 0 -1 64 2553 0 0 0 12 0 0 0 16 0 8 0 30607699 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19252] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19252/stat : 19252 (java) S 19240 19240 19175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30607700 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19253] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19253/stat : 19253 (java) S 19240 19240 19175 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30607700 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19254] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19254/stat : 19254 (java) S 19240 19240 19175 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30607703 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19255] ppid=19240 vsize=807344 CPUtime=0.17
/proc/19250/task/19255/stat : 19255 (java) S 19240 19240 19175 0 -1 64 421 0 0 0 17 0 0 0 16 0 8 0 30607703 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19256] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19256/stat : 19256 (java) S 19240 19240 19175 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30607703 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19250/tid=19257] ppid=19240 vsize=807344 CPUtime=0
/proc/19250/task/19257/stat : 19257 (java) S 19240 19240 19175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30607703 826720256 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 821068

[startup+25.518 s]
/proc/loadavg: 2.24 2.71 2.83 3/82 19258
/proc/meminfo: memFree=544080/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2413 18382 0 2 10 1 1193 89 19 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=545796 CPUtime=12.26
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136073 0 0 0 1130 96 0 0 25 0 1 0 30608924 558895104 134842 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134641676 0 0 4096 0 0 0 0 17 1 0 0
/proc/19258/statm: 136449 134842 36 112 0 136333 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 564168

[startup+51.1829 s]
/proc/loadavg: 2.16 2.66 2.81 3/76 19363
/proc/meminfo: memFree=879744/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=546716 CPUtime=37.75
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136296 0 0 0 3672 103 0 0 25 0 1 0 30608924 559837184 135065 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136679 135065 51 112 0 136563 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 565088

[startup+102.483 s]
/proc/loadavg: 1.76 2.49 2.74 2/69 19530
/proc/meminfo: memFree=1165816/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=546716 CPUtime=88.83
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136296 0 0 0 8777 106 0 0 25 0 1 0 30608924 559837184 135065 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136679 135065 51 112 0 136563 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 565088

[startup+162.539 s]
/proc/loadavg: 2.14 2.46 2.71 3/83 19653
/proc/meminfo: memFree=1083736/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=546716 CPUtime=148.59
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136310 0 0 0 14744 115 0 0 25 0 1 0 30608924 559837184 135079 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136679 135079 51 112 0 136563 0
Current children cumulated CPU time (s) 161.52
Current children cumulated vsize (KiB) 565088

[startup+222.605 s]
/proc/loadavg: 2.27 2.46 2.70 3/76 19656
/proc/meminfo: memFree=98840/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=546716 CPUtime=208.34
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136310 0 0 0 20712 122 0 0 25 0 1 0 30608924 559837184 135079 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136679 135079 51 112 0 136563 0
Current children cumulated CPU time (s) 221.27
Current children cumulated vsize (KiB) 565088

[startup+282.665 s]
/proc/loadavg: 2.10 2.37 2.65 3/76 19656

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

/proc/loadavg: 2.00 2.03 2.25 3/76 19656
/proc/meminfo: memFree=54304/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=546716 CPUtime=1105.14
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136311 0 0 0 110389 125 0 0 25 0 1 0 30608924 559837184 135080 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136679 135080 51 112 0 136563 0
Current children cumulated CPU time (s) 1118.07
Current children cumulated vsize (KiB) 565088

[startup+1183.62 s]
/proc/loadavg: 2.00 2.02 2.23 3/76 19656
/proc/meminfo: memFree=51872/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=546716 CPUtime=1164.94
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136314 0 0 0 116369 125 0 0 25 0 1 0 30608924 559837184 135083 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136679 135083 51 112 0 136563 0
Current children cumulated CPU time (s) 1177.87
Current children cumulated vsize (KiB) 565088

[startup+1243.69 s]
/proc/loadavg: 2.00 2.02 2.21 3/76 19656
/proc/meminfo: memFree=49568/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=546716 CPUtime=1224.74
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136314 0 0 0 122348 126 0 0 25 0 1 0 30608924 559837184 135083 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525947 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136679 135083 51 112 0 136563 0
Current children cumulated CPU time (s) 1237.67
Current children cumulated vsize (KiB) 565088

[startup+1303.75 s]
/proc/loadavg: 2.00 2.01 2.20 3/76 19656
/proc/meminfo: memFree=47648/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=546716 CPUtime=1284.51
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136314 0 0 0 128325 126 0 0 25 0 1 0 30608924 559837184 135083 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136679 135083 51 112 0 136563 0
Current children cumulated CPU time (s) 1297.44
Current children cumulated vsize (KiB) 565088

[startup+1363.82 s]
/proc/loadavg: 2.00 2.00 2.18 3/76 19656
/proc/meminfo: memFree=45152/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=547260 CPUtime=1344.31
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136405 0 0 0 134305 126 0 0 25 0 1 0 30608924 560394240 135174 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136815 135174 51 112 0 136699 0
Current children cumulated CPU time (s) 1357.24
Current children cumulated vsize (KiB) 565632

[startup+1423.88 s]
/proc/loadavg: 2.00 2.00 2.17 3/76 19656
/proc/meminfo: memFree=43680/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=547260 CPUtime=1404.1
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136409 0 0 0 140284 126 0 0 25 0 1 0 30608924 560394240 135178 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136815 135178 51 112 0 136699 0
Current children cumulated CPU time (s) 1417.03
Current children cumulated vsize (KiB) 565632

[startup+1483.94 s]
/proc/loadavg: 2.00 2.00 2.16 3/76 19656
/proc/meminfo: memFree=42336/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=547260 CPUtime=1463.87
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136412 0 0 0 146261 126 0 0 25 0 1 0 30608924 560394240 135181 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528930 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136815 135181 51 112 0 136699 0
Current children cumulated CPU time (s) 1476.8
Current children cumulated vsize (KiB) 565632

[startup+1544.01 s]
/proc/loadavg: 2.35 2.08 2.17 3/82 19682
/proc/meminfo: memFree=39488/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=547260 CPUtime=1523.67
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136416 0 0 0 152237 130 0 0 25 0 1 0 30608924 560394240 135185 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136815 135185 51 112 0 136699 0
Current children cumulated CPU time (s) 1536.6
Current children cumulated vsize (KiB) 565632

[startup+1604.1 s]
/proc/loadavg: 2.19 2.08 2.16 3/82 19806
/proc/meminfo: memFree=37840/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=547260 CPUtime=1583.39
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136419 0 0 0 158199 140 0 0 25 0 1 0 30608924 560394240 135188 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136815 135188 51 112 0 136699 0
Current children cumulated CPU time (s) 1596.32
Current children cumulated vsize (KiB) 565632

[startup+1664.18 s]
/proc/loadavg: 2.07 2.06 2.15 3/76 19854
/proc/meminfo: memFree=37664/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=547260 CPUtime=1643.13
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136423 0 0 0 164168 145 0 0 25 0 1 0 30608924 560394240 135192 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136815 135192 51 112 0 136699 0
Current children cumulated CPU time (s) 1656.06
Current children cumulated vsize (KiB) 565632

[startup+1724.24 s]
/proc/loadavg: 2.02 2.05 2.14 3/76 19854
/proc/meminfo: memFree=36256/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=547260 CPUtime=1702.94
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136426 0 0 0 170148 146 0 0 25 0 1 0 30608924 560394240 135195 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136815 135195 51 112 0 136699 0
Current children cumulated CPU time (s) 1715.87
Current children cumulated vsize (KiB) 565632

[startup+1784.31 s]
/proc/loadavg: 2.01 2.04 2.13 3/76 19854
/proc/meminfo: memFree=34912/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=547260 CPUtime=1762.73
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136429 0 0 0 176127 146 0 0 25 0 1 0 30608924 560394240 135198 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136815 135198 51 112 0 136699 0
Current children cumulated CPU time (s) 1775.66
Current children cumulated vsize (KiB) 565632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.85 s]
/proc/loadavg: 2.00 2.03 2.12 3/76 19854
/proc/meminfo: memFree=34336/2055920 swapFree=4192812/4192956
[pid=19240] ppid=19238 vsize=18372 CPUtime=12.93
/proc/19240/stat : 19240 (sugar) S 19238 19240 19175 0 -1 4194304 2423 18382 0 2 10 1 1193 89 16 0 1 0 30607604 18812928 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19240/statm: 4593 1934 373 3 0 1693 0
[pid=19258] ppid=19240 vsize=547260 CPUtime=1787.15
/proc/19258/stat : 19258 (minisat) R 19240 19240 19175 0 -1 0 136431 0 0 0 178569 146 0 0 25 0 1 0 30608924 560394240 135200 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/19258/statm: 136815 135200 51 112 0 136699 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 565632

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 19240 and gives childrusage.ru_utime.tv_sec=12 childrusage.ru_utime.tv_usec=43169 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=10846
CPU time returned by wait4() is 13.054
while last known CPU time is 1800.18

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

Real time (s): 1809.97
CPU time (s): 1800.18
CPU user time (s): 1797.72
CPU system time (s): 2.46
CPU usage (%): 99.4593
Max. virtual memory (cumulated for all children) (KiB): 821068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.0432
system time used= 1.01085
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20890
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1723
involuntary context switches= 2131

runsolver used 1.69574 s user time and 4.90025 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Mon Jan 29 21:35:17 UTC 2007


IDJOB= 232299
IDBENCH= 6511
IDSOLVER= 86
FILE ID= node38/232299-1170106514

PBS_JOBID= 3689878

Free space on /tmp= 66560 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-100-3.xml
COMMAND LINE= /tmp/evaluation/232299-1170106514/solver /tmp/evaluation/232299-1170106514 /tmp/evaluation/232299-1170106514/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-232299-1170106514 -o ROOT/results/node38/solver-232299-1170106514 -C 1800 -M 900  /tmp/evaluation/232299-1170106514/solver /tmp/evaluation/232299-1170106514 /tmp/evaluation/232299-1170106514/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  c7321ffc592167f34f044d3f3740ddb3

RANDOM SEED= 301830572

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.233
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.233
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:       1294840 kB
Buffers:         23976 kB
Cached:          46404 kB
SwapCached:          0 kB
Active:         673512 kB
Inactive:        34284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1294840 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1620 kB
Writeback:           0 kB
Mapped:         654312 kB
Slab:            37324 kB
Committed_AS:   829112 kB
PageTables:       3136 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= 66292 MiB



End job on node38 on Mon Jan 29 22:05:28 UTC 2007