Trace number 2083655

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sugar v1.14.6+minisatSAT 518.969 533.613

General information on the benchmark

Namecsp/fapp/fapp31/
normalized-fapp31-0400-7.xml
MD5SUMb6ccf6de2a96d16153e1dfc9d32ad1be
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark176.203
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints3003
Maximum constraint arity2
Maximum domain size700
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3003
Global constraints used (with number of constraints)

Solver Data 

0.04/0.07	c 0	Sugar v1-14-6 + HOME/minisat
0.04/0.07	c 0	BEGIN Sun Jul 12 07:51:45 2009
0.04/0.07	c 0	PID 26582
0.04/0.08	c 0	HOST node82.alineos.net
0.04/0.08	c 0	CONVERTING HOME/instance-2083655-1247377904.xml TO HOME/temp.csp
0.04/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-2083655-1247377904.xml' 'HOME/temp.csp'
0.06/0.61	c 1	4 domains, 400 variables, 6 predicates, 0 relations, 3003 constraints
0.06/0.65	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.65	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.58/0.73	c 1	Parsing HOME/temp.csp
0.58/0.83	c 1	parsed 3413 expressions
0.58/0.84	c 1	Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.58/0.84	c 1	Converting to clausal form CSP
0.58/0.88	c 1	converted 342 (10%) expressions
1.70/1.90	c 2	converted 683 (20%) expressions
2.59/2.77	c 3	converted 1024 (30%) expressions
3.39/3.59	c 4	converted 1366 (40%) expressions
4.08/4.26	c 4	converted 1707 (50%) expressions
4.79/4.91	c 5	converted 2048 (60%) expressions
5.38/5.56	c 6	converted 2390 (70%) expressions
5.97/6.16	c 6	converted 2731 (80%) expressions
6.56/6.74	c 7	converted 3072 (90%) expressions
7.17/7.32	c 7	converted 3413 (100%) expressions
7.17/7.32	c 7	CSP : 785 integers, 8145 booleans, 18131 clauses, largest domain size 2601
7.17/7.32	c 7	Heap : 11 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
7.17/7.32	c 7	Propagation in CSP
7.56/7.80	c 8	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.56/7.80	c 8	CSP : 785 integers, 8145 booleans, 18131 clauses, largest domain size 2601
7.56/7.80	c 8	Heap : 10 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
7.66/7.81	c 8	Simplifing CSP by introducing new Boolean variables
7.76/7.95	c 8	CSP : 785 integers, 14819 booleans, 24805 clauses, largest domain size 2601
7.76/7.95	c 8	Heap : 12 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
7.86/8.06	c 8	Encoding CSP to SAT : HOME/temp.cnf
9.75/9.95	c 10	79 (10%) CSP integer variables are encoded (53338 clauses, 777956 bytes)
11.54/11.79	c 12	157 (20%) CSP integer variables are encoded (106328 clauses, 1585759 bytes)
13.43/13.66	c 14	236 (30%) CSP integer variables are encoded (160016 clauses, 2498455 bytes)
15.34/15.76	c 16	314 (40%) CSP integer variables are encoded (214460 clauses, 3424003 bytes)
17.24/17.62	c 18	393 (50%) CSP integer variables are encoded (267852 clauses, 4331667 bytes)
17.63/18.02	c 18	471 (60%) CSP integer variables are encoded (455791 clauses, 7526630 bytes)
17.83/18.25	c 18	550 (70%) CSP integer variables are encoded (652340 clauses, 10867963 bytes)
18.03/18.49	c 19	628 (80%) CSP integer variables are encoded (850946 clauses, 14244265 bytes)
18.33/18.74	c 19	707 (90%) CSP integer variables are encoded (1051299 clauses, 17754239 bytes)
18.52/18.99	c 19	785 (100%) CSP integer variables are encoded (1254021 clauses, 21605957 bytes)
26.63/27.12	c 27	2481 (10%) CSP clauses are encoded (2178146 clauses, 43709543 bytes)
33.87/34.46	c 35	4961 (20%) CSP clauses are encoded (3066901 clauses, 65235856 bytes)
41.04/41.71	c 42	7442 (30%) CSP clauses are encoded (4007323 clauses, 88123720 bytes)
47.73/48.63	c 49	9922 (40%) CSP clauses are encoded (4960485 clauses, 112293502 bytes)
54.12/55.01	c 55	12403 (50%) CSP clauses are encoded (5951491 clauses, 137190166 bytes)
60.16/61.39	c 62	14883 (60%) CSP clauses are encoded (6911749 clauses, 161615905 bytes)
66.38/67.67	c 68	17364 (70%) CSP clauses are encoded (7891774 clauses, 186651477 bytes)
72.33/73.67	c 74	19844 (80%) CSP clauses are encoded (8803284 clauses, 209943808 bytes)
78.47/80.21	c 80	22325 (90%) CSP clauses are encoded (9826680 clauses, 236003477 bytes)
84.41/86.28	c 86	24805 (100%) CSP clauses are encoded (10770423 clauses, 260161424 bytes)
84.41/86.28	c 86	24805 CSP clauses encoded
84.49/87.00	c 87	Writing map file : HOME/temp.map
84.49/87.08	c 87	Heap : 9 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
84.49/87.08	c 87	SAT : 1269625 SAT variables, 10770423 SAT clauses, 260161424 bytes
84.49/87.08	c 87	Heap : 9 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
84.59/87.10	c 87	SOLVING HOME/temp.cnf
84.59/87.10	c 87	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
84.59/87.77	c 88	This is MiniSat 2.0 beta
84.59/87.77	c 88	WARNING: for repeatability, setting FPU to use double precision
84.59/87.77	c 88	============================[ Problem Statistics ]=============================
84.59/87.77	c 88	|                                                                             |
84.59/87.77	c 88	|  Number of variables:  1269625                                              |
84.59/87.77	c 88	|  Number of clauses:    10770423                                             |
90.66/94.19	c 94	|  Parsing time:         5.28         s                                       |
91.06/94.52	c 95	============================[ Search Statistics ]==============================
91.06/94.52	c 95	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
91.06/94.52	c 95	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
91.06/94.52	c 95	===============================================================================
91.06/94.52	c 95	|         0 | 1269620 10770413 29820040 |  3590137        0    nan |  0.000 % |
91.75/95.26	c 95	|       100 | 1269620 10770413 29820040 |  3949151      100      3 |  0.000 % |
94.11/97.61	c 98	|       250 | 1269617 10770413 29820040 |  4344066      247      3 |  0.001 % |
96.78/100.37	c 101	|       475 | 1269604 10770413 29820040 |  4778473      462      4 |  1.493 % |
100.56/104.18	c 104	|       813 | 1269316 10770413 29820040 |  5256320      793      4 |  2.655 % |
106.58/110.23	c 110	|      1319 | 1228805 10467549 28992965 |  5781952     1279      5 |  3.295 % |
116.31/120.01	c 120	|      2078 | 1228449 10467549 28992965 |  6360147     2021      5 |  6.431 % |
129.50/133.33	c 133	|      3217 | 1183840 10076583 27908856 |  6996162     3057      5 |  9.843 % |
154.27/158.33	c 158	|      4927 | 1091267  9277795 25705071 |  7695778     4534      5 | 16.453 % |
188.26/192.58	c 193	|      7490 |  992432  8488575 23541832 |  8465356     6748      6 | 23.281 % |
237.48/242.13	c 242	|     11336 |  883778  7530806 20893158 |  9311892    10031      6 | 30.742 % |
307.66/312.40	c 313	|     17102 |  734949  6214684 17250030 | 10243081    14478      6 | 42.162 % |
398.39/403.29	c 403	|     25751 |  597489  4976587 13817460 | 11267389    21961      7 | 52.943 % |
516.83/522.02	c 522	===============================================================================
516.90/522.48	c 523	restarts              : 13
516.90/522.48	c 523	conflicts             : 33921          (79 /sec)
516.90/522.48	c 523	decisions             : 2378450        (0.70 % random) (5522 /sec)
516.90/522.48	c 523	propagations          : 923152362      (2143210 /sec)
516.90/522.48	c 523	conflict literals     : 224876         (12.52 % deleted)
516.90/522.48	c 523	Memory used           : 546.51 MB
516.90/522.48	c 523	CPU time              : 430.734 s
516.90/522.48	c 523	
517.31/523.08	c 523	SATISFIABLE
517.42/523.17	c 523	DECODING HOME/temp.out WITH HOME/temp.map
517.42/523.17	c 523	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'
517.53/526.77	c 527	Decoding HOME/temp.out
518.83/530.64	s SATISFIABLE
518.83/530.66	v 2492 2380 1488 2016 1736 -1492 2600 2600 2096 -2296 -2312 2316 2296 2560 2412 2176 1672 2476 2600 1328 1616 2420 -2556 -1256 2600 2560 -1816 1300 2316 1656 2460 -2268 -1820 2088 2268 1448 1300 1968 -2488 2308 2560 -2324 2600 2448 -2436 2288 2096 -1860 2600 2192 1688 2004 2492 1444 1732 1404 1372 2056 1348 2540 2396 -1880 1980 2596 2188 2024 1676 2600 1696 1688 1872 2380 1488 1992 2068 1760 2556 1980 2600 1276 2256 1272 2400 2248 1348 1680 1844 2380 1420 2260 -1920 1936 2560 2468 2328 1204 2272 2356 2600 2560 1332 -1860 1596 1768 -1720 1304 2272 2448 1252 -2236 1308 2020 1976 1364 1236 1616 -1204 1376 -1600 1324 1672 2256 1288 1324 2292 2056 1344 1452 2180 1492 1656 1412 1512 2420 2560 1328 1524 1372 1776 2296 2560 2276 2452 -2048 1884 2448 1292 2412 1708 -1636 1328 1956 1308 1348 1596 1356 1680 -2600 1984 2048 1808 1636 1336 2452 2600 1800 2008 1452 -2452 -2504 1796 2560 1632 1376 2220 1244 -2560 2120 -2424 2016 2232 2452 -2424 -1732 2196 2600 1636 2580 1732 -2060 1452 -1520 2488 1948 1880 1348 -2600 1832 2352 1300 1288 1388 1384 2056 2464 2600 1376 1264 1520 2248 2560 1368 1204 1656 1496 2176 -2600 1496 1332 1312 1860 1388 2560 -1772 1772 1464 -1840 -1420 2600 -2420 1584 1640 1772 1484 1928 1672 1328 1308 2028 2232 2488 1316 1808 1244 1456 2288 1420 2136 2600 1492 1244 2600 1356 2220 1332 2448 2560 1420 2420 1316 2600 1424 2116 -2560 1912 1900 -2600 1460 1348 -2560 2372 -2408 1728 2312 -2032 2560 1632 1668 1908 1284 2560 2516 -1532 2252 1492 2384 2152 1460 1296 2288 1832 1776 2216 1292 1868 1364 -2272 1732 2212 2600 1888 2600 2380 1768 2076 -2560 1416 2308 1648 2504 1272 2560 2252 -2560 2508 -1248 1952 -2600 1880 1556 1640 2560 1996 1736 2284 1408 1600 1404 1268 -2020 -2464 1992 1712 2136 2044 2356 -1448 1248 -2560 1544 1820 1964 1836 2104 -2436 1208 1976 1416 1260 2560 2452 1312 1696 -2360 -1872 -2396 1560 1840 1596 1772 1208 2348 2256 -2560 2016 2560 2464 1372 1460 1244 1952 1640 2080 2020 2500 1976 1908 -1560 2412 1284 2064 1404 -1308 1552 -1536 2412 1288 -2600 -1380 1924 2096 1260 1260 1368 2148 2228 1768 1284 -1808 1848
518.83/530.67	c 531	Heap : 17 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
518.90/530.71	c 531	CPU 518.93 (0.06 0.02 514.78 4.07)
518.90/530.71	c 531	END Sun Jul 12 08:00:36 2009

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083655-1247377904/watcher-2083655-1247377904 -o /tmp/evaluation-result-2083655-1247377904/solver-2083655-1247377904 -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-2083655-1247377904.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: 4.21 3.10 2.52 3/83 26582
/proc/meminfo: memFree=683376/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=24 CPUtime=0
/proc/26582/stat : 26582 (sugar) R 26580 26582 26338 0 -1 4194304 16 0 0 0 0 0 0 0 20 0 1 0 24855482 24576 2 996147200 0 0 548682069409 18446744073709551615 224264776999 0 0 4096 0 0 0 0 17 1 0 0
/proc/26582/statm: 6 2 0 0 0 1 0

