Trace number 1110823

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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar++ v1.13+minisat-inc? (TO) 3600.38 3622.49

General information on the benchmark

Namecsp/ukVg/
normalized-crossword-m1c-uk-vg14-15_ext.xml
MD5SUMaca7198b8bad2de4793a977967afcafb
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints29
Best CPU time to get the best result obtained on this benchmark3600.05
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints29
Maximum constraint arity15
Maximum domain size26
Number of constraints which are defined in extension29
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.07/0.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.07/0.08	c 0	BEGIN Sat Jul 12 06:19:44 2008
0.07/0.08	c 0	PID 16599
0.07/0.08	c 0	HOST node43.alineos.net
0.07/0.08	c 0	CONVERTING HOME/instance-1110823-1215836384.xml TO HOME/temp.csp
0.07/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110823-1215836384.xml' 'HOME/temp.csp'
0.07/0.68	c 1	1 domains, 210 variables, 0 predicates, 2 relations, 29 constraints
0.07/0.74	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.74	c 1	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.66/0.81	c 1	Parsing HOME/temp.csp
1.09/1.20	c 1	parsed 242 expressions
1.09/1.20	c 1	Heap : 4 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.09/1.20	c 1	MAX CSP: 29 constraints
1.09/1.20	c 1	Converting to clausal form CSP
1.09/1.22	c 1	converted 28 (10%) expressions
1.09/1.22	c 1	converted 55 (20%) expressions
1.09/1.22	c 1	converted 83 (30%) expressions
1.09/1.22	c 1	converted 110 (40%) expressions
1.09/1.23	c 1	converted 137 (50%) expressions
1.09/1.23	c 1	converted 165 (60%) expressions
1.09/1.23	c 1	converted 192 (70%) expressions
1.79/1.98	c 2	converted 220 (80%) expressions
4.88/5.07	c 5	converted 247 (90%) expressions
5.97/6.19	c 6	converted 274 (100%) expressions
5.97/6.19	c 6	CSP : 268 integers, 0 booleans, 86 clauses, largest domain size 44
5.97/6.19	c 6	Heap : 185 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.97/6.19	c 6	Propagation in CSP
5.97/6.19	c 6	25 values, 0 unsatisfiable literals, and 0 valid clauses are removed
5.97/6.19	c 6	CSP : 268 integers, 0 booleans, 86 clauses, largest domain size 30
5.97/6.19	c 6	Heap : 185 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.97/6.19	c 6	Simplifing CSP by introducing new Boolean variables
5.97/6.19	c 6	CSP : 268 integers, 0 booleans, 86 clauses, largest domain size 30
5.97/6.19	c 6	Heap : 185 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.17/7.31	c 7	Encoding CSP to SAT : HOME/temp.cnf
7.17/7.33	c 7	27 (10%) CSP integer variables are encoded (648 clauses, 6984 bytes)
7.17/7.33	c 7	54 (20%) CSP integer variables are encoded (1296 clauses, 14785 bytes)
7.17/7.33	c 7	81 (30%) CSP integer variables are encoded (1944 clauses, 23209 bytes)
7.17/7.34	c 7	108 (40%) CSP integer variables are encoded (2592 clauses, 31633 bytes)
7.17/7.34	c 7	134 (50%) CSP integer variables are encoded (3216 clauses, 39745 bytes)
7.17/7.34	c 7	161 (60%) CSP integer variables are encoded (3864 clauses, 48169 bytes)
7.17/7.34	c 7	188 (70%) CSP integer variables are encoded (4512 clauses, 56593 bytes)
7.17/7.34	c 7	215 (80%) CSP integer variables are encoded (5040 clauses, 63457 bytes)
7.17/7.34	c 7	242 (90%) CSP integer variables are encoded (5070 clauses, 63847 bytes)
7.17/7.34	c 7	268 (100%) CSP integer variables are encoded (5245 clauses, 66122 bytes)
882.09/886.64	c 887	9 (10%) CSP clauses are encoded (1344265 clauses, 133266497 bytes)
1583.23/1590.43	c 1590	18 (20%) CSP clauses are encoded (2530363 clauses, 250645288 bytes)
1917.53/1924.91	c 1925	26 (30%) CSP clauses are encoded (3312811 clauses, 336883400 bytes)
2049.95/2057.42	c 2057	35 (40%) CSP clauses are encoded (3606257 clauses, 369223122 bytes)
2049.95/2057.42	c 2057	43 (50%) CSP clauses are encoded (3606333 clauses, 369224352 bytes)
2049.95/2057.42	c 2057	52 (60%) CSP clauses are encoded (3606372 clauses, 369224948 bytes)
2049.95/2057.43	c 2057	61 (70%) CSP clauses are encoded (3606569 clauses, 369228289 bytes)
2049.95/2057.43	c 2057	69 (80%) CSP clauses are encoded (3606879 clauses, 369233303 bytes)
2049.95/2057.43	c 2057	78 (90%) CSP clauses are encoded (3607188 clauses, 369238578 bytes)
2049.95/2057.43	c 2057	86 (100%) CSP clauses are encoded (3607676 clauses, 369247026 bytes)
2049.95/2057.43	c 2057	86 CSP clauses encoded
2049.95/2057.43	c 2057	Writing map file : HOME/temp.map
2049.95/2057.44	c 2057	Heap : 347 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2049.95/2057.44	c 2057	SAT : 5513 SAT variables, 3607676 SAT clauses, 369247026 bytes
2049.95/2057.44	c 2057	Heap : 347 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2050.02/2057.51	c 2057	OBJECTIVE minimize _COST
2050.02/2057.51	c 2057	SOLVING HOME/temp.cnf
2050.02/2057.51	c 2057	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2050.02/2057.51	c 2057	This is MiniSat 2.0 beta incremental
2050.02/2057.51	c 2057	WARNING: for repeatability, setting FPU to use double precision
2050.02/2057.51	c 2057	============================[ Problem Statistics ]=============================
2050.02/2057.51	c 2057	|                                                                             |
2050.02/2057.52	c 2057	|  Number of variables:  5513                                                 |
2050.02/2057.52	c 2057	|  Number of clauses:    3607676                                              |
2057.25/2064.82	c 2065	|  Parsing time:         6.57         s                                       |
2057.55/2065.19	c 2065	OK
2057.55/2065.19	c 2065	OBJECTIVE BOUND: 0 <= _COST <= 
2057.55/2065.19	c 2065	SEARCHING: _COST <= 15
2057.55/2065.19	c 2065	============================[ Search Statistics ]==============================
2057.55/2065.19	c 2065	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2057.55/2065.19	c 2065	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2057.55/2065.19	c 2065	===============================================================================
2057.55/2065.19	c 2065	|         0 |    5513  3607676 68621795 |  1202558        0    nan |  0.000 % |
2057.65/2065.27	c 2065	|       101 |    5513  3607676 68621795 |  1322814      101      6 |  0.000 % |
2057.86/2065.41	c 2065	|       251 |    5513  3607676 68621795 |  1455095      251      6 |  0.000 % |
2057.95/2065.59	c 2066	|       477 |    5513  3607676 68621795 |  1600605      477      7 |  0.000 % |
2058.25/2065.81	c 2066	|       815 |    5513  3607676 68621795 |  1760666      815      7 |  0.000 % |
2058.54/2066.15	c 2066	|      1321 |    5513  3607676 68621795 |  1936732     1321      7 |  0.000 % |
2059.33/2066.99	c 2067	|      2080 |    5513  3607676 68621795 |  2130406     2080      7 |  0.000 % |
2060.03/2067.64	c 2068	|      3219 |    5513  3607676 68621795 |  2343446     3219      9 |  0.000 % |
2060.92/2068.50	c 2068	|      4927 |    5513  3607676 68621795 |  2577791     4927     10 |  0.000 % |
2062.20/2069.90	c 2070	|      7489 |    5513  3607676 68621795 |  2835570     7489     11 |  0.000 % |
2064.39/2072.06	c 2072	|     11333 |    5513  3607676 68621795 |  3119127    11333     11 |  0.000 % |
2067.66/2075.36	c 2075	|     17099 |    5513  3607676 68621795 |  3431040    17099     11 |  0.000 % |
2071.92/2079.69	c 2080	|     25748 |    5513  3607676 68621795 |  3774144    25748     11 |  0.000 % |
2078.84/2086.61	c 2087	|     38723 |    5513  3607676 68621795 |  4151558    38723     12 |  0.000 % |
2087.27/2095.11	c 2095	|     58184 |    5513  3607676 68621795 |  4566714    58184     12 |  0.000 % |
2103.22/2111.24	c 2111	|     87377 |    5513  3607676 68621795 |  5023385    87377     12 |  0.000 % |
2134.81/2143.18	c 2143	|    131167 |    5513  3607676 68621795 |  5525724   131167     12 |  0.000 % |
2176.62/2185.37	c 2185	|    196854 |    5513  3607676 68621795 |  6078297   196854     13 |  0.000 % |
2275.78/2285.42	c 2285	|    295380 |    5513  3607676 68621795 |  6686126   295380     13 |  0.000 % |
2428.65/2439.73	c 2440	|    443169 |    5513  3607676 68621795 |  7354739   443169     13 |  0.000 % |
2675.00/2688.46	c 2688	|    664852 |    5513  3607676 68621795 |  8090213   664852     14 |  0.000 % |
3147.14/3165.04	c 3165	|    997378 |    5513  3607676 68621795 |  8899234   997378     15 |  0.000 % |
3600.06/3622.21	c ERROR INTERRUPTED
3600.06/3622.21	s UNKNOWN
3600.06/3622.34	c 3622	CPU 3596.07 (0.05 0.02 3596.02 4.07)
3600.06/3622.34	c 3622	END Sat Jul 12 07:20:06 2008

