Trace number 1110339

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.16 3600.56

General information on the benchmark

Namecsp/wordsVg/
normalized-crossword-m1c-words-vg14-14_ext.xml
MD5SUM71043e558b97d1038b2e45a8033f05ba
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints28
Best CPU time to get the best result obtained on this benchmark3600.09
Satisfiable
(Un)Satisfiability was proved
Number of variables196
Number of constraints28
Maximum constraint arity14
Maximum domain size26
Number of constraints which are defined in extension28
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.06/0.06	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.06/0.06	c 0	BEGIN Sat Jul 12 01:52:36 2008
0.06/0.06	c 0	PID 16098
0.06/0.07	c 0	HOST node16.alineos.net
0.06/0.07	c 0	CONVERTING HOME/instance-1110339-1215820355.xml TO HOME/temp.csp
0.06/0.07	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110339-1215820355.xml' 'HOME/temp.csp'
0.06/0.24	c 0	1 domains, 196 variables, 0 predicates, 1 relations, 28 constraints
0.06/0.28	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.28	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.27/0.35	c 0	Parsing HOME/temp.csp
0.27/0.42	c 0	parsed 226 expressions
0.27/0.42	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.27/0.43	c 0	MAX CSP: 28 constraints
0.27/0.43	c 0	Converting to clausal form CSP
0.27/0.45	c 0	converted 26 (10%) expressions
0.27/0.45	c 0	converted 52 (20%) expressions
0.27/0.45	c 0	converted 78 (30%) expressions
0.27/0.45	c 0	converted 103 (40%) expressions
0.27/0.45	c 0	converted 129 (50%) expressions
0.27/0.45	c 0	converted 155 (60%) expressions
0.27/0.45	c 0	converted 180 (70%) expressions
0.27/0.51	c 0	converted 206 (80%) expressions
0.27/0.72	c 0	converted 232 (90%) expressions
0.27/0.92	c 0	converted 257 (100%) expressions
0.27/0.92	c 0	CSP : 252 integers, 0 booleans, 83 clauses, largest domain size 43
0.27/0.92	c 0	Heap : 18 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.27/0.92	c 0	Propagation in CSP
0.27/0.92	c 0	25 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.27/0.92	c 0	CSP : 252 integers, 0 booleans, 83 clauses, largest domain size 29
0.27/0.92	c 0	Heap : 19 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.27/0.92	c 0	Simplifing CSP by introducing new Boolean variables
0.27/0.92	c 0	CSP : 252 integers, 0 booleans, 83 clauses, largest domain size 29
0.27/0.92	c 0	Heap : 19 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.03/1.02	c 0	Encoding CSP to SAT : HOME/temp.cnf
1.03/1.03	c 0	26 (10%) CSP integer variables are encoded (624 clauses, 6720 bytes)
1.03/1.03	c 0	51 (20%) CSP integer variables are encoded (1224 clauses, 13849 bytes)
1.03/1.03	c 0	76 (30%) CSP integer variables are encoded (1824 clauses, 21649 bytes)
1.03/1.03	c 0	101 (40%) CSP integer variables are encoded (2424 clauses, 29449 bytes)
1.03/1.03	c 0	126 (50%) CSP integer variables are encoded (3024 clauses, 37249 bytes)
1.03/1.03	c 1	152 (60%) CSP integer variables are encoded (3648 clauses, 45361 bytes)
1.03/1.03	c 1	177 (70%) CSP integer variables are encoded (4248 clauses, 53161 bytes)
1.03/1.03	c 1	202 (80%) CSP integer variables are encoded (4704 clauses, 59089 bytes)
1.03/1.04	c 1	227 (90%) CSP integer variables are encoded (4733 clauses, 59466 bytes)
1.03/1.04	c 1	252 (100%) CSP integer variables are encoded (4900 clauses, 61637 bytes)
10.83/10.86	c 10	9 (10%) CSP clauses are encoded (131485 clauses, 11507210 bytes)
19.59/19.68	c 19	17 (20%) CSP clauses are encoded (244005 clauses, 21780923 bytes)
28.37/28.45	c 28	25 (30%) CSP clauses are encoded (356525 clauses, 32941427 bytes)
31.56/31.67	c 31	34 (40%) CSP clauses are encoded (398748 clauses, 37127046 bytes)
31.56/31.67	c 31	42 (50%) CSP clauses are encoded (399300 clauses, 37136271 bytes)
31.56/31.67	c 31	50 (60%) CSP clauses are encoded (399334 clauses, 37136790 bytes)
31.56/31.67	c 31	59 (70%) CSP clauses are encoded (399797 clauses, 37144863 bytes)
31.56/31.67	c 31	67 (80%) CSP clauses are encoded (399851 clauses, 37145719 bytes)
31.56/31.67	c 31	75 (90%) CSP clauses are encoded (399901 clauses, 37146501 bytes)
31.56/31.67	c 31	83 (100%) CSP clauses are encoded (400092 clauses, 37149668 bytes)
31.56/31.67	c 31	83 CSP clauses encoded
31.56/31.67	c 31	Writing map file : HOME/temp.map
31.56/31.68	c 31	Heap : 35 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
31.56/31.68	c 31	SAT : 5152 SAT variables, 400092 SAT clauses, 37149668 bytes
31.56/31.68	c 31	Heap : 35 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
31.65/31.71	c 31	OBJECTIVE minimize _COST
31.65/31.71	c 31	SOLVING HOME/temp.cnf
31.65/31.71	c 31	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
31.65/31.71	c 31	This is MiniSat 2.0 beta incremental
31.65/31.71	c 31	WARNING: for repeatability, setting FPU to use double precision
31.65/31.71	c 31	============================[ Problem Statistics ]=============================
31.65/31.71	c 31	|                                                                             |
31.65/31.71	c 31	|  Number of variables:  5152                                                 |
31.65/31.71	c 31	|  Number of clauses:    400092                                               |
32.34/32.41	c 32	|  Parsing time:         0.63         s                                       |
32.34/32.45	c 32	OK
32.34/32.45	c 32	OBJECTIVE BOUND: 0 <= _COST <= 
32.34/32.45	c 32	SEARCHING: _COST <= 14
32.34/32.45	c 32	============================[ Search Statistics ]==============================
32.34/32.45	c 32	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.34/32.45	c 32	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
32.34/32.45	c 32	===============================================================================
32.34/32.45	c 32	|         0 |    5152   400092  6909168 |   133364        0    nan |  0.000 % |
32.34/32.46	c 32	|       102 |    5152   400092  6909168 |   146700      102      5 |  0.000 % |
32.34/32.49	c 32	|       252 |    5152   400092  6909168 |   161370      252      5 |  0.000 % |
32.44/32.52	c 32	|       477 |    5152   400092  6909168 |   177507      477      6 |  0.000 % |
32.54/32.64	c 32	|       814 |    5152   400092  6909168 |   195258      814      8 |  0.000 % |
32.54/32.69	c 32	|      1320 |    5152   400092  6909168 |   214784     1320      9 |  0.000 % |
32.64/32.75	c 32	|      2079 |    5152   400092  6909168 |   236262     2079      9 |  0.000 % |
32.74/32.84	c 32	|      3218 |    5152   400092  6909168 |   259888     3218      9 |  0.000 % |
32.84/32.99	c 32	|      4926 |    5152   400092  6909168 |   285877     4926     10 |  0.000 % |
33.03/33.19	c 33	|      7488 |    5152   400092  6909168 |   314465     7488     10 |  0.000 % |
33.34/33.48	c 33	|     11333 |    5152   400092  6909168 |   345911    11333     10 |  0.000 % |
33.84/33.99	c 33	|     17099 |    5152   400092  6909168 |   380503    17099     10 |  0.000 % |
34.74/34.89	c 34	|     25749 |    5152   400092  6909168 |   418553    25749     10 |  0.000 % |
36.94/37.08	c 37	|     38723 |    5152   400092  6909168 |   460408    38723     11 |  0.000 % |
40.13/40.23	c 40	|     58184 |    5152   400092  6909168 |   506449    58184     11 |  0.000 % |
45.63/45.75	c 45	|     87376 |    5152   400092  6909168 |   557094    87376     12 |  0.000 % |
59.34/59.48	c 59	|    131167 |    5152   400092  6909168 |   612803   131167     13 |  0.000 % |
89.91/90.07	c 90	|    196853 |    5152   400092  6909168 |   674084   196853     16 |  0.000 % |
236.89/237.07	c 237	|    295381 |    5152   400092  6909168 |   741492   295381     19 |  0.000 % |
433.47/433.61	c 433	|    443173 |    5152   400092  6909168 |   815642   443173     19 |  0.000 % |
998.09/998.33	c 998	|    664856 |    5152   400092  6909168 |   897206   664856     24 |  0.000 % |
1560.95/1561.24	c 1561	|    997381 |    5152   400092  6909168 |   986926   140948     19 |  0.000 % |
2881.52/2881.92	c 2881	|   1496169 |    5152   400092  6909168 |  1085619   639736     30 |  0.000 % |
3600.08/3600.51	c ERROR INTERRUPTED
3600.08/3600.51	s UNKNOWN
3600.08/3600.53	c 3600	CPU 3599.16 (0.05 0.02 3599.11 0.95)
3600.08/3600.53	c 3600	END Sat Jul 12 02:52:36 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-1110339-1215820355/watcher-1110339-1215820355 -o /tmp/evaluation-result-1110339-1215820355/solver-1110339-1215820355 -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-1110339-1215820355.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.00 1.00 1.07 3/64 16098
/proc/meminfo: memFree=1798216/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=12268 CPUtime=0
/proc/16098/stat : 16098 (sugar++) R 16096 16098 14066 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 38738115 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 231971273726 0 0 4224 0 0 0 0 17 0 0 0
/proc/16098/statm: 3067 316 241 3 0 167 0