[startup+0.0534181 s]
/proc/loadavg: 4.21 3.10 2.52 3/83 26582
/proc/meminfo: memFree=683376/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=14908 CPUtime=0.04
/proc/26582/stat : 26582 (sugar) R 26580 26582 26338 0 -1 4194304 888 0 0 0 3 1 0 0 20 0 1 0 24855482 15265792 856 996147200 4194304 4206940 548682068608 18446744073709551615 224284508704 0 0 4224 0 0 0 0 17 0 0 0
/proc/26582/statm: 3727 856 378 3 0 566 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14908

[startup+0.102427 s]
/proc/loadavg: 4.21 3.10 2.52 3/83 26582
/proc/meminfo: memFree=683376/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=0.06
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 24855482 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26582/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.302462 s]
/proc/loadavg: 4.21 3.10 2.52 3/83 26582
/proc/meminfo: memFree=683376/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=0.06
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 24855482 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26582/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.702554 s]
/proc/loadavg: 4.21 3.10 2.52 3/83 26582
/proc/meminfo: memFree=683376/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=0.58
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1292 6742 0 1 5 1 48 4 16 0 1 0 24855482 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26582/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 16868

[startup+1.50169 s]
/proc/loadavg: 4.21 3.10 2.52 3/94 26604
/proc/meminfo: memFree=663000/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=0.58
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1309 6742 0 1 5 1 48 4 16 0 1 0 24855482 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26582/statm: 4217 1111 409 3 0 796 0
[pid=26595] ppid=26582 vsize=5356 CPUtime=0
/proc/26595/stat : 26595 (sh) S 26582 26582 26338 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24855548 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26595/statm: 1339 233 193 169 0 50 0
[pid=26596] ppid=26595 vsize=868508 CPUtime=0.82
/proc/26596/stat : 26596 (java) S 26595 26582 26338 0 -1 0 5442 0 1 0 79 3 0 0 18 0 9 0 24855548 889352192 4828 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26596/statm: 217127 4828 1742 9 0 211632 0
[pid=26596/tid=26597] ppid=26595 vsize=868508 CPUtime=0.6
/proc/26596/task/26597/stat : 26597 (java) R 26595 26582 26338 0 -1 64 2710 0 1 0 59 1 0 0 22 0 9 0 24855549 889352192 4828 996147200 134512640 134550932 4294955936 18446744073709551615 4126376771 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26598] ppid=26595 vsize=868508 CPUtime=0.04
/proc/26596/task/26598/stat : 26598 (java) S 26595 26582 26338 0 -1 64 578 0 0 0 4 0 0 0 16 0 9 0 24855550 889352192 4828 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26599] ppid=26595 vsize=868508 CPUtime=0
/proc/26596/task/26599/stat : 26599 (java) S 26595 26582 26338 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 24855550 889352192 4828 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26600] ppid=26595 vsize=868508 CPUtime=0
/proc/26596/task/26600/stat : 26600 (java) S 26595 26582 26338 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 24855550 889352192 4828 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26601] ppid=26595 vsize=868508 CPUtime=0
/proc/26596/task/26601/stat : 26601 (java) S 26595 26582 26338 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24855552 889352192 4828 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26602] ppid=26595 vsize=868508 CPUtime=0.14
/proc/26596/task/26602/stat : 26602 (java) S 26595 26582 26338 0 -1 64 1461 0 0 0 14 0 0 0 16 0 9 0 24855552 889352192 4828 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26603] ppid=26595 vsize=868508 CPUtime=0
/proc/26596/task/26603/stat : 26603 (java) S 26595 26582 26338 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24855552 889352192 4828 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26604] ppid=26595 vsize=868508 CPUtime=0
/proc/26596/task/26604/stat : 26604 (java) S 26595 26582 26338 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24855552 889352192 4828 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 890732

