Trace number 1111788

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+minisatMSAT (TO)9 3600.01 3640.76

General information on the benchmark

Namecsp/lexVg/
normalized-crossword-m1c-lex-vg9-9_ext.xml
MD5SUM12c563a014452c8c9bf97415b366b304
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints9
Best CPU time to get the best result obtained on this benchmark3600.01
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints18
Maximum constraint arity9
Maximum domain size26
Number of constraints which are defined in extension18
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.04	c 0	Sugar v1-13 + HOME/minisat
0.00/0.04	c 0	BEGIN Sat Jul 12 11:12:32 2008
0.00/0.04	c 0	PID 12805
0.00/0.04	c 0	HOST node84.alineos.net
0.00/0.04	c 0	CONVERTING HOME/instance-1111788-1215853951.xml TO HOME/temp.csp
0.00/0.04	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1111788-1215853951.xml' 'HOME/temp.csp'
0.03/0.25	c 0	1 domains, 81 variables, 0 predicates, 1 relations, 18 constraints
0.03/0.30	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.30	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.03/0.37	c 0	Parsing HOME/temp.csp
0.23/0.60	c 0	parsed 101 expressions
0.23/0.61	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.23/0.61	c 0	MAX CSP: 18 constraints
0.23/0.61	c 0	Converting to clausal form CSP
0.23/0.63	c 0	converted 13 (10%) expressions
0.23/0.63	c 0	converted 25 (20%) expressions
0.23/0.63	c 0	converted 37 (30%) expressions
0.23/0.63	c 0	converted 49 (40%) expressions
0.23/0.63	c 0	converted 61 (50%) expressions
0.23/0.63	c 0	converted 74 (60%) expressions
0.23/0.79	c 0	converted 86 (70%) expressions
1.01/1.16	c 1	converted 98 (80%) expressions
1.31/1.48	c 1	converted 110 (90%) expressions
1.51/1.67	c 1	converted 122 (100%) expressions
1.51/1.67	c 1	CSP : 117 integers, 0 booleans, 53 clauses, largest domain size 28
1.51/1.67	c 1	Heap : 31 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.51/1.67	c 1	Propagation in CSP
1.51/1.68	c 1	16 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.51/1.68	c 1	CSP : 117 integers, 0 booleans, 53 clauses, largest domain size 26
1.51/1.68	c 1	Heap : 31 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.51/1.68	c 1	Simplifing CSP by introducing new Boolean variables
1.51/1.68	c 1	CSP : 117 integers, 0 booleans, 53 clauses, largest domain size 26
1.51/1.68	c 1	Heap : 31 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.71/1.82	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.71/1.83	c 1	12 (10%) CSP integer variables are encoded (288 clauses, 3024 bytes)
1.71/1.84	c 1	24 (20%) CSP integer variables are encoded (576 clauses, 6192 bytes)
1.71/1.84	c 1	36 (30%) CSP integer variables are encoded (864 clauses, 9360 bytes)
1.71/1.84	c 1	47 (40%) CSP integer variables are encoded (1128 clauses, 12601 bytes)
1.71/1.84	c 1	59 (50%) CSP integer variables are encoded (1416 clauses, 16345 bytes)
1.71/1.84	c 1	71 (60%) CSP integer variables are encoded (1704 clauses, 20089 bytes)
1.71/1.84	c 1	82 (70%) CSP integer variables are encoded (1944 clauses, 23209 bytes)
1.71/1.84	c 1	94 (80%) CSP integer variables are encoded (1944 clauses, 23209 bytes)
1.71/1.84	c 1	106 (90%) CSP integer variables are encoded (2003 clauses, 23976 bytes)
1.71/1.84	c 1	117 (100%) CSP integer variables are encoded (2059 clauses, 24704 bytes)
34.40/34.59	c 34	6 (10%) CSP clauses are encoded (236947 clauses, 14392774 bytes)
61.68/61.88	c 61	11 (20%) CSP clauses are encoded (432687 clauses, 27100144 bytes)
89.06/89.21	c 89	16 (30%) CSP clauses are encoded (628427 clauses, 40225334 bytes)
99.86/100.03	c 100	22 (40%) CSP clauses are encoded (706739 clauses, 45962833 bytes)
99.86/100.03	c 100	27 (50%) CSP clauses are encoded (706802 clauses, 45963802 bytes)
99.86/100.04	c 100	32 (60%) CSP clauses are encoded (706917 clauses, 45965620 bytes)
99.86/100.04	c 100	38 (70%) CSP clauses are encoded (707225 clauses, 45970858 bytes)
99.86/100.04	c 100	43 (80%) CSP clauses are encoded (707252 clauses, 45971278 bytes)
99.86/100.04	c 100	48 (90%) CSP clauses are encoded (707275 clauses, 45971629 bytes)
99.86/100.04	c 100	53 (100%) CSP clauses are encoded (707358 clauses, 45972963 bytes)
99.86/100.04	c 100	53 CSP clauses encoded
99.86/100.04	c 100	Writing map file : HOME/temp.map
99.86/100.04	c 100	Heap : 60 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
99.86/100.04	c 100	SAT : 2176 SAT variables, 707358 SAT clauses, 45972963 bytes
99.86/100.04	c 100	Heap : 60 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
99.92/100.11	c 100	OBJECTIVE minimize _COST
99.92/100.11	c 100	OBJECTIVE BOUND: 0 <= _COST <= 
99.92/100.11	c 100	SEARCHING: _COST <= 9
99.92/100.11	c 100	SOLVING HOME/temp.cnf
99.92/100.11	c 100	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
99.92/100.11	c 100	This is MiniSat 2.0 beta
99.92/100.11	c 100	WARNING: for repeatability, setting FPU to use double precision
99.92/100.11	c 100	============================[ Problem Statistics ]=============================
99.92/100.11	c 100	|                                                                             |
99.92/100.11	c 100	|  Number of variables:  2176                                                 |
99.92/100.11	c 100	|  Number of clauses:    707359                                               |
99.94/101.05	c 101	|  Parsing time:         0.84         s                                       |
100.92/101.11	c 101	============================[ Search Statistics ]==============================
100.92/101.11	c 101	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
100.92/101.11	c 101	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
100.92/101.11	c 101	===============================================================================
100.92/101.11	c 101	|         0 |    2131   707090  9035319 |   235696        0    nan |  0.000 % |
100.92/101.14	c 101	|       101 |    2131   707090  9035319 |   259266      101      7 |  2.068 % |
100.92/101.16	c 101	|       251 |    2131   707090  9035319 |   285192      251      7 |  2.068 % |
101.02/101.22	c 101	|       478 |    2131   707090  9035319 |   313712      478      7 |  2.068 % |
101.02/101.27	c 101	|       815 |    2131   707090  9035319 |   345083      815      8 |  2.068 % |
101.11/101.36	c 101	|      1322 |    2131   707090  9035319 |   379591     1322      9 |  2.068 % |
101.21/101.49	c 101	|      2081 |    2131   707090  9035319 |   417551     2081      9 |  2.068 % |
101.61/101.89	c 101	|      3221 |    2131   707090  9035319 |   459306     3221      9 |  2.068 % |
101.91/102.17	c 102	|      4931 |    2131   707090  9035319 |   505236     4931      9 |  2.068 % |
102.21/102.45	c 102	|      7493 |    2131   707090  9035319 |   555760     7493     10 |  2.068 % |
102.61/102.80	c 102	|     11337 |    2131   707090  9035319 |   611336    11337     10 |  2.068 % |
103.22/103.49	c 103	|     17103 |    2131   707090  9035319 |   672470    17103     11 |  2.068 % |
105.42/105.68	c 105	|     25752 |    2131   707090  9035319 |   739717    25752     11 |  2.068 % |
107.91/108.20	c 108	|     38727 |    2131   707090  9035319 |   813688    38727     11 |  2.068 % |
112.91/113.13	c 113	|     58188 |    2131   707090  9035319 |   895057    58188     12 |  2.068 % |
119.21/119.44	c 119	|     87380 |    2131   707090  9035319 |   984563    87380     12 |  2.068 % |
142.50/142.77	c 142	|    131169 |    2131   707090  9035319 |  1083019   131169     13 |  2.068 % |
176.38/176.65	c 176	|    196854 |    2131   707090  9035319 |  1191321   196854     14 |  2.068 % |
225.76/226.03	c 226	|    295380 |    2131   707090  9035319 |  1310453   295380     14 |  2.068 % |
255.54/255.86	c 255	===============================================================================
255.54/255.86	c 255	restarts              : 19
255.54/255.86	c 255	conflicts             : 326295         (2099 /sec)
255.54/255.86	c 255	decisions             : 431042         (1.45 % random) (2772 /sec)
255.54/255.86	c 255	propagations          : 7973971        (51284 /sec)
255.54/255.86	c 255	conflict literals     : 4772609        (24.25 % deleted)
255.54/255.86	c 255	Memory used           : 99.02 MB
255.54/255.86	c 255	CPU time              : 155.485 s
255.54/255.86	c 255	
255.54/255.86	c 255	SATISFIABLE
255.54/255.88	c 255	FOUND: _COST <= 9
255.54/255.88	s SATISFIABLE
255.54/255.88	c 255	DECODING HOME/temp.out WITH HOME/temp.map
255.54/255.88	c 255	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
255.63/255.96	c 256	Decoding HOME/temp.out
255.63/256.00	c 256	OBJECTIVE _COST 9
255.63/256.00	o 9
255.63/256.01	v 25 12 25 25 18 25 12 25 3 12 4 25 25 0 13 8 13 4 25 25 25 25 11 25 3 25 11 25 25 25 25 21 25 22 25 8 18 0 11 21 0 19 8 14 13 8 13 4 17 19 0 13 2 4 25 8 25 25 14 25 19 25 0 8 13 18 20 17 17 4 2 19 21 4 17 19 4 1 17 0 4
255.63/256.01	c 256	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
255.63/256.04	c 256	OBJECTIVE BOUND: 0 <= _COST <= 9
255.63/256.04	c 256	SEARCHING: _COST <= 4
255.63/256.04	c 256	SOLVING HOME/temp.cnf
255.63/256.04	c 256	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
255.63/256.04	c 256	This is MiniSat 2.0 beta
255.63/256.04	c 256	WARNING: for repeatability, setting FPU to use double precision
255.63/256.04	c 256	============================[ Problem Statistics ]=============================
255.63/256.04	c 256	|                                                                             |
255.63/256.04	c 256	|  Number of variables:  2176                                                 |
255.63/256.04	c 256	|  Number of clauses:    707359                                               |
256.59/257.00	c 257	|  Parsing time:         0.86         s                                       |
256.69/257.05	c 257	============================[ Search Statistics ]==============================
256.69/257.05	c 257	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
256.69/257.05	c 257	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
256.69/257.05	c 257	===============================================================================
256.69/257.05	c 257	|         0 |    2099   706891  9034813 |   235630        0    nan |  0.000 % |
256.69/257.07	c 257	|       100 |    2099   706891  9034813 |   259193      100      7 |  3.539 % |
256.79/257.11	c 257	|       250 |    2099   706891  9034813 |   285112      250      7 |  3.539 % |
256.79/257.17	c 257	|       475 |    2099   706891  9034813 |   313623      475      8 |  3.539 % |
256.79/257.19	c 257	|       812 |    2099   706891  9034813 |   344986      812      9 |  3.539 % |
256.99/257.31	c 257	|      1318 |    2099   706891  9034813 |   379485     1318      9 |  3.539 % |
256.99/257.40	c 257	|      2077 |    2099   706891  9034813 |   417433     2077      9 |  3.539 % |
257.19/257.58	c 257	|      3217 |    2099   706891  9034813 |   459176     3217      9 |  3.539 % |
257.39/257.78	c 257	|      4927 |    2099   706891  9034813 |   505094     4927      9 |  3.539 % |
257.78/258.13	c 258	|      7489 |    2099   706891  9034813 |   555604     7489     10 |  3.539 % |
258.27/258.61	c 258	|     11335 |    2099   706891  9034813 |   611164    11335     10 |  3.539 % |
258.96/259.38	c 259	|     17102 |    2099   706891  9034813 |   672280    17102     11 |  3.539 % |
260.54/260.93	c 260	|     25753 |    2099   706891  9034813 |   739508    25753     11 |  3.539 % |
274.17/274.77	c 274	|     38727 |    2099   706891  9034813 |   813459    38727     14 |  3.539 % |
292.75/293.51	c 293	|     58188 |    2099   706891  9034813 |   894805    58188     14 |  3.539 % |
339.45/340.81	c 340	|     87380 |    2099   706891  9034813 |   984286    87380     17 |  3.539 % |
380.14/382.01	c 382	|    131170 |    2099   706891  9034813 |  1082715   131170     17 |  3.539 % |
494.21/497.58	c 497	|    196854 |    2099   706891  9034813 |  1190986   196854     19 |  3.539 % |
630.50/635.53	c 635	|    295381 |    2099   706891  9034813 |  1310085   295381     19 |  3.539 % |
1107.59/1118.70	c 1118	|    443170 |    2099   706891  9034813 |  1441093   443170     22 |  3.539 % |
1750.92/1770.01	c 1770	|    664853 |    2099   706891  9034813 |  1585203   664853     23 |  3.539 % |
3600.01/3640.72	c ERROR INTERRUPTED
3600.01/3640.74	c 3640	CPU 255 (0.03 0.01 254.97 0.75)
3600.01/3640.74	c 3640	END Sat Jul 12 12:13:12 2008

