Trace number 1110523

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-incMSAT (TO)13 3600.17 3603.77

General information on the benchmark

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

Solver Data (download as text)

0.06/0.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.06/0.08	c 0	BEGIN Sat Jul 12 03:48:50 2008
0.06/0.08	c 0	PID 14212
0.06/0.08	c 0	HOST node14.alineos.net
0.06/0.08	c 0	CONVERTING HOME/instance-1110523-1215827330.xml TO HOME/temp.csp
0.06/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110523-1215827330.xml' 'HOME/temp.csp'
0.07/0.52	c 0	1 domains, 154 variables, 0 predicates, 2 relations, 25 constraints
0.07/0.56	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.56	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.49/0.64	c 0	Parsing HOME/temp.csp
0.49/0.92	c 1	parsed 182 expressions
0.49/0.93	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.49/0.93	c 1	MAX CSP: 25 constraints
0.49/0.93	c 1	Converting to clausal form CSP
0.49/0.95	c 1	converted 21 (10%) expressions
0.49/0.95	c 1	converted 42 (20%) expressions
0.49/0.95	c 1	converted 63 (30%) expressions
0.49/0.95	c 1	converted 84 (40%) expressions
0.49/0.95	c 1	converted 105 (50%) expressions
0.49/0.95	c 1	converted 126 (60%) expressions
0.49/0.95	c 1	converted 147 (70%) expressions
1.19/1.31	c 1	converted 168 (80%) expressions
1.79/1.99	c 2	converted 189 (90%) expressions
1.99/2.12	c 2	converted 210 (100%) expressions
1.99/2.12	c 2	CSP : 204 integers, 0 booleans, 74 clauses, largest domain size 38
1.99/2.12	c 2	Heap : 38 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.99/2.12	c 2	Propagation in CSP
1.99/2.14	c 2	22 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.99/2.14	c 2	CSP : 204 integers, 0 booleans, 74 clauses, largest domain size 26
1.99/2.14	c 2	Heap : 38 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.99/2.14	c 2	Simplifing CSP by introducing new Boolean variables
1.99/2.14	c 2	CSP : 204 integers, 0 booleans, 74 clauses, largest domain size 26
1.99/2.14	c 2	Heap : 38 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.19/2.32	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.19/2.34	c 2	21 (10%) CSP integer variables are encoded (504 clauses, 5400 bytes)
2.19/2.35	c 2	41 (20%) CSP integer variables are encoded (984 clauses, 10729 bytes)
2.19/2.35	c 2	62 (30%) CSP integer variables are encoded (1488 clauses, 17281 bytes)
2.19/2.35	c 2	82 (40%) CSP integer variables are encoded (1968 clauses, 23521 bytes)
2.19/2.35	c 2	102 (50%) CSP integer variables are encoded (2448 clauses, 29761 bytes)
2.19/2.35	c 2	123 (60%) CSP integer variables are encoded (2952 clauses, 36313 bytes)
2.19/2.35	c 2	143 (70%) CSP integer variables are encoded (3432 clauses, 42553 bytes)
2.19/2.36	c 2	164 (80%) CSP integer variables are encoded (3696 clauses, 45985 bytes)
2.19/2.36	c 2	184 (90%) CSP integer variables are encoded (3726 clauses, 46375 bytes)
2.19/2.36	c 2	204 (100%) CSP integer variables are encoded (3868 clauses, 48221 bytes)
74.32/74.71	c 74	8 (10%) CSP clauses are encoded (383780 clauses, 30375485 bytes)
126.98/127.48	c 127	15 (20%) CSP clauses are encoded (682779 clauses, 54653270 bytes)
135.57/136.04	c 136	23 (30%) CSP clauses are encoded (795299 clauses, 65354267 bytes)
137.67/138.11	c 138	30 (40%) CSP clauses are encoded (823449 clauses, 68144699 bytes)
137.67/138.11	c 138	37 (50%) CSP clauses are encoded (823511 clauses, 68145690 bytes)
137.67/138.11	c 138	45 (60%) CSP clauses are encoded (823543 clauses, 68146172 bytes)
137.67/138.11	c 138	52 (70%) CSP clauses are encoded (823738 clauses, 68149380 bytes)
137.67/138.11	c 138	60 (80%) CSP clauses are encoded (824047 clauses, 68154558 bytes)
137.67/138.12	c 138	67 (90%) CSP clauses are encoded (824169 clauses, 68156530 bytes)
137.67/138.12	c 138	74 (100%) CSP clauses are encoded (824542 clauses, 68162936 bytes)
137.67/138.12	c 138	74 CSP clauses encoded
137.67/138.12	c 138	Writing map file : HOME/temp.map
137.67/138.12	c 138	Heap : 53 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
137.67/138.12	c 138	SAT : 4072 SAT variables, 824542 SAT clauses, 68162936 bytes
137.67/138.12	c 138	Heap : 53 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
137.67/138.15	c 138	OBJECTIVE minimize _COST
137.67/138.15	c 138	SOLVING HOME/temp.cnf
137.67/138.15	c 138	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
137.67/138.15	c 138	This is MiniSat 2.0 beta incremental
137.67/138.15	c 138	WARNING: for repeatability, setting FPU to use double precision
137.67/138.15	c 138	============================[ Problem Statistics ]=============================
137.67/138.15	c 138	|                                                                             |
137.67/138.15	c 138	|  Number of variables:  4072                                                 |
137.67/138.15	c 138	|  Number of clauses:    824542                                               |
139.04/139.57	c 139	|  Parsing time:         1.27         s                                       |
139.14/139.65	c 139	OK
139.14/139.65	c 139	OBJECTIVE BOUND: 0 <= _COST <= 
139.14/139.65	c 139	SEARCHING: _COST <= 13
139.14/139.65	c 139	============================[ Search Statistics ]==============================
139.14/139.65	c 139	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
139.14/139.65	c 139	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
139.14/139.65	c 139	===============================================================================
139.14/139.65	c 139	|         0 |    4072   824542 12847278 |   274847        0    nan |  0.000 % |
139.14/139.67	c 139	|       101 |    4072   824542 12847278 |   302332      101      5 |  0.000 % |
139.24/139.75	c 140	|       251 |    4072   824542 12847278 |   332565      251      6 |  0.000 % |
139.33/139.87	c 140	|       476 |    4072   824542 12847278 |   365821      476      6 |  0.000 % |
139.44/139.93	c 140	|       813 |    4072   824542 12847278 |   402403      813      7 |  0.000 % |
139.44/139.98	c 140	|      1319 |    4072   824542 12847278 |   442644     1319      7 |  0.000 % |
139.74/140.22	c 140	|      2078 |    4072   824542 12847278 |   486908     2078      9 |  0.000 % |
139.83/140.34	c 140	|      3217 |    4072   824542 12847278 |   535599     3217      9 |  0.000 % |
140.22/140.79	c 141	|      4927 |    4072   824542 12847278 |   589159     4927      9 |  0.000 % |
140.81/141.39	c 141	|      7490 |    4072   824542 12847278 |   648075     7490      9 |  0.000 % |
141.70/142.25	c 142	|     11334 |    4072   824542 12847278 |   712883    11334     10 |  0.000 % |
142.51/143.03	c 143	|     17100 |    4072   824542 12847278 |   784171    17100     10 |  0.000 % |
144.58/145.16	c 145	|     25749 |    4072   824542 12847278 |   862588    25749     11 |  0.000 % |
147.15/147.76	c 148	|     38723 |    4072   824542 12847278 |   948847    38723     11 |  0.000 % |
154.38/155.07	c 155	|     58184 |    4072   824542 12847278 |  1043732    58184     12 |  0.000 % |
163.69/164.42	c 164	|     87376 |    4072   824542 12847278 |  1148105    87376     12 |  0.000 % |
179.89/180.79	c 181	|    131165 |    4072   824542 12847278 |  1262916   131165     12 |  0.000 % |
210.39/211.21	c 211	|    196850 |    4072   824542 12847278 |  1389207   196850     13 |  0.000 % |
257.67/258.52	c 258	|    295377 |    4072   824542 12847278 |  1528128   295377     13 |  0.000 % |
433.89/434.86	c 435	|    443166 |    4072   824542 12847278 |  1680941   443166     15 |  0.000 % |
671.77/672.84	c 673	===============================================================================
671.77/672.84	c 673	restarts              : 20
671.77/672.84	c 673	conflicts             : 611953        (1147 /sec)
671.77/672.84	c 673	decisions             : 836578        (1.56 % random) (1567 /sec)
671.77/672.84	c 673	propagations          : 28573443       (53534 /sec)
671.77/672.84	c 673	conflict literals     : 9998708        (27.11 % deleted)
671.77/672.84	c 673	Memory used           : 154.20 MB
671.77/672.84	c 673	CPU time              : 533.74 s
671.77/672.84	c 673	
671.77/672.84	c 673	SATISFIABLE
671.77/672.85	c 673	OK
671.77/672.85	c 673	FOUND: _COST <= 13
671.77/672.85	s SATISFIABLE
671.77/672.85	c 673	DECODING HOME/temp.out WITH HOME/temp.map
671.77/672.85	c 673	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
671.82/672.94	c 673	Decoding HOME/temp.out
671.82/672.99	c 673	OBJECTIVE _COST 13
671.82/672.99	o 13
671.82/673.00	v 25 18 25 25 22 7 22 18 2 4 18 21 25 25 25 19 25 25 8 14 14 24 0 13 20 14 4 25 25 20 25 25 19 20 17 13 17 21 15 11 0 25 25 15 25 25 7 18 10 2 1 8 15 20 11 25 25 8 25 25 3 4 12 7 14 14 11 13 14 25 25 3 25 25 17 22 0 17 17 20 0 19 20 25 21 8 11 11 0 8 13 14 20 18 13 4 18 18 25 19 25 25 22 5 18 19 13 13 19 4 13 25 25 8 25 25 0 4 7 17 3 4 8 17 4 25 17 4 1 4 11 11 8 14 20 18 13 4 18 18 25 18 25 25 18 24 15 13 12 18 6 3 18 25
671.83/673.00	c 673	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
672.17/673.23	c 673	OK
672.17/673.23	c 673	OBJECTIVE BOUND: 0 <= _COST <= 13
672.17/673.23	c 673	SEARCHING: _COST <= 6
672.17/673.23	c 673	============================[ Search Statistics ]==============================
672.17/673.23	c 673	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
672.17/673.24	c 673	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
672.17/673.24	c 673	===============================================================================
672.17/673.24	c 673	|    611953 |    4012   824117 12846171 |   274705   611953     16 |  0.000 % |
675.56/676.67	c 676	|    612056 |    4012   824117 12846171 |   302176    32846     13 |  1.474 % |
675.66/676.80	c 677	|    612206 |    4012   824117 12846171 |   332393    32996     13 |  1.474 % |
675.76/676.88	c 677	|    612431 |    4012   824117 12846171 |   365633    33221     13 |  1.474 % |
676.06/677.11	c 677	|    612768 |    4012   824117 12846171 |   402196    33558     13 |  1.474 % |
676.06/677.18	c 677	|    613274 |    4012   824117 12846171 |   442416    34064     13 |  1.474 % |
676.26/677.33	c 677	|    614033 |    4012   824117 12846171 |   486657    34823     13 |  1.474 % |
676.76/677.81	c 678	|    615172 |    4012   824117 12846171 |   535323    35962     13 |  1.474 % |
677.16/678.22	c 678	|    616880 |    4012   824117 12846171 |   588855    37670     12 |  1.474 % |
677.56/678.67	c 678	|    619442 |    4012   824117 12846171 |   647741    40232     12 |  1.474 % |
678.86/679.95	c 680	|    623288 |    4012   824117 12846171 |   712515    44078     12 |  1.474 % |
680.76/681.84	c 682	|    629057 |    4012   824117 12846171 |   783767    49847     13 |  1.474 % |
693.35/694.49	c 694	|    637706 |    4012   824117 12846171 |   862144    58496     13 |  1.474 % |
704.25/705.38	c 705	|    650682 |    4012   824117 12846171 |   948358    71472     14 |  1.474 % |
731.93/733.07	c 733	|    670144 |    4012   824117 12846171 |  1043194    90934     14 |  1.474 % |
773.91/775.08	c 775	|    699336 |    4012   824117 12846171 |  1147513   120126     15 |  1.474 % |
812.81/815.21	c 815	|    743125 |    4012   824117 12846171 |  1262265   163915     16 |  1.474 % |
1027.81/1030.36	c 1030	|    808810 |    4012   824117 12846171 |  1388491   229600     18 |  1.474 % |
1286.61/1289.28	c 1289	|    907336 |    4012   824117 12846171 |  1527340   328126     19 |  1.474 % |
1675.84/1678.68	c 1678	|   1055125 |    4012   824117 12846171 |  1680074   475915     20 |  1.474 % |
2695.47/2698.73	c 2698	|   1276808 |    4012   824117 12846171 |  1848082   697598     22 |  1.474 % |
3600.07/3603.71	c ERROR INTERRUPTED
3600.07/3603.77	c 3603	CPU 3598.75 (0.07 0.01 3598.68 1.35)
3600.07/3603.77	c 3603	END Sat Jul 12 04:48:53 2008