[startup+3.10298 s]
/proc/loadavg: 4.11 3.09 2.52 3/94 26604
/proc/meminfo: memFree=646616/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=0.58
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1309 6742 0 1 5 1 48 4 16 0 1 0 24855482 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26582/statm: 4217 1111 409 3 0 796 0
[pid=26595] ppid=26582 vsize=5356 CPUtime=0
/proc/26595/stat : 26595 (sh) S 26582 26582 26338 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24855548 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26595/statm: 1339 233 193 169 0 50 0
[pid=26596] ppid=26595 vsize=868508 CPUtime=2.41
/proc/26596/stat : 26596 (java) S 26595 26582 26338 0 -1 0 6126 0 1 0 236 5 0 0 18 0 9 0 24855548 889352192 5315 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26596/statm: 217127 5315 1744 9 0 211632 0
[pid=26596/tid=26597] ppid=26595 vsize=868508 CPUtime=2.07
/proc/26596/task/26597/stat : 26597 (java) R 26595 26582 26338 0 -1 64 2907 0 1 0 205 2 0 0 25 0 9 0 24855549 889352192 5315 996147200 134512640 134550932 4294955936 18446744073709551615 4126507824 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26598] ppid=26595 vsize=868508 CPUtime=0.15
/proc/26596/task/26598/stat : 26598 (java) S 26595 26582 26338 0 -1 64 1051 0 0 0 14 1 0 0 16 0 9 0 24855550 889352192 5315 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26599] ppid=26595 vsize=868508 CPUtime=0
/proc/26596/task/26599/stat : 26599 (java) S 26595 26582 26338 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 24855550 889352192 5315 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26600] ppid=26595 vsize=868508 CPUtime=0
/proc/26596/task/26600/stat : 26600 (java) S 26595 26582 26338 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 24855550 889352192 5315 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26601] ppid=26595 vsize=868508 CPUtime=0
/proc/26596/task/26601/stat : 26601 (java) S 26595 26582 26338 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24855552 889352192 5315 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26602] ppid=26595 vsize=868508 CPUtime=0.17
/proc/26596/task/26602/stat : 26602 (java) S 26595 26582 26338 0 -1 64 1475 0 0 0 17 0 0 0 15 0 9 0 24855552 889352192 5315 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26603] ppid=26595 vsize=868508 CPUtime=0
/proc/26596/task/26603/stat : 26603 (java) S 26595 26582 26338 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24855552 889352192 5315 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26604] ppid=26595 vsize=868508 CPUtime=0
/proc/26596/task/26604/stat : 26604 (java) S 26595 26582 26338 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24855552 889352192 5315 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 890732

