Trace number 2071731

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+minisatUNSAT 315.686 319.044

General information on the benchmark

Namecsp/ukVg/
normalized-crossword-m1c-uk-vg16-20_ext.xml
MD5SUMf0a225bca6840ff972009519f8fbf370
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.419935
Satisfiable
(Un)Satisfiability was proved
Number of variables320
Number of constraints36
Maximum constraint arity20
Maximum domain size26
Number of constraints which are defined in extension36
Number of constraints which are defined in intension0
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 01:24:47 2009
0.00/0.08	c 0	PID 15717
0.00/0.08	c 0	HOST node10.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-2071731-1247354686.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-2071731-1247354686.xml' 'HOME/temp.csp'
0.07/0.38	c 0	1 domains, 320 variables, 0 predicates, 2 relations, 36 constraints
0.07/0.41	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.41	c 0	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.49	c 0	Parsing HOME/temp.csp
0.36/0.60	c 0	parsed 359 expressions
0.36/0.61	c 0	Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.36/0.61	c 0	Converting to clausal form CSP
0.36/0.63	c 0	converted 36 (10%) expressions
0.36/0.63	c 0	converted 72 (20%) expressions
0.36/0.63	c 0	converted 108 (30%) expressions
0.36/0.63	c 0	converted 144 (40%) expressions
0.36/0.63	c 0	converted 180 (50%) expressions
0.36/0.63	c 0	converted 216 (60%) expressions
0.36/0.63	c 0	converted 252 (70%) expressions
0.36/0.63	c 0	converted 288 (80%) expressions
0.36/0.71	c 0	converted 324 (90%) expressions
2.12/2.25	c 2	converted 359 (100%) expressions
2.12/2.26	c 2	CSP : 320 integers, 0 booleans, 36 clauses, largest domain size 26
2.12/2.26	c 2	Heap : 65 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.12/2.26	c 2	Propagation in CSP
2.12/2.26	c 2	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.12/2.26	c 2	CSP : 320 integers, 0 booleans, 36 clauses, largest domain size 26
2.12/2.26	c 2	Heap : 65 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.12/2.26	c 2	Simplifing CSP by introducing new Boolean variables
2.12/2.26	c 2	CSP : 320 integers, 0 booleans, 36 clauses, largest domain size 26
2.12/2.26	c 2	Heap : 65 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.40/2.53	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.40/2.55	c 2	32 (10%) CSP integer variables are encoded (768 clauses, 8304 bytes)
2.40/2.56	c 2	64 (20%) CSP integer variables are encoded (1536 clauses, 17905 bytes)
2.40/2.56	c 2	96 (30%) CSP integer variables are encoded (2304 clauses, 27889 bytes)
2.40/2.56	c 2	128 (40%) CSP integer variables are encoded (3072 clauses, 37873 bytes)
2.40/2.56	c 2	160 (50%) CSP integer variables are encoded (3840 clauses, 47857 bytes)
2.40/2.56	c 2	192 (60%) CSP integer variables are encoded (4608 clauses, 57841 bytes)
2.40/2.56	c 2	224 (70%) CSP integer variables are encoded (5376 clauses, 67825 bytes)
2.40/2.56	c 2	256 (80%) CSP integer variables are encoded (6144 clauses, 77809 bytes)
2.40/2.57	c 2	288 (90%) CSP integer variables are encoded (6912 clauses, 87793 bytes)
2.40/2.57	c 2	320 (100%) CSP integer variables are encoded (7680 clauses, 97777 bytes)
54.78/55.48	c 55	4 (10%) CSP clauses are encoded (238932 clauses, 23655605 bytes)
108.21/109.48	c 109	8 (20%) CSP clauses are encoded (470184 clauses, 47709329 bytes)
149.39/151.01	c 151	11 (30%) CSP clauses are encoded (643623 clauses, 65749622 bytes)
202.73/204.93	c 204	15 (40%) CSP clauses are encoded (874875 clauses, 89803346 bytes)
243.52/246.18	c 246	18 (50%) CSP clauses are encoded (1048314 clauses, 107843639 bytes)
272.62/275.51	c 275	22 (60%) CSP clauses are encoded (1185048 clauses, 121887151 bytes)
275.88/278.89	c 278	26 (70%) CSP clauses are encoded (1227264 clauses, 127007211 bytes)
278.46/281.42	c 281	29 (80%) CSP clauses are encoded (1258926 clauses, 130847256 bytes)
281.82/284.81	c 284	33 (90%) CSP clauses are encoded (1301142 clauses, 135967316 bytes)
284.28/287.39	c 287	36 (100%) CSP clauses are encoded (1332804 clauses, 139807361 bytes)
284.28/287.39	c 287	36 CSP clauses encoded
284.28/287.39	c 287	Writing map file : HOME/temp.map
284.28/287.39	c 287	Heap : 124 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
284.28/287.40	c 287	SAT : 8000 SAT variables, 1332804 SAT clauses, 139807361 bytes
284.28/287.40	c 287	Heap : 124 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
284.38/287.47	c 287	SOLVING HOME/temp.cnf
284.38/287.47	c 287	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
284.38/287.47	c 287	This is MiniSat 2.0 beta
284.38/287.47	c 287	WARNING: for repeatability, setting FPU to use double precision
284.38/287.47	c 287	============================[ Problem Statistics ]=============================
284.38/287.47	c 287	|                                                                             |
284.38/287.48	c 287	|  Number of variables:  8000                                                 |
284.38/287.48	c 287	|  Number of clauses:    1332804                                              |
287.31/290.46	c 290	|  Parsing time:         2.64         s                                       |
287.50/290.64	c 290	============================[ Search Statistics ]==============================
287.50/290.64	c 290	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
287.50/290.64	c 290	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
287.50/290.64	c 290	===============================================================================
287.50/290.64	c 290	|         0 |    7984  1331228 25786419 |   443742        0    nan |  0.000 % |
287.59/290.76	c 290	|       101 |    7979  1331228 25786419 |   488116       96      8 |  0.263 % |
287.59/290.79	c 290	|       251 |    7979  1331228 25786419 |   536928      246      7 |  0.263 % |
287.69/290.82	c 290	|       477 |    7979  1331228 25786419 |   590621      472      7 |  0.263 % |
287.69/290.86	c 290	|       815 |    7979  1331228 25786419 |   649683      810      8 |  0.263 % |
287.79/290.98	c 290	|      1322 |    7979  1331228 25786419 |   714652     1317      8 |  0.263 % |
287.89/291.06	c 291	|      2083 |    7979  1331228 25786419 |   786117     2078      8 |  0.263 % |
288.09/291.26	c 291	|      3224 |    7979  1331228 25786419 |   864728     3219      9 |  0.263 % |
288.58/291.70	c 291	|      4934 |    7978  1331228 25786419 |   951201     4928      9 |  0.275 % |
288.98/292.10	c 292	|      7496 |    7977  1331228 25786419 |  1046321     7489      9 |  0.288 % |
289.97/293.18	c 293	|     11340 |    7977  1331228 25786419 |  1150954    11333      9 |  0.288 % |
291.86/295.03	c 295	|     17107 |    7976  1331228 25786419 |  1266049    17099      9 |  0.300 % |
315.33/318.76	c 318	===============================================================================
315.33/318.76	c 318	restarts              : 12
315.33/318.76	c 318	conflicts             : 24112          (787 /sec)
315.33/318.76	c 318	decisions             : 42179          (1.91 % random) (1376 /sec)
315.33/318.76	c 318	propagations          : 1961317        (64003 /sec)
315.33/318.76	c 318	conflict literals     : 222298         (27.91 % deleted)
315.33/318.76	c 318	Memory used           : 156.09 MB
315.33/318.76	c 318	CPU time              : 30.6443 s
315.33/318.76	c 318	
315.33/318.76	c 318	UNSATISFIABLE
315.33/318.79	c 318	DECODING HOME/temp.out WITH HOME/temp.map
315.33/318.79	c 318	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'
315.45/318.88	c 318	Decoding HOME/temp.out
315.45/318.94	s UNSATISFIABLE
315.45/318.94	c 318	Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
315.45/318.97	c 318	CPU 315.6 (0.06 0.02 313.73 1.79)
315.45/318.97	c 318	END Sun Jul 12 01:30:05 2009

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2071731-1247354686/watcher-2071731-1247354686 -o /tmp/evaluation-result-2071731-1247354686/solver-2071731-1247354686 -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-2071731-1247354686.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: 2.07 2.04 2.00 4/74 15717
/proc/meminfo: memFree=1518352/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=18576 CPUtime=0
/proc/15717/stat : 15717 (runsolver) R 15715 15717 14523 0 -1 4194368 15 0 0 0 0 0 0 0 24 0 1 0 22535697 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 214919867687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15717/statm: 4644 284 249 26 0 2626 0