Verifier Data (download as text)

OK	13	12
13 unsatisfied constraints, 12 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110523-1215827330/watcher-1110523-1215827330 -o /tmp/evaluation-result-1110523-1215827330/solver-1110523-1215827330 -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-1110523-1215827330.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 1.99 4/74 14212
/proc/meminfo: memFree=1699464/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=18572 CPUtime=0
/proc/14212/stat : 14212 (runsolver) R 14210 14212 13949 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 39435591 19017728 292 996147200 4194304 4296836 548682068192 18446744073709551615 212234464551 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14212/statm: 4643 292 257 25 0 2626 0

[startup+0.072681 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 14212
/proc/meminfo: memFree=1699464/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16344 CPUtime=0.06
/proc/14212/stat : 14212 (sugar++) R 14210 14212 13949 0 -1 4194304 1009 0 0 0 5 1 0 0 18 0 1 0 39435591 16736256 977 996147200 4194304 4206940 548682068528 18446744073709551615 212247938016 0 0 4224 0 0 0 0 17 1 0 0
/proc/14212/statm: 4086 977 380 3 0 665 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16344

[startup+0.101747 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 14212
/proc/meminfo: memFree=1699464/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=0.07
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1219 128 0 0 6 1 0 0 19 0 1 0 39435591 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14212/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.301718 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 14212
/proc/meminfo: memFree=1699464/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=0.07
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1219 128 0 0 6 1 0 0 19 0 1 0 39435591 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14212/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701787 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 14212
/proc/meminfo: memFree=1699464/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=0.49
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1296 4896 0 1 6 1 39 3 16 0 1 0 39435591 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14212/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 16740

[startup+1.50293 s]
/proc/loadavg: 1.92 1.98 1.99 3/85 14234
/proc/meminfo: memFree=1688240/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=0.49
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1296 4896 0 1 6 1 39 3 15 0 1 0 39435591 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14212/statm: 4185 1104 409 3 0 764 0
[pid=14225] ppid=14212 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (sh) S 14212 14212 13949 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39435648 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 233 193 169 0 50 0
[pid=14226] ppid=14225 vsize=864192 CPUtime=0.9
/proc/14226/stat : 14226 (java) S 14225 14212 13949 0 -1 0 9086 0 1 0 85 5 0 0 18 0 9 0 39435648 884932608 8283 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14226/statm: 216048 8283 2540 9 0 210623 0
[pid=14226/tid=14227] ppid=14225 vsize=864192 CPUtime=0.44
/proc/14226/task/14227/stat : 14227 (java) R 14225 14212 13949 0 -1 64 2783 0 1 0 43 1 0 0 19 0 9 0 39435649 884932608 8283 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14228] ppid=14225 vsize=864192 CPUtime=0.36
/proc/14226/task/14228/stat : 14228 (java) R 14225 14212 13949 0 -1 64 5279 0 0 0 34 2 0 0 17 0 9 0 39435650 884932608 8283 996147200 134512640 134550740 4294955920 18446744073709551615 102516868 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14229] ppid=14225 vsize=864192 CPUtime=0
/proc/14226/task/14229/stat : 14229 (java) S 14225 14212 13949 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39435650 884932608 8283 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14230] ppid=14225 vsize=864192 CPUtime=0
/proc/14226/task/14230/stat : 14230 (java) S 14225 14212 13949 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39435650 884932608 8283 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14231] ppid=14225 vsize=864192 CPUtime=0
/proc/14226/task/14231/stat : 14231 (java) S 14225 14212 13949 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39435652 884932608 8283 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14232] ppid=14225 vsize=864192 CPUtime=0.07
/proc/14226/task/14232/stat : 14232 (java) S 14225 14212 13949 0 -1 64 331 0 0 0 7 0 0 0 16 0 9 0 39435652 884932608 8283 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14233] ppid=14225 vsize=864192 CPUtime=0
/proc/14226/task/14233/stat : 14233 (java) S 14225 14212 13949 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39435653 884932608 8283 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14234] ppid=14225 vsize=864192 CPUtime=0
/proc/14226/task/14234/stat : 14234 (java) S 14225 14212 13949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39435653 884932608 8283 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 886288

