Trace number 1041059

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 v1.13+picosat? (TO) 1800.09 1805.57

General information on the benchmark

Namecsp/allsquaresUnsat/
normalized-squaresUnsat-33-33.xml
MD5SUM2837d7c8c00fb8ad7816a3f5a00ed498
Bench CategoryGLOBAL (global constraints)
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 variables2178
Number of constraints2643
Maximum constraint arity33
Maximum domain size112
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2113
Global constraints used (with number of constraints)cumulative(2),weightedsum(528)

Solver Data (download as text)

0.00/0.04	c 0	Sugar v1-13 + HOME/picosat
0.00/0.04	c 0	BEGIN Wed Jul  2 13:48:22 2008
0.00/0.04	c 0	PID 19263
0.00/0.05	c 0	HOST node5.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1041059-1214999301.xml TO HOME/temp.csp
0.00/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1041059-1214999301.xml' 'HOME/temp.csp'
0.03/0.94	c 0	34 domains, 2178 variables, 2 predicates, 0 relations, 2643 constraints
0.03/1.00	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.91/1.00	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.91/1.08	c 1	Parsing HOME/temp.csp
0.91/1.35	c 1	parsed 4857 expressions
0.91/1.35	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.91/1.35	c 1	Converting to clausal form CSP
0.91/1.38	c 1	converted 486 (10%) expressions
0.91/1.39	c 1	converted 972 (20%) expressions
0.91/1.39	c 1	converted 1458 (30%) expressions
0.91/1.40	c 1	converted 1943 (40%) expressions
0.91/1.56	c 1	converted 2429 (50%) expressions
0.91/1.63	c 1	converted 2915 (60%) expressions
0.91/1.67	c 1	converted 3400 (70%) expressions
0.91/1.71	c 1	converted 3886 (80%) expressions
0.91/1.79	c 1	converted 4372 (90%) expressions
3.26/3.41	c 3	converted 4857 (100%) expressions
3.26/3.42	c 3	CSP : 16514 integers, 5068 booleans, 43705 clauses, largest domain size 290
3.26/3.42	c 3	Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.26/3.42	c 3	Propagation in CSP
3.46/3.67	c 3	83936 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.46/3.67	c 3	CSP : 16514 integers, 5068 booleans, 43705 clauses, largest domain size 113
3.46/3.67	c 3	Heap : 30 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.46/3.69	c 3	Simplifing CSP by introducing new Boolean variables
3.56/3.71	c 3	CSP : 16514 integers, 5068 booleans, 43705 clauses, largest domain size 113
3.56/3.71	c 3	Heap : 30 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.66/3.89	c 3	Encoding CSP to SAT : HOME/temp.cnf
3.76/3.93	c 3	1652 (10%) CSP integer variables are encoded (6124 clauses, 77483 bytes)
3.76/3.96	c 3	3303 (20%) CSP integer variables are encoded (27686 clauses, 397677 bytes)
3.86/4.00	c 3	4955 (30%) CSP integer variables are encoded (59570 clauses, 875937 bytes)
3.86/4.04	c 4	6606 (40%) CSP integer variables are encoded (91654 clauses, 1357197 bytes)
3.86/4.08	c 4	8257 (50%) CSP integer variables are encoded (121406 clauses, 1859688 bytes)
3.96/4.12	c 4	9909 (60%) CSP integer variables are encoded (151586 clauses, 2372748 bytes)
3.96/4.16	c 4	11560 (70%) CSP integer variables are encoded (182937 clauses, 2905715 bytes)
4.05/4.21	c 4	13212 (80%) CSP integer variables are encoded (215356 clauses, 3456838 bytes)
4.05/4.25	c 4	14863 (90%) CSP integer variables are encoded (246054 clauses, 3978704 bytes)
4.05/4.29	c 4	16514 (100%) CSP integer variables are encoded (275564 clauses, 4480374 bytes)
4.75/4.92	c 4	4371 (10%) CSP clauses are encoded (603365 clauses, 10402999 bytes)
7.03/7.32	c 7	8741 (20%) CSP clauses are encoded (1880789 clauses, 37292852 bytes)
9.01/9.37	c 9	13112 (30%) CSP clauses are encoded (2987778 clauses, 60775501 bytes)
10.96/11.39	c 11	17482 (40%) CSP clauses are encoded (4054576 clauses, 83500587 bytes)
13.14/13.52	c 13	21853 (50%) CSP clauses are encoded (5127437 clauses, 109416091 bytes)
15.80/16.22	c 16	26223 (60%) CSP clauses are encoded (6493247 clauses, 142360121 bytes)
18.05/18.93	c 18	30594 (70%) CSP clauses are encoded (7650290 clauses, 170321093 bytes)
20.31/21.20	c 21	34964 (80%) CSP clauses are encoded (8793100 clauses, 197941769 bytes)
22.27/23.28	c 23	39335 (90%) CSP clauses are encoded (9837903 clauses, 223183566 bytes)
24.61/25.69	c 25	43705 (100%) CSP clauses are encoded (11043445 clauses, 252255409 bytes)
24.61/25.69	c 25	43705 CSP clauses encoded
24.61/25.69	c 25	Writing map file : HOME/temp.map
24.70/25.75	c 25	Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
24.70/25.75	c 25	SAT : 297066 SAT variables, 11043445 SAT clauses, 252255409 bytes
24.70/25.75	c 25	Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
24.70/25.78	c 25	SOLVING HOME/temp.cnf
24.70/25.78	c 25	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1800.09/1805.51	c ERROR INTERRUPTED
1800.09/1805.57	s UNKNOWN
1800.09/1805.57	c 1805	CPU 22.99 (0.04 0 22.95 1.8)
1800.09/1805.57	c 1805	END Wed Jul  2 14:18:27 2008

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1041059-1214999301/watcher-1041059-1214999301 -o /tmp/evaluation-result-1041059-1214999301/solver-1041059-1214999301 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-1041059-1214999301.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.97 1.79 4/80 19263
/proc/meminfo: memFree=1841952/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=4708 CPUtime=0
/proc/19263/stat : 19263 (sugar) R 19261 19263 17728 0 -1 4194304 58 0 0 0 0 0 0 0 20 0 1 0 622867278 4820992 43 996147200 4194304 4206940 548682068608 18446744073709551615 226910860681 0 0 4096 0 0 0 0 17 1 0 0
/proc/19263/statm: 1177 43 33 3 0 8 0

