Trace number 2074822

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sugar v1.14.6+minisatSAT 86.9108 87.4961

General information on the benchmark

Namecsp/wordsPuzzle/
normalized-crossword-m1-words-puzzle18.xml
MD5SUM636be31d660ee2803d5594411291e37a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.25896
Satisfiable
(Un)Satisfiability was proved
Number of variables177
Number of constraints1277
Maximum constraint arity20
Maximum domain size26
Number of constraints which are defined in extension86
Number of constraints which are defined in intension1191
Global constraints used (with number of constraints)

Solver Data 

0.00/0.08	c 0	Sugar v1-14-6 + HOME/minisat
0.00/0.08	c 0	BEGIN Sun Jul 12 02:42:07 2009
0.00/0.08	c 0	PID 21495
0.00/0.08	c 0	HOST node43.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-2074822-1247359327.xml TO HOME/temp.csp
0.00/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2074822-1247359327.xml' 'HOME/temp.csp'
0.07/0.59	c 1	1 domains, 177 variables, 6 predicates, 4 relations, 1277 constraints
0.07/0.61	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.61	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.07/0.68	c 1	Parsing HOME/temp.csp
0.57/0.85	c 1	parsed 1465 expressions
0.57/0.86	c 1	Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.57/0.86	c 1	Converting to clausal form CSP
0.57/0.88	c 1	converted 147 (10%) expressions
1.74/1.85	c 2	converted 293 (20%) expressions
1.93/2.00	c 2	converted 440 (30%) expressions
1.93/2.03	c 2	converted 586 (40%) expressions
1.93/2.04	c 2	converted 733 (50%) expressions
1.93/2.06	c 2	converted 879 (60%) expressions
1.93/2.08	c 2	converted 1026 (70%) expressions
2.04/2.10	c 2	converted 1172 (80%) expressions
2.04/2.11	c 2	converted 1319 (90%) expressions
2.53/2.60	c 3	converted 1465 (100%) expressions
2.53/2.60	c 3	CSP : 177 integers, 0 booleans, 1277 clauses, largest domain size 26
2.53/2.60	c 3	Heap : 39 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.53/2.60	c 3	Propagation in CSP
2.53/2.61	c 3	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.53/2.61	c 3	CSP : 177 integers, 0 booleans, 1277 clauses, largest domain size 26
2.53/2.61	c 3	Heap : 39 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.53/2.61	c 3	Simplifing CSP by introducing new Boolean variables
2.53/2.67	c 3	CSP : 177 integers, 8832 booleans, 10109 clauses, largest domain size 26
2.53/2.67	c 3	Heap : 41 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.84/2.92	c 3	Encoding CSP to SAT : HOME/temp.cnf
2.84/2.93	c 3	18 (10%) CSP integer variables are encoded (432 clauses, 4608 bytes)
2.84/2.94	c 3	36 (20%) CSP integer variables are encoded (864 clauses, 9360 bytes)
2.84/2.94	c 3	54 (30%) CSP integer variables are encoded (1296 clauses, 14785 bytes)
2.84/2.94	c 3	71 (40%) CSP integer variables are encoded (1704 clauses, 20089 bytes)
2.84/2.94	c 3	89 (50%) CSP integer variables are encoded (2136 clauses, 25705 bytes)
2.84/2.94	c 3	107 (60%) CSP integer variables are encoded (2568 clauses, 31321 bytes)
2.84/2.94	c 3	124 (70%) CSP integer variables are encoded (2976 clauses, 36625 bytes)
2.84/2.94	c 3	142 (80%) CSP integer variables are encoded (3408 clauses, 42241 bytes)
2.84/2.94	c 3	160 (90%) CSP integer variables are encoded (3840 clauses, 47857 bytes)
2.84/2.94	c 3	177 (100%) CSP integer variables are encoded (4248 clauses, 53161 bytes)
18.55/18.72	c 19	1011 (10%) CSP clauses are encoded (415679 clauses, 15448579 bytes)
18.55/18.77	c 19	2022 (20%) CSP clauses are encoded (438340 clauses, 15871497 bytes)
18.65/18.82	c 19	3033 (30%) CSP clauses are encoded (461026 clauses, 16294866 bytes)
18.65/18.86	c 19	4044 (40%) CSP clauses are encoded (484187 clauses, 16700280 bytes)
18.74/18.92	c 19	5055 (50%) CSP clauses are encoded (507673 clauses, 17112911 bytes)
18.74/18.96	c 19	6066 (60%) CSP clauses are encoded (531134 clauses, 17529441 bytes)
18.84/19.01	c 19	7077 (70%) CSP clauses are encoded (554620 clauses, 17961600 bytes)
18.84/19.06	c 19	8088 (80%) CSP clauses are encoded (578106 clauses, 18424791 bytes)
32.68/32.98	c 33	9099 (90%) CSP clauses are encoded (661485 clauses, 23042812 bytes)
73.44/74.00	c 74	10109 (100%) CSP clauses are encoded (864649 clauses, 37017526 bytes)
73.44/74.00	c 74	10109 CSP clauses encoded
73.55/74.00	c 74	Writing map file : HOME/temp.map
73.55/74.01	c 74	Heap : 80 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
73.55/74.01	c 74	SAT : 13257 SAT variables, 864649 SAT clauses, 37017526 bytes
73.55/74.01	c 74	Heap : 80 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
73.55/74.06	c 74	SOLVING HOME/temp.cnf
73.55/74.06	c 74	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
73.55/74.07	c 74	This is MiniSat 2.0 beta
73.55/74.07	c 74	WARNING: for repeatability, setting FPU to use double precision
73.55/74.07	c 74	============================[ Problem Statistics ]=============================
73.55/74.07	c 74	|                                                                             |
73.55/74.07	c 74	|  Number of variables:  13257                                                |
73.55/74.07	c 74	|  Number of clauses:    864649                                               |
74.31/74.88	c 75	|  Parsing time:         0.70         s                                       |
74.41/74.94	c 75	============================[ Search Statistics ]==============================
74.41/74.94	c 75	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
74.41/74.94	c 75	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
74.41/74.94	c 75	===============================================================================
74.41/74.94	c 75	|         0 |   13257   864649  6595922 |   288216        0    nan |  0.000 % |
74.50/75.01	c 75	|       100 |   13257   864649  6595922 |   317037      100     12 |  0.000 % |
74.61/75.10	c 75	|       250 |   13257   864649  6595922 |   348741      250      8 |  0.000 % |
74.61/75.16	c 75	|       475 |   13257   864649  6595922 |   383615      475      8 |  0.000 % |
74.71/75.20	c 76	|       815 |   13257   864649  6595922 |   421977      815      9 |  0.000 % |
74.71/75.27	c 76	|      1322 |   13257   864649  6595922 |   464175     1322     10 |  0.000 % |
74.81/75.34	c 76	|      2081 |   13257   864649  6595922 |   510592     2081      9 |  0.000 % |
75.11/75.63	c 76	|      3221 |   13257   864649  6595922 |   561652     3221     10 |  0.000 % |
75.51/76.04	c 76	|      4931 |   13257   864649  6595922 |   617817     4931     11 |  0.000 % |
76.20/76.74	c 77	|      7493 |   13257   864649  6595922 |   679599     7493     11 |  0.000 % |
76.99/77.59	c 78	|     11338 |   13257   864649  6595922 |   747558    11338     11 |  0.000 % |
78.68/79.26	c 80	|     17104 |   13257   864649  6595922 |   822314    17104     12 |  0.000 % |
80.08/80.63	c 81	|     25753 |   13257   864649  6595922 |   904546    25753     12 |  0.000 % |
83.16/83.77	c 84	|     38730 |   13257   864649  6595922 |   995000    38730     12 |  0.000 % |
86.64/87.23	c 88	===============================================================================
86.64/87.24	c 88	restarts              : 14
86.64/87.24	c 88	conflicts             : 49600          (3824 /sec)
86.64/87.24	c 88	decisions             : 88535          (1.62 % random) (6826 /sec)
86.64/87.24	c 88	propagations          : 3489515        (269045 /sec)
86.64/87.24	c 88	conflict literals     : 612767         (22.25 % deleted)
86.64/87.24	c 88	Memory used           : 63.55 MB
86.64/87.24	c 88	CPU time              : 12.97 s
86.64/87.24	c 88	
86.64/87.24	c 88	SATISFIABLE
86.64/87.25	c 88	DECODING HOME/temp.out WITH HOME/temp.map
86.64/87.25	c 88	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
86.70/87.34	c 88	Decoding HOME/temp.out
86.70/87.41	s SATISFIABLE
86.70/87.42	v 19 22 8 6 14 3 8 20 12 19 24 15 4 7 24 3 4 11 14 3 6 4 7 20 17 11 0 13 14 13 3 22 4 11 19 20 17 8 18 8 13 11 4 19 13 0 24 11 8 12 4 0 18 18 11 4 4 18 0 11 17 14 19 18 14 11 25 14 4 24 21 4 18 3 17 14 22 18 8 13 4 18 18 17 0 21 4 4 17 0 4 17 0 18 8 13 4 23 14 17 0 1 11 24 22 14 10 4 0 19 4 17 20 12 11 14 22 18 0 23 0 17 19 14 13 4 4 1 1 18 21 14 22 19 22 8 13 18 25 4 20 18 18 4 17 8 5 0 1 20 19 17 0 17 4 20 17 8 13 4 21 8 3 0 0 20 13 19 18 24 13 6 4 4 3 4 13
86.70/87.42	c 88	Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
86.70/87.48	c 88	CPU 86.86 (0.06 0.01 86.16 0.63)
86.70/87.48	c 88	END Sun Jul 12 02:43:35 2009

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2074822-1247359327/watcher-2074822-1247359327 -o /tmp/evaluation-result-2074822-1247359327/solver-2074822-1247359327 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2074822-1247359327.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.09 1.30 1.68 4/80 21495
/proc/meminfo: memFree=1793440/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=12272 CPUtime=0
/proc/21495/stat : 21495 (sugar) R 21493 21495 19607 0 -1 4194304 396 0 0 0 0 0 0 0 20 0 1 0 22996615 12566528 364 996147200 4194304 4206940 548682068608 18446744073709551615 221963664382 0 0 4224 0 0 0 0 17 1 0 0
/proc/21495/statm: 3068 364 274 3 0 168 0

