Trace number 1126635

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.13 3614.33

General information on the benchmark

Namemaxcsp/spot5/
normalized-spot5-29_ext.xml
MD5SUM4ecbc1d8600cfcf321e987f532708678
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints47
Best CPU time to get the best result obtained on this benchmark85.9169
Satisfiable
(Un)Satisfiability was proved
Number of variables83
Number of constraints462
Maximum constraint arity2
Maximum domain size4
Number of constraints which are defined in extension462
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.05/0.24	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.05/0.24	c 0	BEGIN Wed Jul 16 07:21:44 2008
0.05/0.24	c 0	PID 3118
0.05/0.24	c 0	HOST node69.alineos.net
0.05/0.24	c 0	CONVERTING HOME/instance-1126635-1216185704.xml TO HOME/temp.csp
0.05/0.24	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1126635-1216185704.xml' 'HOME/temp.csp'
0.07/0.60	c 0	3 domains, 83 variables, 0 predicates, 7 relations, 462 constraints
0.07/0.66	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.66	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.37/0.74	c 0	Parsing HOME/temp.csp
0.37/0.86	c 1	parsed 555 expressions
0.37/0.87	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.37/0.88	c 1	MAX CSP: 462 constraints
0.37/0.88	c 1	Converting to clausal form CSP
0.37/0.91	c 1	converted 102 (10%) expressions
0.37/0.92	c 1	converted 204 (20%) expressions
0.37/0.93	c 1	converted 306 (30%) expressions
0.37/0.94	c 1	converted 408 (40%) expressions
0.37/0.95	c 1	converted 510 (50%) expressions
0.37/0.96	c 1	converted 612 (60%) expressions
0.37/0.96	c 1	converted 714 (70%) expressions
0.37/0.97	c 1	converted 816 (80%) expressions
0.37/0.98	c 1	converted 918 (90%) expressions
0.78/1.16	c 1	converted 1020 (100%) expressions
0.78/1.16	c 1	CSP : 1007 integers, 0 booleans, 1385 clauses, largest domain size 694
0.78/1.16	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.78/1.16	c 1	Propagation in CSP
0.78/1.20	c 1	456 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.78/1.20	c 1	CSP : 1007 integers, 0 booleans, 1385 clauses, largest domain size 463
0.78/1.20	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.88/1.20	c 1	Simplifing CSP by introducing new Boolean variables
0.88/1.20	c 1	CSP : 1007 integers, 0 booleans, 1385 clauses, largest domain size 463
0.88/1.20	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.88/1.23	c 1	Encoding CSP to SAT : HOME/temp.cnf
0.88/1.25	c 1	101 (10%) CSP integer variables are encoded (38 clauses, 431 bytes)
0.88/1.25	c 1	202 (20%) CSP integer variables are encoded (38 clauses, 431 bytes)
0.88/1.25	c 1	303 (30%) CSP integer variables are encoded (38 clauses, 431 bytes)
0.88/1.26	c 1	403 (40%) CSP integer variables are encoded (38 clauses, 431 bytes)
0.88/1.26	c 1	504 (50%) CSP integer variables are encoded (38 clauses, 431 bytes)
0.88/1.27	c 1	605 (60%) CSP integer variables are encoded (786 clauses, 9322 bytes)
0.88/1.27	c 1	705 (70%) CSP integer variables are encoded (1345 clauses, 16589 bytes)
0.88/1.27	c 1	806 (80%) CSP integer variables are encoded (5447 clauses, 69915 bytes)
0.88/1.27	c 1	907 (90%) CSP integer variables are encoded (6063 clauses, 77923 bytes)
0.88/1.28	c 1	1007 (100%) CSP integer variables are encoded (6925 clauses, 89129 bytes)
0.88/1.29	c 1	139 (10%) CSP clauses are encoded (7064 clauses, 90966 bytes)
0.96/1.31	c 1	277 (20%) CSP clauses are encoded (7272 clauses, 94352 bytes)
0.96/1.33	c 1	416 (30%) CSP clauses are encoded (7527 clauses, 98947 bytes)
0.96/1.35	c 1	554 (40%) CSP clauses are encoded (9075 clauses, 125221 bytes)
0.96/1.38	c 1	693 (50%) CSP clauses are encoded (22560 clauses, 367920 bytes)
0.96/1.39	c 1	831 (60%) CSP clauses are encoded (26714 clauses, 440276 bytes)
1.36/1.72	c 1	970 (70%) CSP clauses are encoded (231627 clauses, 4183248 bytes)
1.36/1.73	c 1	1108 (80%) CSP clauses are encoded (236379 clauses, 4266239 bytes)
1.36/1.75	c 1	1247 (90%) CSP clauses are encoded (247592 clauses, 4467830 bytes)
1.47/1.82	c 2	1385 (100%) CSP clauses are encoded (288196 clauses, 5208311 bytes)
1.47/1.82	c 2	1385 CSP clauses encoded
1.47/1.82	c 2	Writing map file : HOME/temp.map
1.47/1.83	c 2	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.47/1.83	c 2	SAT : 7931 SAT variables, 288196 SAT clauses, 5208311 bytes
1.47/1.83	c 2	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.47/1.87	c 2	OBJECTIVE minimize _COST
1.47/1.87	c 2	SOLVING HOME/temp.cnf
1.47/1.87	c 2	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.47/1.87	c 2	This is MiniSat 2.0 beta incremental
1.47/1.87	c 2	WARNING: for repeatability, setting FPU to use double precision
1.47/1.87	c 2	============================[ Problem Statistics ]=============================
1.47/1.87	c 2	|                                                                             |
1.47/1.88	c 2	|  Number of variables:  7931                                                 |
1.47/1.88	c 2	|  Number of clauses:    288196                                               |
1.53/2.00	c 2	|  Parsing time:         0.10         s                                       |
1.53/2.00	c 2	OK
1.53/2.00	c 2	OBJECTIVE BOUND: 0 <= _COST <= 
1.53/2.00	c 2	SEARCHING: _COST <= 231
1.53/2.00	c 2	============================[ Search Statistics ]==============================
1.53/2.00	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.53/2.00	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.53/2.00	c 2	===============================================================================
1.53/2.00	c 2	|         0 |    7931   288196   843820 |    96065        0    nan |  0.000 % |
1.53/2.09	c 2	===============================================================================
1.53/2.09	c 2	restarts              : 1
1.53/2.09	c 2	conflicts             : 26            (142 /sec)
1.53/2.09	c 2	decisions             : 317           (0.63 % random) (1733 /sec)
1.53/2.09	c 2	propagations          : 57579          (314687 /sec)
1.53/2.09	c 2	conflict literals     : 189            (23.17 % deleted)
1.53/2.09	c 2	Memory used           : 13.64 MB
1.53/2.09	c 2	CPU time              : 0.182972 s
1.53/2.09	c 2	
1.53/2.09	c 2	SATISFIABLE
1.53/2.09	c 2	OK
1.53/2.09	c 2	FOUND: _COST <= 231
1.53/2.09	s SATISFIABLE
1.53/2.09	c 2	DECODING HOME/temp.out WITH HOME/temp.map
1.53/2.09	c 2	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.73/2.18	c 2	Decoding HOME/temp.out
1.82/2.27	c 2	OBJECTIVE _COST 131
1.82/2.27	o 131
1.82/2.28	v 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 2 3 0 0 1 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 2 3 1 1 1 1 1 3 2 3 3 3 1 0 0 1 3 1 3 1 2 0 1 0 1 3 3 -1
1.82/2.28	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.90/2.32	c 2	OK
1.90/2.32	c 2	OBJECTIVE BOUND: 0 <= _COST <= 131
1.90/2.32	c 2	SEARCHING: _COST <= 65
1.90/2.33	c 2	============================[ Search Statistics ]==============================
1.90/2.33	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.90/2.33	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.90/2.33	c 2	===============================================================================
1.90/2.33	c 2	|        26 |    7931   288196   843820 |    96065       26      7 |  0.000 % |
1.90/2.36	c 2	|       129 |    7931   288196   843820 |   105671      129     16 | 38.824 % |
1.90/2.36	c 2	===============================================================================
1.90/2.36	c 2	restarts              : 3
1.90/2.36	c 2	conflicts             : 149           (651 /sec)
1.90/2.36	c 2	decisions             : 659           (0.76 % random) (2878 /sec)
1.90/2.36	c 2	propagations          : 130584         (570323 /sec)
1.90/2.36	c 2	conflict literals     : 2478           (19.18 % deleted)
1.90/2.36	c 2	Memory used           : 13.77 MB
1.90/2.36	c 2	CPU time              : 0.228965 s
1.90/2.36	c 2	
1.90/2.36	c 2	SATISFIABLE
1.90/2.36	c 2	OK
1.90/2.36	c 2	FOUND: _COST <= 65
1.90/2.36	c 2	DECODING HOME/temp.out WITH HOME/temp.map
1.90/2.36	c 2	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.97/2.44	c 2	Decoding HOME/temp.out
1.97/2.56	c 2	OBJECTIVE _COST 65
1.97/2.56	o 65
1.97/2.56	v 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 0 2 2 1 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 3 2 3 1 1 1 1 1 3 3 0 2 1 1 1 1 0 0 2 2 1 3 3 0 1 0 3 2 -1
1.97/2.56	c 2	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.97/2.58	c 2	OK
1.97/2.58	c 2	OBJECTIVE BOUND: 0 <= _COST <= 65
1.97/2.58	c 2	SEARCHING: _COST <= 32
1.97/2.58	c 2	============================[ Search Statistics ]==============================
1.97/2.58	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.97/2.58	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.97/2.58	c 2	===============================================================================
1.97/2.58	c 2	|       149 |    4852   288196   843820 |    96065      149     17 | 38.824 % |
2.19/2.60	c 2	|       250 |    4852   288196   843820 |   105671      250     13 | 49.062 % |
2.19/2.64	c 2	|       401 |    4852   288196   843820 |   116239      401     11 | 49.062 % |
2.19/2.68	c 2	|       626 |    4852   288196   843820 |   127862      626     10 | 49.062 % |
2.29/2.76	c 2	|       964 |    4852   288196   843820 |   140649      964     13 | 49.062 % |
2.39/2.87	c 3	|      1471 |    4852   288196   843820 |   154714     1471     14 | 49.062 % |
2.59/3.08	c 3	|      2232 |    4852   288196   843820 |   170185     2232     15 | 49.062 % |
2.98/3.41	c 3	|      3372 |    4040    76460   219888 |   187204     3364     15 | 49.062 % |
3.18/3.69	c 3	|      5080 |    4040    76460   219888 |   205924     5072     17 | 49.062 % |
3.68/4.16	c 4	|      7643 |    4040    76460   219888 |   226517     7635     16 | 49.062 % |
4.48/4.98	c 5	|     11487 |    4040    76460   219888 |   249168    11479     16 | 49.062 % |
5.98/6.43	c 6	|     17253 |    4027    75874   218176 |   274085    17244     16 | 49.226 % |
8.46/8.90	c 9	|     25903 |    4027    75874   218176 |   301494    25894     16 | 49.226 % |
13.74/14.21	c 14	|     38880 |    4027    75874   218176 |   331643    38871     16 | 49.226 % |
23.99/24.52	c 24	|     58342 |    4027    75874   218176 |   364807    58333     16 | 49.226 % |
43.59/44.23	c 44	|     87535 |    4027    75874   218176 |   401288    87526     16 | 49.226 % |
83.21/84.00	c 84	|    131324 |    4027    75874   218176 |   441417   131315     17 | 49.226 % |
167.34/168.51	c 168	|    197008 |    4027    75874   218176 |   485559   196999     18 | 49.226 % |
343.94/345.90	c 346	|    295534 |    4027    75874   218176 |   534115   295525     18 | 49.226 % |
711.00/714.66	c 714	|    443324 |    4027    75874   218176 |   587526   443315     18 | 49.226 % |
1311.88/1318.21	c 1318	|    665009 |    4027    75874   218176 |   646279    93679     20 | 49.226 % |
1970.83/1980.18	c 1980	|    997534 |    4027    75874   218176 |   710907   426204     21 | 49.226 % |
3372.98/3387.18	c 3387	|   1496322 |    4027    75874   218176 |   781998   231088     22 | 49.226 % |
3600.08/3614.31	c ERROR INTERRUPTED
3600.08/3614.32	c 3614	CPU 3599.48 (0.07 0.01 3599.41 0.62)
3600.08/3614.32	c 3614	END Wed Jul 16 08:21:58 2008

