Trace number 2084875

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.14.6+picosat? (TO) 1800.05 1813.42

General information on the benchmark

Namecsp/graphColoring/register/mulsol/
normalized-mulsol-i-5-20.xml
MD5SUM3f7d8b632918dbd93834ae577c4f5998
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.134979
Satisfiable
(Un)Satisfiability was proved
Number of variables186
Number of constraints3973
Maximum constraint arity2
Maximum domain size20
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3973
Global constraints used (with number of constraints)

Solver Data 

0.04/0.27	c 0	Sugar v1-14-6 + HOME/picosat
0.04/0.27	c 0	BEGIN Sun Jul 12 08:24:56 2009
0.04/0.27	c 0	PID 25357
0.04/0.29	c 0	HOST node32.alineos.net
0.04/0.29	c 0	CONVERTING HOME/instance-2084875-1247379896.xml TO HOME/temp.csp
0.04/0.29	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2084875-1247379896.xml' 'HOME/temp.csp'
0.08/0.86	c 1	1 domains, 186 variables, 1 predicates, 0 relations, 3973 constraints
0.08/0.87	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.08/0.87	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.64/0.95	c 1	Parsing HOME/temp.csp
0.75/1.06	c 1	parsed 4161 expressions
0.75/1.07	c 1	Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.75/1.07	c 1	Converting to clausal form CSP
0.85/1.18	c 1	converted 417 (10%) expressions
0.94/1.30	c 1	converted 833 (20%) expressions
1.04/1.33	c 1	converted 1249 (30%) expressions
1.04/1.34	c 1	converted 1665 (40%) expressions
1.04/1.36	c 1	converted 2081 (50%) expressions
1.04/1.38	c 1	converted 2497 (60%) expressions
1.04/1.39	c 1	converted 2913 (70%) expressions
1.14/1.41	c 1	converted 3329 (80%) expressions
1.14/1.42	c 1	converted 3745 (90%) expressions
1.14/1.43	c 1	converted 4161 (100%) expressions
1.14/1.43	c 1	CSP : 186 integers, 0 booleans, 3973 clauses, largest domain size 20
1.14/1.43	c 1	Heap : 4 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.14/1.43	c 1	Propagation in CSP
1.14/1.46	c 1	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.14/1.46	c 1	CSP : 186 integers, 0 booleans, 3973 clauses, largest domain size 20
1.14/1.46	c 1	Heap : 4 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.14/1.47	c 1	Simplifing CSP by introducing new Boolean variables
1.24/1.56	c 1	CSP : 186 integers, 7946 booleans, 11919 clauses, largest domain size 20
1.24/1.56	c 1	Heap : 6 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.34/1.61	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.34/1.63	c 1	19 (10%) CSP integer variables are encoded (342 clauses, 3622 bytes)
1.34/1.63	c 1	38 (20%) CSP integer variables are encoded (684 clauses, 7384 bytes)
1.34/1.63	c 1	56 (30%) CSP integer variables are encoded (1008 clauses, 11071 bytes)
1.34/1.63	c 1	75 (40%) CSP integer variables are encoded (1350 clauses, 15517 bytes)
1.34/1.64	c 1	93 (50%) CSP integer variables are encoded (1674 clauses, 19729 bytes)
1.34/1.64	c 1	112 (60%) CSP integer variables are encoded (2016 clauses, 24175 bytes)
1.34/1.64	c 1	131 (70%) CSP integer variables are encoded (2358 clauses, 28621 bytes)
1.34/1.64	c 1	149 (80%) CSP integer variables are encoded (2682 clauses, 32833 bytes)
1.34/1.64	c 1	168 (90%) CSP integer variables are encoded (3024 clauses, 37279 bytes)
1.34/1.64	c 1	186 (100%) CSP integer variables are encoded (3348 clauses, 41491 bytes)
1.42/1.72	c 2	1192 (10%) CSP clauses are encoded (19645 clauses, 302382 bytes)
1.42/1.77	c 2	2384 (20%) CSP clauses are encoded (35942 clauses, 575033 bytes)
1.53/1.81	c 2	3576 (30%) CSP clauses are encoded (52220 clauses, 853511 bytes)
1.53/1.84	c 2	4768 (40%) CSP clauses are encoded (68517 clauses, 1132605 bytes)
1.53/1.89	c 2	5960 (50%) CSP clauses are encoded (84814 clauses, 1411819 bytes)
1.62/1.92	c 2	7152 (60%) CSP clauses are encoded (101092 clauses, 1691395 bytes)
1.62/1.96	c 2	8344 (70%) CSP clauses are encoded (117389 clauses, 1971559 bytes)
1.62/1.99	c 2	9536 (80%) CSP clauses are encoded (133686 clauses, 2253627 bytes)
1.72/2.03	c 2	10728 (90%) CSP clauses are encoded (149964 clauses, 2564218 bytes)
1.72/2.07	c 2	11919 (100%) CSP clauses are encoded (166241 clauses, 2878642 bytes)
1.72/2.07	c 2	11919 CSP clauses encoded
1.72/2.07	c 2	Writing map file : HOME/temp.map
1.72/2.08	c 2	Heap : 4 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
1.72/2.08	c 2	SAT : 11480 SAT variables, 166241 SAT clauses, 2878642 bytes
1.72/2.08	c 2	Heap : 4 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
1.72/2.09	c 2	SOLVING HOME/temp.cnf
1.72/2.09	c 2	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1800.00/1813.41	sh: line 1: 25381 Terminated              HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out' 2>&1
1800.00/1813.41	c 1813	DECODING HOME/temp.out WITH HOME/temp.map
1800.00/1813.41	c 1813	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1800.00/1813.42	c ERROR INTERRUPTED
1800.00/1813.42	s UNKNOWN
1800.00/1813.42	c 1813	CPU 1800.02 (0.06 0.02 1798.92 1.02)
1800.00/1813.42	c 1813	END Sun Jul 12 08:55:09 2009