Verifier Data (download as text)

ERROR: no interpretation found !

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-1110823-1215836384/watcher-1110823-1215836384 -o /tmp/evaluation-result-1110823-1215836384/solver-1110823-1215836384 -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-1110823-1215836384.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: 1.92 1.98 2.04 4/81 16599
/proc/meminfo: memFree=1853064/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=12268 CPUtime=0
/proc/16599/stat : 16599 (sugar++) R 16597 16599 16562 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 40337824 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 221954931301 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/16599/statm: 3067 316 241 3 0 167 0

[startup+0.0791321 s]
/proc/loadavg: 1.92 1.98 2.04 4/81 16599
/proc/meminfo: memFree=1853064/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.07
/proc/16599/stat : 16599 (sugar++) R 16597 16599 16562 0 -1 4194304 1108 0 0 0 5 2 0 0 18 0 1 0 40337824 17141760 1076 996147200 4194304 4206940 548682068528 18446744073709551615 221968544680 0 0 4224 0 0 0 0 17 1 0 0
/proc/16599/statm: 4185 1076 385 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.102133 s]
/proc/loadavg: 1.92 1.98 2.04 4/81 16599
/proc/meminfo: memFree=1853064/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.07
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.302148 s]
/proc/loadavg: 1.92 1.98 2.04 4/81 16599
/proc/meminfo: memFree=1853064/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.07
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.702182 s]
/proc/loadavg: 1.92 1.98 2.04 4/81 16599
/proc/meminfo: memFree=1853064/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.07
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1236 128 0 0 5 2 0 0 15 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+1.50126 s]
/proc/loadavg: 1.85 1.97 2.04 4/92 16621
/proc/meminfo: memFree=1844336/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.66
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1296 7046 0 1 5 2 55 4 15 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
[pid=16612] ppid=16599 vsize=5356 CPUtime=0
/proc/16612/stat : 16612 (sh) S 16599 16599 16562 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40337898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16612/statm: 1339 233 193 169 0 50 0
[pid=16613] ppid=16612 vsize=864148 CPUtime=0.74
/proc/16613/stat : 16613 (java) S 16612 16599 16562 0 -1 0 7930 0 1 0 71 3 0 0 19 0 9 0 40337898 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16613/statm: 216037 7160 2540 9 0 210612 0
[pid=16613/tid=16614] ppid=16612 vsize=864148 CPUtime=0.44
/proc/16613/task/16614/stat : 16614 (java) R 16612 16599 16562 0 -1 64 2642 0 1 0 44 0 0 0 21 0 9 0 40337899 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16615] ppid=16612 vsize=864148 CPUtime=0.2
/proc/16613/task/16615/stat : 16615 (java) R 16612 16599 16562 0 -1 64 4263 0 0 0 19 1 0 0 16 0 9 0 40337900 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 102514544 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16616] ppid=16612 vsize=864148 CPUtime=0
/proc/16613/task/16616/stat : 16616 (java) S 16612 16599 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40337900 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16617] ppid=16612 vsize=864148 CPUtime=0
/proc/16613/task/16617/stat : 16617 (java) S 16612 16599 16562 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40337900 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16618] ppid=16612 vsize=864148 CPUtime=0
/proc/16613/task/16618/stat : 16618 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40337902 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16619] ppid=16612 vsize=864148 CPUtime=0.07
/proc/16613/task/16619/stat : 16619 (java) S 16612 16599 16562 0 -1 64 332 0 0 0 7 0 0 0 16 0 9 0 40337902 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16620] ppid=16612 vsize=864148 CPUtime=0
/proc/16613/task/16620/stat : 16620 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40337902 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16621] ppid=16612 vsize=864148 CPUtime=0
/proc/16613/task/16621/stat : 16621 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40337902 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 886244