Verifier Data (download as text)

OK	59	403
59 unsatisfied constraints, 403 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-1126635-1216185704/watcher-1126635-1216185704 -o /tmp/evaluation-result-1126635-1216185704/solver-1126635-1216185704 -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-1126635-1216185704.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.66 2.61 2.38 4/80 3118
/proc/meminfo: memFree=1831944/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=12268 CPUtime=0
/proc/3118/stat : 3118 (sugar++) R 3116 3118 3081 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 75268281 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 237956545534 0 0 4224 0 0 0 0 17 1 0 0
/proc/3118/statm: 3067 316 241 3 0 167 0

[startup+0.047237 s]
/proc/loadavg: 2.66 2.61 2.38 4/80 3118
/proc/meminfo: memFree=1831944/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=13336 CPUtime=0.02
/proc/3118/stat : 3118 (sugar++) D 3116 3118 3081 0 -1 4194304 723 0 0 0 2 0 0 0 18 0 1 0 75268281 13656064 691 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/3118/statm: 3334 691 338 3 0 434 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13336

[startup+0.101273 s]
/proc/loadavg: 2.66 2.61 2.38 4/80 3118
/proc/meminfo: memFree=1831944/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=13336 CPUtime=0.03
/proc/3118/stat : 3118 (sugar++) D 3116 3118 3081 0 -1 4194304 739 0 0 0 3 0 0 0 18 0 1 0 75268281 13656064 707 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/3118/statm: 3334 707 338 3 0 434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13336