[startup+0.100832 s]
/proc/loadavg: 2.07 2.04 2.00 4/74 15717
/proc/meminfo: memFree=1518352/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=0.07
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 22535697 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.201854 s]
/proc/loadavg: 2.07 2.04 2.00 4/74 15717
/proc/meminfo: memFree=1518352/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=0.07
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 22535697 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.302876 s]
/proc/loadavg: 2.07 2.04 2.00 4/74 15717
/proc/meminfo: memFree=1518352/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=0.07
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 22535697 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.702963 s]
/proc/loadavg: 2.07 2.04 2.00 4/74 15717
/proc/meminfo: memFree=1518352/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=0.36
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1309 4768 0 1 5 2 25 4 15 0 1 0 22535697 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 16868

[startup+1.50215 s]
/proc/loadavg: 2.07 2.04 2.00 3/85 15739
/proc/meminfo: memFree=1489008/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=0.36
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1309 4768 0 1 5 2 25 4 16 0 1 0 22535697 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1111 409 3 0 796 0
[pid=15730] ppid=15717 vsize=5356 CPUtime=0
/proc/15730/stat : 15730 (sh) S 15717 15717 14523 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22535739 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15730/statm: 1339 233 193 169 0 50 0
[pid=15731] ppid=15730 vsize=864200 CPUtime=1.06
/proc/15731/stat : 15731 (java) S 15730 15717 14523 0 -1 0 13869 0 1 0 99 7 0 0 18 0 9 0 22535739 884940800 13016 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15731/statm: 216050 13016 2566 9 0 210555 0
[pid=15731/tid=15732] ppid=15730 vsize=864200 CPUtime=0.4
/proc/15731/task/15732/stat : 15732 (java) R 15730 15717 14523 0 -1 64 2965 0 1 0 39 1 0 0 19 0 9 0 22535740 884940800 13016 996147200 134512640 134550932 4294955936 18446744073709551615 103201810 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15733] ppid=15730 vsize=864200 CPUtime=0.57
/proc/15731/task/15733/stat : 15733 (java) S 15730 15717 14523 0 -1 64 9892 0 0 0 53 4 0 0 17 0 9 0 22535742 884940800 13016 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15734] ppid=15730 vsize=864200 CPUtime=0
/proc/15731/task/15734/stat : 15734 (java) S 15730 15717 14523 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22535742 884940800 13016 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15735] ppid=15730 vsize=864200 CPUtime=0
/proc/15731/task/15735/stat : 15735 (java) S 15730 15717 14523 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 22535742 884940800 13016 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15736] ppid=15730 vsize=864200 CPUtime=0
/proc/15731/task/15736/stat : 15736 (java) S 15730 15717 14523 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22535744 884940800 13016 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15737] ppid=15730 vsize=864200 CPUtime=0.05
/proc/15731/task/15737/stat : 15737 (java) S 15730 15717 14523 0 -1 64 313 0 0 0 5 0 0 0 16 0 9 0 22535744 884940800 13016 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15738] ppid=15730 vsize=864200 CPUtime=0
/proc/15731/task/15738/stat : 15738 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22535744 884940800 13016 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15739] ppid=15730 vsize=864200 CPUtime=0
/proc/15731/task/15739/stat : 15739 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22535744 884940800 13016 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 886424