[startup+3.1014 s]
/proc/loadavg: 1.85 1.97 2.04 3/92 16621
/proc/meminfo: memFree=1808944/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.66
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1296 7046 0 1 5 2 55 4 15 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
[pid=16612] ppid=16599 vsize=5356 CPUtime=0
/proc/16612/stat : 16612 (sh) S 16599 16599 16562 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40337898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16612/statm: 1339 233 193 169 0 50 0
[pid=16613] ppid=16612 vsize=864400 CPUtime=2.33
/proc/16613/stat : 16613 (java) S 16612 16599 16562 0 -1 0 21401 0 1 0 224 9 0 0 19 0 9 0 40337898 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16613/statm: 216100 20306 2540 9 0 210675 0
[pid=16613/tid=16614] ppid=16612 vsize=864400 CPUtime=0.89
/proc/16613/task/16614/stat : 16614 (java) R 16612 16599 16562 0 -1 64 3230 0 1 0 88 1 0 0 25 0 9 0 40337899 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16615] ppid=16612 vsize=864400 CPUtime=1.35
/proc/16613/task/16615/stat : 16615 (java) R 16612 16599 16562 0 -1 64 17146 0 0 0 129 6 0 0 18 0 9 0 40337900 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 102731924 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16616] ppid=16612 vsize=864400 CPUtime=0
/proc/16613/task/16616/stat : 16616 (java) S 16612 16599 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40337900 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16617] ppid=16612 vsize=864400 CPUtime=0
/proc/16613/task/16617/stat : 16617 (java) S 16612 16599 16562 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40337900 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16618] ppid=16612 vsize=864400 CPUtime=0
/proc/16613/task/16618/stat : 16618 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40337902 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16619] ppid=16612 vsize=864400 CPUtime=0.07
/proc/16613/task/16619/stat : 16619 (java) S 16612 16599 16562 0 -1 64 332 0 0 0 7 0 0 0 16 0 9 0 40337902 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16620] ppid=16612 vsize=864400 CPUtime=0
/proc/16613/task/16620/stat : 16620 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40337902 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16621] ppid=16612 vsize=864400 CPUtime=0
/proc/16613/task/16621/stat : 16621 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40337902 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 886496

