Trace number 1112607

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar++ v1.13+minisat-incMSAT (MO)842 116.646 117.706

General information on the benchmark

Namecsp/rlfapScens/
normalized-scen9.xml
MD5SUM07304cb7317cdf0b1877fc5044901f5a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints68
Best CPU time to get the best result obtained on this benchmark3600.06
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4103
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.07	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.07	c 0	BEGIN Sat Jul 12 15:50:08 2008
0.00/0.07	c 0	PID 18304
0.00/0.08	c 0	HOST node27.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-1112607-1215870608.xml TO HOME/temp.csp
0.00/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112607-1215870608.xml' 'HOME/temp.csp'
0.07/0.66	c 1	5 domains, 680 variables, 2 predicates, 0 relations, 4103 constraints
0.07/0.71	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.71	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.07/0.79	c 1	Parsing HOME/temp.csp
0.64/1.05	c 1	parsed 4790 expressions
0.64/1.05	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.64/1.09	c 1	MAX CSP: 4103 constraints
0.64/1.09	c 1	Converting to clausal form CSP
1.21/1.31	c 2	converted 890 (10%) expressions
1.81/1.91	c 2	converted 1780 (20%) expressions
2.31/2.42	c 3	converted 2669 (30%) expressions
2.81/2.92	c 3	converted 3559 (40%) expressions
3.21/3.40	c 4	converted 4448 (50%) expressions
3.71/3.86	c 4	converted 5338 (60%) expressions
4.10/4.27	c 5	converted 6228 (70%) expressions
4.61/4.77	c 5	converted 7117 (80%) expressions
5.10/5.22	c 6	converted 8007 (90%) expressions
6.01/6.12	c 7	converted 8896 (100%) expressions
6.01/6.12	c 7	CSP : 8886 integers, 340 booleans, 13328 clauses, largest domain size 6155
6.01/6.12	c 7	Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.01/6.12	c 7	Propagation in CSP
6.20/6.32	c 7	4099 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.20/6.32	c 7	CSP : 8886 integers, 340 booleans, 13328 clauses, largest domain size 4104
6.20/6.32	c 7	Heap : 15 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.20/6.33	c 7	Simplifing CSP by introducing new Boolean variables
6.20/6.38	c 7	CSP : 8886 integers, 8534 booleans, 21522 clauses, largest domain size 4104
6.20/6.38	c 7	Heap : 17 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.31/6.49	c 7	Encoding CSP to SAT : HOME/temp.cnf
6.60/6.75	c 7	889 (10%) CSP integer variables are encoded (25496 clauses, 360840 bytes)
6.60/6.76	c 7	1778 (20%) CSP integer variables are encoded (25496 clauses, 360840 bytes)
6.60/6.76	c 7	2666 (30%) CSP integer variables are encoded (25496 clauses, 360840 bytes)
6.60/6.76	c 7	3555 (40%) CSP integer variables are encoded (25496 clauses, 360840 bytes)
6.60/6.76	c 7	4443 (50%) CSP integer variables are encoded (25496 clauses, 360840 bytes)
6.60/6.77	c 7	5332 (60%) CSP integer variables are encoded (33846 clauses, 486090 bytes)
6.60/6.78	c 7	6221 (70%) CSP integer variables are encoded (41491 clauses, 600765 bytes)
6.60/6.80	c 7	7109 (80%) CSP integer variables are encoded (51983 clauses, 758145 bytes)
6.71/6.81	c 7	7998 (90%) CSP integer variables are encoded (60165 clauses, 880875 bytes)
6.71/6.88	c 7	8886 (100%) CSP integer variables are encoded (115781 clauses, 1763550 bytes)
7.00/7.17	c 8	2153 (10%) CSP clauses are encoded (161493 clauses, 2714685 bytes)
7.20/7.39	c 8	4305 (20%) CSP clauses are encoded (202996 clauses, 3590249 bytes)
7.50/7.62	c 8	6457 (30%) CSP clauses are encoded (249813 clauses, 4585137 bytes)
7.71/7.82	c 8	8609 (40%) CSP clauses are encoded (290519 clauses, 5470344 bytes)
7.90/8.04	c 8	10761 (50%) CSP clauses are encoded (331177 clauses, 6388314 bytes)
8.10/8.25	c 9	12914 (60%) CSP clauses are encoded (373141 clauses, 7337065 bytes)
8.79/8.92	c 9	15066 (70%) CSP clauses are encoded (728562 clauses, 14892280 bytes)
10.68/10.87	c 11	17218 (80%) CSP clauses are encoded (1813548 clauses, 38080219 bytes)
16.26/16.47	c 17	19370 (90%) CSP clauses are encoded (4999346 clauses, 106410612 bytes)
50.61/51.33	c 52	21522 (100%) CSP clauses are encoded (21602276 clauses, 495946781 bytes)
50.61/51.33	c 52	21522 CSP clauses encoded
50.61/51.33	c 52	Writing map file : HOME/temp.map
50.61/51.39	c 52	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
50.61/51.39	c 52	SAT : 133201 SAT variables, 21602276 SAT clauses, 495946781 bytes
50.61/51.39	c 52	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
50.70/51.44	c 52	OBJECTIVE minimize _COST
50.70/51.45	c 52	SOLVING HOME/temp.cnf
50.70/51.45	c 52	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
50.70/51.45	c 52	This is MiniSat 2.0 beta incremental
50.70/51.45	c 52	WARNING: for repeatability, setting FPU to use double precision
50.70/51.45	c 52	============================[ Problem Statistics ]=============================
50.70/51.45	c 52	|                                                                             |
50.70/51.45	c 52	|  Number of variables:  133201                                               |
50.70/51.45	c 52	|  Number of clauses:    21602276                                             |
61.03/61.84	c 62	|  Parsing time:         8.97         s                                       |
61.43/62.25	c 63	OK
61.43/62.25	c 63	OBJECTIVE BOUND: 0 <= _COST <= 
61.43/62.25	c 63	SEARCHING: _COST <= 2052
61.43/62.25	c 63	============================[ Search Statistics ]==============================
61.43/62.25	c 63	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
61.43/62.25	c 63	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
61.43/62.25	c 63	===============================================================================
61.43/62.25	c 63	|         0 |  133201 21602276 64489933 |  7200758        0    nan |  0.000 % |
64.22/65.04	c 65	|       101 |  133201 21602276 64489933 |  7920834      101     71 |  0.000 % |
64.82/65.69	c 66	|       251 |  133201 21602276 64489933 |  8712917      251     46 |  0.000 % |
66.81/67.62	c 68	|       478 |  133201 21602276 64489933 |  9584209      478     51 |  0.000 % |
70.39/71.21	c 72	|       815 |  133201 21602276 64489933 | 10542630      815     59 |  0.000 % |
71.69/72.53	c 73	|      1321 |  133201 21602276 64489933 | 11596893     1321     46 |  0.000 % |
76.56/77.44	c 78	|      2080 |  133201 21602276 64489933 | 12756583     2080     59 |  0.000 % |
80.34/81.22	c 82	|      3219 |  133201 21602276 64489933 | 14032241     3219     81 |  0.000 % |
92.98/93.93	c 94	|      4930 |  133201 21602276 64489933 | 15435465     4930     62 |  0.000 % |
104.63/105.63	c 106	===============================================================================
104.63/105.64	c 106	restarts              : 9
104.63/105.64	c 106	conflicts             : 6640          (127 /sec)
104.63/105.64	c 106	decisions             : 42872         (0.50 % random) (817 /sec)
104.63/105.64	c 106	propagations          : 21671643       (412982 /sec)
104.63/105.64	c 106	conflict literals     : 392215         (14.22 % deleted)
104.63/105.64	c 106	Memory used           : 882.39 MB
104.63/105.64	c 106	CPU time              : 52.476 s
104.63/105.64	c 106	
104.63/105.64	c 106	SATISFIABLE
104.63/105.68	c 106	OK
104.63/105.68	c 106	FOUND: _COST <= 2052
104.63/105.68	s SATISFIABLE
104.63/105.68	c 106	DECODING HOME/temp.out WITH HOME/temp.map
104.63/105.68	c 106	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
104.71/105.77	c 106	Decoding HOME/temp.out
104.71/106.20	c 107	OBJECTIVE _COST 1313
104.71/106.20	o 1313
104.71/106.22	v 394 156 296 58 156 394 554 554 554 792 694 456 540 778 652 324 554 792 554 792 442 680 72 310 554 792 156 394 30 268 792 554 428 254 394 156 44 114 394 156 722 694 268 30 554 792 792 554 792 554 722 484 44 352 792 792 792 666 736 666 456 156 792 324 792 296 792 792 792 736 792 792 792 792 324 86 554 792 792 470 394 394 254 394 526 554 30 268 498 736 254 16 114 352 310 72 694 456 310 72 792 792 736 792 394 792 722 680 16 254 750 442 72 456 792 554 442 680 778 778 72 778 254 380 442 680 792 554 456 694 366 792 254 16 456 792 394 792 156 394 456 694 352 666 792 554 30 484 254 16 44 282 100 338 792 554 44 282 170 408 366 792 792 554 792 666 792 792 554 792 456 554 72 310 310 156 792 498 792 792 722 484 380 142 380 792 526 764 428 666 428 792 792 338 114 428 44 652 512 750 526 764 666 694 470 554 792 792 792 442 156 394 778 778 512 778 722 778 100 680 778 540 30 366 128 366 694 456 366 128 750 512 30 778 16 254 778 540 86 324 142 380 100 338 296 58 352 114 268 30 540 778 792 554 470 708 778 778 484 58 58 296 554 792 540 778 540 778 100 764 100 338 778 540 380 142 30 268 778 540 142 380 58 296 310 72 142 380 554 792 114 778 324 86 394 86 778 540 380 142 72 470 708 470 58 296 540 778 58 296 792 554 30 268 540 778 778 540 540 778 708 470 680 442 540 778 540 778 268 30 554 30 512 750 282 44 380 142 540 778 86 324 778 540 324 86 792 394 554 156 142 380 484 722 128 366 30 268 792 554 30 16 694 456 86 324 366 128 484 722 100 282 86 708 778 778 428 666 540 778 540 778 58 296 142 380 540 778 778 778 792 792 394 156 156 394 30 268 156 352 428 86 498 736 778 282 30 268 778 44 708 470 44 282 324 380 680 442 44 282 470 778 394 156 324 86 680 442 142 778 142 380 484 778 666 778 428 666 44 282 708 470 142 380 778 540 442 694 58 296 156 394 778 540 58 722 694 778 394 156 324 86 764 526 128 366 394 156 778 540 498 736 114 352 100 338 778 540 142 380 540 778 380 142 778 540 58 296 540 778 310 72 380 142 792 554 470 792 554 778 470 708 484 694 414 652 58 86 142 268 680 442 792 380 44 282 128 366 456 694 310 778 540 778 366 128 86 324 268 30 484 722 540 778 540 778 456 72 778 540 380 142 142 142 540 540 778 540 100 338 324 86 694 456 512 282 666 428 792 554 296 58 366 128 792 484 142 380 540 778 380 142 540 778 142 380 540 778 442 680 694 512 86 324 778 540 296 58 254 16 142 380 778 778 282 44 778 540 540 778 142 380 442 680 764 722 792 366 484 554 792 554 708 470 352 114 512 750 324 86 554 792 72 310 722 484 792 442 72 310 554 792 554 792 778 778 72 310 394 156 792 554 142 30 442 680 86 324 778 540 30 268 142 380 540 778 44 282 778 778 142 380 778 540 310 72 470 708 310 380 554 792 114 282 652 792 778 540 100 338
104.71/106.23	c 107	Heap : 2 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
105.28/106.37	c 107	OK
105.28/106.37	c 107	OBJECTIVE BOUND: 0 <= _COST <= 1313
105.28/106.37	c 107	SEARCHING: _COST <= 656
105.28/106.37	c 107	============================[ Search Statistics ]==============================
105.28/106.37	c 107	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
105.28/106.37	c 107	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
105.28/106.37	c 107	===============================================================================
105.28/106.37	c 107	|      6640 |  133201 21602276 64489933 |  7200758     6640     59 |  0.000 % |
106.97/108.07	c 108	|      6741 |  133201 21602276 64489933 |  7920834     6741     59 | 27.784 % |
107.57/108.68	c 109	|      6891 |  133201 21602276 64489933 |  8712917     6891     59 | 27.784 % |
109.56/110.68	c 111	|      7116 |  133201 21602276 64489933 |  9584209     7116     58 | 27.784 % |
112.94/114.03	c 114	|      7454 |  133201 21602276 64489933 | 10542630     7454     59 | 27.784 % |
114.34/115.47	c 116	|      7960 |  133201 21602276 64489933 | 11596893     7960     57 | 27.784 % |
116.23/117.31	c ERROR INTERRUPTED
116.33/117.47	c 118	CPU 111.09 (0.08 0.02 111.01 5.26)
116.33/117.47	c 118	END Sat Jul 12 15:52:06 2008