[startup+0.097349 s]
/proc/loadavg: 1.99 1.97 1.79 4/80 19263
/proc/meminfo: memFree=1841952/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.03
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 622867278 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.102609 s]
/proc/loadavg: 1.99 1.97 1.79 4/80 19263
/proc/meminfo: memFree=1841952/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.03
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 622867278 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301633 s]
/proc/loadavg: 1.99 1.97 1.79 4/80 19263
/proc/meminfo: memFree=1841952/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.03
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 622867278 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701721 s]
/proc/loadavg: 1.99 1.97 1.79 4/80 19263
/proc/meminfo: memFree=1841952/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.03
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 622867278 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+1.50187 s]
/proc/loadavg: 1.99 1.97 1.79 4/81 19276
/proc/meminfo: memFree=1839760/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.91
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 974 6880 0 1 3 0 84 4 15 0 1 0 622867278 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 13600

[startup+3.10218 s]
/proc/loadavg: 1.99 1.97 1.79 4/91 19285
/proc/meminfo: memFree=1820168/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.91
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 974 6880 0 1 3 0 84 4 15 0 1 0 622867278 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 797 370 3 0 500 0
[pid=19276] ppid=19263 vsize=5356 CPUtime=0
/proc/19276/stat : 19276 (sh) S 19263 19263 17728 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 622867379 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19276/statm: 1339 233 193 169 0 50 0
[pid=19277] ppid=19276 vsize=869412 CPUtime=2.07
/proc/19277/stat : 19277 (java) S 19276 19263 17728 0 -1 0 11667 0 1 0 199 8 0 0 18 0 9 0 622867379 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19277/statm: 217353 10713 2541 9 0 211928 0
[pid=19277/tid=19278] ppid=19276 vsize=869412 CPUtime=1.22
/proc/19277/task/19278/stat : 19278 (java) R 19276 19263 17728 0 -1 64 2977 0 1 0 120 2 0 0 25 0 9 0 622867380 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4126842617 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19279] ppid=19276 vsize=869412 CPUtime=0.58
/proc/19277/task/19279/stat : 19279 (java) S 19276 19263 17728 0 -1 64 6495 0 0 0 54 4 0 0 16 0 9 0 622867381 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19280] ppid=19276 vsize=869412 CPUtime=0
/proc/19277/task/19280/stat : 19280 (java) S 19276 19263 17728 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 622867381 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19281] ppid=19276 vsize=869412 CPUtime=0
/proc/19277/task/19281/stat : 19281 (java) S 19276 19263 17728 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 622867382 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19282] ppid=19276 vsize=869412 CPUtime=0
/proc/19277/task/19282/stat : 19282 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 622867383 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19283] ppid=19276 vsize=869412 CPUtime=0.25
/proc/19277/task/19283/stat : 19283 (java) S 19276 19263 17728 0 -1 64 1501 0 0 0 24 1 0 0 16 0 9 0 622867383 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19284] ppid=19276 vsize=869412 CPUtime=0
/proc/19277/task/19284/stat : 19284 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 622867384 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19285] ppid=19276 vsize=869412 CPUtime=0
/proc/19277/task/19285/stat : 19285 (java) S 19276 19263 17728 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 622867384 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 888368