[startup+0.121404 s]
/proc/loadavg: 1.09 1.30 1.68 4/80 21495
/proc/meminfo: memFree=1793440/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=0.07
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1227 128 0 0 6 1 0 0 21 0 1 0 22996615 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.208821 s]
/proc/loadavg: 1.09 1.30 1.68 4/80 21495
/proc/meminfo: memFree=1793440/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=0.07
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1227 128 0 0 6 1 0 0 21 0 1 0 22996615 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.302829 s]
/proc/loadavg: 1.09 1.30 1.68 4/80 21495
/proc/meminfo: memFree=1793440/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=0.07
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1227 128 0 0 6 1 0 0 21 0 1 0 22996615 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.702863 s]
/proc/loadavg: 1.09 1.30 1.68 4/80 21495
/proc/meminfo: memFree=1793440/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=0.57
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1309 6898 0 1 6 1 46 4 16 0 1 0 22996615 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 16868

[startup+1.50194 s]
/proc/loadavg: 1.09 1.30 1.68 4/91 21517
/proc/meminfo: memFree=1776072/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=0.57
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1309 6898 0 1 6 1 46 4 15 0 1 0 22996615 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1111 409 3 0 796 0
[pid=21508] ppid=21495 vsize=5356 CPUtime=0
/proc/21508/stat : 21508 (sh) S 21495 21495 19607 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22996676 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21508/statm: 1339 233 193 169 0 50 0
[pid=21509] ppid=21508 vsize=864332 CPUtime=0.87
/proc/21509/stat : 21509 (java) S 21508 21495 19607 0 -1 0 9690 0 1 0 83 4 0 0 18 0 9 0 22996676 885075968 8948 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21509/statm: 216083 8948 2566 9 0 210588 0
[pid=21509/tid=21510] ppid=21508 vsize=864332 CPUtime=0.47
/proc/21509/task/21510/stat : 21510 (java) R 21508 21495 19607 0 -1 64 2799 0 1 0 46 1 0 0 20 0 9 0 22996677 885075968 8948 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21511] ppid=21508 vsize=864332 CPUtime=0.33
/proc/21509/task/21511/stat : 21511 (java) R 21508 21495 19607 0 -1 64 5878 0 0 0 31 2 0 0 16 0 9 0 22996678 885075968 8948 996147200 134512640 134550932 4294955936 18446744073709551615 102549381 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21512] ppid=21508 vsize=864332 CPUtime=0
/proc/21509/task/21512/stat : 21512 (java) S 21508 21495 19607 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22996679 885075968 8948 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21513] ppid=21508 vsize=864332 CPUtime=0
/proc/21509/task/21513/stat : 21513 (java) S 21508 21495 19607 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 22996679 885075968 8948 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21514] ppid=21508 vsize=864332 CPUtime=0
/proc/21509/task/21514/stat : 21514 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22996681 885075968 8948 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21515] ppid=21508 vsize=864332 CPUtime=0.05
/proc/21509/task/21515/stat : 21515 (java) S 21508 21495 19607 0 -1 64 314 0 0 0 5 0 0 0 16 0 9 0 22996681 885075968 8948 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21516] ppid=21508 vsize=864332 CPUtime=0
/proc/21509/task/21516/stat : 21516 (java) S 21508 21495 19607 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22996681 885075968 8948 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21517] ppid=21508 vsize=864332 CPUtime=0
/proc/21509/task/21517/stat : 21517 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22996681 885075968 8948 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 886556