[startup+0.069332 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 16098
/proc/meminfo: memFree=1798216/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.06
/proc/16098/stat : 16098 (sugar++) R 16096 16098 14066 0 -1 4194304 1109 0 0 0 4 2 0 0 18 0 1 0 38738115 17141760 1077 996147200 4194304 4206940 548682068528 18446744073709551615 231962219233 0 0 4224 0 0 0 0 17 0 0 0
/proc/16098/statm: 4185 1077 385 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.101327 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 16098
/proc/meminfo: memFree=1798216/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.06
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1219 128 0 0 4 2 0 0 17 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.301279 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 16098
/proc/meminfo: memFree=1798216/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1279 4294 0 1 4 2 18 3 17 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 16740

[startup+0.701173 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 16098
/proc/meminfo: memFree=1798216/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1296 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 16740

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.07 2/75 16120
/proc/meminfo: memFree=1768944/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1297 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
[pid=16111] ppid=16098 vsize=5356 CPUtime=0
/proc/16111/stat : 16111 (sh) S 16098 16098 14066 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38738143 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16111/statm: 1339 233 193 169 0 50 0
[pid=16112] ppid=16111 vsize=865164 CPUtime=1.29
/proc/16112/stat : 16112 (java) S 16111 16098 14066 0 -1 0 10166 0 1 0 124 5 0 0 18 0 9 0 38738144 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16112/statm: 216291 9403 2564 9 0 210838 0
[pid=16112/tid=16113] ppid=16111 vsize=865164 CPUtime=0.76
/proc/16112/task/16113/stat : 16113 (java) R 16111 16098 14066 0 -1 64 2881 0 1 0 75 1 0 0 17 0 9 0 38738145 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4126582380 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16114] ppid=16111 vsize=865164 CPUtime=0.41
/proc/16112/task/16114/stat : 16114 (java) S 16111 16098 14066 0 -1 64 6247 0 0 0 39 2 0 0 16 0 9 0 38738146 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16115] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16115/stat : 16115 (java) S 16111 16098 14066 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 38738146 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16116] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16116/stat : 16116 (java) S 16111 16098 14066 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38738146 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16117] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16117/stat : 16117 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 38738148 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16118] ppid=16111 vsize=865164 CPUtime=0.08
/proc/16112/task/16118/stat : 16118 (java) S 16111 16098 14066 0 -1 64 344 0 0 0 8 0 0 0 15 0 9 0 38738148 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16119] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16119/stat : 16119 (java) S 16111 16098 14066 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 38738148 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16120] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16120/stat : 16120 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38738148 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 887260