Verifier Data (download as text)

OK	842	3261
842 unsatisfied constraints, 3261 satisfied constraints

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112607-1215870608/watcher-1112607-1215870608 -o /tmp/evaluation-result-1112607-1215870608/solver-1112607-1215870608 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1112607-1215870608.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18304
/proc/meminfo: memFree=1786832/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=12272 CPUtime=0
/proc/18304/stat : 18304 (sugar++) R 18302 18304 16990 0 -1 4194304 360 0 0 0 0 0 0 0 19 0 1 0 43635286 12566528 328 996147200 4194304 4206940 548682068528 18446744073709551615 233597615102 0 0 4224 0 0 0 0 17 0 0 0
/proc/18304/statm: 3068 328 246 3 0 168 0

[startup+0.10443 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18304
/proc/meminfo: memFree=1786832/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=16740 CPUtime=0.07
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1219 128 0 0 5 2 0 0 16 0 1 0 43635286 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18304/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.202099 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18304
/proc/meminfo: memFree=1786832/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=16740 CPUtime=0.07
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1219 128 0 0 5 2 0 0 16 0 1 0 43635286 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18304/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.302103 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18304
/proc/meminfo: memFree=1786832/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=16740 CPUtime=0.07
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1219 128 0 0 5 2 0 0 16 0 1 0 43635286 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18304/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701486 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18304
/proc/meminfo: memFree=1786832/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=16740 CPUtime=0.07
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1236 128 0 0 5 2 0 0 15 0 1 0 43635286 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18304/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+1.50257 s]
/proc/loadavg: 2.08 2.02 2.01 4/92 18326
/proc/meminfo: memFree=1775288/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=16740 CPUtime=0.64
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1296 7089 0 1 5 2 52 5 15 0 1 0 43635286 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18304/statm: 4185 1104 409 3 0 764 0
[pid=18317] ppid=18304 vsize=5356 CPUtime=0
/proc/18317/stat : 18317 (sh) S 18304 18304 16990 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43635358 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18317/statm: 1339 233 193 169 0 50 0
[pid=18318] ppid=18317 vsize=865456 CPUtime=0.77
/proc/18318/stat : 18318 (java) S 18317 18304 16990 0 -1 0 4788 0 1 0 74 3 0 0 20 0 9 0 43635358 886226944 4202 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18318/statm: 216364 4203 1732 9 0 210939 0
[pid=18318/tid=18319] ppid=18317 vsize=865456 CPUtime=0.57
/proc/18318/task/18319/stat : 18319 (java) R 18317 18304 16990 0 -1 64 2669 0 1 0 55 2 0 0 25 0 9 0 43635359 886226944 4203 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18320] ppid=18317 vsize=865456 CPUtime=0.04
/proc/18318/task/18320/stat : 18320 (java) S 18317 18304 16990 0 -1 64 786 0 0 0 4 0 0 0 16 0 9 0 43635360 886226944 4204 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18321] ppid=18317 vsize=865456 CPUtime=0
/proc/18318/task/18321/stat : 18321 (java) S 18317 18304 16990 0 -1 64 10 0 0 0 0 0 0 0 24 0 9 0 43635360 886226944 4205 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18322] ppid=18317 vsize=865456 CPUtime=0
/proc/18318/task/18322/stat : 18322 (java) S 18317 18304 16990 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 43635360 886226944 4205 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18323] ppid=18317 vsize=865456 CPUtime=0
/proc/18318/task/18323/stat : 18323 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 886226944 4205 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18324] ppid=18317 vsize=865456 CPUtime=0.13
/proc/18318/task/18324/stat : 18324 (java) R 18317 18304 16990 0 -1 64 645 0 0 0 13 0 0 0 16 0 9 0 43635362 886226944 4205 996147200 134512640 134550740 4294955920 18446744073709551615 101757913 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18325] ppid=18317 vsize=865456 CPUtime=0
/proc/18318/task/18325/stat : 18325 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 886226944 4205 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18326] ppid=18317 vsize=865456 CPUtime=0
/proc/18318/task/18326/stat : 18326 (java) S 18317 18304 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43635362 886226944 4205 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 887552

