Trace number 1120483

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+minisat-incMSAT (TO) 3600.1 3618.02

General information on the benchmark

Namemaxcsp/maxcut/maxcut-40/
normalized-maxcut-40-420-5_ext.xml
MD5SUM6a78046a00e44dded47dc8d62192567b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints161
Best CPU time to get the best result obtained on this benchmark84.7451
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints420
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension420
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05/0.07	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.05/0.07	c 0	BEGIN Tue Jul 15 11:57:52 2008
0.05/0.07	c 0	PID 25244
0.05/0.07	c 0	HOST node59.alineos.net
0.05/0.07	c 0	CONVERTING HOME/instance-1120483-1216115871.xml TO HOME/temp.csp
0.05/0.07	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1120483-1216115871.xml' 'HOME/temp.csp'
0.06/0.28	c 0	1 domains, 40 variables, 0 predicates, 1 relations, 420 constraints
0.06/0.30	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.30	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.06/0.38	c 0	Parsing HOME/temp.csp
0.34/0.48	c 0	parsed 462 expressions
0.34/0.56	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.34/0.57	c 0	MAX CSP: 420 constraints
0.34/0.57	c 0	Converting to clausal form CSP
0.34/0.60	c 0	converted 89 (10%) expressions
0.34/0.61	c 0	converted 177 (20%) expressions
0.34/0.61	c 0	converted 266 (30%) expressions
0.34/0.63	c 0	converted 354 (40%) expressions
0.34/0.63	c 0	converted 443 (50%) expressions
0.34/0.64	c 0	converted 531 (60%) expressions
0.34/0.65	c 0	converted 620 (70%) expressions
0.34/0.65	c 0	converted 708 (80%) expressions
0.34/0.66	c 0	converted 797 (90%) expressions
0.34/0.82	c 0	converted 885 (100%) expressions
0.34/0.82	c 0	CSP : 880 integers, 0 booleans, 1259 clauses, largest domain size 631
0.34/0.82	c 0	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.34/0.82	c 0	Propagation in CSP
0.34/0.85	c 0	416 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.34/0.85	c 0	CSP : 880 integers, 0 booleans, 1259 clauses, largest domain size 421
0.34/0.86	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.34/0.86	c 0	Simplifing CSP by introducing new Boolean variables
0.34/0.86	c 0	CSP : 880 integers, 0 booleans, 1259 clauses, largest domain size 421
0.34/0.86	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.34/0.89	c 0	Encoding CSP to SAT : HOME/temp.cnf
0.34/0.90	c 0	88 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.34/0.91	c 0	176 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.34/0.91	c 0	264 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.34/0.91	c 0	352 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.34/0.91	c 0	440 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.34/0.92	c 0	528 (60%) CSP integer variables are encoded (2370 clauses, 29849 bytes)
0.34/0.93	c 0	616 (70%) CSP integer variables are encoded (3939 clauses, 50246 bytes)
0.34/0.93	c 0	704 (80%) CSP integer variables are encoded (4907 clauses, 62830 bytes)
0.34/0.93	c 0	792 (90%) CSP integer variables are encoded (5443 clauses, 69798 bytes)
0.34/0.93	c 0	880 (100%) CSP integer variables are encoded (6213 clauses, 79808 bytes)
0.34/0.96	c 0	126 (10%) CSP clauses are encoded (6465 clauses, 82922 bytes)
0.34/0.97	c 0	252 (20%) CSP clauses are encoded (6717 clauses, 86340 bytes)
0.34/0.98	c 0	378 (30%) CSP clauses are encoded (6969 clauses, 89868 bytes)
0.93/1.01	c 0	504 (40%) CSP clauses are encoded (8303 clauses, 109493 bytes)
1.12/1.21	c 1	630 (50%) CSP clauses are encoded (102147 clauses, 1805462 bytes)
1.12/1.21	c 1	756 (60%) CSP clauses are encoded (105661 clauses, 1866374 bytes)
1.23/1.37	c 1	882 (70%) CSP clauses are encoded (192999 clauses, 3471631 bytes)
1.23/1.38	c 1	1008 (80%) CSP clauses are encoded (196967 clauses, 3540595 bytes)
1.34/1.40	c 1	1134 (90%) CSP clauses are encoded (206215 clauses, 3706398 bytes)
1.34/1.47	c 1	1259 (100%) CSP clauses are encoded (239979 clauses, 4321347 bytes)
1.34/1.47	c 1	1259 CSP clauses encoded
1.34/1.47	c 1	Writing map file : HOME/temp.map
1.34/1.48	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.34/1.48	c 1	SAT : 7093 SAT variables, 239979 SAT clauses, 4321347 bytes
1.34/1.48	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.41/1.51	c 1	OBJECTIVE minimize _COST
1.41/1.51	c 1	SOLVING HOME/temp.cnf
1.41/1.51	c 1	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.41/1.51	c 1	This is MiniSat 2.0 beta incremental
1.41/1.51	c 1	WARNING: for repeatability, setting FPU to use double precision
1.41/1.51	c 1	============================[ Problem Statistics ]=============================
1.41/1.51	c 1	|                                                                             |
1.41/1.51	c 1	|  Number of variables:  7093                                                 |
1.41/1.51	c 1	|  Number of clauses:    239979                                               |
1.44/1.62	c 1	|  Parsing time:         0.10         s                                       |
1.44/1.62	c 1	OK
1.44/1.62	c 1	OBJECTIVE BOUND: 0 <= _COST <= 
1.44/1.62	c 1	SEARCHING: _COST <= 210
1.44/1.62	c 1	============================[ Search Statistics ]==============================
1.44/1.62	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.44/1.62	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.44/1.62	c 1	===============================================================================
1.44/1.62	c 1	|         0 |    7093   239979   700878 |    79993        0    nan |  0.000 % |
1.44/1.74	c 1	|       100 |    7093   239979   700878 |    87992      100     38 |  0.004 % |
1.44/1.80	c 1	|       250 |    7093   239979   700878 |    96791      250     31 |  0.004 % |
1.44/1.85	c 1	|       477 |    7093   239979   700878 |   106470      477     28 |  0.004 % |
1.44/1.95	c 1	|       814 |    7093   239979   700878 |   117117      814     28 |  0.004 % |
1.44/2.04	c 2	|      1321 |    7093   239979   700878 |   128829     1321     26 |  0.004 % |
2.41/2.52	c 2	|      2080 |    7093   239979   700878 |   141712     2080     29 |  0.004 % |
3.00/3.12	c 3	===============================================================================
3.00/3.12	c 3	restarts              : 7
3.00/3.12	c 3	conflicts             : 3079          (1943 /sec)
3.00/3.12	c 3	decisions             : 4347          (0.46 % random) (2743 /sec)
3.00/3.12	c 3	propagations          : 1072166        (676548 /sec)
3.00/3.12	c 3	conflict literals     : 97180          (27.43 % deleted)
3.00/3.12	c 3	Memory used           : 12.56 MB
3.00/3.12	c 3	CPU time              : 1.58476 s
3.00/3.12	c 3	
3.00/3.12	c 3	SATISFIABLE
3.00/3.13	c 3	OK
3.00/3.13	c 3	FOUND: _COST <= 210
3.00/3.13	s SATISFIABLE
3.00/3.13	c 3	DECODING HOME/temp.out WITH HOME/temp.map
3.00/3.13	c 3	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.05/3.24	c 3	Decoding HOME/temp.out
3.16/3.34	c 3	OBJECTIVE _COST 210
3.16/3.34	o 210
3.16/3.34	v 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1
3.16/3.34	c 3	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.23/3.43	c 3	OK
3.23/3.43	c 3	OBJECTIVE BOUND: 0 <= _COST <= 210
3.23/3.43	c 3	SEARCHING: _COST <= 105
3.23/3.43	c 3	============================[ Search Statistics ]==============================
3.23/3.43	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.23/3.43	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.23/3.43	c 3	===============================================================================
3.23/3.43	c 3	|      3079 |    5203   153795   447786 |    51265     3079     32 |  0.004 % |
3.23/3.48	c 3	|      3179 |    5203   153795   447786 |    56391     3179     31 | 26.648 % |
3.33/3.54	c 3	|      3330 |    5203   153795   447786 |    62030     3330     31 | 26.648 % |
3.43/3.64	c 3	|      3555 |    5203   153795   447786 |    68233     3555     30 | 26.648 % |
3.63/3.83	c 3	|      3892 |    5203   153795   447786 |    75057     3892     30 | 26.648 % |
3.83/4.09	c 4	|      4398 |    5203   153795   447786 |    82562     4398     29 | 26.648 % |
4.23/4.44	c 4	|      5157 |    5203   153795   447786 |    90819     5157     28 | 26.648 % |
4.72/4.98	c 4	|      6299 |    5203   153795   447786 |    99900     6299     27 | 26.648 % |
5.62/5.81	c 5	|      8008 |    5203   153795   447786 |   109891     8008     26 | 26.648 % |
6.81/7.02	c 6	|     10571 |    5203   153795   447786 |   120880    10571     25 | 26.648 % |
9.60/9.88	c 9	|     14416 |    5203   153795   447786 |   132968    14416     25 | 26.648 % |
13.38/13.69	c 13	|     20183 |    5203   153795   447786 |   146265    20183     25 | 26.648 % |
19.55/19.81	c 19	|     28833 |    5203   153795   447786 |   160891    28833     24 | 26.648 % |
33.08/33.47	c 33	|     41807 |    5203   153795   447786 |   176980    41807     25 | 26.648 % |
57.36/57.81	c 57	|     61269 |    5203   153795   447786 |   194678    61269     25 | 26.648 % |
102.14/102.88	c 102	|     90462 |    5203   153795   447786 |   214146    90462     26 | 26.648 % |
177.66/178.73	c 178	|    134253 |    5203   153795   447786 |   235561   134253     26 | 26.648 % |
324.61/326.44	c 326	|    199938 |    5203   153795   447786 |   259117   199938     26 | 26.648 % |
558.66/561.63	c 561	|    298464 |    5203   153795   447786 |   285029    53582     26 | 26.648 % |
865.34/869.89	c 869	|    446255 |    5203   153795   447786 |   313532   201373     27 | 26.648 % |
1385.27/1392.39	c 1392	|    667938 |    5203   153795   447786 |   344885   124035     27 | 26.648 % |
2197.67/2208.73	c 2208	|   1000464 |    5203   153795   447786 |   379373   126569     26 | 26.648 % |
3516.05/3533.65	c 3533	|   1499252 |    5203   153795   447786 |   417311   263383     27 | 26.648 % |
3600.05/3618.01	c ERROR INTERRUPTED
3600.05/3618.02	c 3617	CPU 3599.67 (0.06 0.02 3599.61 0.39)
3600.05/3618.02	c 3617	END Tue Jul 15 12:58:09 2008

