Trace number 2083632

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+picosatSAT 319.843 322.749

General information on the benchmark

Namecsp/fapp/fapp31/
normalized-fapp31-0400-6.xml
MD5SUM5437bff566491bef6c75b023202900b4
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 benchmark138.089
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.00/0.08	c 0	Sugar v1-14-6 + HOME/picosat
0.00/0.08	c 0	BEGIN Sun Jul 12 07:50:37 2009
0.00/0.08	c 0	PID 24711
0.00/0.08	c 0	HOST node39.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-2083632-1247377837.xml TO HOME/temp.csp
0.00/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2083632-1247377837.xml' 'HOME/temp.csp'
0.07/0.84	c 1	4 domains, 400 variables, 6 predicates, 0 relations, 3003 constraints
0.07/0.88	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.88	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.82/0.96	c 1	Parsing HOME/temp.csp
0.82/1.08	c 1	parsed 3413 expressions
0.82/1.09	c 1	Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.82/1.09	c 1	Converting to clausal form CSP
1.03/1.13	c 1	converted 342 (10%) expressions
2.12/2.22	c 2	converted 683 (20%) expressions
3.02/3.14	c 3	converted 1024 (30%) expressions
3.91/4.02	c 4	converted 1366 (40%) expressions
4.60/4.73	c 5	converted 1707 (50%) expressions
5.30/5.42	c 5	converted 2048 (60%) expressions
6.00/6.15	c 6	converted 2390 (70%) expressions
6.69/6.81	c 7	converted 2731 (80%) expressions
7.29/7.42	c 7	converted 3072 (90%) expressions
7.89/8.05	c 8	converted 3413 (100%) expressions
7.89/8.06	c 8	CSP : 785 integers, 8145 booleans, 18131 clauses, largest domain size 2601
7.89/8.06	c 8	Heap : 11 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
7.89/8.06	c 8	Propagation in CSP
8.38/8.56	c 8	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
8.38/8.56	c 8	CSP : 785 integers, 8145 booleans, 18131 clauses, largest domain size 2601
8.38/8.56	c 8	Heap : 11 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
8.38/8.58	c 8	Simplifing CSP by introducing new Boolean variables
8.57/8.72	c 9	CSP : 785 integers, 14819 booleans, 24805 clauses, largest domain size 2601
8.57/8.72	c 9	Heap : 12 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
8.68/8.83	c 9	Encoding CSP to SAT : HOME/temp.cnf
10.66/10.85	c 11	79 (10%) CSP integer variables are encoded (53338 clauses, 777956 bytes)
12.65/12.86	c 13	157 (20%) CSP integer variables are encoded (106328 clauses, 1585759 bytes)
14.75/14.90	c 15	236 (30%) CSP integer variables are encoded (160016 clauses, 2498455 bytes)
16.73/16.98	c 17	314 (40%) CSP integer variables are encoded (214460 clauses, 3424003 bytes)
18.53/18.80	c 19	393 (50%) CSP integer variables are encoded (267852 clauses, 4331667 bytes)
18.93/19.19	c 19	471 (60%) CSP integer variables are encoded (455791 clauses, 7526630 bytes)
19.23/19.42	c 19	550 (70%) CSP integer variables are encoded (652340 clauses, 10867963 bytes)
19.43/19.65	c 19	628 (80%) CSP integer variables are encoded (850946 clauses, 14244265 bytes)
19.63/19.90	c 20	707 (90%) CSP integer variables are encoded (1051299 clauses, 17754239 bytes)
19.92/20.15	c 20	785 (100%) CSP integer variables are encoded (1254021 clauses, 21605957 bytes)
27.81/28.07	c 28	2481 (10%) CSP clauses are encoded (2176957 clauses, 43679191 bytes)
34.99/35.27	c 35	4961 (20%) CSP clauses are encoded (3064403 clauses, 65171892 bytes)
41.98/42.22	c 42	7442 (30%) CSP clauses are encoded (4003696 clauses, 88030722 bytes)
48.57/48.85	c 49	9922 (40%) CSP clauses are encoded (4955781 clauses, 112172173 bytes)
54.87/55.26	c 55	12403 (50%) CSP clauses are encoded (5945274 clauses, 137029330 bytes)
60.86/61.27	c 61	14883 (60%) CSP clauses are encoded (6904107 clauses, 161417608 bytes)
66.94/67.38	c 67	17364 (70%) CSP clauses are encoded (7882992 clauses, 186422962 bytes)
72.83/73.25	c 73	19844 (80%) CSP clauses are encoded (8792797 clauses, 209670278 bytes)
78.79/79.23	c 79	22325 (90%) CSP clauses are encoded (9814327 clauses, 235680467 bytes)
84.64/85.15	c 85	24805 (100%) CSP clauses are encoded (10756628 clauses, 259800283 bytes)
84.64/85.15	c 85	24805 CSP clauses encoded
84.64/85.15	c 85	Writing map file : HOME/temp.map
84.75/85.23	c 85	Heap : 9 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
84.75/85.23	c 85	SAT : 1269625 SAT variables, 10756628 SAT clauses, 259800283 bytes
84.75/85.23	c 85	Heap : 9 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
84.75/85.29	c 85	SOLVING HOME/temp.cnf
84.75/85.29	c 85	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
317.25/320.19	c 320	DECODING HOME/temp.out WITH HOME/temp.map
317.25/320.19	c 320	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'
317.34/320.27	c 320	Decoding HOME/temp.out
319.60/322.52	s SATISFIABLE
319.60/322.54	v 2484 2368 -1244 1988 -1832 -1248 -2380 2516 2080 2280 -2272 -2360 2284 2560 -2400 -2172 1640 2456 -2600 1244 1684 -2336 -2552 -1304 -2596 -2552 -1792 1212 2312 -1644 -2456 2252 -1808 2076 2248 -1204 1212 1956 2480 2292 -2548 2320 -2596 2448 -2424 -2288 -2068 1836 2600 2192 1680 1972 2476 1424 1700 1368 -1244 2012 -1308 -2528 2384 1872 -1952 2512 -2176 2000 1672 -2600 1676 -1752 -1896 -2376 1472 1976 -2048 1744 2552 -1972 2600 -1240 2240 -1216 -2348 -2248 -1312 -1676 -1836 -2340 1416 2236 1912 -1908 -2560 2468 -2312 -1440 -2232 -2320 -2512 -2468 1252 -1776 -1312 -1752 1636 1276 2248 -2436 1260 -2232 -1368 1992 1948 -1224 -1280 1608 -1204 -1356 1584 -1320 1644 2244 -1204 1248 -2260 -2044 -1300 1416 2172 1476 1648 -1204 -1496 -2416 -2376 1304 1504 1348 -1752 -2272 2560 -2272 -2440 2036 -1876 2348 1212 2412 1620 -1712 -1244 1928 1272 -1236 1588 1260 -1672 2600 1960 -2036 1792 1628 -1336 2436 2468 -1784 -1996 -1288 -2444 2500 1768 -2556 1600 1376 -2212 1400 2556 2108 -2408 1988 2188 -2356 -2424 -1716 2192 2600 -1352 2568 -1716 2032 1440 -1508 -2476 1912 -1880 1220 -2596 -1856 2344 1244 1204 1260 -1340 -2028 -2448 2388 1352 1316 1524 -2240 2556 -1344 -1536 1636 -1408 -2172 -2600 -1484 1328 1256 -1848 1348 -2560 -1756 1756 -1376 1840 -1376 -2588 -2408 1580 -1552 1744 1464 -1916 1372 -1204 1208 -2008 2208 -2488 1300 -1780 -1496 -1448 2280 -1364 2120 -2600 -1456 1224 -2560 -1264 -2196 -1308 2440 -2448 1484 2380 -1224 -2416 -1416 2104 2560 -1900 1876 2600 1444 -1328 -2560 2452 2388 -1712 2304 -2016 2560 -1412 -1660 1872 -1264 -2428 -2512 -1516 -2220 1480 -2384 -2152 1416 -1344 -2272 -1812 1792 2212 -1300 -1856 -1328 -2228 -1704 -2184 2488 -1792 -2428 -2376 -1744 2064 2560 -1396 -2288 -1640 2504 -1508 -2428 2224 2560 2508 1212 -1936 2600 -1860 1532 1632 2340 -1968 1260 2280 -1316 1592 1384 1248 -2012 2460 1976 1604 2132 2012 2356 -1432 -1224 2600 -1540 -1816 1884 1808 2084 -2416 1264 -1948 1392 1204 2536 2444 1548 1300 2388 -1852 -2396 1564 -1900 1572 -1740 1252 2332 -2232 -2560 1972 -2556 2464 -1288 -1376 -1244 1940 -1624 2068 -1992 -2416 -2028 1896 -1548 2396 -1208 -2044 -1264 1276 1536 -1524 -2404 -1244 2576 -1324 -1924 2084 1252 -1252 1276 -2136 -2212 -1740 -1280 1784 1832
319.60/322.55	c 322	Heap : 16 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
319.66/322.61	c 322	CPU 319.68 (0.06 0.02 267.33 52.27)
319.66/322.61	c 322	END Sun Jul 12 07:55:59 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-2083632-1247377837/watcher-2083632-1247377837 -o /tmp/evaluation-result-2083632-1247377837/solver-2083632-1247377837 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2083632-1247377837.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.17 2.22 2.14 4/82 24711
/proc/meminfo: memFree=1168712/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=3672 CPUtime=0
/proc/24711/stat : 24711 (sugar) R 24709 24711 18714 0 -1 4194304 53 0 0 0 0 0 0 0 20 0 1 0 24847717 3760128 38 996147200 4194304 4206940 548682068608 18446744073709551615 272834295177 0 0 4096 0 0 0 0 17 1 0 0
/proc/24711/statm: 918 38 29 3 0 8 0