[startup+0.301249 s]
/proc/loadavg: 2.66 2.61 2.38 4/80 3118
/proc/meminfo: memFree=1831944/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16740 CPUtime=0.07
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1217 128 2 0 6 1 0 0 19 0 1 0 75268281 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701283 s]
/proc/loadavg: 2.66 2.61 2.38 4/80 3118
/proc/meminfo: memFree=1831944/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16740 CPUtime=0.37
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1277 4532 2 1 6 1 28 2 16 0 1 0 75268281 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 16740

[startup+1.50134 s]
/proc/loadavg: 2.66 2.61 2.38 4/91 3140
/proc/meminfo: memFree=1821800/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16740 CPUtime=0.37
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1295 4532 2 1 6 1 28 2 15 0 1 0 75268281 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3118/statm: 4185 1104 409 3 0 764 0
[pid=3131] ppid=3118 vsize=5356 CPUtime=0
/proc/3131/stat : 3131 (sh) S 3118 3118 3081 0 -1 4194304 278 0 0 0 0 0 0 0 16 0 1 0 75268348 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3131/statm: 1339 233 193 169 0 50 0
[pid=3132] ppid=3131 vsize=868372 CPUtime=0.8
/proc/3132/stat : 3132 (java) S 3131 3118 3081 0 -1 0 6470 0 1 0 76 4 0 0 18 0 9 0 75268348 889212928 5664 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3132/statm: 217093 5664 2563 9 0 211640 0
[pid=3132/tid=3133] ppid=3131 vsize=868372 CPUtime=0.47
/proc/3132/task/3133/stat : 3133 (java) R 3131 3118 3081 0 -1 64 2755 0 1 0 46 1 0 0 19 0 9 0 75268349 889212928 5664 996147200 134512640 134550740 4294955920 18446744073709551615 4126371443 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3132/tid=3134] ppid=3131 vsize=868372 CPUtime=0.05
/proc/3132/task/3134/stat : 3134 (java) S 3131 3118 3081 0 -1 64 1540 0 0 0 5 0 0 0 16 0 9 0 75268350 889212928 5664 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3132/tid=3135] ppid=3131 vsize=868372 CPUtime=0
/proc/3132/task/3135/stat : 3135 (java) S 3131 3118 3081 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 75268350 889212928 5664 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3132/tid=3136] ppid=3131 vsize=868372 CPUtime=0
/proc/3132/task/3136/stat : 3136 (java) S 3131 3118 3081 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75268350 889212928 5664 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3132/tid=3137] ppid=3131 vsize=868372 CPUtime=0
/proc/3132/task/3137/stat : 3137 (java) S 3131 3118 3081 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75268352 889212928 5664 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3132/tid=3138] ppid=3131 vsize=868372 CPUtime=0.23
/proc/3132/task/3138/stat : 3138 (java) S 3131 3118 3081 0 -1 64 1483 0 0 0 23 0 0 0 16 0 9 0 75268352 889212928 5664 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3132/tid=3139] ppid=3131 vsize=868372 CPUtime=0
/proc/3132/task/3139/stat : 3139 (java) S 3131 3118 3081 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75268352 889212928 5664 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3132/tid=3140] ppid=3131 vsize=868372 CPUtime=0
/proc/3132/task/3140/stat : 3140 (java) R 3131 3118 3081 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75268352 889212928 5664 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 890468