Verifier Data (download as text)

OK	9	9
9 unsatisfied constraints, 9 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-1111788-1215853951/watcher-1111788-1215853951 -o /tmp/evaluation-result-1111788-1215853951/solver-1111788-1215853951 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1111788-1215853951.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/111 12805
/proc/meminfo: memFree=1801616/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=12272 CPUtime=0
/proc/12805/stat : 12805 (sugar) R 12803 12805 12482 0 -1 4194304 401 0 0 0 0 0 0 0 18 0 1 0 42092503 12566528 369 996147200 4194304 4206940 548682068592 18446744073709551615 243665375969 0 0 4224 0 0 0 0 17 1 0 0
/proc/12805/statm: 3068 370 274 3 0 168 0

[startup+0.071283 s]
/proc/loadavg: 1.92 1.98 1.99 4/111 12805
/proc/meminfo: memFree=1801616/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.03
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 898 127 0 0 3 0 0 0 16 0 1 0 42092503 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.101304 s]
/proc/loadavg: 1.92 1.98 1.99 4/111 12805
/proc/meminfo: memFree=1801616/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.03
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 898 127 0 0 3 0 0 0 16 0 1 0 42092503 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301319 s]
/proc/loadavg: 1.92 1.98 1.99 4/111 12805
/proc/meminfo: memFree=1801616/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.03
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 916 127 0 0 3 0 0 0 15 0 1 0 42092503 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701389 s]
/proc/loadavg: 1.92 1.98 1.99 4/111 12805
/proc/meminfo: memFree=1801616/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13600