[startup+3.1022 s]
/proc/loadavg: 1.92 1.98 1.99 3/85 14234
/proc/meminfo: memFree=1651120/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=0.49
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1297 4896 0 1 6 1 39 3 15 0 1 0 39435591 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14212/statm: 4185 1104 409 3 0 764 0
[pid=14225] ppid=14212 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (sh) S 14212 14212 13949 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39435648 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 233 193 169 0 50 0
[pid=14226] ppid=14225 vsize=864304 CPUtime=2.49
/proc/14226/stat : 14226 (java) S 14225 14212 13949 0 -1 0 15631 0 1 0 239 10 0 0 18 0 9 0 39435648 885047296 14732 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14226/statm: 216076 14732 2565 9 0 210623 0
[pid=14226/tid=14227] ppid=14225 vsize=864304 CPUtime=1.36
/proc/14226/task/14227/stat : 14227 (java) R 14225 14212 13949 0 -1 64 3281 0 1 0 134 2 0 0 24 0 9 0 39435649 885047296 14732 996147200 134512640 134550740 4294955920 18446744073709551615 4126625928 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14228] ppid=14225 vsize=864304 CPUtime=0.98
/proc/14226/task/14228/stat : 14228 (java) S 14225 14212 13949 0 -1 64 11301 0 0 0 92 6 0 0 16 0 9 0 39435650 885047296 14732 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14229] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14229/stat : 14229 (java) S 14225 14212 13949 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39435650 885047296 14732 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14230] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14230/stat : 14230 (java) S 14225 14212 13949 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39435650 885047296 14732 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14231] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14231/stat : 14231 (java) S 14225 14212 13949 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39435652 885047296 14732 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14232] ppid=14225 vsize=864304 CPUtime=0.12
/proc/14226/task/14232/stat : 14232 (java) S 14225 14212 13949 0 -1 64 356 0 0 0 12 0 0 0 16 0 9 0 39435652 885047296 14732 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14233] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14233/stat : 14233 (java) S 14225 14212 13949 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39435653 885047296 14732 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14234] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14234/stat : 14234 (java) S 14225 14212 13949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39435653 885047296 14732 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 886400