[startup+3.10148 s]
/proc/loadavg: 2.66 2.61 2.38 3/84 3143
/proc/meminfo: memFree=1809568/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 15 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=14356 CPUtime=0.77
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 3510 0 0 0 75 2 0 0 20 0 1 0 75268469 14700544 3456 996147200 134512640 135134323 4294956192 18446744073709551615 134524822 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 3589 3456 80 151 0 3435 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 31228

[startup+6.30173 s]
/proc/loadavg: 2.69 2.62 2.39 3/82 3161
/proc/meminfo: memFree=1809392/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 15 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=14356 CPUtime=3.96
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 3528 0 0 0 393 3 0 0 25 0 1 0 75268469 14700544 3474 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 3589 3474 80 151 0 3435 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 31228

[startup+12.7012 s]
/proc/loadavg: 2.63 2.61 2.38 4/82 3161
/proc/meminfo: memFree=1809272/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=14520 CPUtime=10.32
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 3572 0 0 0 1029 3 0 0 25 0 1 0 75268469 14868480 3518 996147200 134512640 135134323 4294956192 18446744073709551615 134531958 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 3630 3518 80 151 0 3476 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 31392

[startup+25.5023 s]
/proc/loadavg: 2.71 2.63 2.39 3/82 3161
/proc/meminfo: memFree=1809016/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=15132 CPUtime=23.06
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 3704 0 0 0 2303 3 0 0 25 0 1 0 75268469 15495168 3650 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 3783 3650 80 151 0 3629 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 32004