[startup+6.30269 s]
/proc/loadavg: 1.85 1.97 2.04 3/92 16621
/proc/meminfo: memFree=1696432/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.66
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1297 7046 0 1 5 2 55 4 16 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
[pid=16612] ppid=16599 vsize=5356 CPUtime=0
/proc/16612/stat : 16612 (sh) S 16599 16599 16562 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40337898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16612/statm: 1339 233 193 169 0 50 0
[pid=16613] ppid=16612 vsize=864420 CPUtime=5.51
/proc/16613/stat : 16613 (java) S 16612 16599 16562 0 -1 0 51479 0 1 0 528 23 0 0 19 0 9 0 40337898 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16613/statm: 216105 50189 2540 9 0 210680 0
[pid=16613/tid=16614] ppid=16612 vsize=864420 CPUtime=1.95
/proc/16613/task/16614/stat : 16614 (java) S 16612 16599 16562 0 -1 64 4465 0 1 0 194 1 0 0 16 0 9 0 40337899 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16615] ppid=16612 vsize=864420 CPUtime=3.45
/proc/16613/task/16615/stat : 16615 (java) R 16612 16599 16562 0 -1 64 45985 0 0 0 325 20 0 0 25 0 9 0 40337900 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 102721847 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16616] ppid=16612 vsize=864420 CPUtime=0
/proc/16613/task/16616/stat : 16616 (java) S 16612 16599 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40337900 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16617] ppid=16612 vsize=864420 CPUtime=0
/proc/16613/task/16617/stat : 16617 (java) S 16612 16599 16562 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40337900 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16618] ppid=16612 vsize=864420 CPUtime=0
/proc/16613/task/16618/stat : 16618 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40337902 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16619] ppid=16612 vsize=864420 CPUtime=0.07
/proc/16613/task/16619/stat : 16619 (java) S 16612 16599 16562 0 -1 64 336 0 0 0 7 0 0 0 16 0 9 0 40337902 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16620] ppid=16612 vsize=864420 CPUtime=0
/proc/16613/task/16620/stat : 16620 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40337902 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16621] ppid=16612 vsize=864420 CPUtime=0
/proc/16613/task/16621/stat : 16621 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40337902 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 886516