[startup+6.30275 s]
/proc/loadavg: 1.93 1.98 1.99 3/85 14234
/proc/meminfo: memFree=1645552/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=0.49
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1297 4896 0 1 6 1 39 3 15 0 1 0 39435591 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14212/statm: 4185 1104 409 3 0 764 0
[pid=14225] ppid=14212 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (sh) S 14212 14212 13949 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39435648 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 233 193 169 0 50 0
[pid=14226] ppid=14225 vsize=864304 CPUtime=5.66
/proc/14226/stat : 14226 (java) S 14225 14212 13949 0 -1 0 15914 0 1 0 556 10 0 0 18 0 9 0 39435648 885047296 15007 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14226/statm: 216076 15007 2565 9 0 210623 0
[pid=14226/tid=14227] ppid=14225 vsize=864304 CPUtime=4.51
/proc/14226/task/14227/stat : 14227 (java) R 14225 14212 13949 0 -1 64 3289 0 1 0 449 2 0 0 25 0 9 0 39435649 885047296 15007 996147200 134512640 134550740 4294955920 18446744073709551615 4126625984 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14228] ppid=14225 vsize=864304 CPUtime=1
/proc/14226/task/14228/stat : 14228 (java) S 14225 14212 13949 0 -1 64 11576 0 0 0 94 6 0 0 16 0 9 0 39435650 885047296 15007 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14226/tid=14229] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14229/stat : 14229 (java) S 14225 14212 13949 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39435650 885047296 15007 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14230] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14230/stat : 14230 (java) S 14225 14212 13949 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39435650 885047296 15007 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14231] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14231/stat : 14231 (java) S 14225 14212 13949 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39435652 885047296 15007 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14232] ppid=14225 vsize=864304 CPUtime=0.12
/proc/14226/task/14232/stat : 14232 (java) S 14225 14212 13949 0 -1 64 356 0 0 0 12 0 0 0 16 0 9 0 39435652 885047296 15007 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14233] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14233/stat : 14233 (java) S 14225 14212 13949 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39435653 885047296 15007 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14234] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14234/stat : 14234 (java) S 14225 14212 13949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39435653 885047296 15007 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 886400