[startup+51.1023 s]
/proc/loadavg: 2.68 2.62 2.40 3/82 3161
/proc/meminfo: memFree=1805304/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=19072 CPUtime=48.54
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 4633 0 0 0 4850 4 0 0 25 0 1 0 75268469 19529728 4579 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 4768 4579 80 151 0 4614 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 35944

[startup+102.306 s]
/proc/loadavg: 2.71 2.63 2.41 3/82 3161
/proc/meminfo: memFree=1799480/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=24784 CPUtime=99.51
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 6044 0 0 0 9945 6 0 0 25 0 1 0 75268469 25378816 5990 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 6196 5990 80 151 0 6042 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 41656

[startup+162.302 s]
/proc/loadavg: 2.61 2.61 2.41 3/82 3161
/proc/meminfo: memFree=1793976/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=30292 CPUtime=159.24
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 7431 0 0 0 15917 7 0 0 25 0 1 0 75268469 31019008 7377 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 7573 7377 80 151 0 7419 0
Current children cumulated CPU time (s) 161.16
Current children cumulated vsize (KiB) 47164

[startup+222.302 s]
/proc/loadavg: 2.63 2.63 2.43 3/82 3161
/proc/meminfo: memFree=1789560/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=34876 CPUtime=218.97
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 8502 0 0 0 21889 8 0 0 25 0 1 0 75268469 35713024 8448 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 8719 8448 80 151 0 8565 0
Current children cumulated CPU time (s) 220.89
Current children cumulated vsize (KiB) 51748

[startup+282.303 s]
/proc/loadavg: 2.54 2.60 2.44 3/82 3161
/proc/meminfo: memFree=1785784/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=38764 CPUtime=278.71
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 9454 0 0 0 27862 9 0 0 25 0 1 0 75268469 39694336 9400 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 9691 9400 80 151 0 9537 0
Current children cumulated CPU time (s) 280.63
Current children cumulated vsize (KiB) 55636