Verifier Data (download as text)

OK	203	217
203 unsatisfied constraints, 217 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-1120483-1216115871/watcher-1120483-1216115871 -o /tmp/evaluation-result-1120483-1216115871/solver-1120483-1216115871 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1120483-1216115871.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: 0.00 0.05 0.40 3/67 25244
/proc/meminfo: memFree=1738416/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=12268 CPUtime=0
/proc/25244/stat : 25244 (sugar++) R 25242 25244 25178 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 68285564 12562432 319 996147200 4194304 4206940 548682068528 18446744073709551615 217051468513 0 0 4224 0 0 0 0 17 0 0 0
/proc/25244/statm: 3068 322 242 3 0 168 0

[startup+0.0592031 s]
/proc/loadavg: 0.00 0.05 0.40 3/67 25244
/proc/meminfo: memFree=1738416/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16344 CPUtime=0.05
/proc/25244/stat : 25244 (sugar++) R 25242 25244 25178 0 -1 4194304 984 0 0 0 4 1 0 0 18 0 1 0 68285564 16736256 952 996147200 4194304 4206940 548682068528 18446744073709551615 217051468513 0 0 4224 0 0 0 0 17 0 0 0
/proc/25244/statm: 4086 952 380 3 0 665 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16344

[startup+0.101218 s]
/proc/loadavg: 0.00 0.05 0.40 3/67 25244
/proc/meminfo: memFree=1738416/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16740 CPUtime=0.06
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 68285564 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25244/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.301257 s]
/proc/loadavg: 0.00 0.05 0.40 3/67 25244
/proc/meminfo: memFree=1738416/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16740 CPUtime=0.06
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1236 128 0 0 5 1 0 0 16 0 1 0 68285564 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701331 s]
/proc/loadavg: 0.00 0.05 0.40 3/67 25244
/proc/meminfo: memFree=1738416/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16740 CPUtime=0.34
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1296 4416 0 1 5 1 26 2 15 0 1 0 68285564 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25244/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 16740