[startup+3.10248 s]
/proc/loadavg: 2.14 2.06 2.01 3/85 15739
/proc/meminfo: memFree=1442416/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=0.36
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1310 4768 0 1 5 2 25 4 15 0 1 0 22535697 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1111 409 3 0 796 0
[pid=15730] ppid=15717 vsize=5356 CPUtime=0
/proc/15730/stat : 15730 (sh) S 15717 15717 14523 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22535739 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15730/statm: 1339 233 193 169 0 50 0
[pid=15731] ppid=15730 vsize=864400 CPUtime=2.65
/proc/15731/stat : 15731 (java) S 15730 15717 14523 0 -1 0 24203 0 1 0 252 13 0 0 18 0 9 0 22535739 885145600 23264 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15731/statm: 216100 23264 2590 9 0 210577 0
[pid=15731/tid=15732] ppid=15730 vsize=864400 CPUtime=1.13
/proc/15731/task/15732/stat : 15732 (java) R 15730 15717 14523 0 -1 64 3833 0 1 0 111 2 0 0 25 0 9 0 22535740 885145600 23264 996147200 134512640 134550932 4294955936 18446744073709551615 4126588202 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15733] ppid=15730 vsize=864400 CPUtime=1.4
/proc/15731/task/15733/stat : 15733 (java) S 15730 15717 14523 0 -1 64 19336 0 0 0 131 9 0 0 16 0 9 0 22535742 885145600 23264 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15734] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15734/stat : 15734 (java) S 15730 15717 14523 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 22535742 885145600 23264 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15735] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15735/stat : 15735 (java) S 15730 15717 14523 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 22535742 885145600 23264 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15736] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15736/stat : 15736 (java) S 15730 15717 14523 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22535744 885145600 23264 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15737] ppid=15730 vsize=864400 CPUtime=0.08
/proc/15731/task/15737/stat : 15737 (java) S 15730 15717 14523 0 -1 64 335 0 0 0 8 0 0 0 16 0 9 0 22535744 885145600 23264 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15738] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15738/stat : 15738 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22535744 885145600 23264 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15739] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15739/stat : 15739 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22535744 885145600 23264 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 886624

