Trace number 2084985

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.14 1808.32

General information on the benchmark

Namecsp/graphColoring/leighton/leighton-25/
normalized-lei450-25a-15.xml
MD5SUM36f7bb4525a596900e07fbeb72405348
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.292955
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints8260
Maximum constraint arity2
Maximum domain size15
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8260
Global constraints used (with number of constraints)

Solver Data 

0.00/0.07	c 0	Sugar v1-14-6 + HOME/picosat
0.00/0.07	c 0	BEGIN Sun Jul 12 08:38:58 2009
0.00/0.07	c 0	PID 26092
0.00/0.08	c 0	HOST node87.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-2084985-1247380738.xml TO HOME/temp.csp
0.00/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2084985-1247380738.xml' 'HOME/temp.csp'
0.06/0.80	c 1	1 domains, 450 variables, 1 predicates, 0 relations, 8260 constraints
0.06/0.86	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.86	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.78/0.94	c 1	Parsing HOME/temp.csp
0.78/1.07	c 1	parsed 8712 expressions
0.78/1.08	c 1	Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.78/1.08	c 1	Converting to clausal form CSP
1.11/1.28	c 2	converted 872 (10%) expressions
1.21/1.33	c 2	converted 1743 (20%) expressions
1.21/1.36	c 2	converted 2614 (30%) expressions
1.30/1.44	c 2	converted 3485 (40%) expressions
1.30/1.47	c 2	converted 4356 (50%) expressions
1.30/1.49	c 2	converted 5228 (60%) expressions
1.40/1.53	c 2	converted 6099 (70%) expressions
1.40/1.56	c 2	converted 6970 (80%) expressions
1.50/1.63	c 2	converted 7841 (90%) expressions
1.50/1.66	c 2	converted 8712 (100%) expressions
1.50/1.66	c 2	CSP : 450 integers, 0 booleans, 8260 clauses, largest domain size 15
1.50/1.66	c 2	Heap : 8 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.50/1.66	c 2	Propagation in CSP
1.60/1.71	c 2	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.60/1.71	c 2	CSP : 450 integers, 0 booleans, 8260 clauses, largest domain size 15
1.60/1.71	c 2	Heap : 8 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.60/1.72	c 2	Simplifing CSP by introducing new Boolean variables
1.70/1.88	c 2	CSP : 450 integers, 16520 booleans, 24780 clauses, largest domain size 15
1.70/1.88	c 2	Heap : 13 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.79/1.97	c 2	Encoding CSP to SAT : HOME/temp.cnf
1.79/2.00	c 2	45 (10%) CSP integer variables are encoded (585 clauses, 6299 bytes)
1.89/2.00	c 2	90 (20%) CSP integer variables are encoded (1170 clauses, 13219 bytes)
1.89/2.00	c 2	135 (30%) CSP integer variables are encoded (1755 clauses, 20824 bytes)
1.89/2.00	c 2	180 (40%) CSP integer variables are encoded (2340 clauses, 28429 bytes)
1.89/2.01	c 2	225 (50%) CSP integer variables are encoded (2925 clauses, 36034 bytes)
1.89/2.01	c 2	270 (60%) CSP integer variables are encoded (3510 clauses, 43639 bytes)
1.89/2.01	c 2	315 (70%) CSP integer variables are encoded (4095 clauses, 51244 bytes)
1.89/2.01	c 2	360 (80%) CSP integer variables are encoded (4680 clauses, 58849 bytes)
1.89/2.01	c 2	405 (90%) CSP integer variables are encoded (5265 clauses, 66454 bytes)
1.89/2.01	c 2	450 (100%) CSP integer variables are encoded (5850 clauses, 74059 bytes)
1.99/2.12	c 2	2478 (10%) CSP clauses are encoded (31456 clauses, 504623 bytes)
1.99/2.17	c 2	4956 (20%) CSP clauses are encoded (57062 clauses, 942571 bytes)
2.09/2.22	c 3	7434 (30%) CSP clauses are encoded (82668 clauses, 1411797 bytes)
2.09/2.28	c 3	9912 (40%) CSP clauses are encoded (108274 clauses, 1900789 bytes)
2.20/2.33	c 3	12390 (50%) CSP clauses are encoded (133880 clauses, 2389781 bytes)
2.20/2.39	c 3	14868 (60%) CSP clauses are encoded (159486 clauses, 2878773 bytes)
2.29/2.44	c 3	17346 (70%) CSP clauses are encoded (185092 clauses, 3367765 bytes)
2.29/2.50	c 3	19824 (80%) CSP clauses are encoded (210698 clauses, 3856757 bytes)
2.39/2.55	c 3	22302 (90%) CSP clauses are encoded (236304 clauses, 4345749 bytes)
2.49/2.61	c 3	24780 (100%) CSP clauses are encoded (261910 clauses, 4834741 bytes)
2.49/2.61	c 3	24780 CSP clauses encoded
2.49/2.61	c 3	Writing map file : HOME/temp.map
2.49/2.63	c 3	Heap : 8 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
2.49/2.63	c 3	SAT : 22820 SAT variables, 261910 SAT clauses, 4834741 bytes
2.49/2.63	c 3	Heap : 8 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
2.49/2.65	c 3	SOLVING HOME/temp.cnf
2.49/2.65	c 3	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1800.09/1808.31	sh: line 1: 26116 Terminated              HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out' 2>&1
1800.09/1808.31	c 1809	DECODING HOME/temp.out WITH HOME/temp.map
1800.09/1808.31	c 1809	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.09/1808.32	c ERROR INTERRUPTED
1800.09/1808.32	s UNKNOWN
1800.09/1808.32	c 1809	CPU 1800.12 (0.06 0.01 1798.63 1.42)
1800.09/1808.32	c 1809	END Sun Jul 12 09:09:07 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-2084985-1247380738/watcher-2084985-1247380738 -o /tmp/evaluation-result-2084985-1247380738/solver-2084985-1247380738 -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-2084985-1247380738.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: 1.85 2.00 2.06 4/85 26092
/proc/meminfo: memFree=630960/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=7504 CPUtime=0
/proc/26092/stat : 26092 (sugar) R 26090 26092 26055 0 -1 4194304 66 0 0 0 0 0 0 0 20 0 1 0 25138656 7684096 51 996147200 4194304 4206940 548682068608 18446744073709551615 254611092873 0 0 4096 0 0 0 0 17 1 0 0
/proc/26092/statm: 1876 51 38 3 0 55 0