[startup+12.7023 s]
/proc/loadavg: 1.87 1.97 2.04 3/92 16621
/proc/meminfo: memFree=1645360/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.66
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1297 7046 0 1 5 2 55 4 16 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
[pid=16612] ppid=16599 vsize=5356 CPUtime=0
/proc/16612/stat : 16612 (sh) S 16599 16599 16562 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40337898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16612/statm: 1339 233 193 169 0 50 0
[pid=16613] ppid=16612 vsize=864260 CPUtime=11.88
/proc/16613/stat : 16613 (java) S 16612 16599 16562 0 -1 0 64840 0 1 0 1159 29 0 0 19 0 9 0 40337898 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16613/statm: 216065 53279 2565 9 0 210612 0
[pid=16613/tid=16614] ppid=16612 vsize=864260 CPUtime=7.03
/proc/16613/task/16614/stat : 16614 (java) R 16612 16599 16562 0 -1 64 5728 0 1 0 701 2 0 0 25 0 9 0 40337899 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4126648900 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16615] ppid=16612 vsize=864260 CPUtime=4.71
/proc/16613/task/16615/stat : 16615 (java) S 16612 16599 16562 0 -1 64 58063 0 0 0 446 25 0 0 16 0 9 0 40337900 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16616] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16616/stat : 16616 (java) S 16612 16599 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40337900 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16617] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16617/stat : 16617 (java) S 16612 16599 16562 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40337900 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16618] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16618/stat : 16618 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40337902 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16619] ppid=16612 vsize=864260 CPUtime=0.1
/proc/16613/task/16619/stat : 16619 (java) S 16612 16599 16562 0 -1 64 356 0 0 0 10 0 0 0 16 0 9 0 40337902 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16620] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16620/stat : 16620 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40337902 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16621] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16621/stat : 16621 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40337902 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 886356