[startup+12.7029 s]
/proc/loadavg: 1.93 1.98 1.99 3/85 14234
/proc/meminfo: memFree=1636720/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=0.49
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1297 4896 0 1 6 1 39 3 15 0 1 0 39435591 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14212/statm: 4185 1104 409 3 0 764 0
[pid=14225] ppid=14212 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (sh) S 14212 14212 13949 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39435648 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 233 193 169 0 50 0
[pid=14226] ppid=14225 vsize=864304 CPUtime=11.99
/proc/14226/stat : 14226 (java) S 14225 14212 13949 0 -1 0 17541 0 1 0 1187 12 0 0 18 0 9 0 39435648 885047296 16565 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14226/statm: 216076 16565 2565 9 0 210623 0
[pid=14226/tid=14227] ppid=14225 vsize=864304 CPUtime=10.72
/proc/14226/task/14227/stat : 14227 (java) R 14225 14212 13949 0 -1 64 3359 0 1 0 1068 4 0 0 25 0 9 0 39435649 885047296 16565 996147200 134512640 134550740 4294955920 18446744073709551615 4126625997 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14228] ppid=14225 vsize=864304 CPUtime=1.13
/proc/14226/task/14228/stat : 14228 (java) S 14225 14212 13949 0 -1 64 13130 0 0 0 106 7 0 0 16 0 9 0 39435650 885047296 16565 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14229] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14229/stat : 14229 (java) S 14225 14212 13949 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39435650 885047296 16565 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14230] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14230/stat : 14230 (java) S 14225 14212 13949 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39435650 885047296 16565 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14231] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14231/stat : 14231 (java) S 14225 14212 13949 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39435652 885047296 16565 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14232] ppid=14225 vsize=864304 CPUtime=0.12
/proc/14226/task/14232/stat : 14232 (java) S 14225 14212 13949 0 -1 64 359 0 0 0 12 0 0 0 16 0 9 0 39435652 885047296 16565 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14233] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14233/stat : 14233 (java) S 14225 14212 13949 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39435653 885047296 16565 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14234] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14234/stat : 14234 (java) S 14225 14212 13949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39435653 885047296 16565 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 886400