[startup+1.50154 s]
/proc/loadavg: 1.92 1.98 1.99 3/122 12827
/proc/meminfo: memFree=1785400/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
[pid=12818] ppid=12805 vsize=5356 CPUtime=0
/proc/12818/stat : 12818 (sh) S 12805 12805 12482 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42092533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12818/statm: 1339 233 193 169 0 50 0
[pid=12819] ppid=12818 vsize=864132 CPUtime=1.18
/proc/12819/stat : 12819 (java) S 12818 12805 12482 0 -1 0 10944 0 1 0 113 5 0 0 18 0 9 0 42092533 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12819/statm: 216033 10093 2540 9 0 210608 0
[pid=12819/tid=12820] ppid=12818 vsize=864132 CPUtime=0.63
/proc/12819/task/12820/stat : 12820 (java) R 12818 12805 12482 0 -1 64 2947 0 1 0 62 1 0 0 20 0 9 0 42092534 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 103568448 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12821] ppid=12818 vsize=864132 CPUtime=0.49
/proc/12819/task/12821/stat : 12821 (java) S 12818 12805 12482 0 -1 64 6996 0 0 0 46 3 0 0 17 0 9 0 42092535 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12822] ppid=12818 vsize=864132 CPUtime=0
/proc/12819/task/12822/stat : 12822 (java) S 12818 12805 12482 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42092535 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12823] ppid=12818 vsize=864132 CPUtime=0
/proc/12819/task/12823/stat : 12823 (java) S 12818 12805 12482 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42092535 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12824] ppid=12818 vsize=864132 CPUtime=0
/proc/12819/task/12824/stat : 12824 (java) S 12818 12805 12482 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42092537 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12825] ppid=12818 vsize=864132 CPUtime=0.04
/proc/12819/task/12825/stat : 12825 (java) S 12818 12805 12482 0 -1 64 308 0 0 0 4 0 0 0 16 0 9 0 42092537 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12826] ppid=12818 vsize=864132 CPUtime=0
/proc/12819/task/12826/stat : 12826 (java) S 12818 12805 12482 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42092537 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12827] ppid=12818 vsize=864132 CPUtime=0
/proc/12819/task/12827/stat : 12827 (java) S 12818 12805 12482 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42092537 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 883088