[startup+1.50248 s]
/proc/loadavg: 0.00 0.05 0.40 6/93 25297
/proc/meminfo: memFree=1707416/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16740 CPUtime=0.35
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1297 4416 0 1 5 2 26 2 15 0 1 0 68285564 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4185 1104 409 3 0 764 0
[pid=25266] ppid=25244 vsize=5356 CPUtime=0
/proc/25266/stat : 25266 (sh) S 25244 25244 25178 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 68285595 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25266/statm: 1339 233 193 169 0 50 0
[pid=25267] ppid=25266 vsize=868468 CPUtime=1.06
/proc/25267/stat : 25267 (java) S 25266 25244 25178 0 -1 0 6525 0 1 0 99 7 0 0 19 0 9 0 68285595 889311232 5628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25267/statm: 217117 5628 2566 9 0 211664 0
[pid=25267/tid=25269] ppid=25266 vsize=868468 CPUtime=0.74
/proc/25267/task/25269/stat : 25269 (java) S 25266 25244 25178 0 -1 64 2849 0 1 0 69 5 0 0 25 0 9 0 68285596 889311232 5628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25267/tid=25270] ppid=25266 vsize=868468 CPUtime=0.07
/proc/25267/task/25270/stat : 25270 (java) S 25266 25244 25178 0 -1 64 1507 0 0 0 7 0 0 0 16 0 9 0 68285598 889311232 5628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25267/tid=25271] ppid=25266 vsize=868468 CPUtime=0
/proc/25267/task/25271/stat : 25271 (java) S 25266 25244 25178 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 68285598 889311232 5628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25267/tid=25272] ppid=25266 vsize=868468 CPUtime=0
/proc/25267/task/25272/stat : 25272 (java) S 25266 25244 25178 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 68285598 889311232 5628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25267/tid=25276] ppid=25266 vsize=868468 CPUtime=0
/proc/25267/task/25276/stat : 25276 (java) S 25266 25244 25178 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 68285600 889311232 5628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25267/tid=25277] ppid=25266 vsize=868468 CPUtime=0.22
/proc/25267/task/25277/stat : 25277 (java) S 25266 25244 25178 0 -1 64 1476 0 0 0 22 0 0 0 16 0 9 0 68285600 889311232 5628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25267/tid=25278] ppid=25266 vsize=868468 CPUtime=0
/proc/25267/task/25278/stat : 25278 (java) S 25266 25244 25178 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 68285600 889311232 5628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25267/tid=25279] ppid=25266 vsize=868468 CPUtime=0
/proc/25267/task/25279/stat : 25279 (java) S 25266 25244 25178 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 68285600 889311232 5628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 890564