[startup+3.10173 s]
/proc/loadavg: 2.08 2.02 2.01 4/92 18326
/proc/meminfo: memFree=1769400/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=16740 CPUtime=0.64
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1296 7089 0 1 5 2 52 5 15 0 1 0 43635286 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18304/statm: 4185 1104 409 3 0 764 0
[pid=18317] ppid=18304 vsize=5356 CPUtime=0
/proc/18317/stat : 18317 (sh) S 18304 18304 16990 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43635358 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18317/statm: 1339 233 193 169 0 50 0
[pid=18318] ppid=18317 vsize=868376 CPUtime=2.37
/proc/18318/stat : 18318 (java) S 18317 18304 16990 0 -1 0 7557 0 1 0 231 6 0 0 20 0 9 0 43635358 889217024 6651 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18318/statm: 217094 6651 2540 9 0 211669 0
[pid=18318/tid=18319] ppid=18317 vsize=868376 CPUtime=1.98
/proc/18318/task/18319/stat : 18319 (java) R 18317 18304 16990 0 -1 64 2779 0 1 0 196 2 0 0 25 0 9 0 43635359 889217024 6651 996147200 134512640 134550740 4294955920 18446744073709551615 4126598144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18320] ppid=18317 vsize=868376 CPUtime=0.16
/proc/18318/task/18320/stat : 18320 (java) S 18317 18304 16990 0 -1 64 2617 0 0 0 14 2 0 0 16 0 9 0 43635360 889217024 6651 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18321] ppid=18317 vsize=868376 CPUtime=0
/proc/18318/task/18321/stat : 18321 (java) S 18317 18304 16990 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43635360 889217024 6651 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18322] ppid=18317 vsize=868376 CPUtime=0
/proc/18318/task/18322/stat : 18322 (java) S 18317 18304 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43635360 889217024 6651 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18323] ppid=18317 vsize=868376 CPUtime=0
/proc/18318/task/18323/stat : 18323 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 889217024 6651 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18324] ppid=18317 vsize=868376 CPUtime=0.2
/proc/18318/task/18324/stat : 18324 (java) S 18317 18304 16990 0 -1 64 1469 0 0 0 20 0 0 0 16 0 9 0 43635362 889217024 6651 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18325] ppid=18317 vsize=868376 CPUtime=0
/proc/18318/task/18325/stat : 18325 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 889217024 6651 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18326] ppid=18317 vsize=868376 CPUtime=0
/proc/18318/task/18326/stat : 18326 (java) S 18317 18304 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43635362 889217024 6651 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 890472