[startup+6.30158 s]
/proc/loadavg: 4.11 3.09 2.52 4/94 26604
/proc/meminfo: memFree=613144/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=0.58
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1309 6742 0 1 5 1 48 4 16 0 1 0 24855482 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26582/statm: 4217 1111 409 3 0 796 0
[pid=26595] ppid=26582 vsize=5356 CPUtime=0
/proc/26595/stat : 26595 (sh) S 26582 26582 26338 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24855548 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26595/statm: 1339 233 193 169 0 50 0
[pid=26596] ppid=26595 vsize=868592 CPUtime=5.6
/proc/26596/stat : 26596 (java) S 26595 26582 26338 0 -1 0 10123 0 1 0 549 11 0 0 18 0 9 0 24855548 889438208 7549 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26596/statm: 217148 7549 2567 9 0 211653 0
[pid=26596/tid=26597] ppid=26595 vsize=868592 CPUtime=4.91
/proc/26596/task/26597/stat : 26597 (java) R 26595 26582 26338 0 -1 64 3300 0 1 0 487 4 0 0 25 0 9 0 24855549 889438208 7549 996147200 134512640 134550932 4294955936 18446744073709551615 4126507824 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26598] ppid=26595 vsize=868592 CPUtime=0.48
/proc/26596/task/26598/stat : 26598 (java) S 26595 26582 26338 0 -1 64 4646 0 0 0 43 5 0 0 16 0 9 0 24855550 889438208 7549 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26599] ppid=26595 vsize=868592 CPUtime=0
/proc/26596/task/26599/stat : 26599 (java) S 26595 26582 26338 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24855550 889438208 7549 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26600] ppid=26595 vsize=868592 CPUtime=0
/proc/26596/task/26600/stat : 26600 (java) S 26595 26582 26338 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24855550 889438208 7549 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26601] ppid=26595 vsize=868592 CPUtime=0
/proc/26596/task/26601/stat : 26601 (java) S 26595 26582 26338 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24855552 889438208 7549 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26602] ppid=26595 vsize=868592 CPUtime=0.18
/proc/26596/task/26602/stat : 26602 (java) S 26595 26582 26338 0 -1 64 1479 0 0 0 18 0 0 0 15 0 9 0 24855552 889438208 7549 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26603] ppid=26595 vsize=868592 CPUtime=0
/proc/26596/task/26603/stat : 26603 (java) S 26595 26582 26338 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24855552 889438208 7549 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26604] ppid=26595 vsize=868592 CPUtime=0
/proc/26596/task/26604/stat : 26604 (java) S 26595 26582 26338 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24855552 889438208 7549 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 890816