[startup+6.30215 s]
/proc/loadavg: 2.14 2.06 2.01 3/85 15739
/proc/meminfo: memFree=1429168/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=0.36
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1310 4768 0 1 5 2 25 4 15 0 1 0 22535697 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1111 409 3 0 796 0
[pid=15730] ppid=15717 vsize=5356 CPUtime=0
/proc/15730/stat : 15730 (sh) S 15717 15717 14523 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22535739 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15730/statm: 1339 233 193 169 0 50 0
[pid=15731] ppid=15730 vsize=864400 CPUtime=5.81
/proc/15731/stat : 15731 (java) S 15730 15717 14523 0 -1 0 24670 0 1 0 568 13 0 0 18 0 9 0 22535739 885145600 23724 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15731/statm: 216100 23724 2590 9 0 210577 0
[pid=15731/tid=15732] ppid=15730 vsize=864400 CPUtime=4.27
/proc/15731/task/15732/stat : 15732 (java) R 15730 15717 14523 0 -1 64 3840 0 1 0 425 2 0 0 25 0 9 0 22535740 885145600 23724 996147200 134512640 134550932 4294955936 18446744073709551615 4126534849 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15733] ppid=15730 vsize=864400 CPUtime=1.42
/proc/15731/task/15733/stat : 15733 (java) S 15730 15717 14523 0 -1 64 19796 0 0 0 133 9 0 0 16 0 9 0 22535742 885145600 23724 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15734] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15734/stat : 15734 (java) S 15730 15717 14523 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 22535742 885145600 23724 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15735] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15735/stat : 15735 (java) S 15730 15717 14523 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 22535742 885145600 23724 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15736] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15736/stat : 15736 (java) S 15730 15717 14523 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22535744 885145600 23724 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15737] ppid=15730 vsize=864400 CPUtime=0.08
/proc/15731/task/15737/stat : 15737 (java) S 15730 15717 14523 0 -1 64 335 0 0 0 8 0 0 0 16 0 9 0 22535744 885145600 23724 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15738] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15738/stat : 15738 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22535744 885145600 23724 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15739] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15739/stat : 15739 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22535744 885145600 23724 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 886624