[startup+6.30205 s]
/proc/loadavg: 2.08 2.02 2.01 3/92 18326
/proc/meminfo: memFree=1763576/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=16740 CPUtime=0.64
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1297 7089 0 1 5 2 52 5 16 0 1 0 43635286 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18304/statm: 4185 1104 409 3 0 764 0
[pid=18317] ppid=18304 vsize=5356 CPUtime=0
/proc/18317/stat : 18317 (sh) S 18304 18304 16990 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43635358 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18317/statm: 1339 233 193 169 0 50 0
[pid=18318] ppid=18317 vsize=868376 CPUtime=5.56
/proc/18318/stat : 18318 (java) S 18317 18304 16990 0 -1 0 10555 0 1 0 547 9 0 0 20 0 9 0 43635358 889217024 8938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18318/statm: 217094 8938 2540 9 0 211669 0
[pid=18318/tid=18319] ppid=18317 vsize=868376 CPUtime=4.79
/proc/18318/task/18319/stat : 18319 (java) R 18317 18304 16990 0 -1 64 3121 0 1 0 476 3 0 0 25 0 9 0 43635359 889217024 8938 996147200 134512640 134550740 4294955920 18446744073709551615 4126569132 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18320] ppid=18317 vsize=868376 CPUtime=0.51
/proc/18318/task/18320/stat : 18320 (java) S 18317 18304 16990 0 -1 64 5254 0 0 0 47 4 0 0 16 0 9 0 43635360 889217024 8938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18321] ppid=18317 vsize=868376 CPUtime=0
/proc/18318/task/18321/stat : 18321 (java) S 18317 18304 16990 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43635360 889217024 8938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18322] ppid=18317 vsize=868376 CPUtime=0
/proc/18318/task/18322/stat : 18322 (java) S 18317 18304 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43635360 889217024 8938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18323] ppid=18317 vsize=868376 CPUtime=0
/proc/18318/task/18323/stat : 18323 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 889217024 8938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18324] ppid=18317 vsize=868376 CPUtime=0.24
/proc/18318/task/18324/stat : 18324 (java) S 18317 18304 16990 0 -1 64 1488 0 0 0 23 1 0 0 15 0 9 0 43635362 889217024 8938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18325] ppid=18317 vsize=868376 CPUtime=0
/proc/18318/task/18325/stat : 18325 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 889217024 8938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18326] ppid=18317 vsize=868376 CPUtime=0
/proc/18318/task/18326/stat : 18326 (java) S 18317 18304 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43635362 889217024 8938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 890472