[startup+3.1018 s]
/proc/loadavg: 0.00 0.05 0.40 3/76 25300
/proc/meminfo: memFree=1699424/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.44
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1472 11232 0 2 6 2 126 10 15 0 1 0 68285564 17276928 1123 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1123 414 3 0 797 0
[pid=25298] ppid=25244 vsize=12860 CPUtime=1.56
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 3086 0 0 0 155 1 0 0 25 0 1 0 68285715 13168640 3035 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/25298/statm: 3215 3035 73 151 0 3061 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 29732

[startup+6.3014 s]
/proc/loadavg: 0.16 0.09 0.40 3/76 25322
/proc/meminfo: memFree=1698328/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 15 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=12992 CPUtime=4.5
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 3113 0 0 0 449 1 0 0 25 0 1 0 68285715 13303808 3060 996147200 134512640 135134323 4294956192 18446744073709551615 134531845 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 3248 3060 79 151 0 3094 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 29864

[startup+12.7016 s]
/proc/loadavg: 0.31 0.12 0.41 4/76 25322
/proc/meminfo: memFree=1698592/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=12992 CPUtime=10.86
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 3128 0 0 0 1085 1 0 0 25 0 1 0 68285715 13303808 3075 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 3248 3075 79 151 0 3094 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 29864

[startup+25.5011 s]
/proc/loadavg: 0.68 0.21 0.44 4/76 25322
/proc/meminfo: memFree=1695008/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=15040 CPUtime=23.59
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 3643 0 0 0 2358 1 0 0 25 0 1 0 68285715 15400960 3590 996147200 134512640 135134323 4294956192 18446744073709551615 134528320 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 3760 3590 79 151 0 3606 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 31912

