Trace number 1119812

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+minisatMSAT (TO) 3600.03 3627.23

General information on the benchmark

Namemaxcsp/maxcut/maxcut-60/
normalized-maxcut-60-500-7_ext.xml
MD5SUMc8d95f772334fb29109485de363d8e4a
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints175
Best CPU time to get the best result obtained on this benchmark2045.32
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints500
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension500
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.04	c 0	Sugar v1-13 + HOME/minisat
0.00/0.04	c 0	BEGIN Tue Jul 15 08:24:40 2008
0.00/0.04	c 0	PID 23919
0.00/0.04	c 0	HOST node90.alineos.net
0.00/0.04	c 0	CONVERTING HOME/instance-1119812-1216103079.xml TO HOME/temp.csp
0.00/0.04	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1119812-1216103079.xml' 'HOME/temp.csp'
0.03/0.35	c 0	1 domains, 60 variables, 0 predicates, 1 relations, 500 constraints
0.03/0.36	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.36	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.32/0.44	c 0	Parsing HOME/temp.csp
0.32/0.53	c 0	parsed 562 expressions
0.32/0.57	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.32/0.58	c 0	MAX CSP: 500 constraints
0.32/0.58	c 0	Converting to clausal form CSP
0.32/0.62	c 0	converted 107 (10%) expressions
0.32/0.63	c 0	converted 213 (20%) expressions
0.32/0.64	c 0	converted 320 (30%) expressions
0.32/0.64	c 0	converted 426 (40%) expressions
0.32/0.65	c 0	converted 533 (50%) expressions
0.32/0.66	c 0	converted 639 (60%) expressions
0.32/0.66	c 0	converted 746 (70%) expressions
0.32/0.68	c 0	converted 852 (80%) expressions
0.32/0.68	c 0	converted 959 (90%) expressions
0.32/0.84	c 0	converted 1065 (100%) expressions
0.32/0.84	c 0	CSP : 1060 integers, 0 booleans, 1499 clauses, largest domain size 751
0.32/0.84	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.32/0.84	c 0	Propagation in CSP
0.32/0.88	c 0	494 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.32/0.88	c 0	CSP : 1060 integers, 0 booleans, 1499 clauses, largest domain size 501
0.32/0.88	c 0	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.32/0.88	c 0	Simplifing CSP by introducing new Boolean variables
0.32/0.88	c 0	CSP : 1060 integers, 0 booleans, 1499 clauses, largest domain size 501
0.32/0.88	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.32/0.91	c 0	Encoding CSP to SAT : HOME/temp.cnf
0.32/0.92	c 0	106 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.32/0.92	c 0	212 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.32/0.92	c 1	318 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.32/0.92	c 1	424 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.32/0.93	c 1	530 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.32/0.94	c 1	636 (60%) CSP integer variables are encoded (841 clauses, 10120 bytes)
0.32/0.94	c 1	742 (70%) CSP integer variables are encoded (4703 clauses, 60326 bytes)
0.32/0.94	c 1	848 (80%) CSP integer variables are encoded (5889 clauses, 75744 bytes)
0.32/0.94	c 1	954 (90%) CSP integer variables are encoded (6553 clauses, 84376 bytes)
0.32/0.95	c 1	1060 (100%) CSP integer variables are encoded (7495 clauses, 96622 bytes)
0.32/0.97	c 1	150 (10%) CSP clauses are encoded (7795 clauses, 100456 bytes)
0.32/0.99	c 1	300 (20%) CSP clauses are encoded (8095 clauses, 104656 bytes)
0.93/1.01	c 1	450 (30%) CSP clauses are encoded (8395 clauses, 108856 bytes)
0.93/1.03	c 1	600 (40%) CSP clauses are encoded (10209 clauses, 139151 bytes)
1.13/1.28	c 1	750 (50%) CSP clauses are encoded (141753 clauses, 2526061 bytes)
1.13/1.29	c 1	900 (60%) CSP clauses are encoded (146573 clauses, 2610310 bytes)
1.42/1.50	c 1	1050 (70%) CSP clauses are encoded (269997 clauses, 4881013 bytes)
1.42/1.51	c 1	1200 (80%) CSP clauses are encoded (275505 clauses, 4977504 bytes)
1.42/1.54	c 1	1350 (90%) CSP clauses are encoded (288461 clauses, 5210795 bytes)
1.53/1.62	c 1	1499 (100%) CSP clauses are encoded (335985 clauses, 6078320 bytes)
1.53/1.62	c 1	1499 CSP clauses encoded
1.53/1.62	c 1	Writing map file : HOME/temp.map
1.53/1.63	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.53/1.63	c 1	SAT : 8555 SAT variables, 335985 SAT clauses, 6078320 bytes
1.53/1.63	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.53/1.66	c 1	OBJECTIVE minimize _COST
1.53/1.66	c 1	OBJECTIVE BOUND: 0 <= _COST <= 
1.53/1.66	c 1	SEARCHING: _COST <= 250
1.53/1.66	c 1	SOLVING HOME/temp.cnf
1.53/1.66	c 1	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1.53/1.67	c 1	This is MiniSat 2.0 beta
1.53/1.67	c 1	WARNING: for repeatability, setting FPU to use double precision
1.53/1.67	c 1	============================[ Problem Statistics ]=============================
1.53/1.67	c 1	|                                                                             |
1.53/1.67	c 1	|  Number of variables:  8555                                                 |
1.53/1.67	c 1	|  Number of clauses:    335986                                               |
1.58/1.82	c 1	|  Parsing time:         0.13         s                                       |
1.58/1.91	c 1	============================[ Search Statistics ]==============================
1.58/1.91	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.91	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.58/1.91	c 1	===============================================================================
1.58/1.91	c 1	|         0 |    6305   215058   628689 |    71686        0    nan |  0.000 % |
1.58/2.00	c 2	|       100 |    6305   215058   628689 |    78854      100     26 | 26.300 % |
1.58/2.04	c 2	|       250 |    6305   215058   628689 |    86740      250     19 | 26.300 % |
1.58/2.09	c 2	|       475 |    6305   215058   628689 |    95414      475     18 | 26.300 % |
2.00/2.17	c 2	|       813 |    6305   215058   628689 |   104955      813     19 | 26.300 % |
2.10/2.26	c 2	|      1319 |    6305   215058   628689 |   115451     1319     19 | 26.300 % |
2.40/2.55	c 2	|      2079 |    6305   215058   628689 |   126996     2079     20 | 26.302 % |
2.89/3.08	c 3	|      3218 |    6305   215058   628689 |   139695     3218     28 | 26.301 % |
3.28/3.49	c 3	|      4926 |    6305   215058   628689 |   153665     4926     28 | 26.301 % |
4.28/4.42	c 4	|      7488 |    6305   215058   628689 |   169031     7488     26 | 26.300 % |
5.87/6.41	c 6	|     11333 |    6305   215058   628689 |   185935    11333     30 | 26.300 % |
8.04/8.63	c 8	|     17100 |    6305   215058   628689 |   204528    17100     32 | 26.300 % |
11.69/12.31	c 12	|     25750 |    6305   215058   628689 |   224981    25750     34 | 26.300 % |
17.32/18.04	c 18	|     38724 |    6305   215058   628689 |   247479    38724     35 | 26.300 % |
27.75/28.60	c 28	|     58186 |    6305   215058   628689 |   272227    58186     36 | 26.300 % |
50.98/52.54	c 52	|     87378 |    6305   215058   628689 |   299450    87378     37 | 26.300 % |
94.07/96.14	c 96	|    131168 |    6305   215058   628689 |   329395   131168     39 | 26.300 % |
184.50/187.65	c 187	|    196853 |    6305   215058   628689 |   362334   196853     40 | 26.300 % |
370.83/376.12	c 376	|    295379 |    6305   215058   628689 |   398568   295379     40 | 26.300 % |
647.60/656.10	c 656	|    443168 |    6305   215058   628689 |   438425    57514     35 | 26.300 % |
1019.15/1032.09	c 1032	|    664851 |    6305   215058   628689 |   482267   279197     40 | 26.300 % |
1150.51/1164.95	c 1165	===============================================================================
1150.51/1164.95	c 1165	restarts              : 21
1150.51/1164.95	c 1165	conflicts             : 739003         (643 /sec)
1150.51/1164.95	c 1165	decisions             : 887276         (0.64 % random) (772 /sec)
1150.51/1164.95	c 1165	propagations          : 268822241      (234011 /sec)
1150.51/1164.95	c 1165	conflict literals     : 29667161       (28.79 % deleted)
1150.51/1164.95	c 1165	Memory used           : 89.56 MB
1150.51/1164.95	c 1165	CPU time              : 1148.76 s
1150.51/1164.95	c 1165	
1150.51/1164.95	c 1165	SATISFIABLE
1150.51/1164.97	c 1165	FOUND: _COST <= 250
1150.51/1164.97	s SATISFIABLE
1150.51/1164.97	c 1165	DECODING HOME/temp.out WITH HOME/temp.map
1150.51/1164.97	c 1165	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1150.60/1165.05	c 1165	Decoding HOME/temp.out
1150.70/1165.18	c 1165	OBJECTIVE _COST 250
1150.70/1165.18	o 250
1150.70/1165.18	v 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 0 1 0 1
1150.70/1165.18	c 1165	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1150.78/1165.23	c 1165	OBJECTIVE BOUND: 0 <= _COST <= 250
1150.78/1165.23	c 1165	SEARCHING: _COST <= 125
1150.78/1165.23	c 1165	SOLVING HOME/temp.cnf
1150.78/1165.23	c 1165	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1150.78/1165.23	c 1165	This is MiniSat 2.0 beta
1150.78/1165.23	c 1165	WARNING: for repeatability, setting FPU to use double precision
1150.78/1165.23	c 1165	============================[ Problem Statistics ]=============================
1150.78/1165.23	c 1165	|                                                                             |
1150.78/1165.24	c 1165	|  Number of variables:  8555                                                 |
1150.78/1165.24	c 1165	|  Number of clauses:    335986                                               |
1150.81/1165.39	c 1165	|  Parsing time:         0.14         s                                       |
1150.81/1165.51	c 1165	============================[ Search Statistics ]==============================
1150.81/1165.51	c 1165	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1150.81/1165.51	c 1165	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1150.81/1165.51	c 1165	===============================================================================
1150.81/1165.51	c 1165	|         0 |    5055   141183   410689 |    47061        0    nan |  0.000 % |
1150.81/1165.59	c 1165	|       100 |    5055   141183   410689 |    51767      100     21 | 40.912 % |
1150.81/1165.61	c 1165	|       251 |    5055   141183   410689 |    56943      251     22 | 40.912 % |
1150.81/1165.66	c 1165	|       476 |    5055   141183   410689 |    62638      476     24 | 40.912 % |
1150.81/1165.73	c 1165	|       815 |    5055   141183   410689 |    68902      815     23 | 40.912 % |
1150.81/1165.82	c 1165	|      1321 |    5055   141183   410689 |    75792     1321     23 | 40.912 % |
1150.81/1165.96	c 1166	|      2080 |    5055   141183   410689 |    83371     2080     23 | 40.912 % |
1150.81/1166.17	c 1166	|      3219 |    5055   141183   410689 |    91708     3219     22 | 40.912 % |
1152.15/1166.60	c 1166	|      4928 |    5055   141183   410689 |   100879     4928     20 | 40.912 % |
1152.94/1167.42	c 1167	|      7492 |    5055   141183   410689 |   110967     7492     23 | 40.912 % |
1154.12/1168.63	c 1168	|     11336 |    5055   141183   410689 |   122064    11336     25 | 40.912 % |
1156.59/1171.10	c 1171	|     17102 |    5055   141183   410689 |   134270    17102     27 | 40.912 % |
1160.55/1175.11	c 1175	|     25751 |    5055   141183   410689 |   147697    25751     28 | 40.912 % |
1166.08/1180.76	c 1180	|     38727 |    5055   141183   410689 |   162467    38727     28 | 40.912 % |
1177.64/1192.45	c 1192	|     58189 |    5055   141183   410689 |   178714    58189     28 | 40.912 % |
1201.26/1216.33	c 1216	|     87381 |    5055   141183   410689 |   196585    87381     28 | 40.912 % |
1247.03/1262.66	c 1262	|    131171 |    5055   141183   410689 |   216244   131171     28 | 40.912 % |
1341.13/1357.88	c 1357	|    196857 |    5055   141183   410689 |   237868   196857     28 | 40.912 % |
1470.42/1488.69	c 1488	|    295383 |    5055   141183   410689 |   261655    68718     35 | 40.912 % |
1689.76/1710.53	c 1710	|    443172 |    5055   141183   410689 |   287820   216507     28 | 40.912 % |
2006.35/2030.90	c 2030	|    664855 |    5055   141183   410689 |   316602   161278     34 | 40.912 % |
2618.39/2645.26	c 2645	|    997380 |    5055   141183   410689 |   348263   191413     35 | 40.912 % |
3600.03/3627.22	c ERROR INTERRUPTED
3600.03/3627.22	c 3627	CPU 1150.4 (0.04 0.01 1150.36 0.4)
3600.03/3627.22	c 3627	END Tue Jul 15 09:25:07 2008