[startup+3.10108 s]
/proc/loadavg: 1.09 1.30 1.68 4/91 21517
/proc/meminfo: memFree=1744264/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=0.57
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1310 6898 0 1 6 1 46 4 15 0 1 0 22996615 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1111 409 3 0 796 0
[pid=21508] ppid=21495 vsize=5356 CPUtime=0
/proc/21508/stat : 21508 (sh) S 21495 21495 19607 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22996676 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21508/statm: 1339 233 193 169 0 50 0
[pid=21509] ppid=21508 vsize=868704 CPUtime=2.46
/proc/21509/stat : 21509 (java) S 21508 21495 19607 0 -1 0 17741 0 1 0 238 8 0 0 18 0 9 0 22996676 889552896 16827 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21509/statm: 217176 16827 2591 9 0 211653 0
[pid=21509/tid=21510] ppid=21508 vsize=868704 CPUtime=1.03
/proc/21509/task/21510/stat : 21510 (java) R 21508 21495 19607 0 -1 64 3321 0 1 0 101 2 0 0 24 0 9 0 22996677 889552896 16827 996147200 134512640 134550932 4294955936 18446744073709551615 103563667 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21511] ppid=21508 vsize=868704 CPUtime=1.21
/proc/21509/task/21511/stat : 21511 (java) S 21508 21495 19607 0 -1 64 12222 0 0 0 117 4 0 0 16 0 9 0 22996678 889552896 16827 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21512] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21512/stat : 21512 (java) S 21508 21495 19607 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 16827 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21513] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21513/stat : 21513 (java) S 21508 21495 19607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 16827 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21514] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21514/stat : 21514 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22996681 889552896 16827 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21515] ppid=21508 vsize=868704 CPUtime=0.19
/proc/21509/task/21515/stat : 21515 (java) S 21508 21495 19607 0 -1 64 1499 0 0 0 19 0 0 0 16 0 9 0 22996681 889552896 16827 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21516] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21516/stat : 21516 (java) S 21508 21495 19607 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22996681 889552896 16827 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21517] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21517/stat : 21517 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22996681 889552896 16827 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 890928