[startup+12.706 s]
/proc/loadavg: 2.07 2.02 2.00 3/92 18326
/proc/meminfo: memFree=1702008/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=16740 CPUtime=0.64
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1297 7089 0 1 5 2 52 5 16 0 1 0 43635286 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18304/statm: 4185 1104 409 3 0 764 0
[pid=18317] ppid=18304 vsize=5356 CPUtime=0
/proc/18317/stat : 18317 (sh) S 18304 18304 16990 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43635358 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18317/statm: 1339 233 193 169 0 50 0
[pid=18318] ppid=18317 vsize=868488 CPUtime=11.95
/proc/18318/stat : 18318 (java) S 18317 18304 16990 0 -1 0 12201 0 1 0 1138 57 0 0 20 0 9 0 43635358 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18318/statm: 217122 9456 2566 9 0 211669 0
[pid=18318/tid=18319] ppid=18317 vsize=868488 CPUtime=10.61
/proc/18318/task/18319/stat : 18319 (java) R 18317 18304 16990 0 -1 64 4297 0 1 0 1019 42 0 0 25 0 9 0 43635359 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18320] ppid=18317 vsize=868488 CPUtime=1.01
/proc/18318/task/18320/stat : 18320 (java) S 18317 18304 16990 0 -1 64 5680 0 0 0 89 12 0 0 16 0 9 0 43635360 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18321] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18321/stat : 18321 (java) S 18317 18304 16990 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43635360 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18322] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18322/stat : 18322 (java) S 18317 18304 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43635360 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18323] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18323/stat : 18323 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18324] ppid=18317 vsize=868488 CPUtime=0.3
/proc/18318/task/18324/stat : 18324 (java) S 18317 18304 16990 0 -1 64 1532 0 0 0 29 1 0 0 15 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18325] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18325/stat : 18325 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18326] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18326/stat : 18326 (java) S 18317 18304 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 890584