[startup+0.108428 s]
/proc/loadavg: 2.17 2.22 2.14 4/82 24711
/proc/meminfo: memFree=1168712/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=0.07
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 24847717 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24711/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.201437 s]
/proc/loadavg: 2.17 2.22 2.14 4/82 24711
/proc/meminfo: memFree=1168712/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=0.07
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 24847717 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24711/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.301438 s]
/proc/loadavg: 2.17 2.22 2.14 4/82 24711
/proc/meminfo: memFree=1168712/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=0.07
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 24847717 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24711/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.701468 s]
/proc/loadavg: 2.17 2.22 2.14 4/82 24711
/proc/meminfo: memFree=1168712/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=0.07
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 24847717 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24711/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+1.50152 s]
/proc/loadavg: 2.17 2.22 2.14 3/93 24733
/proc/meminfo: memFree=1158512/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=0.82
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1309 6745 0 1 5 2 71 4 15 0 1 0 24847717 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24711/statm: 4217 1111 409 3 0 796 0
[pid=24724] ppid=24711 vsize=5356 CPUtime=0
/proc/24724/stat : 24724 (sh) S 24711 24711 18714 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24847805 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24724/statm: 1339 233 193 169 0 50 0
[pid=24725] ppid=24724 vsize=868004 CPUtime=0.6
/proc/24725/stat : 24725 (java) S 24724 24711 18714 0 -1 0 5133 0 1 0 56 4 0 0 18 0 9 0 24847805 888836096 4574 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24725/statm: 217001 4574 1742 9 0 211506 0
[pid=24725/tid=24726] ppid=24724 vsize=868004 CPUtime=0.41
/proc/24725/task/24726/stat : 24726 (java) R 24724 24711 18714 0 -1 64 2679 0 1 0 39 2 0 0 22 0 9 0 24847806 888836096 4574 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24727] ppid=24724 vsize=868004 CPUtime=0.04
/proc/24725/task/24727/stat : 24727 (java) S 24724 24711 18714 0 -1 64 518 0 0 0 4 0 0 0 16 0 9 0 24847808 888836096 4574 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24728] ppid=24724 vsize=868004 CPUtime=0
/proc/24725/task/24728/stat : 24728 (java) S 24724 24711 18714 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 24847808 888836096 4574 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24729] ppid=24724 vsize=868004 CPUtime=0
/proc/24725/task/24729/stat : 24729 (java) S 24724 24711 18714 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 24847808 888836096 4574 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24730] ppid=24724 vsize=868004 CPUtime=0
/proc/24725/task/24730/stat : 24730 (java) S 24724 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24847810 888836096 4574 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24731] ppid=24724 vsize=868004 CPUtime=0.12
/proc/24725/task/24731/stat : 24731 (java) R 24724 24711 18714 0 -1 64 1242 0 0 0 12 0 0 0 16 0 9 0 24847810 888836096 4574 996147200 134512640 134550932 4294955936 18446744073709551615 101529991 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24732] ppid=24724 vsize=868004 CPUtime=0
/proc/24725/task/24732/stat : 24732 (java) S 24724 24711 18714 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24847810 888836096 4574 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24733] ppid=24724 vsize=868004 CPUtime=0
/proc/24725/task/24733/stat : 24733 (java) S 24724 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24847810 888836096 4574 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 890228