[startup+6.30237 s]
/proc/loadavg: 1.24 1.33 1.69 4/91 21517
/proc/meminfo: memFree=1726088/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=0.57
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1310 6898 0 1 6 1 46 4 15 0 1 0 22996615 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1111 409 3 0 796 0
[pid=21508] ppid=21495 vsize=5356 CPUtime=0
/proc/21508/stat : 21508 (sh) S 21495 21495 19607 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22996676 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21508/statm: 1339 233 193 169 0 50 0
[pid=21509] ppid=21508 vsize=868704 CPUtime=5.65
/proc/21509/stat : 21509 (java) S 21508 21495 19607 0 -1 0 18426 0 1 0 552 13 0 0 18 0 9 0 22996676 889552896 17436 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21509/statm: 217176 17436 2591 9 0 211653 0
[pid=21509/tid=21510] ppid=21508 vsize=868704 CPUtime=4.06
/proc/21509/task/21510/stat : 21510 (java) R 21508 21495 19607 0 -1 64 3398 0 1 0 400 6 0 0 25 0 9 0 22996677 889552896 17436 996147200 134512640 134550932 4294955936 18446744073709551615 4126871400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21511] ppid=21508 vsize=868704 CPUtime=1.36
/proc/21509/task/21511/stat : 21511 (java) S 21508 21495 19607 0 -1 64 12824 0 0 0 131 5 0 0 16 0 9 0 22996678 889552896 17436 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21512] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21512/stat : 21512 (java) S 21508 21495 19607 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 17436 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21513] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21513/stat : 21513 (java) S 21508 21495 19607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 17436 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21514] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21514/stat : 21514 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22996681 889552896 17436 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21515] ppid=21508 vsize=868704 CPUtime=0.2
/proc/21509/task/21515/stat : 21515 (java) S 21508 21495 19607 0 -1 64 1505 0 0 0 20 0 0 0 15 0 9 0 22996681 889552896 17436 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21516] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21516/stat : 21516 (java) S 21508 21495 19607 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22996681 889552896 17436 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21517] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21517/stat : 21517 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22996681 889552896 17436 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 890928