Verifier Data (download as text)

OK	247	253
247 unsatisfied constraints, 253 satisfied constraints

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-1119812-1216103079/watcher-1119812-1216103079 -o /tmp/evaluation-result-1119812-1216103079/solver-1119812-1216103079 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1119812-1216103079.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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: 2.00 2.00 2.00 4/103 23919
/proc/meminfo: memFree=1742028/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=12268 CPUtime=0
/proc/23919/stat : 23919 (sugar) R 23917 23919 23520 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 67004533 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 256373734398 0 0 4224 0 0 0 0 17 1 0 0
/proc/23919/statm: 3067 316 241 3 0 167 0

[startup+0.08142 s]
/proc/loadavg: 2.00 2.00 2.00 4/103 23919
/proc/meminfo: memFree=1742028/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13600 CPUtime=0.03
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 67004533 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.101421 s]
/proc/loadavg: 2.00 2.00 2.00 4/103 23919
/proc/meminfo: memFree=1742028/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13600 CPUtime=0.03
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 67004533 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301457 s]
/proc/loadavg: 2.00 2.00 2.00 4/103 23919
/proc/meminfo: memFree=1742028/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13600 CPUtime=0.03
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 67004533 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701544 s]
/proc/loadavg: 2.00 2.00 2.00 4/103 23919
/proc/meminfo: memFree=1742028/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13600 CPUtime=0.32
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 974 4527 0 1 3 0 26 3 15 0 1 0 67004533 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 13600