[startup+3.10283 s]
/proc/loadavg: 1.92 1.98 1.99 3/122 12827
/proc/meminfo: memFree=1758072/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
[pid=12818] ppid=12805 vsize=5356 CPUtime=0
/proc/12818/stat : 12818 (sh) S 12805 12805 12482 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42092533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12818/statm: 1339 233 193 169 0 50 0
[pid=12819] ppid=12818 vsize=864272 CPUtime=2.78
/proc/12819/stat : 12819 (java) S 12818 12805 12482 0 -1 0 13765 0 1 0 272 6 0 0 18 0 9 0 42092533 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12819/statm: 216068 12855 2564 9 0 210615 0
[pid=12819/tid=12820] ppid=12818 vsize=864272 CPUtime=1.95
/proc/12819/task/12820/stat : 12820 (java) R 12818 12805 12482 0 -1 64 3177 0 1 0 194 1 0 0 25 0 9 0 42092534 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4126602280 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12821] ppid=12818 vsize=864272 CPUtime=0.73
/proc/12819/task/12821/stat : 12821 (java) S 12818 12805 12482 0 -1 64 9564 0 0 0 69 4 0 0 16 0 9 0 42092535 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12822] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12822/stat : 12822 (java) S 12818 12805 12482 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42092535 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12823] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12823/stat : 12823 (java) S 12818 12805 12482 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42092535 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12824] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12824/stat : 12824 (java) S 12818 12805 12482 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42092537 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12825] ppid=12818 vsize=864272 CPUtime=0.08
/proc/12819/task/12825/stat : 12825 (java) S 12818 12805 12482 0 -1 64 331 0 0 0 8 0 0 0 16 0 9 0 42092537 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12826] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12826/stat : 12826 (java) S 12818 12805 12482 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42092537 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12827] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12827/stat : 12827 (java) S 12818 12805 12482 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42092537 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 883228