[startup+25.503 s]
/proc/loadavg: 2.06 2.01 2.00 4/92 18326
/proc/meminfo: memFree=1576696/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=16740 CPUtime=0.64
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1297 7089 0 1 5 2 52 5 16 0 1 0 43635286 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18304/statm: 4185 1104 409 3 0 764 0
[pid=18317] ppid=18304 vsize=5356 CPUtime=0
/proc/18317/stat : 18317 (sh) S 18304 18304 16990 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43635358 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18317/statm: 1339 233 193 169 0 50 0
[pid=18318] ppid=18317 vsize=868488 CPUtime=24.67
/proc/18318/stat : 18318 (java) S 18317 18304 16990 0 -1 0 14384 0 1 0 2327 140 0 0 20 0 9 0 43635358 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18318/statm: 217122 9456 2566 9 0 211669 0
[pid=18318/tid=18319] ppid=18317 vsize=868488 CPUtime=22.67
/proc/18318/task/18319/stat : 18319 (java) R 18317 18304 16990 0 -1 64 6480 0 1 0 2153 114 0 0 25 0 9 0 43635359 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18320] ppid=18317 vsize=868488 CPUtime=1.67
/proc/18318/task/18320/stat : 18320 (java) S 18317 18304 16990 0 -1 64 5680 0 0 0 144 23 0 0 16 0 9 0 43635360 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18321] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18321/stat : 18321 (java) S 18317 18304 16990 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43635360 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18322] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18322/stat : 18322 (java) S 18317 18304 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43635360 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18323] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18323/stat : 18323 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18324] ppid=18317 vsize=868488 CPUtime=0.3
/proc/18318/task/18324/stat : 18324 (java) S 18317 18304 16990 0 -1 64 1532 0 0 0 29 1 0 0 15 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18325] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18325/stat : 18325 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18326] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18326/stat : 18326 (java) S 18317 18304 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 890584