[startup+12.7028 s]
/proc/loadavg: 4.02 3.09 2.52 3/94 26606
/proc/meminfo: memFree=544984/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=0.58
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1310 6742 0 1 5 1 48 4 16 0 1 0 24855482 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26582/statm: 4217 1111 409 3 0 796 0
[pid=26595] ppid=26582 vsize=5356 CPUtime=0
/proc/26595/stat : 26595 (sh) S 26582 26582 26338 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24855548 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26595/statm: 1339 233 193 169 0 50 0
[pid=26596] ppid=26595 vsize=868704 CPUtime=11.95
/proc/26596/stat : 26596 (java) S 26595 26582 26338 0 -1 0 11805 0 1 0 1178 17 0 0 18 0 9 0 24855548 889552896 8622 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26596/statm: 217176 8622 2592 9 0 211653 0
[pid=26596/tid=26597] ppid=26595 vsize=868704 CPUtime=10.89
/proc/26596/task/26597/stat : 26597 (java) R 26595 26582 26338 0 -1 64 3713 0 1 0 1082 7 0 0 25 0 9 0 24855549 889552896 8622 996147200 134512640 134550932 4294955936 18446744073709551615 4126994144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26598] ppid=26595 vsize=868704 CPUtime=0.82
/proc/26596/task/26598/stat : 26598 (java) S 26595 26582 26338 0 -1 64 5883 0 0 0 74 8 0 0 16 0 9 0 24855550 889552896 8622 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26599] ppid=26595 vsize=868704 CPUtime=0
/proc/26596/task/26599/stat : 26599 (java) S 26595 26582 26338 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24855550 889552896 8622 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26600] ppid=26595 vsize=868704 CPUtime=0
/proc/26596/task/26600/stat : 26600 (java) S 26595 26582 26338 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24855550 889552896 8622 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26601] ppid=26595 vsize=868704 CPUtime=0
/proc/26596/task/26601/stat : 26601 (java) S 26595 26582 26338 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24855552 889552896 8622 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26602] ppid=26595 vsize=868704 CPUtime=0.22
/proc/26596/task/26602/stat : 26602 (java) S 26595 26582 26338 0 -1 64 1511 0 0 0 22 0 0 0 15 0 9 0 24855552 889552896 8622 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26603] ppid=26595 vsize=868704 CPUtime=0
/proc/26596/task/26603/stat : 26603 (java) S 26595 26582 26338 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24855552 889552896 8622 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26604] ppid=26595 vsize=868704 CPUtime=0
/proc/26596/task/26604/stat : 26604 (java) S 26595 26582 26338 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24855552 889552896 8622 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 890928