Verifier Data 

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

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2084875-1247379896/watcher-2084875-1247379896 -o /tmp/evaluation-result-2084875-1247379896/solver-2084875-1247379896 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2084875-1247379896.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): 2000 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


[startup+0 s]
/proc/loadavg: 2.00 2.04 2.12 4/82 25357
/proc/meminfo: memFree=1897672/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=18576 CPUtime=0
/proc/25357/stat : 25357 (runsolver) R 25355 25357 24905 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 25056073 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 268213742887 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25357/statm: 4644 284 249 26 0 2626 0

[startup+0.0455681 s]
/proc/loadavg: 2.00 2.04 2.12 4/82 25357
/proc/meminfo: memFree=1897672/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=2552 CPUtime=0
/proc/25357/stat : 25357 (sugar) D 25355 25357 24905 0 -1 4194304 48 0 0 0 0 0 0 0 19 0 1 0 25056073 2613248 33 996147200 4194304 4206940 548682068608 18446744073709551615 268211123689 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/25357/statm: 638 33 26 3 0 5 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2552

[startup+0.102287 s]
/proc/loadavg: 2.00 2.04 2.12 4/82 25357
/proc/meminfo: memFree=1897672/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=12272 CPUtime=0
/proc/25357/stat : 25357 (sugar) D 25355 25357 24905 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 25056073 12566528 330 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/25357/statm: 3068 330 246 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.301318 s]
/proc/loadavg: 2.00 2.04 2.12 4/82 25357
/proc/meminfo: memFree=1897672/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=0.08
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1227 128 0 0 6 2 0 0 18 0 1 0 25056073 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16868

[startup+0.702363 s]
/proc/loadavg: 2.00 2.04 2.12 4/82 25357
/proc/meminfo: memFree=1897672/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=0.08
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1227 128 0 0 6 2 0 0 18 0 1 0 25056073 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16868