[startup+6.30179 s]
/proc/loadavg: 2.07 1.99 1.80 4/91 19285
/proc/meminfo: memFree=1781448/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.91
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 974 6880 0 1 3 0 84 4 15 0 1 0 622867278 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 797 370 3 0 500 0
[pid=19276] ppid=19263 vsize=5356 CPUtime=0
/proc/19276/stat : 19276 (sh) S 19263 19263 17728 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 622867379 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19276/statm: 1339 233 193 169 0 50 0
[pid=19277] ppid=19276 vsize=869524 CPUtime=5.13
/proc/19277/stat : 19277 (java) S 19276 19263 17728 0 -1 0 14394 0 1 0 488 25 0 0 18 0 9 0 622867379 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19277/statm: 217381 12971 2565 9 0 211928 0
[pid=19277/tid=19278] ppid=19276 vsize=869524 CPUtime=3.85
/proc/19277/task/19278/stat : 19278 (java) R 19276 19263 17728 0 -1 64 3380 0 1 0 368 17 0 0 25 0 9 0 622867380 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4126899271 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19279] ppid=19276 vsize=869524 CPUtime=0.93
/proc/19277/task/19279/stat : 19279 (java) S 19276 19263 17728 0 -1 64 8775 0 0 0 87 6 0 0 16 0 9 0 622867381 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19280] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19280/stat : 19280 (java) S 19276 19263 17728 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 622867381 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19281] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19281/stat : 19281 (java) S 19276 19263 17728 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 622867382 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19282] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19282/stat : 19282 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 622867383 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19283] ppid=19276 vsize=869524 CPUtime=0.32
/proc/19277/task/19283/stat : 19283 (java) S 19276 19263 17728 0 -1 64 1545 0 0 0 31 1 0 0 16 0 9 0 622867383 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19284] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19284/stat : 19284 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 622867384 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19285] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19285/stat : 19285 (java) S 19276 19263 17728 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 622867384 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 888480

[startup+12.703 s]
/proc/loadavg: 2.15 2.00 1.81 3/91 19285
/proc/meminfo: memFree=1705544/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.91
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 974 6880 0 1 3 0 84 4 16 0 1 0 622867278 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 797 370 3 0 500 0
[pid=19276] ppid=19263 vsize=5356 CPUtime=0
/proc/19276/stat : 19276 (sh) S 19263 19263 17728 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 622867379 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19276/statm: 1339 233 193 169 0 50 0
[pid=19277] ppid=19276 vsize=869524 CPUtime=11.44
/proc/19277/stat : 19277 (java) S 19276 19263 17728 0 -1 0 14996 0 1 0 1069 75 0 0 18 0 9 0 622867379 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19277/statm: 217381 12972 2565 9 0 211928 0
[pid=19277/tid=19278] ppid=19276 vsize=869524 CPUtime=9.9
/proc/19277/task/19278/stat : 19278 (java) R 19276 19263 17728 0 -1 64 3981 0 1 0 928 62 0 0 25 0 9 0 622867380 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 102064685 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19279] ppid=19276 vsize=869524 CPUtime=1.2
/proc/19277/task/19279/stat : 19279 (java) S 19276 19263 17728 0 -1 64 8775 0 0 0 109 11 0 0 16 0 9 0 622867381 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19280] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19280/stat : 19280 (java) S 19276 19263 17728 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 622867381 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19281] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19281/stat : 19281 (java) S 19276 19263 17728 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 622867382 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19282] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19282/stat : 19282 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 622867383 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19283] ppid=19276 vsize=869524 CPUtime=0.32
/proc/19277/task/19283/stat : 19283 (java) S 19276 19263 17728 0 -1 64 1546 0 0 0 31 1 0 0 17 0 9 0 622867383 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19284] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19284/stat : 19284 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 622867384 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19285] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19285/stat : 19285 (java) S 19276 19263 17728 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 622867384 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 888480