[startup+25.5022 s]
/proc/loadavg: 4.10 3.15 2.55 3/94 26607
/proc/meminfo: memFree=392280/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=0.58
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1310 6742 0 1 5 1 48 4 15 0 1 0 24855482 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26582/statm: 4217 1111 409 3 0 796 0
[pid=26595] ppid=26582 vsize=5356 CPUtime=0
/proc/26595/stat : 26595 (sh) S 26582 26582 26338 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24855548 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26595/statm: 1339 233 193 169 0 50 0
[pid=26596] ppid=26595 vsize=868704 CPUtime=24.47
/proc/26596/stat : 26596 (java) S 26595 26582 26338 0 -1 0 12498 0 1 0 2398 49 0 0 18 0 9 0 24855548 889552896 8639 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26596/statm: 217176 8639 2593 9 0 211653 0
[pid=26596/tid=26597] ppid=26595 vsize=868704 CPUtime=23.17
/proc/26596/task/26597/stat : 26597 (java) R 26595 26582 26338 0 -1 64 4392 0 1 0 2283 34 0 0 25 0 9 0 24855549 889552896 8639 996147200 134512640 134550932 4294955936 18446744073709551615 4126991655 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26596/tid=26598] ppid=26595 vsize=868704 CPUtime=1.02
/proc/26596/task/26598/stat : 26598 (java) S 26595 26582 26338 0 -1 64 5883 0 0 0 90 12 0 0 16 0 9 0 24855550 889552896 8639 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26596/tid=26599] ppid=26595 vsize=868704 CPUtime=0
/proc/26596/task/26599/stat : 26599 (java) S 26595 26582 26338 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24855550 889552896 8639 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26600] ppid=26595 vsize=868704 CPUtime=0
/proc/26596/task/26600/stat : 26600 (java) S 26595 26582 26338 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24855550 889552896 8639 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26596/tid=26601] ppid=26595 vsize=868704 CPUtime=0

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

/proc/26582/statm: 4217 1114 409 3 0 796 0
[pid=26612] ppid=26582 vsize=5356 CPUtime=0
/proc/26612/stat : 26612 (sh) S 26582 26582 26338 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24864193 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26612/statm: 1339 232 193 169 0 50 0
[pid=26613] ppid=26612 vsize=556168 CPUtime=133.28
/proc/26613/stat : 26613 (minisat) R 26612 26582 26338 0 -1 4194304 132673 0 0 0 13212 116 0 0 25 0 1 0 24864260 569516032 132659 996147200 134512640 135127466 4294956256 18446744073709551615 134521694 0 0 4096 3 0 0 0 17 1 0 0
/proc/26613/statm: 139042 132659 76 150 0 138889 0
Current children cumulated CPU time (s) 217.87
Current children cumulated vsize (KiB) 578392

[startup+282.301 s]
/proc/loadavg: 3.54 4.13 3.15 3/86 26677
/proc/meminfo: memFree=1079496/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=84.59
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1377 23436 0 2 6 1 8224 228 16 0 1 0 24855482 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26582/statm: 4217 1114 409 3 0 796 0
[pid=26612] ppid=26582 vsize=5356 CPUtime=0
/proc/26612/stat : 26612 (sh) S 26582 26582 26338 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24864193 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26612/statm: 1339 232 193 169 0 50 0
[pid=26613] ppid=26612 vsize=558216 CPUtime=193.08
/proc/26613/stat : 26613 (minisat) R 26612 26582 26338 0 -1 4194304 132782 0 0 0 19186 122 0 0 25 0 1 0 24864260 571613184 132768 996147200 134512640 135127466 4294956256 18446744073709551615 134530581 0 0 4096 3 0 0 0 17 1 0 0
/proc/26613/statm: 139554 132768 76 150 0 139401 0
Current children cumulated CPU time (s) 277.67
Current children cumulated vsize (KiB) 580440

[startup+342.301 s]
/proc/loadavg: 3.92 4.12 3.21 3/86 26680
/proc/meminfo: memFree=470152/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=84.59
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1377 23436 0 2 6 1 8224 228 16 0 1 0 24855482 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26582/statm: 4217 1114 409 3 0 796 0
[pid=26612] ppid=26582 vsize=5356 CPUtime=0
/proc/26612/stat : 26612 (sh) S 26582 26582 26338 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24864193 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26612/statm: 1339 232 193 169 0 50 0
[pid=26613] ppid=26612 vsize=558216 CPUtime=253.04
/proc/26613/stat : 26613 (minisat) R 26612 26582 26338 0 -1 4194304 132840 0 0 0 25175 129 0 0 25 0 1 0 24864260 571613184 132826 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/26613/statm: 139554 132826 76 150 0 139401 0
Current children cumulated CPU time (s) 337.63
Current children cumulated vsize (KiB) 580440

[startup+402.302 s]
/proc/loadavg: 4.37 4.22 3.29 4/86 26682
/proc/meminfo: memFree=15120/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=84.59
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1377 23436 0 2 6 1 8224 228 16 0 1 0 24855482 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26582/statm: 4217 1114 409 3 0 796 0
[pid=26612] ppid=26582 vsize=5356 CPUtime=0
/proc/26612/stat : 26612 (sh) S 26582 26582 26338 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24864193 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26612/statm: 1339 232 193 169 0 50 0
[pid=26613] ppid=26612 vsize=558216 CPUtime=312.9
/proc/26613/stat : 26613 (minisat) R 26612 26582 26338 0 -1 4194304 132903 0 0 0 31151 139 0 0 25 0 1 0 24864260 571613184 132889 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/26613/statm: 139554 132889 76 150 0 139401 0
Current children cumulated CPU time (s) 397.49
Current children cumulated vsize (KiB) 580440