[startup+0.102687 s]
/proc/loadavg: 1.85 2.00 2.06 4/85 26092
/proc/meminfo: memFree=630960/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=0.06
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 25138656 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26092/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.201693 s]
/proc/loadavg: 1.85 2.00 2.06 4/85 26092
/proc/meminfo: memFree=630960/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=0.06
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 25138656 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26092/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.301702 s]
/proc/loadavg: 1.85 2.00 2.06 4/85 26092
/proc/meminfo: memFree=630960/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=0.06
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 25138656 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26092/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.701748 s]
/proc/loadavg: 1.85 2.00 2.06 4/85 26092
/proc/meminfo: memFree=630960/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=0.06
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 25138656 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26092/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+1.50284 s]
/proc/loadavg: 1.85 2.00 2.06 3/96 26114
/proc/meminfo: memFree=619544/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=0.78
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1309 8624 0 1 5 1 67 5 16 0 1 0 25138656 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1111 409 3 0 796 0
[pid=26105] ppid=26092 vsize=5356 CPUtime=0
/proc/26105/stat : 26105 (sh) S 26092 26092 26055 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25138742 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26105/statm: 1339 233 193 169 0 50 0
[pid=26106] ppid=26105 vsize=868560 CPUtime=0.62
/proc/26106/stat : 26106 (java) S 26105 26092 26055 0 -1 0 7509 0 1 0 58 4 0 0 18 0 9 0 25138742 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26106/statm: 217140 6737 2566 9 0 211645 0
[pid=26106/tid=26107] ppid=26105 vsize=868560 CPUtime=0.36
/proc/26106/task/26107/stat : 26107 (java) R 26105 26092 26055 0 -1 64 2673 0 1 0 34 2 0 0 19 0 9 0 25138743 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4126545107 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26108] ppid=26105 vsize=868560 CPUtime=0.1
/proc/26106/task/26108/stat : 26108 (java) S 26105 26092 26055 0 -1 64 2671 0 0 0 9 1 0 0 16 0 9 0 25138744 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26109] ppid=26105 vsize=868560 CPUtime=0
/proc/26106/task/26109/stat : 26109 (java) S 26105 26092 26055 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25138745 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26110] ppid=26105 vsize=868560 CPUtime=0
/proc/26106/task/26110/stat : 26110 (java) S 26105 26092 26055 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 25138745 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26111] ppid=26105 vsize=868560 CPUtime=0
/proc/26106/task/26111/stat : 26111 (java) S 26105 26092 26055 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25138747 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26112] ppid=26105 vsize=868560 CPUtime=0.13
/proc/26106/task/26112/stat : 26112 (java) S 26105 26092 26055 0 -1 64 1466 0 0 0 13 0 0 0 16 0 9 0 25138747 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26113] ppid=26105 vsize=868560 CPUtime=0
/proc/26106/task/26113/stat : 26113 (java) S 26105 26092 26055 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 25138747 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26114] ppid=26105 vsize=868560 CPUtime=0
/proc/26106/task/26114/stat : 26114 (java) S 26105 26092 26055 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25138747 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 890784