[startup+51.1024 s]
/proc/loadavg: 2.09 2.03 2.01 3/92 18326
/proc/meminfo: memFree=1267448/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=16740 CPUtime=0.64
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1297 7089 0 1 5 2 52 5 16 0 1 0 43635286 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18304/statm: 4185 1104 409 3 0 764 0
[pid=18317] ppid=18304 vsize=5356 CPUtime=0
/proc/18317/stat : 18317 (sh) S 18304 18304 16990 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43635358 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18317/statm: 1339 233 193 169 0 50 0
[pid=18318] ppid=18317 vsize=868488 CPUtime=49.77
/proc/18318/stat : 18318 (java) S 18317 18304 16990 0 -1 0 19479 0 1 0 4623 354 0 0 20 0 9 0 43635358 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18318/statm: 217122 9456 2566 9 0 211669 0
[pid=18318/tid=18319] ppid=18317 vsize=868488 CPUtime=46.21
/proc/18318/task/18319/stat : 18319 (java) R 18317 18304 16990 0 -1 64 11575 0 1 0 4323 298 0 0 25 0 9 0 43635359 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4127077432 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18320] ppid=18317 vsize=868488 CPUtime=3.23
/proc/18318/task/18320/stat : 18320 (java) S 18317 18304 16990 0 -1 64 5680 0 0 0 270 53 0 0 16 0 9 0 43635360 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18321] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18321/stat : 18321 (java) S 18317 18304 16990 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43635360 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18322] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18322/stat : 18322 (java) S 18317 18304 16990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43635360 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18323] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18323/stat : 18323 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18324] ppid=18317 vsize=868488 CPUtime=0.3
/proc/18318/task/18324/stat : 18324 (java) S 18317 18304 16990 0 -1 64 1532 0 0 0 29 1 0 0 15 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18325] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18325/stat : 18325 (java) S 18317 18304 16990 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18318/tid=18326] ppid=18317 vsize=868488 CPUtime=0
/proc/18318/task/18326/stat : 18326 (java) S 18317 18304 16990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43635362 889331712 9456 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 890584