[startup+1.50268 s]
/proc/loadavg: 2.08 2.02 2.01 3/114 23941
/proc/meminfo: memFree=1727028/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13600 CPUtime=0.32
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 974 4527 0 1 3 0 26 3 15 0 1 0 67004533 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3400 797 370 3 0 500 0
[pid=23932] ppid=23919 vsize=5356 CPUtime=0
/proc/23932/stat : 23932 (sh) S 23919 23919 23520 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 67004570 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23932/statm: 1339 233 193 169 0 50 0
[pid=23933] ppid=23932 vsize=868500 CPUtime=1.1
/proc/23933/stat : 23933 (java) S 23932 23919 23520 0 -1 0 6606 0 1 0 103 7 0 0 20 0 9 0 67004570 889344000 5699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23933/statm: 217125 5699 2563 9 0 211672 0
[pid=23933/tid=23934] ppid=23932 vsize=868500 CPUtime=0.78
/proc/23933/task/23934/stat : 23934 (java) R 23932 23919 23520 0 -1 64 2858 0 1 0 74 4 0 0 25 0 9 0 67004571 889344000 5699 996147200 134512640 134550740 4294955936 18446744073709551615 4126918265 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23933/tid=23935] ppid=23932 vsize=868500 CPUtime=0.08
/proc/23933/task/23935/stat : 23935 (java) S 23932 23919 23520 0 -1 64 1571 0 0 0 7 1 0 0 16 0 9 0 67004572 889344000 5699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23933/tid=23936] ppid=23932 vsize=868500 CPUtime=0
/proc/23933/task/23936/stat : 23936 (java) S 23932 23919 23520 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 67004572 889344000 5699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23933/tid=23937] ppid=23932 vsize=868500 CPUtime=0
/proc/23933/task/23937/stat : 23937 (java) S 23932 23919 23520 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 67004572 889344000 5699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23933/tid=23938] ppid=23932 vsize=868500 CPUtime=0
/proc/23933/task/23938/stat : 23938 (java) S 23932 23919 23520 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 67004574 889344000 5699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23933/tid=23939] ppid=23932 vsize=868500 CPUtime=0.22
/proc/23933/task/23939/stat : 23939 (java) S 23932 23919 23520 0 -1 64 1484 0 0 0 21 1 0 0 16 0 9 0 67004574 889344000 5699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23933/tid=23940] ppid=23932 vsize=868500 CPUtime=0
/proc/23933/task/23940/stat : 23940 (java) S 23932 23919 23520 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 67004574 889344000 5699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23933/tid=23941] ppid=23932 vsize=868500 CPUtime=0
/proc/23933/task/23941/stat : 23941 (java) S 23932 23919 23520 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 67004574 889344000 5699 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 887456