[startup+1.50246 s]
/proc/loadavg: 2.00 2.04 2.12 4/93 25379
/proc/meminfo: memFree=1889072/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=0.64
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1310 7053 0 1 6 2 53 3 16 0 1 0 25056073 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1111 409 3 0 796 0
[pid=25370] ppid=25357 vsize=5356 CPUtime=0
/proc/25370/stat : 25370 (sh) S 25357 25357 24905 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25056161 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25370/statm: 1339 233 193 169 0 50 0
[pid=25371] ppid=25370 vsize=868628 CPUtime=0.6
/proc/25371/stat : 25371 (java) S 25370 25357 24905 0 -1 0 6160 0 1 0 56 4 0 0 19 0 9 0 25056161 889475072 5542 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25371/statm: 217157 5542 1856 9 0 211662 0
[pid=25371/tid=25372] ppid=25370 vsize=868628 CPUtime=0.36
/proc/25371/task/25372/stat : 25372 (java) R 25370 25357 24905 0 -1 64 2682 0 1 0 34 2 0 0 19 0 9 0 25056162 889475072 5542 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25371/tid=25373] ppid=25370 vsize=868628 CPUtime=0.05
/proc/25371/task/25373/stat : 25373 (java) R 25370 25357 24905 0 -1 64 1313 0 0 0 5 0 0 0 16 0 9 0 25056163 889475072 5542 996147200 134512640 134550932 4294955936 18446744073709551615 103825681 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25371/tid=25374] ppid=25370 vsize=868628 CPUtime=0
/proc/25371/task/25374/stat : 25374 (java) S 25370 25357 24905 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 25056164 889475072 5542 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25371/tid=25375] ppid=25370 vsize=868628 CPUtime=0
/proc/25371/task/25375/stat : 25375 (java) S 25370 25357 24905 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 25056164 889475072 5542 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25371/tid=25376] ppid=25370 vsize=868628 CPUtime=0
/proc/25371/task/25376/stat : 25376 (java) S 25370 25357 24905 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25056166 889475072 5542 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25371/tid=25377] ppid=25370 vsize=868628 CPUtime=0.16
/proc/25371/task/25377/stat : 25377 (java) S 25370 25357 24905 0 -1 64 1471 0 0 0 16 0 0 0 16 0 9 0 25056166 889475072 5542 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25371/tid=25378] ppid=25370 vsize=868628 CPUtime=0
/proc/25371/task/25378/stat : 25378 (java) S 25370 25357 24905 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 25056166 889475072 5542 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25371/tid=25379] ppid=25370 vsize=868628 CPUtime=0
/proc/25371/task/25379/stat : 25379 (java) S 25370 25357 24905 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25056166 889475072 5542 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 890852

[startup+3.10163 s]
/proc/loadavg: 2.00 2.04 2.12 3/85 25381
/proc/meminfo: memFree=1890288/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=5408 CPUtime=0.99
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 1178 0 0 0 45 54 0 0 25 0 1 0 25056282 5537792 1164 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/25381/statm: 1352 1164 40 102 0 1247 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 27632

[startup+6.302 s]
/proc/loadavg: 2.00 2.04 2.12 3/85 25381
/proc/meminfo: memFree=1883120/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=8836 CPUtime=4.15
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 1971 0 0 0 338 77 0 0 25 0 1 0 25056282 9048064 1954 996147200 134512640 134931368 4294956256 18446744073709551615 134525807 0 0 4096 0 0 0 0 17 1 0 0
/proc/25381/statm: 2209 1954 42 102 0 2104 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 31060

[startup+12.7017 s]
/proc/loadavg: 2.00 2.04 2.12 3/85 25381
/proc/meminfo: memFree=1880816/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=10628 CPUtime=10.5
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 2474 0 0 0 972 78 0 0 25 0 1 0 25056282 10883072 2398 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/25381/statm: 2657 2398 48 102 0 2552 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 32852

[startup+25.5022 s]
/proc/loadavg: 2.00 2.04 2.12 3/85 25381
/proc/meminfo: memFree=1880688/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=11024 CPUtime=23.18
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 2662 0 0 0 2240 78 0 0 25 0 1 0 25056282 11288576 2510 996147200 134512640 134931368 4294956256 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 1 0 0
/proc/25381/statm: 2756 2510 48 102 0 2651 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 33248