[startup+462.303 s]
/proc/loadavg: 4.58 4.30 3.38 3/87 26685
/proc/meminfo: memFree=16328/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=84.59
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1377 23436 0 2 6 1 8224 228 16 0 1 0 24855482 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26582/statm: 4217 1114 409 3 0 796 0
[pid=26612] ppid=26582 vsize=5356 CPUtime=0
/proc/26612/stat : 26612 (sh) S 26582 26582 26338 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24864193 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26612/statm: 1339 232 193 169 0 50 0
[pid=26613] ppid=26612 vsize=558216 CPUtime=372.78
/proc/26613/stat : 26613 (minisat) R 26612 26582 26338 0 -1 4194304 132944 0 0 0 37131 147 0 0 25 0 1 0 24864260 571613184 132930 996147200 134512640 135127466 4294956256 18446744073709551615 134530772 0 0 4096 3 0 0 0 17 1 0 0
/proc/26613/statm: 139554 132930 76 150 0 139401 0
Current children cumulated CPU time (s) 457.37
Current children cumulated vsize (KiB) 580440

[startup+522.302 s]
/proc/loadavg: 4.62 4.36 3.46 2/78 26688
/proc/meminfo: memFree=23184/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=84.59
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1377 23436 0 2 6 1 8224 228 16 0 1 0 24855482 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26582/statm: 4217 1114 409 3 0 796 0
[pid=26612] ppid=26582 vsize=5356 CPUtime=0
/proc/26612/stat : 26612 (sh) S 26582 26582 26338 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24864193 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26612/statm: 1339 232 193 169 0 50 0
[pid=26613] ppid=26612 vsize=559620 CPUtime=432.31
/proc/26613/stat : 26613 (minisat) D 26612 26582 26338 0 -1 4194304 133294 0 0 0 43073 158 0 0 25 0 1 0 24864260 573050880 133280 996147200 134512640 135127466 4294956256 18446744073709551615 134832816 0 0 4096 3 18446744071563608240 0 0 17 1 0 0
/proc/26613/statm: 139905 133280 76 150 0 139752 0
Current children cumulated CPU time (s) 516.9
Current children cumulated vsize (KiB) 581844

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

[startup+525.406 s]
/proc/loadavg: 4.49 4.34 3.45 1/79 26691
/proc/meminfo: memFree=541960/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=517.49
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1431 157022 0 5 6 1 51344 398 16 0 1 0 24855482 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26582/statm: 4217 1114 409 3 0 796 0
[pid=26689] ppid=26582 vsize=5356 CPUtime=0
/proc/26689/stat : 26689 (sh) S 26582 26582 26338 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24907800 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26689/statm: 1339 233 193 169 0 50 0
[pid=26690] ppid=26689 vsize=10964 CPUtime=0.01
/proc/26690/stat : 26690 (java) S 26689 26582 26338 0 -1 0 803 0 0 0 0 1 0 0 18 0 2 0 24907800 11227136 558 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/26690/statm: 2741 558 267 9 0 1198 0
[pid=26690/tid=26691] ppid=26689 vsize=10964 CPUtime=0
/proc/26690/task/26691/stat : 26691 (java) D 26689 26582 26338 0 -1 64 126 0 0 0 0 0 0 0 18 0 2 0 24907898 11227136 558 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16784584 18446744071563608240 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.5
Current children cumulated vsize (KiB) 33188