[startup+12.7015 s]
/proc/loadavg: 2.12 2.06 2.01 3/85 15739
/proc/meminfo: memFree=1422256/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=0.36
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1310 4768 0 1 5 2 25 4 15 0 1 0 22535697 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1111 409 3 0 796 0
[pid=15730] ppid=15717 vsize=5356 CPUtime=0
/proc/15730/stat : 15730 (sh) S 15717 15717 14523 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22535739 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15730/statm: 1339 233 193 169 0 50 0
[pid=15731] ppid=15730 vsize=864400 CPUtime=12.15
/proc/15731/stat : 15731 (java) S 15730 15717 14523 0 -1 0 26467 0 1 0 1201 14 0 0 18 0 9 0 22535739 885145600 25497 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15731/statm: 216100 25497 2590 9 0 210577 0
[pid=15731/tid=15732] ppid=15730 vsize=864400 CPUtime=10.52
/proc/15731/task/15732/stat : 15732 (java) R 15730 15717 14523 0 -1 64 3864 0 1 0 1050 2 0 0 25 0 9 0 22535740 885145600 25497 996147200 134512640 134550932 4294955936 18446744073709551615 4126588183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15733] ppid=15730 vsize=864400 CPUtime=1.51
/proc/15731/task/15733/stat : 15733 (java) S 15730 15717 14523 0 -1 64 21569 0 0 0 141 10 0 0 16 0 9 0 22535742 885145600 25497 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15734] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15734/stat : 15734 (java) S 15730 15717 14523 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 22535742 885145600 25497 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15735] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15735/stat : 15735 (java) S 15730 15717 14523 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 22535742 885145600 25497 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15736] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15736/stat : 15736 (java) S 15730 15717 14523 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22535744 885145600 25497 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15737] ppid=15730 vsize=864400 CPUtime=0.08
/proc/15731/task/15737/stat : 15737 (java) S 15730 15717 14523 0 -1 64 335 0 0 0 8 0 0 0 16 0 9 0 22535744 885145600 25497 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15738] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15738/stat : 15738 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22535744 885145600 25497 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15739] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15739/stat : 15739 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22535744 885145600 25497 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 886624

[startup+25.5023 s]
/proc/loadavg: 2.10 2.05 2.01 3/85 15739
/proc/meminfo: memFree=1403952/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=0.36
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1310 4768 0 1 5 2 25 4 15 0 1 0 22535697 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1111 409 3 0 796 0
[pid=15730] ppid=15717 vsize=5356 CPUtime=0
/proc/15730/stat : 15730 (sh) S 15717 15717 14523 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22535739 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15730/statm: 1339 233 193 169 0 50 0
[pid=15731] ppid=15730 vsize=864400 CPUtime=24.82
/proc/15731/stat : 15731 (java) S 15730 15717 14523 0 -1 0 29226 0 1 0 2461 21 0 0 18 0 9 0 22535739 885145600 28194 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15731/statm: 216100 28194 2590 9 0 210577 0
[pid=15731/tid=15732] ppid=15730 vsize=864400 CPUtime=23
/proc/15731/task/15732/stat : 15732 (java) R 15730 15717 14523 0 -1 64 3926 0 1 0 2293 7 0 0 25 0 9 0 22535740 885145600 28194 996147200 134512640 134550932 4294955936 18446744073709551615 4126593972 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15733] ppid=15730 vsize=864400 CPUtime=1.69
/proc/15731/task/15733/stat : 15733 (java) S 15730 15717 14523 0 -1 64 24261 0 0 0 157 12 0 0 16 0 9 0 22535742 885145600 28194 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15734] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15734/stat : 15734 (java) S 15730 15717 14523 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 22535742 885145600 28194 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15735] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15735/stat : 15735 (java) S 15730 15717 14523 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 22535742 885145600 28194 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15736] ppid=15730 vsize=864400 CPUtime=0

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