[startup+3.10198 s]
/proc/loadavg: 2.08 2.02 2.01 3/106 23943
/proc/meminfo: memFree=1718644/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1.58
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1068 11475 0 2 3 1 142 12 15 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23942] ppid=23919 vsize=5356 CPUtime=0
/proc/23942/stat : 23942 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67004700 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23942/statm: 1339 232 193 169 0 50 0
[pid=23943] ppid=23942 vsize=15984 CPUtime=1.41
/proc/23943/stat : 23943 (minisat) R 23942 23919 23520 0 -1 4194304 3777 0 0 0 139 2 0 0 25 0 1 0 67004700 16367616 3763 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 0 0 0
/proc/23943/statm: 3996 3763 76 150 0 3843 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 35072

[startup+6.30157 s]
/proc/loadavg: 2.15 2.03 2.01 3/106 23943
/proc/meminfo: memFree=1718388/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1.58
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1068 11475 0 2 3 1 142 12 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23942] ppid=23919 vsize=5356 CPUtime=0
/proc/23942/stat : 23942 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67004700 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23942/statm: 1339 232 193 169 0 50 0
[pid=23943] ppid=23942 vsize=15984 CPUtime=4.19
/proc/23943/stat : 23943 (minisat) R 23942 23919 23520 0 -1 4194304 3789 0 0 0 417 2 0 0 25 0 1 0 67004700 16367616 3775 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23943/statm: 3996 3775 76 150 0 3843 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 35072