[startup+3.10262 s]
/proc/loadavg: 2.17 2.22 2.14 3/93 24733
/proc/meminfo: memFree=1152112/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=0.82
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1309 6745 0 1 5 2 71 4 16 0 1 0 24847717 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24711/statm: 4217 1111 409 3 0 796 0
[pid=24724] ppid=24711 vsize=5356 CPUtime=0
/proc/24724/stat : 24724 (sh) S 24711 24711 18714 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24847805 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24724/statm: 1339 233 193 169 0 50 0
[pid=24725] ppid=24724 vsize=868508 CPUtime=2.2
/proc/24725/stat : 24725 (java) S 24724 24711 18714 0 -1 0 5964 0 1 0 214 6 0 0 18 0 9 0 24847805 889352192 5199 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24725/statm: 217127 5199 1744 9 0 211632 0
[pid=24725/tid=24726] ppid=24724 vsize=868508 CPUtime=1.85
/proc/24725/task/24726/stat : 24726 (java) R 24724 24711 18714 0 -1 64 2861 0 1 0 183 2 0 0 25 0 9 0 24847806 889352192 5199 996147200 134512640 134550932 4294955936 18446744073709551615 4126541366 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24727] ppid=24724 vsize=868508 CPUtime=0.13
/proc/24725/task/24727/stat : 24727 (java) S 24724 24711 18714 0 -1 64 935 0 0 0 12 1 0 0 16 0 9 0 24847808 889352192 5199 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24728] ppid=24724 vsize=868508 CPUtime=0
/proc/24725/task/24728/stat : 24728 (java) S 24724 24711 18714 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 24847808 889352192 5199 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24729] ppid=24724 vsize=868508 CPUtime=0
/proc/24725/task/24729/stat : 24729 (java) S 24724 24711 18714 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 24847808 889352192 5199 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24730] ppid=24724 vsize=868508 CPUtime=0
/proc/24725/task/24730/stat : 24730 (java) S 24724 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24847810 889352192 5199 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24731] ppid=24724 vsize=868508 CPUtime=0.17
/proc/24725/task/24731/stat : 24731 (java) S 24724 24711 18714 0 -1 64 1474 0 0 0 17 0 0 0 16 0 9 0 24847810 889352192 5199 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24732] ppid=24724 vsize=868508 CPUtime=0
/proc/24725/task/24732/stat : 24732 (java) S 24724 24711 18714 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24847810 889352192 5199 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24733] ppid=24724 vsize=868508 CPUtime=0
/proc/24725/task/24733/stat : 24733 (java) S 24724 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24847810 889352192 5199 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 890732