[startup+51.1021 s]
/proc/loadavg: 2.00 2.03 2.11 3/85 25381
/proc/meminfo: memFree=1879856/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=11684 CPUtime=48.54
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 3014 0 0 0 4776 78 0 0 25 0 1 0 25056282 11964416 2686 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/25381/statm: 2921 2686 48 102 0 2816 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 33908

[startup+102.308 s]
/proc/loadavg: 2.00 2.03 2.10 3/85 25381
/proc/meminfo: memFree=1878576/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=12608 CPUtime=99.26
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 3568 0 0 0 9848 78 0 0 25 0 1 0 25056282 12910592 2966 996147200 134512640 134931368 4294956256 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/25381/statm: 3152 2966 48 102 0 3047 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 34832

[startup+162.303 s]
/proc/loadavg: 2.00 2.02 2.09 3/85 25381
/proc/meminfo: memFree=1877360/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=14052 CPUtime=158.69
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 4156 0 0 0 15790 79 0 0 25 0 1 0 25056282 14389248 3282 996147200 134512640 134931368 4294956256 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 1 0 0
/proc/25381/statm: 3513 3282 48 102 0 3408 0
Current children cumulated CPU time (s) 160.52
Current children cumulated vsize (KiB) 36276

[startup+222.303 s]
/proc/loadavg: 2.00 2.01 2.08 3/85 25381
/proc/meminfo: memFree=1876080/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0

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