[startup+12.7017 s]
/proc/loadavg: 2.22 2.05 2.02 3/106 23943
/proc/meminfo: memFree=1716156/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1.58
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1068 11475 0 2 3 1 142 12 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23942] ppid=23919 vsize=5356 CPUtime=0
/proc/23942/stat : 23942 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67004700 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23942/statm: 1339 232 193 169 0 50 0
[pid=23943] ppid=23942 vsize=18456 CPUtime=10.51
/proc/23943/stat : 23943 (minisat) R 23942 23919 23520 0 -1 4194304 4394 0 0 0 1049 2 0 0 25 0 1 0 67004700 18898944 4380 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/23943/statm: 4614 4380 76 150 0 4461 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 37544

[startup+25.5011 s]
/proc/loadavg: 2.61 2.14 2.05 3/106 23943
/proc/meminfo: memFree=1711356/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1.58
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1068 11475 0 2 3 1 142 12 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23942] ppid=23919 vsize=5356 CPUtime=0
/proc/23942/stat : 23942 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67004700 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23942/statm: 1339 232 193 169 0 50 0
[pid=23943] ppid=23942 vsize=23336 CPUtime=23.09
/proc/23943/stat : 23943 (minisat) R 23942 23919 23520 0 -1 4194304 5586 0 0 0 2306 3 0 0 25 0 1 0 67004700 23896064 5572 996147200 134512640 135127466 4294956256 18446744073709551615 134530665 0 0 4096 3 0 0 0 17 0 0 0
/proc/23943/statm: 5834 5572 76 150 0 5681 0
Current children cumulated CPU time (s) 24.67
Current children cumulated vsize (KiB) 42424

[startup+51.1018 s]
/proc/loadavg: 2.78 2.23 2.08 3/106 23943
/proc/meminfo: memFree=1705148/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1.58
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1068 11475 0 2 3 1 142 12 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23942] ppid=23919 vsize=5356 CPUtime=0
/proc/23942/stat : 23942 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67004700 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23942/statm: 1339 232 193 169 0 50 0
[pid=23943] ppid=23942 vsize=29468 CPUtime=48.02
/proc/23943/stat : 23943 (minisat) R 23942 23919 23520 0 -1 4194304 7138 0 0 0 4797 5 0 0 25 0 1 0 67004700 30175232 7124 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23943/statm: 7367 7124 76 150 0 7214 0
Current children cumulated CPU time (s) 49.6
Current children cumulated vsize (KiB) 48556