/proc/15731/task/15734/stat : 15734 (java) S 15730 15717 14523 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22535742 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15735] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15735/stat : 15735 (java) S 15730 15717 14523 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 22535742 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15736] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15736/stat : 15736 (java) S 15730 15717 14523 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22535744 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15737] ppid=15730 vsize=864400 CPUtime=0.1
/proc/15731/task/15737/stat : 15737 (java) S 15730 15717 14523 0 -1 64 344 0 0 0 10 0 0 0 16 0 9 0 22535744 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15738] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15738/stat : 15738 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22535744 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15739] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15739/stat : 15739 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22535744 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.58
Current children cumulated vsize (KiB) 886624

[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 15739
/proc/meminfo: memFree=1249584/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=0.36
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1310 4768 0 1 5 2 25 4 16 0 1 0 22535697 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1111 409 3 0 796 0
[pid=15730] ppid=15717 vsize=5356 CPUtime=0
/proc/15730/stat : 15730 (sh) S 15717 15717 14523 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22535739 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15730/statm: 1339 233 193 169 0 50 0
[pid=15731] ppid=15730 vsize=864400 CPUtime=219.6
/proc/15731/stat : 15731 (java) S 15730 15717 14523 0 -1 0 56651 0 1 0 21863 97 0 0 18 0 9 0 22535739 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15731/statm: 216100 39108 2590 9 0 210577 0
[pid=15731/tid=15732] ppid=15730 vsize=864400 CPUtime=213.81
/proc/15731/task/15732/stat : 15732 (java) R 15730 15717 14523 0 -1 64 4795 0 1 0 21318 63 0 0 25 0 9 0 22535740 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4126534159 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15733] ppid=15730 vsize=864400 CPUtime=5.65
/proc/15731/task/15733/stat : 15733 (java) S 15730 15717 14523 0 -1 64 50813 0 0 0 533 32 0 0 16 0 9 0 22535742 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15734] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15734/stat : 15734 (java) S 15730 15717 14523 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22535742 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15735] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15735/stat : 15735 (java) S 15730 15717 14523 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 22535742 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15736] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15736/stat : 15736 (java) S 15730 15717 14523 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22535744 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15737] ppid=15730 vsize=864400 CPUtime=0.1
/proc/15731/task/15737/stat : 15737 (java) S 15730 15717 14523 0 -1 64 344 0 0 0 10 0 0 0 16 0 9 0 22535744 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15738] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15738/stat : 15738 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22535744 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15739] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15739/stat : 15739 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22535744 885145600 39108 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 219.96
Current children cumulated vsize (KiB) 886624

[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 15739
/proc/meminfo: memFree=1207664/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=0.36
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1310 4768 0 1 5 2 25 4 16 0 1 0 22535697 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1111 409 3 0 796 0
[pid=15730] ppid=15717 vsize=5356 CPUtime=0
/proc/15730/stat : 15730 (sh) S 15717 15717 14523 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22535739 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15730/statm: 1339 233 193 169 0 50 0
[pid=15731] ppid=15730 vsize=864400 CPUtime=278.99
/proc/15731/stat : 15731 (java) S 15730 15717 14523 0 -1 0 62278 0 1 0 27774 125 0 0 18 0 9 0 22535739 885145600 39167 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15731/statm: 216100 39167 2590 9 0 210577 0
[pid=15731/tid=15732] ppid=15730 vsize=864400 CPUtime=271.77
/proc/15731/task/15732/stat : 15732 (java) R 15730 15717 14523 0 -1 64 5116 0 1 0 27092 85 0 0 25 0 9 0 22535740 885145600 39167 996147200 134512640 134550932 4294955936 18446744073709551615 4126588237 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15733] ppid=15730 vsize=864400 CPUtime=7.08
/proc/15731/task/15733/stat : 15733 (java) S 15730 15717 14523 0 -1 64 56119 0 0 0 670 38 0 0 16 0 9 0 22535742 885145600 39167 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15734] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15734/stat : 15734 (java) S 15730 15717 14523 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22535742 885145600 39167 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15735] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15735/stat : 15735 (java) S 15730 15717 14523 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 22535742 885145600 39167 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15736] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15736/stat : 15736 (java) S 15730 15717 14523 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22535744 885145600 39167 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15737] ppid=15730 vsize=864400 CPUtime=0.1
/proc/15731/task/15737/stat : 15737 (java) S 15730 15717 14523 0 -1 64 344 0 0 0 10 0 0 0 16 0 9 0 22535744 885145600 39167 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15738] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15738/stat : 15738 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22535744 885145600 39167 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15731/tid=15739] ppid=15730 vsize=864400 CPUtime=0
/proc/15731/task/15739/stat : 15739 (java) S 15730 15717 14523 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22535744 885145600 39167 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.35
Current children cumulated vsize (KiB) 886624

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