[startup+12.7019 s]
/proc/loadavg: 1.30 1.34 1.69 4/91 21517
/proc/meminfo: memFree=1711432/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=0.57
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1310 6898 0 1 6 1 46 4 15 0 1 0 22996615 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1111 409 3 0 796 0
[pid=21508] ppid=21495 vsize=5356 CPUtime=0
/proc/21508/stat : 21508 (sh) S 21495 21495 19607 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22996676 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21508/statm: 1339 233 193 169 0 50 0
[pid=21509] ppid=21508 vsize=868704 CPUtime=12
/proc/21509/stat : 21509 (java) S 21508 21495 19607 0 -1 0 20946 0 1 0 1184 16 0 0 18 0 9 0 22996676 889552896 19871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21509/statm: 217176 19871 2591 9 0 211653 0
[pid=21509/tid=21510] ppid=21508 vsize=868704 CPUtime=10.18
/proc/21509/task/21510/stat : 21510 (java) R 21508 21495 19607 0 -1 64 3485 0 1 0 1010 8 0 0 25 0 9 0 22996677 889552896 19871 996147200 134512640 134550932 4294955936 18446744073709551615 4126556960 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21511] ppid=21508 vsize=868704 CPUtime=1.59
/proc/21509/task/21511/stat : 21511 (java) S 21508 21495 19607 0 -1 64 15254 0 0 0 153 6 0 0 16 0 9 0 22996678 889552896 19871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21512] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21512/stat : 21512 (java) S 21508 21495 19607 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 19871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21513] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21513/stat : 21513 (java) S 21508 21495 19607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 19871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21514] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21514/stat : 21514 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22996681 889552896 19871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21515] ppid=21508 vsize=868704 CPUtime=0.21
/proc/21509/task/21515/stat : 21515 (java) S 21508 21495 19607 0 -1 64 1508 0 0 0 21 0 0 0 16 0 9 0 22996681 889552896 19871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21516] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21516/stat : 21516 (java) S 21508 21495 19607 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22996681 889552896 19871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21517] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21517/stat : 21517 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22996681 889552896 19871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 890928

[startup+25.5021 s]
/proc/loadavg: 1.46 1.37 1.69 3/91 21517
/proc/meminfo: memFree=1688328/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=0.57
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1310 6898 0 1 6 1 46 4 15 0 1 0 22996615 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1111 409 3 0 796 0
[pid=21508] ppid=21495 vsize=5356 CPUtime=0
/proc/21508/stat : 21508 (sh) S 21495 21495 19607 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22996676 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21508/statm: 1339 233 193 169 0 50 0
[pid=21509] ppid=21508 vsize=868704 CPUtime=24.74
/proc/21509/stat : 21509 (java) S 21508 21495 19607 0 -1 0 24339 0 1 0 2450 24 0 0 18 0 9 0 22996676 889552896 23139 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21509/statm: 217176 23139 2591 9 0 211653 0
[pid=21509/tid=21510] ppid=21508 vsize=868704 CPUtime=22.6
/proc/21509/task/21510/stat : 21510 (java) R 21508 21495 19607 0 -1 64 3610 0 1 0 2246 14 0 0 25 0 9 0 22996677 889552896 23139 996147200 134512640 134550932 4294955936 18446744073709551615 4126910535 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21511] ppid=21508 vsize=868704 CPUtime=1.88
/proc/21509/task/21511/stat : 21511 (java) S 21508 21495 19607 0 -1 64 18508 0 0 0 180 8 0 0 16 0 9 0 22996678 889552896 23139 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21512] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21512/stat : 21512 (java) S 21508 21495 19607 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 23139 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21513] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21513/stat : 21513 (java) S 21508 21495 19607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 23139 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21514] ppid=21508 vsize=868704 CPUtime=0

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