[startup+342.302 s]
/proc/loadavg: 2.49 2.58 2.44 4/82 3161
/proc/meminfo: memFree=1782392/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0

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

[pid=3141] ppid=3118 vsize=97624 CPUtime=2907.04
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 23714 0 0 0 290676 28 0 0 25 0 1 0 75268469 99966976 23652 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 24406 23652 80 151 0 24252 0
Current children cumulated CPU time (s) 2908.96
Current children cumulated vsize (KiB) 114496

[startup+2982.3 s]
/proc/loadavg: 2.66 2.59 2.55 2/72 3170
/proc/meminfo: memFree=1818952/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=98780 CPUtime=2966.78
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24066 0 0 0 296650 28 0 0 25 0 1 0 75268469 101150720 24004 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 24695 24004 80 151 0 24541 0
Current children cumulated CPU time (s) 2968.7
Current children cumulated vsize (KiB) 115652

[startup+3042.3 s]
/proc/loadavg: 1.75 2.34 2.47 2/69 3451
/proc/meminfo: memFree=1836760/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=101468 CPUtime=3026.7
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24388 0 0 0 302637 33 0 0 25 0 1 0 75268469 103903232 24326 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 0 0 0
/proc/3141/statm: 25367 24326 80 151 0 25213 0
Current children cumulated CPU time (s) 3028.62
Current children cumulated vsize (KiB) 118340

[startup+3102.3 s]
/proc/loadavg: 1.27 2.10 2.37 2/69 3847
/proc/meminfo: memFree=1835872/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=102196 CPUtime=3086.59
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24544 0 0 0 308624 35 0 0 25 0 1 0 75268469 104648704 24482 996147200 134512640 135134323 4294956192 18446744073709551615 134524828 0 0 4096 3 0 0 0 17 1 0 0
/proc/3141/statm: 25549 24482 80 151 0 25395 0
Current children cumulated CPU time (s) 3088.51
Current children cumulated vsize (KiB) 119068

[startup+3162.3 s]
/proc/loadavg: 1.10 1.89 2.28 2/69 4210
/proc/meminfo: memFree=1835808/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=102196 CPUtime=3146.49
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24544 0 0 0 314612 37 0 0 25 0 1 0 75268469 104648704 24482 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3141/statm: 25549 24482 80 151 0 25395 0
Current children cumulated CPU time (s) 3148.41
Current children cumulated vsize (KiB) 119068

[startup+3222.3 s]
/proc/loadavg: 1.03 1.73 2.20 2/66 4577
/proc/meminfo: memFree=1836792/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=102196 CPUtime=3206.38
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24546 0 0 0 320599 39 0 0 25 0 1 0 75268469 104648704 24484 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3141/statm: 25549 24484 80 151 0 25395 0
Current children cumulated CPU time (s) 3208.3
Current children cumulated vsize (KiB) 119068

[startup+3282.3 s]
/proc/loadavg: 1.01 1.59 2.12 2/66 4940
/proc/meminfo: memFree=1836600/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=102196 CPUtime=3266.32
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24547 0 0 0 326591 41 0 0 25 0 1 0 75268469 104648704 24485 996147200 134512640 135134323 4294956192 18446744073709551615 134532016 0 0 4096 3 0 0 0 17 0 0 0
/proc/3141/statm: 25549 24485 80 151 0 25395 0
Current children cumulated CPU time (s) 3268.24
Current children cumulated vsize (KiB) 119068

[startup+3342.3 s]
/proc/loadavg: 1.06 1.50 2.05 2/66 5204
/proc/meminfo: memFree=1836280/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=102440 CPUtime=3326.27
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24603 0 0 0 332583 44 0 0 25 0 1 0 75268469 104898560 24541 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3141/statm: 25610 24541 80 151 0 25456 0
Current children cumulated CPU time (s) 3328.19
Current children cumulated vsize (KiB) 119312

[startup+3402.31 s]
/proc/loadavg: 1.02 1.41 1.99 2/66 5204
/proc/meminfo: memFree=1836408/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=102440 CPUtime=3386.26
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24610 0 0 0 338582 44 0 0 25 0 1 0 75268469 104898560 24548 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3141/statm: 25610 24548 80 151 0 25456 0
Current children cumulated CPU time (s) 3388.18
Current children cumulated vsize (KiB) 119312