[startup+528.603 s]
/proc/loadavg: 4.37 4.31 3.45 2/86 26698
/proc/meminfo: memFree=517648/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=517.49
/proc/26582/stat : 26582 (sugar) S 26580 26582 26338 0 -1 4194304 1449 157022 0 5 6 1 51344 398 16 0 1 0 24855482 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26582/statm: 4217 1114 409 3 0 796 0
[pid=26689] ppid=26582 vsize=5356 CPUtime=0
/proc/26689/stat : 26689 (sh) S 26582 26582 26338 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24907800 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26689/statm: 1339 233 193 169 0 50 0
[pid=26690] ppid=26689 vsize=863820 CPUtime=0.29
/proc/26690/stat : 26690 (java) S 26689 26582 26338 0 -1 0 4589 0 5 0 26 3 0 0 18 0 9 0 24907800 884551680 4010 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26690/statm: 215955 4010 1423 9 0 210868 0
[pid=26690/tid=26691] ppid=26689 vsize=863820 CPUtime=0.18
/proc/26690/task/26691/stat : 26691 (java) S 26689 26582 26338 0 -1 64 2046 0 3 0 17 1 0 0 16 0 9 0 24907898 884551680 4010 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26690/tid=26692] ppid=26689 vsize=863820 CPUtime=0.04
/proc/26690/task/26692/stat : 26692 (java) R 26689 26582 26338 0 -1 64 1388 0 1 0 4 0 0 0 16 0 9 0 24908032 884551680 4010 996147200 134512640 134550932 4294955984 18446744073709551615 102569612 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26690/tid=26693] ppid=26689 vsize=863820 CPUtime=0
/proc/26690/task/26693/stat : 26693 (java) S 26689 26582 26338 0 -1 64 11 0 0 0 0 0 0 0 20 0 9 0 24908032 884551680 4010 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26690/tid=26694] ppid=26689 vsize=863820 CPUtime=0
/proc/26690/task/26694/stat : 26694 (java) S 26689 26582 26338 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 24908032 884551680 4010 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26690/tid=26695] ppid=26689 vsize=863820 CPUtime=0
/proc/26690/task/26695/stat : 26695 (java) S 26689 26582 26338 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24908059 884551680 4010 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26690/tid=26696] ppid=26689 vsize=863820 CPUtime=0.04
/proc/26690/task/26696/stat : 26696 (java) S 26689 26582 26338 0 -1 64 462 0 1 0 4 0 0 0 16 0 9 0 24908059 884551680 4010 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26690/tid=26697] ppid=26689 vsize=863820 CPUtime=0
/proc/26690/task/26697/stat : 26697 (java) S 26689 26582 26338 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 24908059 884551680 4011 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26690/tid=26698] ppid=26689 vsize=863820 CPUtime=0
/proc/26690/task/26698/stat : 26698 (java) S 26689 26582 26338 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24908059 884551680 4011 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.78
Current children cumulated vsize (KiB) 886044

[startup+531.802 s]
/proc/loadavg: 4.37 4.31 3.45 1/76 26698
/proc/meminfo: memFree=521376/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=518.93
/proc/26582/stat : 26582 (sugar) D 26580 26582 26338 0 -1 4194304 1480 166672 0 10 6 2 51478 407 15 0 1 0 24855482 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 224264950825 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/26582/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 518.93
Current children cumulated vsize (KiB) 16868

[startup+532.602 s]
/proc/loadavg: 4.37 4.31 3.45 1/76 26698
/proc/meminfo: memFree=516128/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=518.94
/proc/26582/stat : 26582 (sugar) D 26580 26582 26338 0 -1 4194304 1480 166672 0 10 6 3 51478 407 15 0 1 0 24855482 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 224264950825 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/26582/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 518.94
Current children cumulated vsize (KiB) 16868

[startup+533.402 s]
/proc/loadavg: 4.18 4.28 3.44 1/76 26698
/proc/meminfo: memFree=487392/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=518.94
/proc/26582/stat : 26582 (sugar) D 26580 26582 26338 0 -1 4194304 1480 166672 0 10 6 3 51478 407 15 0 1 0 24855482 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 224264950825 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/26582/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 518.94
Current children cumulated vsize (KiB) 16868

[startup+533.602 s]
/proc/loadavg: 4.18 4.28 3.44 1/76 26698
/proc/meminfo: memFree=487392/2055920 swapFree=4192812/4192956
[pid=26582] ppid=26580 vsize=16868 CPUtime=518.94
/proc/26582/stat : 26582 (sugar) D 26580 26582 26338 0 -1 4194304 1480 166672 0 10 6 3 51478 407 15 0 1 0 24855482 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 224264950825 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/26582/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 518.94
Current children cumulated vsize (KiB) 16868

Child status: 0
Real time (s): 533.613
CPU time (s): 518.969
CPU user time (s): 514.854
CPU system time (s): 4.11537
CPU usage (%): 97.2557
Max. virtual memory (cumulated for all children) (KiB): 893512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 514.854
system time used= 4.11537
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168212
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53683
involuntary context switches= 60019

runsolver used 0.59191 second user time and 1.83872 second system time

The end

Launcher Data 

Begin job on node82 at 2009-07-12 07:51:45
IDJOB=2083655
IDBENCH=57885
IDSOLVER=739
FILE ID=node82/2083655-1247377904
PBS_JOBID= 9507157
Free space on /tmp= 65152 MiB

SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/fapp/fapp31/normalized-fapp31-0400-7.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-2083655-1247377904/watcher-2083655-1247377904 -o /tmp/evaluation-result-2083655-1247377904/solver-2083655-1247377904 -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-2083655-1247377904.xml

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

MD5SUM BENCH= b6ccf6de2a96d16153e1dfc9d32ad1be
RANDOM SEED=1852203250

node82.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.265
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.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        683920 kB
Buffers:          5388 kB
Cached:        1117292 kB
SwapCached:          0 kB
Active:        1265144 kB
Inactive:        27000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        683920 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          472380 kB
Writeback:           0 kB
Mapped:         190708 kB
Slab:            64732 kB
Committed_AS:   405188 kB
PageTables:       2228 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 64432 MiB
End job on node82 at 2009-07-12 08:00:39