[startup+3.10255 s]
/proc/loadavg: 1.00 1.00 1.07 2/75 16120
/proc/meminfo: memFree=1764784/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1297 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
[pid=16111] ppid=16098 vsize=5356 CPUtime=0
/proc/16111/stat : 16111 (sh) S 16098 16098 14066 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38738143 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16111/statm: 1339 233 193 169 0 50 0
[pid=16112] ppid=16111 vsize=865164 CPUtime=2.88
/proc/16112/stat : 16112 (java) S 16111 16098 14066 0 -1 0 11239 0 1 0 282 6 0 0 18 0 9 0 38738144 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16112/statm: 216291 10403 2564 9 0 210838 0
[pid=16112/tid=16113] ppid=16111 vsize=865164 CPUtime=2.29
/proc/16112/task/16113/stat : 16113 (java) R 16111 16098 14066 0 -1 64 2954 0 1 0 226 3 0 0 16 0 9 0 38738145 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4126548360 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16114] ppid=16111 vsize=865164 CPUtime=0.47
/proc/16112/task/16114/stat : 16114 (java) S 16111 16098 14066 0 -1 64 7244 0 0 0 45 2 0 0 16 0 9 0 38738146 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16115] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16115/stat : 16115 (java) S 16111 16098 14066 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 38738146 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16116] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16116/stat : 16116 (java) S 16111 16098 14066 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38738146 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16117] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16117/stat : 16117 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 38738148 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16118] ppid=16111 vsize=865164 CPUtime=0.09
/proc/16112/task/16118/stat : 16118 (java) S 16111 16098 14066 0 -1 64 347 0 0 0 9 0 0 0 16 0 9 0 38738148 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16119] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16119/stat : 16119 (java) S 16111 16098 14066 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 38738148 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16120] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16120/stat : 16120 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38738148 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 887260