[startup+6.30284 s]
/proc/loadavg: 2.24 2.24 2.14 5/93 24734
/proc/meminfo: memFree=1144880/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=0.82
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1309 6745 0 1 5 2 71 4 16 0 1 0 24847717 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24711/statm: 4217 1111 409 3 0 796 0
[pid=24724] ppid=24711 vsize=5356 CPUtime=0
/proc/24724/stat : 24724 (sh) S 24711 24711 18714 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24847805 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24724/statm: 1339 233 193 169 0 50 0
[pid=24725] ppid=24724 vsize=868592 CPUtime=5.37
/proc/24725/stat : 24725 (java) S 24724 24711 18714 0 -1 0 9846 0 1 0 526 11 0 0 18 0 9 0 24847805 889438208 7321 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24725/statm: 217148 7321 2567 9 0 211653 0
[pid=24725/tid=24726] ppid=24724 vsize=868592 CPUtime=4.69
/proc/24725/task/24726/stat : 24726 (java) R 24724 24711 18714 0 -1 64 3224 0 1 0 465 4 0 0 25 0 9 0 24847806 889438208 7321 996147200 134512640 134550932 4294955936 18446744073709551615 4126509115 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24727] ppid=24724 vsize=868592 CPUtime=0.47
/proc/24725/task/24727/stat : 24727 (java) S 24724 24711 18714 0 -1 64 4444 0 0 0 42 5 0 0 16 0 9 0 24847808 889438208 7321 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24728] ppid=24724 vsize=868592 CPUtime=0
/proc/24725/task/24728/stat : 24728 (java) S 24724 24711 18714 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 24847808 889438208 7321 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24729] ppid=24724 vsize=868592 CPUtime=0
/proc/24725/task/24729/stat : 24729 (java) S 24724 24711 18714 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24847808 889438208 7321 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24730] ppid=24724 vsize=868592 CPUtime=0
/proc/24725/task/24730/stat : 24730 (java) S 24724 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24847810 889438208 7321 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24731] ppid=24724 vsize=868592 CPUtime=0.18
/proc/24725/task/24731/stat : 24731 (java) S 24724 24711 18714 0 -1 64 1479 0 0 0 18 0 0 0 15 0 9 0 24847810 889438208 7321 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24732] ppid=24724 vsize=868592 CPUtime=0
/proc/24725/task/24732/stat : 24732 (java) S 24724 24711 18714 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24847810 889438208 7321 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24733] ppid=24724 vsize=868592 CPUtime=0
/proc/24725/task/24733/stat : 24733 (java) R 24724 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24847810 889438208 7321 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 890816