[startup+294.402 s]
/proc/loadavg: 2.07 2.03 2.00 3/77 15741
/proc/meminfo: memFree=1196336/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=284.42
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1376 67417 0 2 6 2 28296 138 16 0 1 0 22535697 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1113 409 3 0 796 0
[pid=15740] ppid=15717 vsize=5356 CPUtime=0
/proc/15740/stat : 15740 (sh) S 15717 15717 14523 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22564445 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15740/statm: 1339 232 193 169 0 50 0
[pid=15741] ppid=15740 vsize=151180 CPUtime=6.85
/proc/15741/stat : 15741 (minisat) R 15740 15717 14523 0 -1 4194304 37298 0 0 0 652 33 0 0 25 0 1 0 22564445 154808320 37284 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15741/statm: 37795 37284 75 150 0 37642 0
Current children cumulated CPU time (s) 291.27
Current children cumulated vsize (KiB) 173404

[startup+307.202 s]
/proc/loadavg: 2.06 2.03 2.00 3/77 15741
/proc/meminfo: memFree=1187248/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=284.42
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1376 67417 0 2 6 2 28296 138 16 0 1 0 22535697 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1113 409 3 0 796 0
[pid=15740] ppid=15717 vsize=5356 CPUtime=0
/proc/15740/stat : 15740 (sh) S 15717 15717 14523 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22564445 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15740/statm: 1339 232 193 169 0 50 0
[pid=15741] ppid=15740 vsize=158604 CPUtime=19.52
/proc/15741/stat : 15741 (minisat) R 15740 15717 14523 0 -1 4194304 39087 0 0 0 1919 33 0 0 25 0 1 0 22564445 162410496 39073 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15741/statm: 39651 39073 75 150 0 39498 0
Current children cumulated CPU time (s) 303.94
Current children cumulated vsize (KiB) 180828

[startup+313.607 s]
/proc/loadavg: 2.05 2.03 2.00 3/77 15741
/proc/meminfo: memFree=1186096/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=284.42
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1376 67417 0 2 6 2 28296 138 16 0 1 0 22535697 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1113 409 3 0 796 0
[pid=15740] ppid=15717 vsize=5356 CPUtime=0
/proc/15740/stat : 15740 (sh) S 15717 15717 14523 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22564445 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15740/statm: 1339 232 193 169 0 50 0
[pid=15741] ppid=15740 vsize=159428 CPUtime=25.87
/proc/15741/stat : 15741 (minisat) R 15740 15717 14523 0 -1 4194304 39287 0 0 0 2553 34 0 0 25 0 1 0 22564445 163254272 39273 996147200 134512640 135127466 4294956256 18446744073709551615 134530673 0 0 4096 3 0 0 0 17 1 0 0
/proc/15741/statm: 39857 39273 75 150 0 39704 0
Current children cumulated CPU time (s) 310.29
Current children cumulated vsize (KiB) 181652