[startup+25.5025 s]
/proc/loadavg: 2.34 2.05 1.83 3/91 19285
/proc/meminfo: memFree=1549128/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.91
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 974 6880 0 1 3 0 84 4 16 0 1 0 622867278 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 797 370 3 0 500 0
[pid=19276] ppid=19263 vsize=5356 CPUtime=0
/proc/19276/stat : 19276 (sh) S 19263 19263 17728 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 622867379 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19276/statm: 1339 233 193 169 0 50 0
[pid=19277] ppid=19276 vsize=869524 CPUtime=23.6
/proc/19277/stat : 19277 (java) S 19276 19263 17728 0 -1 0 16153 0 1 0 2188 172 0 0 18 0 9 0 622867379 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19277/statm: 217381 12972 2565 9 0 211928 0
[pid=19277/tid=19278] ppid=19276 vsize=869524 CPUtime=21.56
/proc/19277/task/19278/stat : 19278 (java) R 19276 19263 17728 0 -1 64 5138 0 1 0 2004 152 0 0 25 0 9 0 622867380 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4126609724 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19279] ppid=19276 vsize=869524 CPUtime=1.68
/proc/19277/task/19279/stat : 19279 (java) S 19276 19263 17728 0 -1 64 8775 0 0 0 151 17 0 0 16 0 9 0 622867381 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19280] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19280/stat : 19280 (java) S 19276 19263 17728 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 622867381 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19281] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19281/stat : 19281 (java) S 19276 19263 17728 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 622867382 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19282] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19282/stat : 19282 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 622867383 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19283] ppid=19276 vsize=869524 CPUtime=0.32
/proc/19277/task/19283/stat : 19283 (java) S 19276 19263 17728 0 -1 64 1546 0 0 0 31 1 0 0 17 0 9 0 622867383 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19284] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19284/stat : 19284 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 622867384 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19285] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19285/stat : 19285 (java) S 19276 19263 17728 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 622867384 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 888480

[startup+51.1014 s]
/proc/loadavg: 2.28 2.06 1.83 3/83 19287
/proc/meminfo: memFree=1475336/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=136368 CPUtime=25.07
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 28874 0 0 0 1137 1370 0 0 25 0 1 0 622869857 139640832 28860 996147200 134512640 134931368 4294956256 18446744073709551615 134520627 0 0 4096 0 0 0 0 17 1 0 0

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