[startup+12.7023 s]
/proc/loadavg: 2.22 2.23 2.14 4/93 24735
/proc/meminfo: memFree=1139056/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=0.82
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1310 6745 0 1 5 2 71 4 16 0 1 0 24847717 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24711/statm: 4217 1111 409 3 0 796 0
[pid=24724] ppid=24711 vsize=5356 CPUtime=0
/proc/24724/stat : 24724 (sh) S 24711 24711 18714 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24847805 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24724/statm: 1339 233 193 169 0 50 0
[pid=24725] ppid=24724 vsize=868704 CPUtime=11.73
/proc/24725/stat : 24725 (java) S 24724 24711 18714 0 -1 0 11499 0 1 0 1157 16 0 0 18 0 9 0 24847805 889552896 8626 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24725/statm: 217176 8626 2592 9 0 211653 0
[pid=24725/tid=24726] ppid=24724 vsize=868704 CPUtime=10.63
/proc/24725/task/24726/stat : 24726 (java) R 24724 24711 18714 0 -1 64 3680 0 1 0 1057 6 0 0 25 0 9 0 24847806 889552896 8626 996147200 134512640 134550932 4294955936 18446744073709551615 4126994127 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24727] ppid=24724 vsize=868704 CPUtime=0.85
/proc/24725/task/24727/stat : 24727 (java) S 24724 24711 18714 0 -1 64 5609 0 0 0 77 8 0 0 16 0 9 0 24847808 889552896 8626 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24728] ppid=24724 vsize=868704 CPUtime=0
/proc/24725/task/24728/stat : 24728 (java) S 24724 24711 18714 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24847808 889552896 8626 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24729] ppid=24724 vsize=868704 CPUtime=0
/proc/24725/task/24729/stat : 24729 (java) S 24724 24711 18714 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24847808 889552896 8626 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24730] ppid=24724 vsize=868704 CPUtime=0
/proc/24725/task/24730/stat : 24730 (java) S 24724 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24847810 889552896 8626 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24731] ppid=24724 vsize=868704 CPUtime=0.22
/proc/24725/task/24731/stat : 24731 (java) S 24724 24711 18714 0 -1 64 1511 0 0 0 22 0 0 0 15 0 9 0 24847810 889552896 8626 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24732] ppid=24724 vsize=868704 CPUtime=0
/proc/24725/task/24732/stat : 24732 (java) S 24724 24711 18714 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24847810 889552896 8626 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24733] ppid=24724 vsize=868704 CPUtime=0
/proc/24725/task/24733/stat : 24733 (java) S 24724 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24847810 889552896 8626 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 890928

[startup+25.5021 s]
/proc/loadavg: 2.39 2.27 2.16 3/83 24764
/proc/meminfo: memFree=1512448/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=0.82
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1310 6745 0 1 5 2 71 4 16 0 1 0 24847717 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24711/statm: 4217 1111 409 3 0 796 0
[pid=24724] ppid=24711 vsize=5356 CPUtime=0
/proc/24724/stat : 24724 (sh) S 24711 24711 18714 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24847805 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24724/statm: 1339 233 193 169 0 50 0
[pid=24725] ppid=24724 vsize=868704 CPUtime=24.49
/proc/24725/stat : 24725 (java) S 24724 24711 18714 0 -1 0 12190 0 1 0 2409 40 0 0 18 0 9 0 24847805 889552896 8644 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24725/statm: 217176 8644 2593 9 0 211653 0
[pid=24725/tid=24726] ppid=24724 vsize=868704 CPUtime=23.16
/proc/24725/task/24726/stat : 24726 (java) R 24724 24711 18714 0 -1 64 4358 0 1 0 2290 26 0 0 25 0 9 0 24847806 889552896 8644 996147200 134512640 134550932 4294955936 18446744073709551615 4126997346 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24725/tid=24727] ppid=24724 vsize=868704 CPUtime=1.04
/proc/24725/task/24727/stat : 24727 (java) S 24724 24711 18714 0 -1 64 5609 0 0 0 92 12 0 0 16 0 9 0 24847808 889552896 8644 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24725/tid=24728] ppid=24724 vsize=868704 CPUtime=0
/proc/24725/task/24728/stat : 24728 (java) S 24724 24711 18714 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24847808 889552896 8644 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24729] ppid=24724 vsize=868704 CPUtime=0
/proc/24725/task/24729/stat : 24729 (java) S 24724 24711 18714 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24847808 889552896 8644 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24725/tid=24730] ppid=24724 vsize=868704 CPUtime=0

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