[startup+102.301 s]
/proc/loadavg: 2.34 2.19 2.07 3/106 23943
/proc/meminfo: memFree=1695164/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1.58
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1068 11475 0 2 3 1 142 12 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23942] ppid=23919 vsize=5356 CPUtime=0
/proc/23942/stat : 23942 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67004700 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23942/statm: 1339 232 193 169 0 50 0
[pid=23943] ppid=23942 vsize=39844 CPUtime=98.62
/proc/23943/stat : 23943 (minisat) R 23942 23919 23520 0 -1 4194304 9702 0 0 0 9853 9 0 0 25 0 1 0 67004700 40800256 9688 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23943/statm: 9961 9688 76 150 0 9808 0
Current children cumulated CPU time (s) 100.2
Current children cumulated vsize (KiB) 58932

[startup+162.301 s]
/proc/loadavg: 2.12 2.15 2.06 3/106 23943
/proc/meminfo: memFree=1685884/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1.58
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1068 11475 0 2 3 1 142 12 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23942] ppid=23919 vsize=5356 CPUtime=0
/proc/23942/stat : 23942 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67004700 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23942/statm: 1339 232 193 169 0 50 0
[pid=23943] ppid=23942 vsize=48840 CPUtime=157.93
/proc/23943/stat : 23943 (minisat) R 23942 23919 23520 0 -1 4194304 11909 0 0 0 15782 11 0 0 25 0 1 0 67004700 50012160 11895 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/23943/statm: 12210 11895 76 150 0 12057 0
Current children cumulated CPU time (s) 159.51
Current children cumulated vsize (KiB) 67928

[startup+222.302 s]
/proc/loadavg: 2.04 2.12 2.06 3/106 23943
/proc/meminfo: memFree=1678588/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1.58
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1068 11475 0 2 3 1 142 12 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23942] ppid=23919 vsize=5356 CPUtime=0
/proc/23942/stat : 23942 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67004700 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0

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

/proc/meminfo: memFree=1583812/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1150.81
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1187 38099 0 3 4 1 115036 40 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23954] ppid=23919 vsize=5356 CPUtime=0
/proc/23954/stat : 23954 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67121057 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23954/statm: 1339 232 193 169 0 50 0
[pid=23955] ppid=23954 vsize=83564 CPUtime=1984.47
/proc/23955/stat : 23955 (minisat) R 23954 23919 23520 0 -1 4194304 20204 0 0 0 198427 20 0 0 25 0 1 0 67121057 85569536 20182 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/23955/statm: 20891 20182 75 150 0 20738 0
Current children cumulated CPU time (s) 3135.28
Current children cumulated vsize (KiB) 102652

[startup+3222.3 s]
/proc/loadavg: 2.56 2.46 2.23 4/113 24030
/proc/meminfo: memFree=1583236/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1150.81
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1187 38099 0 3 4 1 115036 40 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23954] ppid=23919 vsize=5356 CPUtime=0
/proc/23954/stat : 23954 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67121057 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23954/statm: 1339 232 193 169 0 50 0
[pid=23955] ppid=23954 vsize=84184 CPUtime=2044.45
/proc/23955/stat : 23955 (minisat) R 23954 23919 23520 0 -1 4194304 20361 0 0 0 204425 20 0 0 25 0 1 0 67121057 86204416 20331 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/23955/statm: 21046 20331 75 150 0 20893 0
Current children cumulated CPU time (s) 3195.26
Current children cumulated vsize (KiB) 103272

[startup+3282.3 s]
/proc/loadavg: 2.65 2.50 2.26 4/113 24030
/proc/meminfo: memFree=1583108/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1150.81
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1187 38099 0 3 4 1 115036 40 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23954] ppid=23919 vsize=5356 CPUtime=0
/proc/23954/stat : 23954 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67121057 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23954/statm: 1339 232 193 169 0 50 0
[pid=23955] ppid=23954 vsize=84184 CPUtime=2104.43
/proc/23955/stat : 23955 (minisat) R 23954 23919 23520 0 -1 4194304 20387 0 0 0 210423 20 0 0 25 0 1 0 67121057 86204416 20357 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/23955/statm: 21046 20357 75 150 0 20893 0
Current children cumulated CPU time (s) 3255.24
Current children cumulated vsize (KiB) 103272