[startup+6.30141 s]
/proc/loadavg: 1.93 1.98 1.99 3/122 12827
/proc/meminfo: memFree=1754680/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
[pid=12818] ppid=12805 vsize=5356 CPUtime=0
/proc/12818/stat : 12818 (sh) S 12805 12805 12482 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42092533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12818/statm: 1339 233 193 169 0 50 0
[pid=12819] ppid=12818 vsize=864272 CPUtime=5.98
/proc/12819/stat : 12819 (java) S 12818 12805 12482 0 -1 0 14794 0 1 0 591 7 0 0 18 0 9 0 42092533 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12819/statm: 216068 13852 2564 9 0 210615 0
[pid=12819/tid=12820] ppid=12818 vsize=864272 CPUtime=5.09
/proc/12819/task/12820/stat : 12820 (java) R 12818 12805 12482 0 -1 64 3209 0 1 0 508 1 0 0 25 0 9 0 42092534 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4126602353 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12821] ppid=12818 vsize=864272 CPUtime=0.78
/proc/12819/task/12821/stat : 12821 (java) S 12818 12805 12482 0 -1 64 10561 0 0 0 74 4 0 0 16 0 9 0 42092535 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12822] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12822/stat : 12822 (java) S 12818 12805 12482 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42092535 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12823] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12823/stat : 12823 (java) S 12818 12805 12482 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42092535 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12824] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12824/stat : 12824 (java) S 12818 12805 12482 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42092537 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12825] ppid=12818 vsize=864272 CPUtime=0.08
/proc/12819/task/12825/stat : 12825 (java) S 12818 12805 12482 0 -1 64 331 0 0 0 8 0 0 0 16 0 9 0 42092537 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12826] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12826/stat : 12826 (java) S 12818 12805 12482 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42092537 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12827] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12827/stat : 12827 (java) S 12818 12805 12482 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42092537 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 883228