/proc/24805/stat : 24805 (sh) S 24711 24711 18714 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24856246 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24805/statm: 1339 232 193 169 0 50 0
[pid=24806] ppid=24805 vsize=530980 CPUtime=135.56
/proc/24806/stat : 24806 (picosat) R 24805 24711 18714 0 -1 4194304 105020 0 0 0 8549 5007 0 0 25 0 1 0 24856247 543723520 104973 996147200 134512640 134931368 4294956256 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/24806/statm: 132745 104973 42 102 0 132640 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 553204

[startup+282.301 s]
/proc/loadavg: 2.08 2.24 2.17 3/85 24807
/proc/meminfo: memFree=504168/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=84.81
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1366 23376 0 2 6 2 8272 201 17 0 1 0 24847717 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24711/statm: 4217 1114 409 3 0 796 0
[pid=24805] ppid=24711 vsize=5356 CPUtime=0
/proc/24805/stat : 24805 (sh) S 24711 24711 18714 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24856246 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24805/statm: 1339 232 193 169 0 50 0
[pid=24806] ppid=24805 vsize=531376 CPUtime=194.99
/proc/24806/stat : 24806 (picosat) R 24805 24711 18714 0 -1 4194304 105234 0 0 0 14492 5007 0 0 25 0 1 0 24856247 544129024 105187 996147200 134512640 134931368 4294956256 18446744073709551615 134530822 0 0 4096 0 0 0 0 17 1 0 0
/proc/24806/statm: 132844 105187 42 102 0 132739 0
Current children cumulated CPU time (s) 279.8
Current children cumulated vsize (KiB) 553600

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

[startup+307.203 s]
/proc/loadavg: 2.05 2.22 2.17 3/85 24807
/proc/meminfo: memFree=503976/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=84.81
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1366 23376 0 2 6 2 8272 201 17 0 1 0 24847717 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24711/statm: 4217 1114 409 3 0 796 0
[pid=24805] ppid=24711 vsize=5356 CPUtime=0
/proc/24805/stat : 24805 (sh) S 24711 24711 18714 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24856246 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24805/statm: 1339 232 193 169 0 50 0
[pid=24806] ppid=24805 vsize=531376 CPUtime=219.66
/proc/24806/stat : 24806 (picosat) R 24805 24711 18714 0 -1 4194304 105288 0 0 0 16959 5007 0 0 25 0 1 0 24856247 544129024 105241 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/24806/statm: 132844 105241 42 102 0 132739 0
Current children cumulated CPU time (s) 304.47
Current children cumulated vsize (KiB) 553600

[startup+313.606 s]
/proc/loadavg: 2.04 2.21 2.16 3/85 24807
/proc/meminfo: memFree=503912/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=84.81
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1366 23376 0 2 6 2 8272 201 17 0 1 0 24847717 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24711/statm: 4217 1114 409 3 0 796 0
[pid=24805] ppid=24711 vsize=5356 CPUtime=0
/proc/24805/stat : 24805 (sh) S 24711 24711 18714 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24856246 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24805/statm: 1339 232 193 169 0 50 0
[pid=24806] ppid=24805 vsize=531376 CPUtime=226
/proc/24806/stat : 24806 (picosat) R 24805 24711 18714 0 -1 4194304 105296 0 0 0 17593 5007 0 0 25 0 1 0 24856247 544129024 105249 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/24806/statm: 132844 105249 42 102 0 132739 0
Current children cumulated CPU time (s) 310.81
Current children cumulated vsize (KiB) 553600

[startup+316.802 s]
/proc/loadavg: 2.04 2.21 2.16 3/85 24807
/proc/meminfo: memFree=503912/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=84.81
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1366 23376 0 2 6 2 8272 201 17 0 1 0 24847717 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24711/statm: 4217 1114 409 3 0 796 0
[pid=24805] ppid=24711 vsize=5356 CPUtime=0
/proc/24805/stat : 24805 (sh) S 24711 24711 18714 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24856246 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24805/statm: 1339 232 193 169 0 50 0
[pid=24806] ppid=24805 vsize=531376 CPUtime=229.17
/proc/24806/stat : 24806 (picosat) R 24805 24711 18714 0 -1 4194304 105300 0 0 0 17910 5007 0 0 25 0 1 0 24856247 544129024 105253 996147200 134512640 134931368 4294956256 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/24806/statm: 132844 105253 42 102 0 132739 0
Current children cumulated CPU time (s) 313.98
Current children cumulated vsize (KiB) 553600