/proc/21508/statm: 1339 233 193 169 0 50 0
[pid=21509] ppid=21508 vsize=868704 CPUtime=50.19
/proc/21509/stat : 21509 (java) S 21508 21495 19607 0 -1 0 29662 0 1 0 4986 33 0 0 18 0 9 0 22996676 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21509/statm: 217176 24159 2591 9 0 211653 0
[pid=21509/tid=21510] ppid=21508 vsize=868704 CPUtime=47.46
/proc/21509/task/21510/stat : 21510 (java) R 21508 21495 19607 0 -1 64 3747 0 1 0 4726 20 0 0 25 0 9 0 22996677 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4126913138 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21511] ppid=21508 vsize=868704 CPUtime=2.47
/proc/21509/task/21511/stat : 21511 (java) S 21508 21495 19607 0 -1 64 23694 0 0 0 236 11 0 0 16 0 9 0 22996678 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21512] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21512/stat : 21512 (java) S 21508 21495 19607 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21513] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21513/stat : 21513 (java) S 21508 21495 19607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21514] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21514/stat : 21514 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22996681 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21515] ppid=21508 vsize=868704 CPUtime=0.23
/proc/21509/task/21515/stat : 21515 (java) S 21508 21495 19607 0 -1 64 1522 0 0 0 23 0 0 0 15 0 9 0 22996681 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21516] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21516/stat : 21516 (java) S 21508 21495 19607 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22996681 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21517] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21517/stat : 21517 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22996681 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 890928

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

[startup+51.2024 s]
/proc/loadavg: 1.64 1.42 1.70 3/91 21517
/proc/meminfo: memFree=1675272/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=0.57
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1310 6898 0 1 6 1 46 4 16 0 1 0 22996615 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1111 409 3 0 796 0
[pid=21508] ppid=21495 vsize=5356 CPUtime=0
/proc/21508/stat : 21508 (sh) S 21495 21495 19607 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22996676 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21508/statm: 1339 233 193 169 0 50 0
[pid=21509] ppid=21508 vsize=868704 CPUtime=50.29
/proc/21509/stat : 21509 (java) S 21508 21495 19607 0 -1 0 29662 0 1 0 4996 33 0 0 18 0 9 0 22996676 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21509/statm: 217176 24159 2591 9 0 211653 0
[pid=21509/tid=21510] ppid=21508 vsize=868704 CPUtime=47.55
/proc/21509/task/21510/stat : 21510 (java) R 21508 21495 19607 0 -1 64 3747 0 1 0 4735 20 0 0 25 0 9 0 22996677 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4126910592 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21511] ppid=21508 vsize=868704 CPUtime=2.47
/proc/21509/task/21511/stat : 21511 (java) S 21508 21495 19607 0 -1 64 23694 0 0 0 236 11 0 0 16 0 9 0 22996678 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21512] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21512/stat : 21512 (java) S 21508 21495 19607 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21513] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21513/stat : 21513 (java) S 21508 21495 19607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21514] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21514/stat : 21514 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22996681 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21515] ppid=21508 vsize=868704 CPUtime=0.23
/proc/21509/task/21515/stat : 21515 (java) S 21508 21495 19607 0 -1 64 1522 0 0 0 23 0 0 0 15 0 9 0 22996681 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21516] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21516/stat : 21516 (java) S 21508 21495 19607 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22996681 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21517] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21517/stat : 21517 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22996681 889552896 24159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 890928