[startup+12.7026 s]
/proc/loadavg: 1.93 1.98 1.99 3/122 12827
/proc/meminfo: memFree=1745976/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
[pid=12818] ppid=12805 vsize=5356 CPUtime=0
/proc/12818/stat : 12818 (sh) S 12805 12805 12482 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42092533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12818/statm: 1339 233 193 169 0 50 0
[pid=12819] ppid=12818 vsize=864272 CPUtime=12.37
/proc/12819/stat : 12819 (java) S 12818 12805 12482 0 -1 0 16308 0 1 0 1227 10 0 0 18 0 9 0 42092533 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12819/statm: 216068 15281 2564 9 0 210615 0
[pid=12819/tid=12820] ppid=12818 vsize=864272 CPUtime=11.35
/proc/12819/task/12820/stat : 12820 (java) R 12818 12805 12482 0 -1 64 3295 0 1 0 1132 3 0 0 25 0 9 0 42092534 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4126557010 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12821] ppid=12818 vsize=864272 CPUtime=0.9
/proc/12819/task/12821/stat : 12821 (java) S 12818 12805 12482 0 -1 64 11986 0 0 0 85 5 0 0 16 0 9 0 42092535 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12822] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12822/stat : 12822 (java) S 12818 12805 12482 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42092535 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12823] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12823/stat : 12823 (java) S 12818 12805 12482 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42092535 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12824] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12824/stat : 12824 (java) S 12818 12805 12482 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42092537 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12825] ppid=12818 vsize=864272 CPUtime=0.08
/proc/12819/task/12825/stat : 12825 (java) S 12818 12805 12482 0 -1 64 334 0 0 0 8 0 0 0 16 0 9 0 42092537 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12826] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12826/stat : 12826 (java) S 12818 12805 12482 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42092537 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12827] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12827/stat : 12827 (java) S 12818 12805 12482 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42092537 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 883228