[startup+3342.31 s]
/proc/loadavg: 2.72 2.54 2.29 3/113 24030
/proc/meminfo: memFree=1582980/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1150.81
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1187 38099 0 3 4 1 115036 40 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23954] ppid=23919 vsize=5356 CPUtime=0
/proc/23954/stat : 23954 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67121057 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23954/statm: 1339 232 193 169 0 50 0
[pid=23955] ppid=23954 vsize=84304 CPUtime=2164.41
/proc/23955/stat : 23955 (minisat) R 23954 23919 23520 0 -1 4194304 20400 0 0 0 216421 20 0 0 25 0 1 0 67121057 86327296 20370 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/23955/statm: 21076 20370 75 150 0 20923 0
Current children cumulated CPU time (s) 3315.22
Current children cumulated vsize (KiB) 103392

[startup+3402.3 s]
/proc/loadavg: 2.65 2.55 2.30 3/113 24030
/proc/meminfo: memFree=1582596/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1150.81
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1187 38099 0 3 4 1 115036 40 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23954] ppid=23919 vsize=5356 CPUtime=0
/proc/23954/stat : 23954 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67121057 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23954/statm: 1339 232 193 169 0 50 0
[pid=23955] ppid=23954 vsize=84712 CPUtime=2224.39
/proc/23955/stat : 23955 (minisat) R 23954 23919 23520 0 -1 4194304 20499 0 0 0 222419 20 0 0 25 0 1 0 67121057 86745088 20469 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/23955/statm: 21178 20469 75 150 0 21025 0
Current children cumulated CPU time (s) 3375.2
Current children cumulated vsize (KiB) 103800

[startup+3462.3 s]
/proc/loadavg: 2.45 2.51 2.30 3/113 24032
/proc/meminfo: memFree=1582596/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1150.81
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1187 38099 0 3 4 1 115036 40 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23954] ppid=23919 vsize=5356 CPUtime=0
/proc/23954/stat : 23954 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67121057 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23954/statm: 1339 232 193 169 0 50 0
[pid=23955] ppid=23954 vsize=84712 CPUtime=2284.36
/proc/23955/stat : 23955 (minisat) R 23954 23919 23520 0 -1 4194304 20510 0 0 0 228416 20 0 0 25 0 1 0 67121057 86745088 20480 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/23955/statm: 21178 20480 75 150 0 21025 0
Current children cumulated CPU time (s) 3435.17
Current children cumulated vsize (KiB) 103800

[startup+3522.3 s]
/proc/loadavg: 2.56 2.52 2.31 3/113 24032
/proc/meminfo: memFree=1582468/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1150.81
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1187 38099 0 3 4 1 115036 40 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23954] ppid=23919 vsize=5356 CPUtime=0
/proc/23954/stat : 23954 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67121057 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23954/statm: 1339 232 193 169 0 50 0
[pid=23955] ppid=23954 vsize=84712 CPUtime=2344.34
/proc/23955/stat : 23955 (minisat) R 23954 23919 23520 0 -1 4194304 20533 0 0 0 234414 20 0 0 25 0 1 0 67121057 86745088 20503 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/23955/statm: 21178 20503 75 150 0 21025 0
Current children cumulated CPU time (s) 3495.15
Current children cumulated vsize (KiB) 103800