[startup+3462.3 s]
/proc/loadavg: 1.01 1.33 1.92 2/66 5205
/proc/meminfo: memFree=1836216/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=102440 CPUtime=3446.22
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24611 0 0 0 344578 44 0 0 25 0 1 0 75268469 104898560 24549 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 0 0 0
/proc/3141/statm: 25610 24549 80 151 0 25456 0
Current children cumulated CPU time (s) 3448.14
Current children cumulated vsize (KiB) 119312

[startup+3522.3 s]
/proc/loadavg: 1.00 1.27 1.86 2/66 5206
/proc/meminfo: memFree=1836344/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=102440 CPUtime=3506.19
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24611 0 0 0 350575 44 0 0 25 0 1 0 75268469 104898560 24549 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3141/statm: 25610 24549 80 151 0 25456 0
Current children cumulated CPU time (s) 3508.11
Current children cumulated vsize (KiB) 119312

[startup+3582.3 s]
/proc/loadavg: 1.00 1.22 1.80 2/66 5206
/proc/meminfo: memFree=1836344/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=102440 CPUtime=3566.17
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24612 0 0 0 356573 44 0 0 25 0 1 0 75268469 104898560 24550 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3141/statm: 25610 24550 80 151 0 25456 0
Current children cumulated CPU time (s) 3568.09
Current children cumulated vsize (KiB) 119312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.3 s]
/proc/loadavg: 1.00 1.19 1.77 2/66 5206
/proc/meminfo: memFree=1836344/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=102440 CPUtime=3598.16
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24612 0 0 0 359772 44 0 0 25 0 1 0 75268469 104898560 24550 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3141/statm: 25610 24550 80 151 0 25456 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 119312

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

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

[startup+3614.3 s]
/proc/loadavg: 1.00 1.19 1.77 2/66 5206
/proc/meminfo: memFree=1836344/2055920 swapFree=4180336/4192956
[pid=3118] ppid=3116 vsize=16872 CPUtime=1.92
/proc/3118/stat : 3118 (sugar++) S 3116 3118 3081 0 -1 4194304 1626 19157 2 4 7 1 169 15 16 0 1 0 75268281 17276928 1125 996147200 4194304 4206940 548682068528 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3118/statm: 4218 1125 414 3 0 797 0
[pid=3141] ppid=3118 vsize=102440 CPUtime=3598.16
/proc/3141/stat : 3141 (minisat-inc) R 3118 3118 3081 0 -1 4194304 24612 0 0 0 359772 44 0 0 25 0 1 0 75268469 104898560 24550 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3141/statm: 25610 24550 80 151 0 25456 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 119312

Child status: 0
Real time (s): 3614.33
CPU time (s): 3600.13
CPU user time (s): 3599.49
CPU system time (s): 0.643902
CPU usage (%): 99.6073
Max. virtual memory (cumulated for all children) (KiB): 890468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.49
system time used= 0.643902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45473
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3481
involuntary context switches= 41566

runsolver used 4.38933 second user time and 10.3754 second system time

The end

Launcher Data (download as text)

Begin job on node69 at 2008-07-16 07:21:44
IDJOB=1126635
IDBENCH=64269
IDSOLVER=367
FILE ID=node69/1126635-1216185704
PBS_JOBID= 7905941
Free space on /tmp= 66560 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/spot5/normalized-spot5-29_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-1126635-1216185704/watcher-1126635-1216185704 -o /tmp/evaluation-result-1126635-1216185704/solver-1126635-1216185704 -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-1126635-1216185704.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 4ecbc1d8600cfcf321e987f532708678
RANDOM SEED=1689087101

node69.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.233
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.233
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:       1832424 kB
Buffers:          7924 kB
Cached:          47316 kB
SwapCached:       6776 kB
Active:         151156 kB
Inactive:        22392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832424 kB
SwapTotal:     4192956 kB
SwapFree:      4180336 kB
Dirty:             932 kB
Writeback:           0 kB
Mapped:         134240 kB
Slab:            34964 kB
Committed_AS:  1170548 kB
PageTables:       2172 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 node69 at 2008-07-16 08:22:00