[startup+51.1019 s]
/proc/loadavg: 1.13 0.35 0.48 4/76 25322
/proc/meminfo: memFree=1688544/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=18188 CPUtime=49.07
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 4424 0 0 0 4904 3 0 0 25 0 1 0 68285715 18624512 4371 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 4547 4371 79 151 0 4393 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 35060

[startup+102.307 s]
/proc/loadavg: 1.62 0.60 0.56 3/76 25322
/proc/meminfo: memFree=1678112/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=22980 CPUtime=100.02
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 5614 0 0 0 9997 5 0 0 25 0 1 0 68285715 23531520 5561 996147200 134512640 135134323 4294956192 18446744073709551615 134532046 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 5745 5561 79 151 0 5591 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 39852

[startup+162.302 s]
/proc/loadavg: 1.86 0.85 0.64 3/76 25322
/proc/meminfo: memFree=1668000/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=28300 CPUtime=159.72
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 6887 0 0 0 15966 6 0 0 25 0 1 0 68285715 28979200 6834 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 7075 6834 79 151 0 6921 0
Current children cumulated CPU time (s) 161.34
Current children cumulated vsize (KiB) 45172

[startup+222.303 s]
/proc/loadavg: 1.95 1.06 0.72 4/76 25328
/proc/meminfo: memFree=1661280/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=32640 CPUtime=219.4
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 7949 0 0 0 21932 8 0 0 25 0 1 0 68285715 33423360 7896 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 8160 7896 79 151 0 8006 0
Current children cumulated CPU time (s) 221.02
Current children cumulated vsize (KiB) 49512

[startup+282.302 s]
/proc/loadavg: 1.98 1.23 0.80 4/76 25328
/proc/meminfo: memFree=1657376/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=36204 CPUtime=279.11
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 8837 0 0 0 27901 10 0 0 25 0 1 0 68285715 37072896 8784 996147200 134512640 135134323 4294956192 18446744073709551615 134532019 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 9051 8784 79 151 0 8897 0
Current children cumulated CPU time (s) 280.73
Current children cumulated vsize (KiB) 53076

[startup+342.301 s]
/proc/loadavg: 1.99 1.37 0.87 4/76 25328
/proc/meminfo: memFree=1653088/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0

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

[pid=25298] ppid=25244 vsize=66896 CPUtime=2846.43
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 16094 0 0 0 284623 20 0 0 25 0 1 0 68285715 68501504 16033 996147200 134512640 135134323 4294956192 18446744073709551615 134531991 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 16724 16033 79 151 0 16570 0
Current children cumulated CPU time (s) 2848.05
Current children cumulated vsize (KiB) 83768