[startup+3582.3 s]
/proc/loadavg: 2.59 2.53 2.33 3/113 24032
/proc/meminfo: memFree=1582212/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1150.81
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1187 38099 0 3 4 1 115036 40 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23954] ppid=23919 vsize=5356 CPUtime=0
/proc/23954/stat : 23954 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67121057 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23954/statm: 1339 232 193 169 0 50 0
[pid=23955] ppid=23954 vsize=84876 CPUtime=2404.32
/proc/23955/stat : 23955 (minisat) R 23954 23919 23520 0 -1 4194304 20579 0 0 0 240412 20 0 0 25 0 1 0 67121057 86913024 20549 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/23955/statm: 21219 20549 75 150 0 21066 0
Current children cumulated CPU time (s) 3555.13
Current children cumulated vsize (KiB) 103964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3627.21 s]
/proc/loadavg: 2.57 2.53 2.34 3/113 24032
/proc/meminfo: memFree=1579588/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1150.81
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1187 38099 0 3 4 1 115036 40 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23954] ppid=23919 vsize=5356 CPUtime=0
/proc/23954/stat : 23954 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67121057 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23954/statm: 1339 232 193 169 0 50 0
[pid=23955] ppid=23954 vsize=87636 CPUtime=2449.22
/proc/23955/stat : 23955 (minisat) R 23954 23919 23520 0 -1 4194304 21233 0 0 0 244902 20 0 0 25 0 1 0 67121057 89739264 21203 996147200 134512640 135127466 4294956256 18446744073709551615 134523398 0 0 4096 3 0 0 0 17 1 0 0
/proc/23955/statm: 21909 21203 75 150 0 21756 0
Current children cumulated CPU time (s) 3600.03
Current children cumulated vsize (KiB) 106724

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

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

[startup+3627.21 s]
/proc/loadavg: 2.57 2.53 2.34 3/113 24032
/proc/meminfo: memFree=1579588/2055920 swapFree=4152088/4192956
[pid=23919] ppid=23917 vsize=13732 CPUtime=1150.81
/proc/23919/stat : 23919 (sugar) S 23917 23919 23520 0 -1 4194304 1187 38099 0 3 4 1 115036 40 16 0 1 0 67004533 14061568 816 996147200 4194304 4206940 548682068592 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23919/statm: 3433 816 374 3 0 533 0
[pid=23954] ppid=23919 vsize=5356 CPUtime=0
/proc/23954/stat : 23954 (sh) S 23919 23919 23520 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 67121057 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23954/statm: 1339 232 193 169 0 50 0
[pid=23955] ppid=23954 vsize=87636 CPUtime=2449.22
/proc/23955/stat : 23955 (minisat) R 23954 23919 23520 0 -1 4194304 21233 0 0 0 244902 20 0 0 25 0 1 0 67121057 89739264 21203 996147200 134512640 135127466 4294956256 18446744073709551615 134523398 0 0 4096 3 0 0 0 17 1 0 0
/proc/23955/statm: 21909 21203 75 150 0 21756 0
Current children cumulated CPU time (s) 3600.03
Current children cumulated vsize (KiB) 106724

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23919 and gives
#  childrusage.ru_utime.tv_sec=1150
#  childrusage.ru_utime.tv_usec=409111
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=422935
# CPU time returned by wait4() is 1150.83
# while last known CPU time is 3600.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3627.23
CPU time (s): 3600.03
CPU user time (s): 3599.42
CPU system time (s): 0.61
CPU usage (%): 99.25
Max. virtual memory (cumulated for all children) (KiB): 887456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1150.41
system time used= 0.422935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39628
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3326
involuntary context switches= 30470

runsolver used 5.62415 second user time and 15.3657 second system time

The end

Launcher Data (download as text)

Begin job on node90 at 2008-07-15 08:24:40
IDJOB=1119812
IDBENCH=62416
IDSOLVER=368
FILE ID=node90/1119812-1216103079
PBS_JOBID= 7905289
Free space on /tmp= 66552 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/maxcut/maxcut-60/normalized-maxcut-60-500-7_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1119812-1216103079/watcher-1119812-1216103079 -o /tmp/evaluation-result-1119812-1216103079/solver-1119812-1216103079 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1119812-1216103079.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c8d95f772334fb29109485de363d8e4a
RANDOM SEED=1768298811

node90.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.256
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	: 5931.00
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.256
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:       1742444 kB
Buffers:         61264 kB
Cached:         155268 kB
SwapCached:      21196 kB
Active:         190888 kB
Inactive:        61364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1742444 kB
SwapTotal:     4192956 kB
SwapFree:      4152088 kB
Dirty:            1300 kB
Writeback:           0 kB
Mapped:          44048 kB
Slab:            43028 kB
Committed_AS:   382300 kB
PageTables:       4456 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= 66556 MiB
End job on node90 at 2008-07-15 09:25:09