[startup+6.30271 s]
/proc/loadavg: 1.00 1.00 1.07 2/75 16120
/proc/meminfo: memFree=1752824/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1297 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
[pid=16111] ppid=16098 vsize=5356 CPUtime=0
/proc/16111/stat : 16111 (sh) S 16098 16098 14066 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38738143 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16111/statm: 1339 233 193 169 0 50 0
[pid=16112] ppid=16111 vsize=865224 CPUtime=6.07
/proc/16112/stat : 16112 (java) S 16111 16098 14066 0 -1 0 14493 0 1 0 597 10 0 0 18 0 9 0 38738144 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16112/statm: 216306 12287 2564 9 0 210853 0
[pid=16112/tid=16113] ppid=16111 vsize=865224 CPUtime=5.25
/proc/16112/task/16113/stat : 16113 (java) R 16111 16098 14066 0 -1 64 3106 0 1 0 520 5 0 0 16 0 9 0 38738145 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4126582487 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16114] ppid=16111 vsize=865224 CPUtime=0.7
/proc/16112/task/16114/stat : 16114 (java) S 16111 16098 14066 0 -1 64 10345 0 0 0 67 3 0 0 15 0 9 0 38738146 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16115] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16115/stat : 16115 (java) S 16111 16098 14066 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16116] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16116/stat : 16116 (java) S 16111 16098 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16117] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16117/stat : 16117 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 38738148 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16118] ppid=16111 vsize=865224 CPUtime=0.09
/proc/16112/task/16118/stat : 16118 (java) S 16111 16098 14066 0 -1 64 348 0 0 0 9 0 0 0 16 0 9 0 38738148 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16119] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16119/stat : 16119 (java) S 16111 16098 14066 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 38738148 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16120] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16120/stat : 16120 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38738148 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 887320

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.07 2/75 16120
/proc/meminfo: memFree=1739456/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1297 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
[pid=16111] ppid=16098 vsize=5356 CPUtime=0
/proc/16111/stat : 16111 (sh) S 16098 16098 14066 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38738143 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16111/statm: 1339 233 193 169 0 50 0
[pid=16112] ppid=16111 vsize=865224 CPUtime=12.45
/proc/16112/stat : 16112 (java) S 16111 16098 14066 0 -1 0 16833 0 1 0 1228 17 0 0 18 0 9 0 38738144 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16112/statm: 216306 13134 2564 9 0 210853 0
[pid=16112/tid=16113] ppid=16111 vsize=865224 CPUtime=11.27
/proc/16112/task/16113/stat : 16113 (java) R 16111 16098 14066 0 -1 64 3381 0 1 0 1118 9 0 0 16 0 9 0 38738145 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 102064004 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16114] ppid=16111 vsize=865224 CPUtime=1.05
/proc/16112/task/16114/stat : 16114 (java) S 16111 16098 14066 0 -1 64 12406 0 0 0 99 6 0 0 15 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16115] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16115/stat : 16115 (java) S 16111 16098 14066 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16116] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16116/stat : 16116 (java) S 16111 16098 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16117] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16117/stat : 16117 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 38738148 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16118] ppid=16111 vsize=865224 CPUtime=0.1
/proc/16112/task/16118/stat : 16118 (java) S 16111 16098 14066 0 -1 64 352 0 0 0 10 0 0 0 16 0 9 0 38738148 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16119] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16119/stat : 16119 (java) S 16111 16098 14066 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 38738148 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16120] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16120/stat : 16120 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38738148 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 887320

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.07 2/75 16120
/proc/meminfo: memFree=1722176/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1297 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
[pid=16111] ppid=16098 vsize=5356 CPUtime=0
/proc/16111/stat : 16111 (sh) S 16098 16098 14066 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38738143 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16111/statm: 1339 233 193 169 0 50 0
[pid=16112] ppid=16111 vsize=865224 CPUtime=25.21
/proc/16112/stat : 16112 (java) S 16111 16098 14066 0 -1 0 19805 0 1 0 2492 29 0 0 18 0 9 0 38738144 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16112/statm: 216306 13134 2564 9 0 210853 0
[pid=16112/tid=16113] ppid=16111 vsize=865224 CPUtime=23.38
/proc/16112/task/16113/stat : 16113 (java) R 16111 16098 14066 0 -1 64 3927 0 1 0 2319 19 0 0 17 0 9 0 38738145 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4126582443 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16114] ppid=16111 vsize=865224 CPUtime=1.71
/proc/16112/task/16114/stat : 16114 (java) S 16111 16098 14066 0 -1 64 14832 0 0 0 162 9 0 0 16 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16115] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16115/stat : 16115 (java) S 16111 16098 14066 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16116] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16116/stat : 16116 (java) S 16111 16098 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