[startup+3.10302 s]
/proc/loadavg: 1.94 2.02 2.07 3/96 26114
/proc/meminfo: memFree=601240/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 16868

[startup+6.30138 s]
/proc/loadavg: 1.94 2.02 2.07 3/88 26116
/proc/meminfo: memFree=611544/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=12520 CPUtime=3.63
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 2882 0 0 0 249 114 0 0 25 0 1 0 25138921 12820480 2865 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 3130 2865 42 102 0 3025 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 34744

[startup+12.7011 s]
/proc/loadavg: 1.95 2.02 2.07 3/88 26116
/proc/meminfo: memFree=608536/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=16184 CPUtime=9.99
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 3573 0 0 0 885 114 0 0 25 0 1 0 25138921 16572416 3556 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4046 3556 42 102 0 3941 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 38408

[startup+25.5015 s]
/proc/loadavg: 1.95 2.02 2.07 3/88 26116
/proc/meminfo: memFree=607576/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=16716 CPUtime=22.73
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 3853 0 0 0 2159 114 0 0 25 0 1 0 25138921 17117184 3718 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4179 3718 48 102 0 4074 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 38940

[startup+51.1014 s]
/proc/loadavg: 1.97 2.02 2.06 3/88 26116
/proc/meminfo: memFree=606680/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=17904 CPUtime=48.19
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 4253 0 0 0 4704 115 0 0 25 0 1 0 25138921 18333696 3999 996147200 134512640 134931368 4294956256 18446744073709551615 134525741 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4476 3999 48 102 0 4371 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 40128

[startup+102.301 s]
/proc/loadavg: 1.99 2.01 2.06 3/88 26116
/proc/meminfo: memFree=580440/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=18952 CPUtime=99.15
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 4675 0 0 0 9799 116 0 0 25 0 1 0 25138921 19406848 4219 996147200 134512640 134931368 4294956256 18446744073709551615 134525794 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4738 4219 48 102 0 4633 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 41176

[startup+162.302 s]
/proc/loadavg: 1.99 2.01 2.05 3/88 26116
/proc/meminfo: memFree=580120/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=19084 CPUtime=158.86
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 4895 0 0 0 15770 116 0 0 25 0 1 0 25138921 19542016 4287 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4771 4287 48 102 0 4666 0
Current children cumulated CPU time (s) 161.4
Current children cumulated vsize (KiB) 41308

[startup+222.306 s]
/proc/loadavg: 1.99 2.00 2.05 3/88 26116
/proc/meminfo: memFree=579288/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=19876 CPUtime=218.58
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 5264 0 0 0 21741 117 0 0 25 0 1 0 25138921 20353024 4488 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4969 4488 48 102 0 4864 0
Current children cumulated CPU time (s) 221.12
Current children cumulated vsize (KiB) 42100


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