[startup+320.002 s]
/proc/loadavg: 2.04 2.21 2.16 3/85 24807
/proc/meminfo: memFree=503848/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=84.81
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1366 23376 0 2 6 2 8272 201 17 0 1 0 24847717 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24711/statm: 4217 1114 409 3 0 796 0
[pid=24805] ppid=24711 vsize=5356 CPUtime=0
/proc/24805/stat : 24805 (sh) S 24711 24711 18714 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24856246 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24805/statm: 1339 232 193 169 0 50 0
[pid=24806] ppid=24805 vsize=465840 CPUtime=232.34
/proc/24806/stat : 24806 (picosat) R 24805 24711 18714 0 -1 4194304 105315 0 0 0 18222 5012 0 0 25 0 1 0 24856247 477020160 96984 996147200 134512640 134931368 4294956256 18446744073709551615 134581922 0 0 4096 0 0 0 0 17 1 0 0
/proc/24806/statm: 116460 96984 47 102 0 116355 0
Current children cumulated CPU time (s) 317.15
Current children cumulated vsize (KiB) 488064

[startup+321.603 s]
/proc/loadavg: 2.04 2.20 2.16 3/93 24817
/proc/meminfo: memFree=892008/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=317.34
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1447 128977 0 2 6 2 26506 5220 16 0 1 0 24847717 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24711/statm: 4217 1114 409 3 0 796 0
[pid=24808] ppid=24711 vsize=5356 CPUtime=0
/proc/24808/stat : 24808 (sh) S 24711 24711 18714 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24879736 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24808/statm: 1339 233 193 169 0 50 0
[pid=24809] ppid=24808 vsize=862912 CPUtime=1.37
/proc/24809/stat : 24809 (java) S 24808 24711 18714 0 -1 0 8789 0 1 0 133 4 0 0 18 0 9 0 24879737 883621888 8046 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24809/statm: 215728 8046 2157 9 0 210641 0
[pid=24809/tid=24810] ppid=24808 vsize=862912 CPUtime=1.01
/proc/24809/task/24810/stat : 24810 (java) R 24808 24711 18714 0 -1 64 2197 0 1 0 100 1 0 0 25 0 9 0 24879738 883621888 8046 996147200 134512640 134550932 4294955984 18446744073709551615 4126547975 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24811] ppid=24808 vsize=862912 CPUtime=0.26
/proc/24809/task/24811/stat : 24811 (java) S 24808 24711 18714 0 -1 64 5415 0 0 0 25 1 0 0 16 0 9 0 24879739 883621888 8046 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24812] ppid=24808 vsize=862912 CPUtime=0
/proc/24809/task/24812/stat : 24812 (java) S 24808 24711 18714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 24879739 883621888 8046 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24813] ppid=24808 vsize=862912 CPUtime=0
/proc/24809/task/24813/stat : 24813 (java) S 24808 24711 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24879739 883621888 8046 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24814] ppid=24808 vsize=862912 CPUtime=0
/proc/24809/task/24814/stat : 24814 (java) S 24808 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24879742 883621888 8046 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24815] ppid=24808 vsize=862912 CPUtime=0.06
/proc/24809/task/24815/stat : 24815 (java) S 24808 24711 18714 0 -1 64 480 0 0 0 6 0 0 0 16 0 9 0 24879742 883621888 8046 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24816] ppid=24808 vsize=862912 CPUtime=0
/proc/24809/task/24816/stat : 24816 (java) S 24808 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24879742 883621888 8046 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24817] ppid=24808 vsize=862912 CPUtime=0
/proc/24809/task/24817/stat : 24817 (java) S 24808 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24879742 883621888 8046 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 318.71
Current children cumulated vsize (KiB) 885136