[startup+25.5019 s]
/proc/loadavg: 1.95 1.98 1.99 3/122 12827
/proc/meminfo: memFree=1727800/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
[pid=12818] ppid=12805 vsize=5356 CPUtime=0
/proc/12818/stat : 12818 (sh) S 12805 12805 12482 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42092533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12818/statm: 1339 233 193 169 0 50 0
[pid=12819] ppid=12818 vsize=864368 CPUtime=25.17
/proc/12819/stat : 12819 (java) S 12818 12805 12482 0 -1 0 21621 0 1 0 2501 16 0 0 18 0 9 0 42092533 885112832 17894 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12819/statm: 216092 17894 2564 9 0 210639 0
[pid=12819/tid=12820] ppid=12818 vsize=864368 CPUtime=23.7
/proc/12819/task/12820/stat : 12820 (java) R 12818 12805 12482 0 -1 64 3453 0 1 0 2364 6 0 0 25 0 9 0 42092534 885112832 17894 996147200 134512640 134550740 4294955936 18446744073709551615 4126583506 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12821] ppid=12818 vsize=864368 CPUtime=1.35
/proc/12819/task/12821/stat : 12821 (java) S 12818 12805 12482 0 -1 64 17136 0 0 0 127 8 0 0 16 0 9 0 42092535 885112832 17894 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12822] ppid=12818 vsize=864368 CPUtime=0
/proc/12819/task/12822/stat : 12822 (java) S 12818 12805 12482 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42092535 885112832 17894 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12823] ppid=12818 vsize=864368 CPUtime=0
/proc/12819/task/12823/stat : 12823 (java) S 12818 12805 12482 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42092535 885112832 17894 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/meminfo: memFree=1565176/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=190648 CPUtime=2870.13
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 46562 0 0 0 286969 44 0 0 25 0 1 0 42118107 195223552 46548 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12841/statm: 47662 46548 76 150 0 47509 0
Current children cumulated CPU time (s) 3125.89
Current children cumulated vsize (KiB) 209604

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 12849
/proc/meminfo: memFree=1563128/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=192700 CPUtime=2929.39
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 47060 0 0 0 292894 45 0 0 25 0 1 0 42118107 197324800 47046 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12841/statm: 48175 47046 76 150 0 48022 0
Current children cumulated CPU time (s) 3185.15
Current children cumulated vsize (KiB) 211656

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 12849
/proc/meminfo: memFree=1561848/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=193876 CPUtime=2988.64
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 47362 0 0 0 298819 45 0 0 25 0 1 0 42118107 198529024 47348 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12841/statm: 48469 47348 76 150 0 48316 0
Current children cumulated CPU time (s) 3244.4
Current children cumulated vsize (KiB) 212832

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 12849
/proc/meminfo: memFree=1560568/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=195064 CPUtime=3047.89
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 47667 0 0 0 304744 45 0 0 25 0 1 0 42118107 199745536 47653 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12841/statm: 48766 47653 76 150 0 48613 0
Current children cumulated CPU time (s) 3303.65
Current children cumulated vsize (KiB) 214020

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1569264/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=196276 CPUtime=3107.28
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 47977 0 0 0 310682 46 0 0 25 0 1 0 42118107 200986624 47963 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 49069 47963 76 150 0 48916 0
Current children cumulated CPU time (s) 3363.04
Current children cumulated vsize (KiB) 215232

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1567920/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=197388 CPUtime=3166.92
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 48269 0 0 0 316645 47 0 0 25 0 1 0 42118107 202125312 48255 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 49347 48255 76 150 0 49194 0
Current children cumulated CPU time (s) 3422.68
Current children cumulated vsize (KiB) 216344

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1566576/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=198708 CPUtime=3226.55
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 48619 0 0 0 322608 47 0 0 25 0 1 0 42118107 203476992 48605 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 49677 48605 76 150 0 49524 0
Current children cumulated CPU time (s) 3482.31
Current children cumulated vsize (KiB) 217664

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1565296/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=199916 CPUtime=3286.19
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 48928 0 0 0 328571 48 0 0 25 0 1 0 42118107 204713984 48914 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 49979 48914 76 150 0 49826 0
Current children cumulated CPU time (s) 3541.95
Current children cumulated vsize (KiB) 218872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3640.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1564144/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=201144 CPUtime=3344.25
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 49225 0 0 0 334377 48 0 0 25 0 1 0 42118107 205971456 49211 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 50286 49211 76 150 0 50133 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 220100

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

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

[startup+3640.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1564144/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=201144 CPUtime=3344.25
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 49225 0 0 0 334377 48 0 0 25 0 1 0 42118107 205971456 49211 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 50286 49211 76 150 0 50133 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 220100

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12805 and gives
#  childrusage.ru_utime.tv_sec=255
#  childrusage.ru_utime.tv_usec=12232
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=794879
# CPU time returned by wait4() is 255.807
# while last known CPU time is 3600.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3640.76
CPU time (s): 3600.01
CPU user time (s): 3598.77
CPU system time (s): 1.24
CPU usage (%): 98.8806
Max. virtual memory (cumulated for all children) (KiB): 888704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.012
system time used= 0.794879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64478
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= 10825
involuntary context switches= 9164

runsolver used 4.97324 second user time and 15.2347 second system time

The end

Launcher Data (download as text)

Begin job on node84 at 2008-07-12 11:12:32
IDJOB=1111788
IDBENCH=61323
IDSOLVER=368
FILE ID=node84/1111788-1215853951
PBS_JOBID= 7903432
Free space on /tmp= 66560 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/lexVg/normalized-crossword-m1c-lex-vg9-9_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111788-1215853951/watcher-1111788-1215853951 -o /tmp/evaluation-result-1111788-1215853951/solver-1111788-1215853951 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1111788-1215853951.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 12c563a014452c8c9bf97415b366b304
RANDOM SEED=1514653532

node84.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.259
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.259
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1802032 kB
Buffers:         26604 kB
Cached:          91852 kB
SwapCached:          0 kB
Active:         123820 kB
Inactive:        63768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1802032 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1360 kB
Writeback:           0 kB
Mapped:          90720 kB
Slab:            47992 kB
Committed_AS:  1096104 kB
PageTables:       4488 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= 66552 MiB
End job on node84 at 2008-07-12 12:13:14