[startup+2922.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 25330
/proc/meminfo: memFree=1607968/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=68996 CPUtime=2906.14
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 16626 0 0 0 290593 21 0 0 25 0 1 0 68285715 70651904 16565 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17249 16565 79 151 0 17095 0
Current children cumulated CPU time (s) 2907.76
Current children cumulated vsize (KiB) 85868

[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 25330
/proc/meminfo: memFree=1605984/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=70936 CPUtime=2965.84
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17117 0 0 0 296562 22 0 0 25 0 1 0 68285715 72638464 17056 996147200 134512640 135134323 4294956192 18446744073709551615 134524683 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17734 17056 79 151 0 17580 0
Current children cumulated CPU time (s) 2967.46
Current children cumulated vsize (KiB) 87808

[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 25330
/proc/meminfo: memFree=1604576/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=70936 CPUtime=3025.55
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17117 0 0 0 302533 22 0 0 25 0 1 0 68285715 72638464 17056 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17734 17056 79 151 0 17580 0
Current children cumulated CPU time (s) 3027.17
Current children cumulated vsize (KiB) 87808

[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 25330
/proc/meminfo: memFree=1602848/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=70936 CPUtime=3085.25
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17117 0 0 0 308503 22 0 0 25 0 1 0 68285715 72638464 17056 996147200 134512640 135134323 4294956192 18446744073709551615 134532282 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17734 17056 79 151 0 17580 0
Current children cumulated CPU time (s) 3086.87
Current children cumulated vsize (KiB) 87808

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 25330
/proc/meminfo: memFree=1602784/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=70936 CPUtime=3144.96
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17120 0 0 0 314474 22 0 0 25 0 1 0 68285715 72638464 17059 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17734 17059 79 151 0 17580 0
Current children cumulated CPU time (s) 3146.58
Current children cumulated vsize (KiB) 87808

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 25330
/proc/meminfo: memFree=1602656/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=71092 CPUtime=3204.66
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17146 0 0 0 320444 22 0 0 25 0 1 0 68285715 72798208 17085 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17773 17085 79 151 0 17619 0
Current children cumulated CPU time (s) 3206.28
Current children cumulated vsize (KiB) 87964

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 25330
/proc/meminfo: memFree=1602592/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=71092 CPUtime=3264.37
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17149 0 0 0 326415 22 0 0 25 0 1 0 68285715 72798208 17088 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17773 17088 79 151 0 17619 0
Current children cumulated CPU time (s) 3265.99
Current children cumulated vsize (KiB) 87964

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 25330
/proc/meminfo: memFree=1602528/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=71092 CPUtime=3324.07
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17150 0 0 0 332385 22 0 0 25 0 1 0 68285715 72798208 17089 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17773 17089 79 151 0 17619 0
Current children cumulated CPU time (s) 3325.69
Current children cumulated vsize (KiB) 87964

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 25330
/proc/meminfo: memFree=1602464/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=71092 CPUtime=3383.78
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17162 0 0 0 338356 22 0 0 25 0 1 0 68285715 72798208 17101 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17773 17101 79 151 0 17619 0
Current children cumulated CPU time (s) 3385.4
Current children cumulated vsize (KiB) 87964

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 25330
/proc/meminfo: memFree=1602016/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=71252 CPUtime=3443.49
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17198 0 0 0 344326 23 0 0 25 0 1 0 68285715 72962048 17137 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17813 17137 79 151 0 17659 0
Current children cumulated CPU time (s) 3445.11
Current children cumulated vsize (KiB) 88124

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 25330
/proc/meminfo: memFree=1602016/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=71252 CPUtime=3503.19
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17209 0 0 0 350296 23 0 0 25 0 1 0 68285715 72962048 17148 996147200 134512640 135134323 4294956192 18446744073709551615 134529458 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17813 17148 79 151 0 17659 0
Current children cumulated CPU time (s) 3504.81
Current children cumulated vsize (KiB) 88124

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 25330
/proc/meminfo: memFree=1601376/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=71736 CPUtime=3562.89
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17321 0 0 0 356266 23 0 0 25 0 1 0 68285715 73457664 17260 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0
/proc/25298/statm: 17934 17260 79 151 0 17780 0
Current children cumulated CPU time (s) 3564.51
Current children cumulated vsize (KiB) 88608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 25366
/proc/meminfo: memFree=1635760/2055920 swapFree=4192812/4192956
[pid=25244] ppid=25242 vsize=16872 CPUtime=1.62
/proc/25244/stat : 25244 (sugar++) S 25242 25244 25178 0 -1 4194304 1555 15101 0 3 6 2 141 13 16 0 1 0 68285564 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25244/statm: 4218 1124 414 3 0 797 0
[pid=25298] ppid=25244 vsize=71736 CPUtime=3598.43
/proc/25298/stat : 25298 (minisat-inc) R 25244 25244 25178 0 -1 4194304 17334 0 0 0 359819 24 0 0 25 0 1 0 68285715 73457664 17273 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/25298/statm: 17934 17273 79 151 0 17780 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 88608

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): 3618.02
CPU time (s): 3600.1
CPU user time (s): 3599.68
CPU system time (s): 0.418936
CPU usage (%): 99.5046
Max. virtual memory (cumulated for all children) (KiB): 890564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.68
system time used= 0.418936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34070
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= 2606
involuntary context switches= 44314

runsolver used 3.9274 second user time and 12.5361 second system time

The end

Launcher Data (download as text)

Begin job on node59 at 2008-07-15 11:57:51
IDJOB=1120483
IDBENCH=62500
IDSOLVER=367
FILE ID=node59/1120483-1216115871
PBS_JOBID= 7905467
Free space on /tmp= 66564 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 6a78046a00e44dded47dc8d62192567b
RANDOM SEED=112474187

node59.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.268
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.268
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:       1738976 kB
Buffers:         76560 kB
Cached:         157088 kB
SwapCached:          0 kB
Active:         167500 kB
Inactive:        80872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1738976 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             884 kB
Writeback:           0 kB
Mapped:          24476 kB
Slab:            54268 kB
Committed_AS:   192908 kB
PageTables:       1684 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= 66560 MiB
End job on node59 at 2008-07-15 12:58:11