/proc/meminfo: memFree=1245072/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=445448 CPUtime=1332.32
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 100830 0 0 0 127923 5309 0 0 25 0 1 0 622869857 456138752 100814 996147200 134512640 134931368 4294956256 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111362 100814 48 102 0 111257 0
Current children cumulated CPU time (s) 1357.11
Current children cumulated vsize (KiB) 464404

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1244752/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=445844 CPUtime=1392.29
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 100917 0 0 0 133920 5309 0 0 25 0 1 0 622869857 456544256 100901 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111461 100901 48 102 0 111356 0
Current children cumulated CPU time (s) 1417.08
Current children cumulated vsize (KiB) 464800

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1244304/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=446240 CPUtime=1452.26
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101025 0 0 0 139916 5310 0 0 25 0 1 0 622869857 456949760 101009 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111560 101009 48 102 0 111455 0
Current children cumulated CPU time (s) 1477.05
Current children cumulated vsize (KiB) 465196

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1243792/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=446636 CPUtime=1512.23
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101140 0 0 0 145913 5310 0 0 25 0 1 0 622869857 457355264 101124 996147200 134512640 134931368 4294956256 18446744073709551615 134525575 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111659 101124 48 102 0 111554 0
Current children cumulated CPU time (s) 1537.02
Current children cumulated vsize (KiB) 465592

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1243344/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=447164 CPUtime=1572.2
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101250 0 0 0 151910 5310 0 0 25 0 1 0 622869857 457895936 101234 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111791 101234 48 102 0 111686 0
Current children cumulated CPU time (s) 1596.99
Current children cumulated vsize (KiB) 466120

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/75 19325
/proc/meminfo: memFree=1242896/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=447560 CPUtime=1632.17
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101345 0 0 0 157907 5310 0 0 25 0 1 0 622869857 458301440 101329 996147200 134512640 134931368 4294956256 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111890 101329 48 102 0 111785 0
Current children cumulated CPU time (s) 1656.96
Current children cumulated vsize (KiB) 466516

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/75 19325
/proc/meminfo: memFree=1242384/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=447956 CPUtime=1692.15
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101458 0 0 0 163904 5311 0 0 25 0 1 0 622869857 458706944 101442 996147200 134512640 134931368 4294956256 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111989 101442 48 102 0 111884 0
Current children cumulated CPU time (s) 1716.94
Current children cumulated vsize (KiB) 466912

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1241808/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=448352 CPUtime=1752.11
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101563 0 0 0 169900 5311 0 0 25 0 1 0 622869857 459112448 101547 996147200 134512640 134931368 4294956256 18446744073709551615 134530012 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 112088 101547 48 102 0 111983 0
Current children cumulated CPU time (s) 1776.9
Current children cumulated vsize (KiB) 467308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1241616/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=448484 CPUtime=1775.3
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101608 0 0 0 172219 5311 0 0 25 0 1 0 622869857 459247616 101592 996147200 134512640 134931368 4294956256 18446744073709551615 134525860 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 112121 101592 48 102 0 112016 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 467440

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

Solver just ended. Dumping a history of the last processes samples

[startup+1805.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1241616/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=448484 CPUtime=1775.3
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101608 0 0 0 172219 5311 0 0 25 0 1 0 622869857 459247616 101592 996147200 134512640 134931368 4294956256 18446744073709551615 134525860 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 112121 101592 48 102 0 112016 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 467440

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19263 and gives
#  childrusage.ru_utime.tv_sec=22
#  childrusage.ru_utime.tv_usec=993504
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=814724
# CPU time returned by wait4() is 24.8082
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1805.57
CPU time (s): 1800.09
CPU user time (s): 1745.18
CPU system time (s): 54.91
CPU usage (%): 99.6964
Max. virtual memory (cumulated for all children) (KiB): 888872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.9935
system time used= 1.81472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24746
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= 17725
involuntary context switches= 18075

runsolver used 2.23666 second user time and 5.97109 second system time

The end

Launcher Data (download as text)

Begin job on node5 at 2008-07-02 13:48:21
IDJOB=1041059
IDBENCH=53768
IDSOLVER=345
FILE ID=node5/1041059-1214999301
PBS_JOBID= 7870913
Free space on /tmp= 66536 MiB

SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/allsquaresUnsat/normalized-squaresUnsat-33-33.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1041059-1214999301/watcher-1041059-1214999301 -o /tmp/evaluation-result-1041059-1214999301/solver-1041059-1214999301 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-1041059-1214999301.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 2837d7c8c00fb8ad7816a3f5a00ed498
RANDOM SEED=559064747

node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.279
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.279
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:       1842432 kB
Buffers:          5976 kB
Cached:          63032 kB
SwapCached:      11096 kB
Active:         144080 kB
Inactive:         8868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1842432 kB
SwapTotal:     4192956 kB
SwapFree:      4175520 kB
Dirty:            1732 kB
Writeback:           0 kB
Mapped:          93028 kB
Slab:            45748 kB
Committed_AS:  1590048 kB
PageTables:       1920 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= 66540 MiB
End job on node5 at 2008-07-02 14:18:29