[startup+25.5024 s]
/proc/loadavg: 1.89 1.97 2.03 3/92 16621
/proc/meminfo: memFree=1643888/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.66
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1297 7046 0 1 5 2 55 4 16 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
[pid=16612] ppid=16599 vsize=5356 CPUtime=0
/proc/16612/stat : 16612 (sh) S 16599 16599 16562 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40337898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16612/statm: 1339 233 193 169 0 50 0
[pid=16613] ppid=16612 vsize=864260 CPUtime=24.61
/proc/16613/stat : 16613 (java) S 16612 16599 16562 0 -1 0 65394 0 1 0 2432 29 0 0 19 0 9 0 40337898 885002240 53830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16613/statm: 216065 53830 2565 9 0 210612 0
[pid=16613/tid=16614] ppid=16612 vsize=864260 CPUtime=19.74
/proc/16613/task/16614/stat : 16614 (java) R 16612 16599 16562 0 -1 64 5731 0 1 0 1972 2 0 0 25 0 9 0 40337899 885002240 53830 996147200 134512640 134550740 4294955920 18446744073709551615 102064907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16615] ppid=16612 vsize=864260 CPUtime=4.73
/proc/16613/task/16615/stat : 16615 (java) S 16612 16599 16562 0 -1 64 58614 0 0 0 448 25 0 0 16 0 9 0 40337900 885002240 53830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16616] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16616/stat : 16616 (java) S 16612 16599 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40337900 885002240 53830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16617] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16617/stat : 16617 (java) S 16612 16599 16562 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40337900 885002240 53830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=535888 CPUtime=856.66
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 129869 0 0 0 85569 97 0 0 25 0 1 0 40543576 548749312 129817 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 133972 129817 74 151 0 133818 0
Current children cumulated CPU time (s) 2906.71
Current children cumulated vsize (KiB) 552628