[startup+102.302 s]
/proc/loadavg: 2.04 2.02 2.00 3/83 18327
/proc/meminfo: memFree=408384/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=17268 CPUtime=50.75
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1596 26934 0 2 8 2 4703 362 16 0 1 0 43635286 17682432 1244 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18304/statm: 4317 1244 414 3 0 896 0
[pid=18327] ppid=18304 vsize=903436 CPUtime=50.59
/proc/18327/stat : 18327 (minisat-inc) R 18304 18304 16990 0 -1 4194304 219388 0 0 0 4915 144 0 0 25 0 1 0 43640431 925118464 219337 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/18327/statm: 225859 219337 74 151 0 225705 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 920704



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+117.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/83 18337
/proc/meminfo: memFree=407616/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=17268 CPUtime=51.29
/proc/18304/stat : 18304 (sugar++) S 18302 18304 16990 0 -1 4194304 1683 31584 0 3 8 2 4752 367 16 0 1 0 43635286 17682432 1246 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18304/statm: 4317 1246 414 3 0 896 0
[pid=18327] ppid=18304 vsize=904388 CPUtime=64.94
/proc/18327/stat : 18327 (minisat-inc) R 18304 18304 16990 0 -1 4194304 219618 0 0 0 6349 145 0 0 25 0 1 0 43640431 926093312 219565 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/18327/statm: 226097 219565 80 151 0 225943 0
Current children cumulated CPU time (s) 116.23
Current children cumulated vsize (KiB) 921656

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

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

[startup+117.501 s]
/proc/loadavg: 2.03 2.02 2.00 3/83 18337
/proc/meminfo: memFree=407616/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=17268 CPUtime=116.43
/proc/18304/stat : 18304 (sugar++) R 18302 18304 16990 0 -1 4194304 1708 251202 0 3 8 8 11101 526 18 0 1 0 43635286 17682432 1247 996147200 4194304 4206940 548682068528 18446744073709551615 233588888617 0 0 4224 16386 0 0 0 17 0 0 0
/proc/18304/statm: 4317 1247 415 3 0 896 0
Current children cumulated CPU time (s) 116.43
Current children cumulated vsize (KiB) 17268

[startup+117.701 s]
/proc/loadavg: 2.03 2.02 2.00 3/83 18338
/proc/meminfo: memFree=1784448/2055920 swapFree=4178780/4192956
[pid=18304] ppid=18302 vsize=0 CPUtime=116.63
/proc/18304/stat : 18304 (sugar++) R 18302 18304 16990 0 -1 4194308 1764 251202 0 3 8 28 11101 526 18 0 1 0 43635286 0 0 996147200 0 0 0 0 0 0 0 4224 16386 0 0 0 17 0 0 0
/proc/18304/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 116.63
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 117.706
CPU time (s): 116.646
CPU user time (s): 111.098
CPU system time (s): 5.54816
CPU usage (%): 99.0993
Max. virtual memory (cumulated for all children) (KiB): 921656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.098
system time used= 5.54816
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252966
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= 66352
involuntary context switches= 68300

runsolver used 0.145977 second user time and 0.413937 second system time

The end

Launcher Data (download as text)

Begin job on node27 at 2008-07-12 15:50:08
IDJOB=1112607
IDBENCH=61444
IDSOLVER=367
FILE ID=node27/1112607-1215870608
PBS_JOBID= 7903476
Free space on /tmp= 66468 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/rlfapScens/normalized-scen9.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112607-1215870608/watcher-1112607-1215870608 -o /tmp/evaluation-result-1112607-1215870608/solver-1112607-1215870608 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1112607-1215870608.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 07304cb7317cdf0b1877fc5044901f5a
RANDOM SEED=19408600

node27.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		: 2800.234
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	: 5521.40
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		: 2800.234
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:       1787248 kB
Buffers:         57912 kB
Cached:         117264 kB
SwapCached:       7540 kB
Active:         101548 kB
Inactive:       101908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1787248 kB
SwapTotal:     4192956 kB
SwapFree:      4178780 kB
Dirty:            1348 kB
Writeback:           0 kB
Mapped:          43924 kB
Slab:            50340 kB
Committed_AS:   270180 kB
PageTables:       1828 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66468 MiB
End job on node27 at 2008-07-12 15:52:08