[pid=16121] ppid=16098 vsize=167428 CPUtime=2890.25
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 41224 0 0 0 288983 42 0 0 25 0 1 0 38741286 171446272 41173 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 41857 41173 74 151 0 41703 0
Current children cumulated CPU time (s) 2921.93
Current children cumulated vsize (KiB) 184168

[startup+2982.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1588552/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=171984 CPUtime=2950.25
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 42380 0 0 0 294982 43 0 0 25 0 1 0 38741286 176111616 42329 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 42996 42329 74 151 0 42842 0
Current children cumulated CPU time (s) 2981.93
Current children cumulated vsize (KiB) 188724

[startup+3042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1584392/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=176264 CPUtime=3010.24
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 43421 0 0 0 300980 44 0 0 25 0 1 0 38741286 180494336 43370 996147200 134512640 135134323 4294956192 18446744073709551615 134532135 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 44066 43370 74 151 0 43912 0
Current children cumulated CPU time (s) 3041.92
Current children cumulated vsize (KiB) 193004

[startup+3102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1581128/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=179528 CPUtime=3070.24
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 44240 0 0 0 306979 45 0 0 25 0 1 0 38741286 183836672 44189 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/16121/statm: 44882 44189 74 151 0 44728 0
Current children cumulated CPU time (s) 3101.92
Current children cumulated vsize (KiB) 196268

[startup+3162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1577864/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=182816 CPUtime=3130.23
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 45063 0 0 0 312977 46 0 0 25 0 1 0 38741286 187203584 45012 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 45704 45012 74 151 0 45550 0
Current children cumulated CPU time (s) 3161.91
Current children cumulated vsize (KiB) 199556

[startup+3222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1575112/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=185608 CPUtime=3190.24
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 45738 0 0 0 318977 47 0 0 25 0 1 0 38741286 190062592 45687 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 46402 45687 74 151 0 46248 0
Current children cumulated CPU time (s) 3221.92
Current children cumulated vsize (KiB) 202348

[startup+3282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1572552/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=188100 CPUtime=3250.23
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 46376 0 0 0 324976 47 0 0 25 0 1 0 38741286 192614400 46325 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 47025 46325 74 151 0 46871 0
Current children cumulated CPU time (s) 3281.91
Current children cumulated vsize (KiB) 204840

[startup+3342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1570632/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=190080 CPUtime=3310.22
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 46853 0 0 0 330974 48 0 0 25 0 1 0 38741286 194641920 46802 996147200 134512640 135134323 4294956192 18446744073709551615 134532126 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 47520 46802 74 151 0 47366 0
Current children cumulated CPU time (s) 3341.9
Current children cumulated vsize (KiB) 206820

[startup+3402.31 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 16129
/proc/meminfo: memFree=1568904/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=191728 CPUtime=3370.22
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 47264 0 0 0 336974 48 0 0 25 0 1 0 38741286 196329472 47213 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 47932 47213 74 151 0 47778 0
Current children cumulated CPU time (s) 3401.9
Current children cumulated vsize (KiB) 208468

[startup+3462.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 16129
/proc/meminfo: memFree=1566600/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=193880 CPUtime=3430.22
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 47823 0 0 0 342973 49 0 0 25 0 1 0 38741286 198533120 47772 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16121/statm: 48470 47772 74 151 0 48316 0
Current children cumulated CPU time (s) 3461.9
Current children cumulated vsize (KiB) 210620

[startup+3522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1563400/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=196924 CPUtime=3490.21
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 48606 0 0 0 348971 50 0 0 25 0 1 0 38741286 201650176 48555 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 49231 48555 74 151 0 49077 0
Current children cumulated CPU time (s) 3521.89
Current children cumulated vsize (KiB) 213664

[startup+3582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1560904/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=199480 CPUtime=3550.21
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 49232 0 0 0 354970 51 0 0 25 0 1 0 38741286 204267520 49181 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 49870 49181 74 151 0 49716 0
Current children cumulated CPU time (s) 3581.89
Current children cumulated vsize (KiB) 216220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1559816/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=200404 CPUtime=3568.4
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 49492 0 0 0 356789 51 0 0 25 0 1 0 38741286 205213696 49441 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 50101 49441 74 151 0 49947 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 217144

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

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

[startup+3600.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1559816/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=200404 CPUtime=3568.4
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 49492 0 0 0 356789 51 0 0 25 0 1 0 38741286 205213696 49441 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 50101 49441 74 151 0 49947 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 217144

Child status: 0
Real time (s): 3600.56
CPU time (s): 3600.16
CPU user time (s): 3599.16
CPU system time (s): 0.997848
CPU usage (%): 99.9891
Max. virtual memory (cumulated for all children) (KiB): 890532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 0.997848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75701
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= 4514
involuntary context switches= 16564

runsolver used 3.37149 second user time and 9.76552 second system time

The end

Launcher Data (download as text)

Begin job on node16 at 2008-07-12 01:52:35
IDJOB=1110339
IDBENCH=61093
IDSOLVER=367
FILE ID=node16/1110339-1215820355
PBS_JOBID= 7903246
Free space on /tmp= 66528 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg14-14_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-1110339-1215820355/watcher-1110339-1215820355 -o /tmp/evaluation-result-1110339-1215820355/solver-1110339-1215820355 -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-1110339-1215820355.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 71043e558b97d1038b2e45a8033f05ba
RANDOM SEED=987221784

node16.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.218
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.218
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:       1798696 kB
Buffers:         47948 kB
Cached:         156292 kB
SwapCached:       8124 kB
Active:          58676 kB
Inactive:       156140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1798696 kB
SwapTotal:     4192956 kB
SwapFree:      4179412 kB
Dirty:             844 kB
Writeback:           0 kB
Mapped:          14016 kB
Slab:            28444 kB
Committed_AS:   121384 kB
PageTables:       1448 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= 66524 MiB
End job on node16 at 2008-07-12 02:52:38