[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16664
/proc/meminfo: memFree=940280/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=540228 CPUtime=916.09
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 130977 0 0 0 91511 98 0 0 25 0 1 0 40543576 553193472 130925 996147200 134512640 135134323 4294956192 18446744073709551615 134532164 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 135057 130925 74 151 0 134903 0
Current children cumulated CPU time (s) 2966.14
Current children cumulated vsize (KiB) 556968

[startup+3042.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/75 16664
/proc/meminfo: memFree=936760/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=543736 CPUtime=975.54
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 131840 0 0 0 97454 100 0 0 25 0 1 0 40543576 556785664 131788 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 135934 131788 74 151 0 135780 0
Current children cumulated CPU time (s) 3025.59
Current children cumulated vsize (KiB) 560476

[startup+3102.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/75 16664
/proc/meminfo: memFree=932472/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=547928 CPUtime=1034.97
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 132904 0 0 0 103396 101 0 0 25 0 1 0 40543576 561078272 132852 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 136982 132852 74 151 0 136828 0
Current children cumulated CPU time (s) 3085.02
Current children cumulated vsize (KiB) 564668

[startup+3162.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/75 16664
/proc/meminfo: memFree=928312/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=552004 CPUtime=1094.41
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 133951 0 0 0 109338 103 0 0 25 0 1 0 40543576 565252096 133899 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 138001 133899 74 151 0 137847 0
Current children cumulated CPU time (s) 3144.46
Current children cumulated vsize (KiB) 568744

[startup+3222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/75 16664
/proc/meminfo: memFree=923832/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=556356 CPUtime=1153.86
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 135034 0 0 0 115281 105 0 0 25 0 1 0 40543576 569708544 134982 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 139089 134982 74 151 0 138935 0
Current children cumulated CPU time (s) 3203.91
Current children cumulated vsize (KiB) 573096

[startup+3282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/75 16664
/proc/meminfo: memFree=918840/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=563008 CPUtime=1213.29
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 136227 0 0 0 121223 106 0 0 25 0 1 0 40543576 576520192 136175 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 140752 136175 74 151 0 140598 0
Current children cumulated CPU time (s) 3263.34
Current children cumulated vsize (KiB) 579748

[startup+3342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/75 16664
/proc/meminfo: memFree=913848/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=568108 CPUtime=1272.73
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 137493 0 0 0 127166 107 0 0 25 0 1 0 40543576 581742592 137441 996147200 134512640 135134323 4294956192 18446744073709551615 134529701 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 142027 137441 74 151 0 141873 0
Current children cumulated CPU time (s) 3322.78
Current children cumulated vsize (KiB) 584848

[startup+3402.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 16664
/proc/meminfo: memFree=910200/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=571656 CPUtime=1332.17
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 138386 0 0 0 133109 108 0 0 25 0 1 0 40543576 585375744 138334 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 142914 138334 74 151 0 142760 0
Current children cumulated CPU time (s) 3382.22
Current children cumulated vsize (KiB) 588396

[startup+3462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 16664
/proc/meminfo: memFree=907576/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=573920 CPUtime=1391.6
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 138979 0 0 0 139051 109 0 0 25 0 1 0 40543576 587694080 138927 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 143480 138927 74 151 0 143326 0
Current children cumulated CPU time (s) 3441.65
Current children cumulated vsize (KiB) 590660

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16664
/proc/meminfo: memFree=905336/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=576096 CPUtime=1451.04
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 139576 0 0 0 144994 110 0 0 25 0 1 0 40543576 589922304 139524 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 144024 139524 74 151 0 143870 0
Current children cumulated CPU time (s) 3501.09
Current children cumulated vsize (KiB) 592836

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16666
/proc/meminfo: memFree=903160/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=578044 CPUtime=1510.49
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 140035 0 0 0 150938 111 0 0 25 0 1 0 40543576 591917056 139983 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 144511 139983 74 151 0 144357 0
Current children cumulated CPU time (s) 3560.54
Current children cumulated vsize (KiB) 594784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3622.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16666
/proc/meminfo: memFree=902008/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=579272 CPUtime=1550.01
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 140357 0 0 0 154889 112 0 0 25 0 1 0 40543576 593174528 140305 996147200 134512640 135134323 4294956192 18446744073709551615 134531938 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 144818 140305 74 151 0 144664 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 596012

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

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

[startup+3622.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16666
/proc/meminfo: memFree=902008/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=3600.26
/proc/16599/stat : 16599 (sugar++) R 16597 16599 16562 0 -1 4194304 1488 294396 0 2 5 12 359602 407 18 0 1 0 40337824 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 221954937897 0 0 4224 16386 0 0 0 17 1 0 0
/proc/16599/statm: 4185 1114 415 3 0 764 0
Current children cumulated CPU time (s) 3600.26
Current children cumulated vsize (KiB) 16740

Child status: 0
Real time (s): 3622.49
CPU time (s): 3600.38
CPU user time (s): 3596.08
CPU system time (s): 4.29735
CPU usage (%): 99.3895
Max. virtual memory (cumulated for all children) (KiB): 912972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.08
system time used= 4.29735
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295931
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52316
involuntary context switches= 92165

runsolver used 5.05923 second user time and 11.4593 second system time

The end

Launcher Data (download as text)

Begin job on node43 at 2008-07-12 06:19:44
IDJOB=1110823
IDBENCH=61157
IDSOLVER=367
FILE ID=node43/1110823-1215836384
PBS_JOBID= 7903396
Free space on /tmp= 66512 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg14-15_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-1110823-1215836384/watcher-1110823-1215836384 -o /tmp/evaluation-result-1110823-1215836384/solver-1110823-1215836384 -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-1110823-1215836384.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= aca7198b8bad2de4793a977967afcafb
RANDOM SEED=176969546

node43.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.216
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.216
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:       1853608 kB
Buffers:         26180 kB
Cached:          80984 kB
SwapCached:        140 kB
Active:          89996 kB
Inactive:        49964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1348 kB
Writeback:           0 kB
Mapped:          52796 kB
Slab:            47416 kB
Committed_AS:   193704 kB
PageTables:       1992 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= 66500 MiB
End job on node43 at 2008-07-12 07:20:08