[startup+316.802 s]
/proc/loadavg: 2.05 2.03 2.00 3/77 15741
/proc/meminfo: memFree=1185712/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=284.42
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1376 67417 0 2 6 2 28296 138 16 0 1 0 22535697 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1113 409 3 0 796 0
[pid=15740] ppid=15717 vsize=5356 CPUtime=0
/proc/15740/stat : 15740 (sh) S 15717 15717 14523 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22564445 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15740/statm: 1339 232 193 169 0 50 0
[pid=15741] ppid=15740 vsize=159696 CPUtime=29.04
/proc/15741/stat : 15741 (minisat) R 15740 15717 14523 0 -1 4194304 39370 0 0 0 2870 34 0 0 25 0 1 0 22564445 163528704 39356 996147200 134512640 135127466 4294956256 18446744073709551615 134530673 0 0 4096 3 0 0 0 17 1 0 0
/proc/15741/statm: 39924 39356 75 150 0 39771 0
Current children cumulated CPU time (s) 313.46
Current children cumulated vsize (KiB) 181920

[startup+318.402 s]
/proc/loadavg: 2.05 2.03 2.00 3/77 15741
/proc/meminfo: memFree=1185520/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=284.42
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1376 67417 0 2 6 2 28296 138 16 0 1 0 22535697 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1113 409 3 0 796 0
[pid=15740] ppid=15717 vsize=5356 CPUtime=0
/proc/15740/stat : 15740 (sh) S 15717 15717 14523 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22564445 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15740/statm: 1339 232 193 169 0 50 0
[pid=15741] ppid=15740 vsize=159828 CPUtime=30.61
/proc/15741/stat : 15741 (minisat) R 15740 15717 14523 0 -1 4194304 39392 0 0 0 3027 34 0 0 25 0 1 0 22564445 163663872 39378 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15741/statm: 39957 39378 75 150 0 39804 0
Current children cumulated CPU time (s) 315.03
Current children cumulated vsize (KiB) 182052

[startup+318.801 s]
/proc/loadavg: 2.05 2.03 2.00 3/77 15741
/proc/meminfo: memFree=1185520/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=315.45
/proc/15717/stat : 15717 (sugar) S 15715 15717 14523 0 -1 4194304 1430 107107 0 2 6 2 31361 176 17 0 1 0 22535697 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15717/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 315.45
Current children cumulated vsize (KiB) 16868

[startup+319.001 s]
/proc/loadavg: 2.05 2.03 2.00 3/75 15751
/proc/meminfo: memFree=1425664/2055920 swapFree=4192812/4192956
[pid=15717] ppid=15715 vsize=16868 CPUtime=315.64
/proc/15717/stat : 15717 (sugar) R 15715 15717 14523 0 -1 4194304 1477 110926 0 3 6 6 31373 179 16 0 1 0 22535697 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 214920041513 0 0 4224 16386 0 0 0 17 1 0 0
/proc/15717/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 315.64
Current children cumulated vsize (KiB) 16868

Child status: 0
Real time (s): 319.044
CPU time (s): 315.686
CPU user time (s): 313.796
CPU system time (s): 1.88971
CPU usage (%): 98.9475
Max. virtual memory (cumulated for all children) (KiB): 899940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 313.796
system time used= 1.88971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112463
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= 19148
involuntary context switches= 25469

runsolver used 0.409937 second user time and 1.12983 second system time

The end

Launcher Data 

Begin job on node10 at 2009-07-12 01:24:46
IDJOB=2071731
IDBENCH=55526
IDSOLVER=739
FILE ID=node10/2071731-1247354686
PBS_JOBID= 9506953
Free space on /tmp= 66356 MiB

SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg16-20_ext.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-2071731-1247354686/watcher-2071731-1247354686 -o /tmp/evaluation-result-2071731-1247354686/solver-2071731-1247354686 -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-2071731-1247354686.xml

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

MD5SUM BENCH= f0a225bca6840ff972009519f8fbf370
RANDOM SEED=1812003951

node10.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.279
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.279
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:       1518832 kB
Buffers:         27676 kB
Cached:         148784 kB
SwapCached:          0 kB
Active:         450148 kB
Inactive:        35508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1518832 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1612 kB
Writeback:           0 kB
Mapped:         320496 kB
Slab:            36244 kB
Committed_AS:   435696 kB
PageTables:       2372 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= 66356 MiB
End job on node10 at 2009-07-12 01:30:06