[startup+64.0016 s]
/proc/loadavg: 1.72 1.45 1.71 4/91 21517
/proc/meminfo: memFree=1667976/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=0.57
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1310 6898 0 1 6 1 46 4 16 0 1 0 22996615 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1111 409 3 0 796 0
[pid=21508] ppid=21495 vsize=5356 CPUtime=0
/proc/21508/stat : 21508 (sh) S 21495 21495 19607 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22996676 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21508/statm: 1339 233 193 169 0 50 0
[pid=21509] ppid=21508 vsize=868704 CPUtime=63.02
/proc/21509/stat : 21509 (java) S 21508 21495 19607 0 -1 0 30433 0 1 0 6265 37 0 0 18 0 9 0 22996676 889552896 24864 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21509/statm: 217176 24864 2591 9 0 211653 0
[pid=21509/tid=21510] ppid=21508 vsize=868704 CPUtime=60.14
/proc/21509/task/21510/stat : 21510 (java) R 21508 21495 19607 0 -1 64 3813 0 1 0 5992 22 0 0 25 0 9 0 22996677 889552896 24864 996147200 134512640 134550932 4294955936 18446744073709551615 4126910592 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21511] ppid=21508 vsize=868704 CPUtime=2.61
/proc/21509/task/21511/stat : 21511 (java) S 21508 21495 19607 0 -1 64 24399 0 0 0 249 12 0 0 16 0 9 0 22996678 889552896 24864 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21512] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21512/stat : 21512 (java) S 21508 21495 19607 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 24864 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21513] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21513/stat : 21513 (java) S 21508 21495 19607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22996679 889552896 24864 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21514] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21514/stat : 21514 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22996681 889552896 24864 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21515] ppid=21508 vsize=868704 CPUtime=0.23
/proc/21509/task/21515/stat : 21515 (java) S 21508 21495 19607 0 -1 64 1522 0 0 0 23 0 0 0 15 0 9 0 22996681 889552896 24864 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21516] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21516/stat : 21516 (java) S 21508 21495 19607 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22996681 889552896 24864 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21509/tid=21517] ppid=21508 vsize=868704 CPUtime=0
/proc/21509/task/21517/stat : 21517 (java) S 21508 21495 19607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22996681 889552896 24864 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.59
Current children cumulated vsize (KiB) 890928

[startup+76.8027 s]
/proc/loadavg: 1.76 1.47 1.71 3/83 21519
/proc/meminfo: memFree=1697224/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=73.59
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1376 39219 0 2 6 1 7305 47 15 0 1 0 22996615 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1113 409 3 0 796 0
[pid=21518] ppid=21495 vsize=5356 CPUtime=0
/proc/21518/stat : 21518 (sh) S 21495 21495 19607 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23004021 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21518/statm: 1339 232 193 169 0 50 0
[pid=21519] ppid=21518 vsize=58132 CPUtime=2.71
/proc/21519/stat : 21519 (minisat) R 21518 21495 19607 0 -1 4194304 14208 0 0 0 260 11 0 0 25 0 1 0 23004022 59527168 14194 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/21519/statm: 14533 14194 76 150 0 14380 0
Current children cumulated CPU time (s) 76.3
Current children cumulated vsize (KiB) 80356

[startup+83.2013 s]
/proc/loadavg: 1.78 1.48 1.71 3/83 21519
/proc/meminfo: memFree=1691784/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=73.59
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1376 39219 0 2 6 1 7305 47 16 0 1 0 22996615 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1113 409 3 0 796 0
[pid=21518] ppid=21495 vsize=5356 CPUtime=0
/proc/21518/stat : 21518 (sh) S 21495 21495 19607 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23004021 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21518/statm: 1339 232 193 169 0 50 0
[pid=21519] ppid=21518 vsize=62904 CPUtime=9.07
/proc/21519/stat : 21519 (minisat) R 21518 21495 19607 0 -1 4194304 15390 0 0 0 895 12 0 0 25 0 1 0 23004022 64413696 15376 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/21519/statm: 15726 15376 76 150 0 15573 0
Current children cumulated CPU time (s) 82.66
Current children cumulated vsize (KiB) 85128

[startup+84.8074 s]
/proc/loadavg: 1.80 1.48 1.71 3/83 21519
/proc/meminfo: memFree=1690568/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=73.59
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1376 39219 0 2 6 1 7305 47 16 0 1 0 22996615 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1113 409 3 0 796 0
[pid=21518] ppid=21495 vsize=5356 CPUtime=0
/proc/21518/stat : 21518 (sh) S 21495 21495 19607 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23004021 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21518/statm: 1339 232 193 169 0 50 0
[pid=21519] ppid=21518 vsize=63832 CPUtime=10.66
/proc/21519/stat : 21519 (minisat) R 21518 21495 19607 0 -1 4194304 15614 0 0 0 1054 12 0 0 25 0 1 0 23004022 65363968 15600 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/21519/statm: 15958 15600 76 150 0 15805 0
Current children cumulated CPU time (s) 84.25
Current children cumulated vsize (KiB) 86056