[startup+322.407 s]
/proc/loadavg: 2.04 2.20 2.16 3/93 24817
/proc/meminfo: memFree=890984/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=317.34
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1447 128977 0 2 6 2 26506 5220 16 0 1 0 24847717 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24711/statm: 4217 1114 409 3 0 796 0
[pid=24808] ppid=24711 vsize=5356 CPUtime=0
/proc/24808/stat : 24808 (sh) S 24711 24711 18714 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24879736 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24808/statm: 1339 233 193 169 0 50 0
[pid=24809] ppid=24808 vsize=862912 CPUtime=2.17
/proc/24809/stat : 24809 (java) S 24808 24711 18714 0 -1 0 8844 0 1 0 212 5 0 0 18 0 9 0 24879737 883621888 8095 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24809/statm: 215728 8095 2157 9 0 210641 0
[pid=24809/tid=24810] ppid=24808 vsize=862912 CPUtime=1.8
/proc/24809/task/24810/stat : 24810 (java) R 24808 24711 18714 0 -1 64 2204 0 1 0 178 2 0 0 25 0 9 0 24879738 883621888 8095 996147200 134512640 134550932 4294955984 18446744073709551615 4126596321 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24811] ppid=24808 vsize=862912 CPUtime=0.27
/proc/24809/task/24811/stat : 24811 (java) S 24808 24711 18714 0 -1 64 5459 0 0 0 26 1 0 0 16 0 9 0 24879739 883621888 8095 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24812] ppid=24808 vsize=862912 CPUtime=0
/proc/24809/task/24812/stat : 24812 (java) S 24808 24711 18714 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 24879739 883621888 8095 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24813] ppid=24808 vsize=862912 CPUtime=0
/proc/24809/task/24813/stat : 24813 (java) S 24808 24711 18714 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24879739 883621888 8095 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24814] ppid=24808 vsize=862912 CPUtime=0
/proc/24809/task/24814/stat : 24814 (java) S 24808 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24879742 883621888 8095 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24815] ppid=24808 vsize=862912 CPUtime=0.07
/proc/24809/task/24815/stat : 24815 (java) S 24808 24711 18714 0 -1 64 484 0 0 0 7 0 0 0 16 0 9 0 24879742 883621888 8095 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24816] ppid=24808 vsize=862912 CPUtime=0
/proc/24809/task/24816/stat : 24816 (java) S 24808 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24879742 883621888 8095 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24809/tid=24817] ppid=24808 vsize=862912 CPUtime=0
/proc/24809/task/24817/stat : 24817 (java) S 24808 24711 18714 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24879742 883621888 8095 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 319.51
Current children cumulated vsize (KiB) 885136

[startup+322.603 s]
/proc/loadavg: 2.04 2.20 2.16 3/93 24817
/proc/meminfo: memFree=890984/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=317.34
/proc/24711/stat : 24711 (sugar) S 24709 24711 18714 0 -1 4194304 1451 128977 0 2 6 2 26506 5220 16 0 1 0 24847717 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24711/statm: 4217 1114 409 3 0 796 0
[pid=24808] ppid=24711 vsize=5356 CPUtime=0
/proc/24808/stat : 24808 (sh) S 24711 24711 18714 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24879736 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24808/statm: 1339 233 193 169 0 50 0
[pid=24809] ppid=24808 vsize=0 CPUtime=2.32
/proc/24809/stat : 24809 (java) Z 24808 24711 18714 0 -1 12 9342 0 1 0 226 6 0 0 16 0 2 0 24879737 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24809/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 319.66
Current children cumulated vsize (KiB) 22224

[startup+322.702 s]
/proc/loadavg: 2.04 2.20 2.16 3/93 24817
/proc/meminfo: memFree=890984/2055920 swapFree=4192812/4192956
[pid=24711] ppid=24709 vsize=16868 CPUtime=319.78
/proc/24711/stat : 24711 (sugar) R 24709 24711 18714 0 -1 4194304 1478 138604 0 3 6 12 26733 5227 16 0 1 0 24847717 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 272837088297 0 0 4224 16386 0 0 0 17 1 0 0
/proc/24711/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 319.78
Current children cumulated vsize (KiB) 16868

Child status: 0
Real time (s): 322.749
CPU time (s): 319.843
CPU user time (s): 267.399
CPU system time (s): 52.444
CPU usage (%): 99.0997
Max. virtual memory (cumulated for all children) (KiB): 892452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.399
system time used= 52.444
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140143
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= 55838
involuntary context switches= 64652

runsolver used 0.398939 second user time and 1.09283 second system time

The end

Launcher Data 

Begin job on node39 at 2009-07-12 07:50:37
IDJOB=2083632
IDBENCH=57881
IDSOLVER=738
FILE ID=node39/2083632-1247377837
PBS_JOBID= 9507055
Free space on /tmp= 66428 MiB

SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/fapp/fapp31/normalized-fapp31-0400-6.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083632-1247377837/watcher-2083632-1247377837 -o /tmp/evaluation-result-2083632-1247377837/solver-2083632-1247377837 -C 1800 -W 2000 -M 900  HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2083632-1247377837.xml

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

MD5SUM BENCH= 5437bff566491bef6c75b023202900b4
RANDOM SEED=2019327263

node39.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.236
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.236
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:       1169192 kB
Buffers:         58540 kB
Cached:         292136 kB
SwapCached:          0 kB
Active:         618864 kB
Inactive:       189000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1169192 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1804 kB
Writeback:           0 kB
Mapped:         477632 kB
Slab:            63316 kB
Committed_AS:   647208 kB
PageTables:       2696 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66428 MiB
End job on node39 at 2009-07-12 07:56:00