[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=25292 CPUtime=1228.54
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 9686 0 0 0 122769 85 0 0 25 0 1 0 25056282 25899008 5880 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/25381/statm: 6323 5880 48 102 0 6218 0
Current children cumulated CPU time (s) 1230.37
Current children cumulated vsize (KiB) 47516

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 25381
/proc/meminfo: memFree=1866288/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=25292 CPUtime=1287.98
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 9846 0 0 0 128713 85 0 0 25 0 1 0 25056282 25899008 5881 996147200 134512640 134931368 4294956256 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 1 0 0
/proc/25381/statm: 6323 5881 48 102 0 6218 0
Current children cumulated CPU time (s) 1289.81
Current children cumulated vsize (KiB) 47516

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 25381
/proc/meminfo: memFree=1866160/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=25292 CPUtime=1347.42
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 9854 0 0 0 134657 85 0 0 25 0 1 0 25056282 25899008 5889 996147200 134512640 134931368 4294956256 18446744073709551615 134525781 0 0 4096 0 0 0 0 17 1 0 0
/proc/25381/statm: 6323 5889 48 102 0 6218 0
Current children cumulated CPU time (s) 1349.25
Current children cumulated vsize (KiB) 47516

[startup+1422.31 s]
/proc/loadavg: 1.91 1.97 1.99 3/85 25517
/proc/meminfo: memFree=1862440/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=26612 CPUtime=1407.22
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 10338 0 0 0 140634 88 0 0 25 0 1 0 25056282 27250688 6206 996147200 134512640 134931368 4294956256 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 0 0 0
/proc/25381/statm: 6653 6206 48 102 0 6548 0
Current children cumulated CPU time (s) 1409.05
Current children cumulated vsize (KiB) 48836

[startup+1482.3 s]
/proc/loadavg: 1.96 1.97 1.99 3/85 25517
/proc/meminfo: memFree=1863144/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=25516 CPUtime=1467.19
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 10512 0 0 0 146631 88 0 0 25 0 1 0 25056282 26128384 5965 996147200 134512640 134931368 4294956256 18446744073709551615 134525921 0 0 4096 0 0 0 0 17 0 0 0
/proc/25381/statm: 6379 5965 48 102 0 6274 0
Current children cumulated CPU time (s) 1469.02
Current children cumulated vsize (KiB) 47740

[startup+1542.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/85 25517
/proc/meminfo: memFree=1863144/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=25516 CPUtime=1527.17
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 10512 0 0 0 152629 88 0 0 25 0 1 0 25056282 26128384 5965 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/25381/statm: 6379 5965 48 102 0 6274 0
Current children cumulated CPU time (s) 1529
Current children cumulated vsize (KiB) 47740

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/85 25519
/proc/meminfo: memFree=1862824/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=25516 CPUtime=1587.14
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 10699 0 0 0 158626 88 0 0 25 0 1 0 25056282 26128384 5977 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/25381/statm: 6379 5977 48 102 0 6274 0
Current children cumulated CPU time (s) 1588.97
Current children cumulated vsize (KiB) 47740

[startup+1662.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/85 25519
/proc/meminfo: memFree=1862568/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=26044 CPUtime=1647.13
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 10807 0 0 0 164624 89 0 0 25 0 1 0 25056282 26669056 6085 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/25381/statm: 6511 6085 48 102 0 6406 0
Current children cumulated CPU time (s) 1648.96
Current children cumulated vsize (KiB) 48268

[startup+1722.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/85 25519
/proc/meminfo: memFree=1860968/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=27364 CPUtime=1707.1
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 11335 0 0 0 170621 89 0 0 25 0 1 0 25056282 28020736 6438 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/25381/statm: 6841 6438 48 102 0 6736 0
Current children cumulated CPU time (s) 1708.93
Current children cumulated vsize (KiB) 49588

[startup+1782.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/85 25519
/proc/meminfo: memFree=1860968/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=27364 CPUtime=1767.07
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 11335 0 0 0 176618 89 0 0 25 0 1 0 25056282 28020736 6438 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/25381/statm: 6841 6438 48 102 0 6736 0
Current children cumulated CPU time (s) 1768.9
Current children cumulated vsize (KiB) 49588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.4 s]
/proc/loadavg: 2.02 2.00 2.00 3/85 25519
/proc/meminfo: memFree=1859112/2055920 swapFree=4192812/4192956
[pid=25357] ppid=25355 vsize=16868 CPUtime=1.83
/proc/25357/stat : 25357 (sugar) S 25355 25357 24905 0 -1 4194304 1365 15130 0 2 6 2 164 11 16 0 1 0 25056073 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25357/statm: 4217 1113 409 3 0 796 0
[pid=25380] ppid=25357 vsize=5356 CPUtime=0
/proc/25380/stat : 25380 (sh) S 25357 25357 24905 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25056282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25380/statm: 1339 232 193 169 0 50 0
[pid=25381] ppid=25380 vsize=29212 CPUtime=1798.17
/proc/25381/stat : 25381 (picosat) R 25380 25357 24905 0 -1 4194304 11977 0 0 0 179727 90 0 0 25 0 1 0 25056282 29913088 6898 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/25381/statm: 7303 6898 48 102 0 7198 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 51436

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

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

Child status: 0
Real time (s): 1813.42
CPU time (s): 1800.05
CPU user time (s): 1798.99
CPU system time (s): 1.05684
CPU usage (%): 99.2623
Max. virtual memory (cumulated for all children) (KiB): 890900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.05684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29146
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= 2925
involuntary context switches= 67712

runsolver used 2.16867 second user time and 6.08108 second system time

The end

Launcher Data 

Begin job on node32 at 2009-07-12 08:24:56
IDJOB=2084875
IDBENCH=58206
IDSOLVER=738
FILE ID=node32/2084875-1247379896
PBS_JOBID= 9507186
Free space on /tmp= 66368 MiB

SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/graphColoring/register/mulsol/normalized-mulsol-i-5-20.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2084875-1247379896/watcher-2084875-1247379896 -o /tmp/evaluation-result-2084875-1247379896/solver-2084875-1247379896 -C 1800 -W 2000 -M 900  HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2084875-1247379896.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 3f7d8b632918dbd93834ae577c4f5998
RANDOM SEED=807199227

node32.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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1898152 kB
Buffers:          4160 kB
Cached:          54320 kB
SwapCached:          0 kB
Active:          78520 kB
Inactive:        28144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1898152 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1848 kB
Writeback:           0 kB
Mapped:          68660 kB
Slab:            35952 kB
Committed_AS:   254440 kB
PageTables:       2032 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66368 MiB
End job on node32 at 2009-07-12 08:55:11