[startup+86.4026 s]
/proc/loadavg: 1.80 1.48 1.71 3/83 21519
/proc/meminfo: memFree=1690120/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=73.59
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1376 39219 0 2 6 1 7305 47 16 0 1 0 22996615 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1113 409 3 0 796 0
[pid=21518] ppid=21495 vsize=5356 CPUtime=0
/proc/21518/stat : 21518 (sh) S 21495 21495 19607 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23004021 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21518/statm: 1339 232 193 169 0 50 0
[pid=21519] ppid=21518 vsize=64512 CPUtime=12.25
/proc/21519/stat : 21519 (minisat) R 21518 21495 19607 0 -1 4194304 15765 0 0 0 1213 12 0 0 25 0 1 0 23004022 66060288 15751 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/21519/statm: 16128 15751 76 150 0 15975 0
Current children cumulated CPU time (s) 85.84
Current children cumulated vsize (KiB) 86736

[startup+87.2017 s]
/proc/loadavg: 1.80 1.48 1.71 3/83 21519
/proc/meminfo: memFree=1689736/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=73.59
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1376 39219 0 2 6 1 7305 47 16 0 1 0 22996615 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21495/statm: 4217 1113 409 3 0 796 0
[pid=21518] ppid=21495 vsize=5356 CPUtime=0
/proc/21518/stat : 21518 (sh) S 21495 21495 19607 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23004021 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21518/statm: 1339 232 193 169 0 50 0
[pid=21519] ppid=21518 vsize=64908 CPUtime=13.05
/proc/21519/stat : 21519 (minisat) R 21518 21495 19607 0 -1 4194304 15876 0 0 0 1293 12 0 0 25 0 1 0 23004022 66465792 15862 996147200 134512640 135127466 4294956256 18446744073709551615 134530772 0 0 4096 3 0 0 0 17 1 0 0
/proc/21519/statm: 16227 15862 76 150 0 16074 0
Current children cumulated CPU time (s) 86.64
Current children cumulated vsize (KiB) 87132

[startup+87.4017 s]
/proc/loadavg: 1.80 1.48 1.71 3/83 21519
/proc/meminfo: memFree=1689736/2055920 swapFree=4192812/4192956
[pid=21495] ppid=21493 vsize=16868 CPUtime=86.7
/proc/21495/stat : 21495 (sugar) S 21493 21495 19607 0 -1 4194304 1448 55413 0 2 6 1 8602 61 16 0 1 0 22996615 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21495/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 86.7
Current children cumulated vsize (KiB) 16868

Child status: 0
Real time (s): 87.4961
CPU time (s): 86.9108
CPU user time (s): 86.2379
CPU system time (s): 0.672897
CPU usage (%): 99.331
Max. virtual memory (cumulated for all children) (KiB): 901176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.2379
system time used= 0.672897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60752
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= 9070
involuntary context switches= 11493

runsolver used 0.109983 second user time and 0.311952 second system time

The end

Launcher Data 

Begin job on node43 at 2009-07-12 02:42:07
IDJOB=2074822
IDBENCH=56141
IDSOLVER=739
FILE ID=node43/2074822-1247359327
PBS_JOBID= 9506958
Free space on /tmp= 66188 MiB

SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/wordsPuzzle/normalized-crossword-m1-words-puzzle18.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2074822-1247359327/watcher-2074822-1247359327 -o /tmp/evaluation-result-2074822-1247359327/solver-2074822-1247359327 -C 1800 -W 2000 -M 900  HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2074822-1247359327.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 636be31d660ee2803d5594411291e37a
RANDOM SEED=67324648

node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
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	: 5931.00
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.213
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:       1793920 kB
Buffers:         21932 kB
Cached:          88228 kB
SwapCached:          0 kB
Active:         183556 kB
Inactive:        30584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1793920 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2024 kB
Writeback:           0 kB
Mapped:         121856 kB
Slab:            32964 kB
Committed_AS:   937864 kB
PageTables:       2036 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= 66188 MiB
End job on node43 at 2009-07-12 02:43:35