[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.99 3/85 14234
/proc/meminfo: memFree=1623088/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=0.49
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1297 4896 0 1 6 1 39 3 15 0 1 0 39435591 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14212/statm: 4185 1104 409 3 0 764 0
[pid=14225] ppid=14212 vsize=5356 CPUtime=0
/proc/14225/stat : 14225 (sh) S 14212 14212 13949 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39435648 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 1339 233 193 169 0 50 0
[pid=14226] ppid=14225 vsize=864304 CPUtime=24.67
/proc/14226/stat : 14226 (java) S 14225 14212 13949 0 -1 0 19720 0 1 0 2451 16 0 0 18 0 9 0 39435648 885047296 18660 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14226/statm: 216076 18660 2565 9 0 210623 0
[pid=14226/tid=14227] ppid=14225 vsize=864304 CPUtime=23.22
/proc/14226/task/14227/stat : 14227 (java) R 14225 14212 13949 0 -1 64 3444 0 1 0 2316 6 0 0 25 0 9 0 39435649 885047296 18660 996147200 134512640 134550740 4294955920 18446744073709551615 4126625962 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14228] ppid=14225 vsize=864304 CPUtime=1.27
/proc/14226/task/14228/stat : 14228 (java) S 14225 14212 13949 0 -1 64 15218 0 0 0 119 8 0 0 16 0 9 0 39435650 885047296 18660 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14229] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14229/stat : 14229 (java) S 14225 14212 13949 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39435650 885047296 18660 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14226/tid=14230] ppid=14225 vsize=864304 CPUtime=0
/proc/14226/task/14230/stat : 14230 (java) S 14225 14212 13949 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39435650 885047296 18660 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=14284] ppid=14212 vsize=193440 CPUtime=2781.09
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 47314 0 0 0 278056 53 0 0 25 0 1 0 39449407 198082560 47259 996147200 134512640 135134323 4294956192 18446744073709551615 134531955 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 48360 47259 80 151 0 48206 0
Current children cumulated CPU time (s) 2918.97
Current children cumulated vsize (KiB) 210180