[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=25796 CPUtime=1233.86
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 8660 0 0 0 123266 120 0 0 25 0 1 0 25138921 26415104 5975 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6449 5975 48 102 0 6344 0
Current children cumulated CPU time (s) 1236.4
Current children cumulated vsize (KiB) 48020

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26190
/proc/meminfo: memFree=1032568/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=25796 CPUtime=1293.62
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 8660 0 0 0 129242 120 0 0 25 0 1 0 25138921 26415104 5975 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6449 5975 48 102 0 6344 0
Current children cumulated CPU time (s) 1296.16
Current children cumulated vsize (KiB) 48020

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1031416/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=26852 CPUtime=1353.36
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9096 0 0 0 135215 121 0 0 25 0 1 0 25138921 27496448 6250 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6713 6250 48 102 0 6608 0
Current children cumulated CPU time (s) 1355.9
Current children cumulated vsize (KiB) 49076

[startup+1422.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1031352/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=26852 CPUtime=1413.12
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9096 0 0 0 141191 121 0 0 25 0 1 0 25138921 27496448 6250 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6713 6250 48 102 0 6608 0
Current children cumulated CPU time (s) 1415.66
Current children cumulated vsize (KiB) 49076

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1031224/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=27116 CPUtime=1472.87
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9178 0 0 0 147165 122 0 0 25 0 1 0 25138921 27766784 6332 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6779 6332 48 102 0 6674 0
Current children cumulated CPU time (s) 1475.41
Current children cumulated vsize (KiB) 49340

[startup+1542.31 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1030584/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=27644 CPUtime=1532.63
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9476 0 0 0 153141 122 0 0 25 0 1 0 25138921 28307456 6463 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6911 6463 48 102 0 6806 0
Current children cumulated CPU time (s) 1535.17
Current children cumulated vsize (KiB) 49868

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1030520/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=27644 CPUtime=1592.38
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9476 0 0 0 159116 122 0 0 25 0 1 0 25138921 28307456 6463 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6911 6463 48 102 0 6806 0
Current children cumulated CPU time (s) 1594.92
Current children cumulated vsize (KiB) 49868

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1030072/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=28040 CPUtime=1652.14
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9769 0 0 0 165091 123 0 0 25 0 1 0 25138921 28712960 6579 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 7010 6579 48 102 0 6905 0
Current children cumulated CPU time (s) 1654.68
Current children cumulated vsize (KiB) 50264

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1030072/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=28040 CPUtime=1711.9
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9769 0 0 0 171067 123 0 0 25 0 1 0 25138921 28712960 6579 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 7010 6579 48 102 0 6905 0
Current children cumulated CPU time (s) 1714.44
Current children cumulated vsize (KiB) 50264

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1030008/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=28040 CPUtime=1771.65
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9769 0 0 0 177042 123 0 0 25 0 1 0 25138921 28712960 6579 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 7010 6579 48 102 0 6905 0
Current children cumulated CPU time (s) 1774.19
Current children cumulated vsize (KiB) 50264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1029752/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=28304 CPUtime=1797.55
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 10019 0 0 0 179632 123 0 0 25 0 1 0 25138921 28983296 6651 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 7076 6651 48 102 0 6971 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 50528

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): 1808.32
CPU time (s): 1800.14
CPU user time (s): 1798.69
CPU system time (s): 1.44578
CPU usage (%): 99.5472
Max. virtual memory (cumulated for all children) (KiB): 891004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.44578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30868
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= 3117
involuntary context switches= 38622

runsolver used 2.25266 second user time and 5.00524 second system time

The end

Launcher Data 

Begin job on node87 at 2009-07-12 08:38:58
IDJOB=2084985
IDBENCH=58263
IDSOLVER=738
FILE ID=node87/2084985-1247380738
PBS_JOBID= 9507260
Free space on /tmp= 66292 MiB

SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/graphColoring/leighton/leighton-25/normalized-lei450-25a-15.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-2084985-1247380738/watcher-2084985-1247380738 -o /tmp/evaluation-result-2084985-1247380738/solver-2084985-1247380738 -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-2084985-1247380738.xml

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

MD5SUM BENCH= 36f7bb4525a596900e07fbeb72405348
RANDOM SEED=1537491337

node87.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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        631440 kB
Buffers:         95504 kB
Cached:         792228 kB
SwapCached:          8 kB
Active:         632652 kB
Inactive:       706488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        631440 kB
SwapTotal:     4192956 kB
SwapFree:      4192948 kB
Dirty:            2464 kB
Writeback:           0 kB
Mapped:         465816 kB
Slab:            69644 kB
Committed_AS:   906584 kB
PageTables:       2724 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 node87 at 2009-07-12 09:09:09