[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1329784/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=194632 CPUtime=2841.07
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 47608 0 0 0 284054 53 0 0 25 0 1 0 39449407 199303168 47553 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 48658 47553 80 151 0 48504 0
Current children cumulated CPU time (s) 2978.95
Current children cumulated vsize (KiB) 211372

[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1326520/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=195936 CPUtime=2901.04
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 47937 0 0 0 290051 53 0 0 25 0 1 0 39449407 200638464 47882 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 48984 47882 80 151 0 48830 0
Current children cumulated CPU time (s) 3038.92
Current children cumulated vsize (KiB) 212676

[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1323768/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=197292 CPUtime=2961.01
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 48283 0 0 0 296047 54 0 0 25 0 1 0 39449407 202027008 48228 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 49323 48228 80 151 0 49169 0
Current children cumulated CPU time (s) 3098.89
Current children cumulated vsize (KiB) 214032

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1320632/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=198664 CPUtime=3020.98
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 48626 0 0 0 302044 54 0 0 25 0 1 0 39449407 203431936 48571 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 49666 48571 80 151 0 49512 0
Current children cumulated CPU time (s) 3158.86
Current children cumulated vsize (KiB) 215404

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1317816/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=199864 CPUtime=3080.96
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 48964 0 0 0 308041 55 0 0 25 0 1 0 39449407 204660736 48909 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 49966 48909 80 151 0 49812 0
Current children cumulated CPU time (s) 3218.84
Current children cumulated vsize (KiB) 216604

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1315064/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=201100 CPUtime=3140.94
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 49266 0 0 0 314039 55 0 0 25 0 1 0 39449407 205926400 49211 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 50275 49211 80 151 0 50121 0
Current children cumulated CPU time (s) 3278.82
Current children cumulated vsize (KiB) 217840

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1312248/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=202320 CPUtime=3200.9
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 49565 0 0 0 320035 55 0 0 25 0 1 0 39449407 207175680 49510 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 50580 49510 80 151 0 50426 0
Current children cumulated CPU time (s) 3338.78
Current children cumulated vsize (KiB) 219060

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1309048/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=203836 CPUtime=3260.88
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 49969 0 0 0 326033 55 0 0 25 0 1 0 39449407 208728064 49914 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 50959 49914 80 151 0 50805 0
Current children cumulated CPU time (s) 3398.76
Current children cumulated vsize (KiB) 220576

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1305976/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=205552 CPUtime=3320.85
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 50413 0 0 0 332029 56 0 0 25 0 1 0 39449407 210485248 50358 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 51388 50358 80 151 0 51234 0
Current children cumulated CPU time (s) 3458.73
Current children cumulated vsize (KiB) 222292

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1303032/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=207140 CPUtime=3380.83
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 50788 0 0 0 338026 57 0 0 25 0 1 0 39449407 212111360 50733 996147200 134512640 135134323 4294956192 18446744073709551615 134522949 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 51785 50733 80 151 0 51631 0
Current children cumulated CPU time (s) 3518.71
Current children cumulated vsize (KiB) 223880

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1299512/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=208496 CPUtime=3440.81
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 51158 0 0 0 344023 58 0 0 25 0 1 0 39449407 213499904 51103 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 52124 51103 80 151 0 51970 0
Current children cumulated CPU time (s) 3578.69
Current children cumulated vsize (KiB) 225236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1297912/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=209036 CPUtime=3462.19
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 51307 0 0 0 346161 58 0 0 25 0 1 0 39449407 214052864 51252 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 52259 51252 80 151 0 52105 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 225776

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

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

[startup+3603.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14792
/proc/meminfo: memFree=1297912/2055920 swapFree=4192812/4192956
[pid=14212] ppid=14210 vsize=16740 CPUtime=137.88
/proc/14212/stat : 14212 (sugar++) S 14210 14212 13949 0 -1 4194304 1546 43416 0 3 7 1 13706 74 16 0 1 0 39435591 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14212/statm: 4185 1114 414 3 0 764 0
[pid=14284] ppid=14212 vsize=209036 CPUtime=3462.19
/proc/14284/stat : 14284 (minisat-inc) R 14212 14212 13949 0 -1 4194304 51307 0 0 0 346161 58 0 0 25 0 1 0 39449407 214052864 51252 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14284/statm: 52259 51252 80 151 0 52105 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 225776

Child status: 0
Real time (s): 3603.77
CPU time (s): 3600.17
CPU user time (s): 3598.76
CPU system time (s): 1.40779
CPU usage (%): 99.9
Max. virtual memory (cumulated for all children) (KiB): 892884

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

runsolver used 4.36534 second user time and 12.0602 second system time

The end

Launcher Data (download as text)

Begin job on node14 at 2008-07-12 03:48:50
IDJOB=1110523
IDBENCH=61116
IDSOLVER=367
FILE ID=node14/1110523-1215827330
PBS_JOBID= 7903332
Free space on /tmp= 66424 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e65d9d7374d09e1bce67fdbc6a1537f0
RANDOM SEED=1069069700

node14.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.270
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.270
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:       1699944 kB
Buffers:         29152 kB
Cached:          95832 kB
SwapCached:          0 kB
Active:         267536 kB
Inactive:        37328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1699944 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             936 kB
Writeback:           0 kB
Mapped:         191024 kB
Slab:            35932 kB
Committed_AS:   290012 kB
PageTables:       2200 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= 66396 MiB
End job on node14 at 2008-07-12 04:48:55