Trace number 2083578

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+minisat? 313.915 321.928

General information on the benchmark

Namecsp/fapp/fapp24/
normalized-fapp24-2000-10.xml
MD5SUMda2491dfd5d4c48595148d7cd3674d2d
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 benchmark28.7276
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints26753
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26753
Global constraints used (with number of constraints)

Solver Data 

0.04/0.23	c 0	Sugar v1-14-6 + HOME/minisat
0.04/0.23	c 0	BEGIN Sun Jul 12 07:48:07 2009
0.04/0.23	c 0	PID 27589
0.04/0.23	c 0	HOST node67.alineos.net
0.04/0.23	c 0	CONVERTING HOME/instance-2083578-1247377687.xml TO HOME/temp.csp
0.04/0.23	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2083578-1247377687.xml' 'HOME/temp.csp'
1.47/1.78	c 2	13 domains, 2000 variables, 8 predicates, 0 relations, 26753 constraints
1.47/1.80	c 2	ENCODING HOME/temp.csp TO HOME/temp.cnf
1.47/1.80	c 2	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'
1.56/1.87	c 2	Parsing HOME/temp.csp
1.56/2.06	c 2	parsed 10000 expressions
1.94/2.22	c 2	parsed 20000 expressions
2.03/2.37	c 2	parsed 28774 expressions
2.03/2.38	c 2	Heap : 11 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.03/2.38	c 2	Converting to clausal form CSP
3.62/3.96	c 4	converted 2878 (10%) expressions
7.07/7.41	c 8	converted 5755 (20%) expressions
10.44/10.81	c 11	converted 8633 (30%) expressions
13.42/13.84	c 14	converted 11510 (40%) expressions
16.38/16.80	c 17	converted 14387 (50%) expressions
19.65/20.16	c 20	converted 17265 (60%) expressions
22.42/22.95	c 23	converted 20142 (70%) expressions
24.99/25.56	c 26	converted 23020 (80%) expressions
27.37/27.93	c 28	converted 25897 (90%) expressions
30.24/30.83	c 31	converted 28774 (100%) expressions
30.24/30.84	c 31	CSP : 7310 integers, 76068 booleans, 171902 clauses, largest domain size 2721
30.24/30.84	c 31	Heap : 115 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
30.24/30.84	c 31	Propagation in CSP
32.71/33.37	c 33	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
32.71/33.37	c 33	CSP : 7310 integers, 76068 booleans, 171902 clauses, largest domain size 2721
32.71/33.37	c 33	Heap : 106 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
32.81/33.42	c 34	Simplifing CSP by introducing new Boolean variables
33.12/33.80	c 34	CSP : 7310 integers, 138448 booleans, 234282 clauses, largest domain size 2721
33.12/33.80	c 34	Heap : 128 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
33.91/34.57	c 35	Encoding CSP to SAT : HOME/temp.cnf
38.36/39.08	c 39	731 (10%) CSP integer variables are encoded (205020 clauses, 3263993 bytes)
42.81/43.59	c 44	1462 (20%) CSP integer variables are encoded (411495 clauses, 6774068 bytes)
46.68/47.43	c 48	2193 (30%) CSP integer variables are encoded (1058439 clauses, 17893337 bytes)
48.95/49.75	c 50	2924 (40%) CSP integer variables are encoded (2925126 clauses, 53360390 bytes)
51.31/52.15	c 52	3655 (50%) CSP integer variables are encoded (4811435 clauses, 89200261 bytes)
53.67/54.53	c 55	4386 (60%) CSP integer variables are encoded (6701574 clauses, 125112902 bytes)
56.12/57.03	c 57	5117 (70%) CSP integer variables are encoded (8588891 clauses, 160971925 bytes)
58.58/59.56	c 60	5848 (80%) CSP integer variables are encoded (10494612 clauses, 198181159 bytes)
61.17/62.32	c 62	6579 (90%) CSP integer variables are encoded (12392367 clauses, 238034014 bytes)
63.62/64.88	c 65	7310 (100%) CSP integer variables are encoded (14251932 clauses, 277084879 bytes)
88.43/90.24	c 90	23429 (10%) CSP clauses are encoded (21389578 clauses, 471940417 bytes)
114.07/116.42	c 117	46857 (20%) CSP clauses are encoded (29079085 clauses, 685084046 bytes)
138.67/141.67	c 142	70285 (30%) CSP clauses are encoded (36522060 clauses, 892061775 bytes)
163.27/166.78	c 167	93713 (40%) CSP clauses are encoded (43931004 clauses, 1098764357 bytes)
189.22/193.23	c 193	117141 (50%) CSP clauses are encoded (51834850 clauses, 1319560922 bytes)
214.39/218.92	c 219	140570 (60%) CSP clauses are encoded (59543705 clauses, 1543077478 bytes)
240.31/245.75	c 246	163998 (70%) CSP clauses are encoded (67563696 clauses, 1779624943 bytes)
265.50/271.67	c 272	187426 (80%) CSP clauses are encoded (75558882 clauses, 2017073235 bytes)
289.31/295.98	c 296	210854 (90%) CSP clauses are encoded (83790272 clauses, 2262766817 bytes)
312.75/319.81	c 320	234282 (100%) CSP clauses are encoded (92333938 clauses, 2517543919 bytes)
312.75/319.81	c 320	234282 CSP clauses encoded
312.75/319.82	c 320	Writing map file : HOME/temp.map
312.86/320.06	c 320	Heap : 101 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
312.86/320.06	c 320	SAT : 14397690 SAT variables, 92333938 SAT clauses, 2517543919 bytes
312.86/320.06	c 320	Heap : 101 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
312.93/320.13	c 320	SOLVING HOME/temp.cnf
312.93/320.13	c 320	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
312.97/320.26	c 320	This is MiniSat 2.0 beta
312.97/320.26	c 320	WARNING: for repeatability, setting FPU to use double precision
312.97/320.26	c 320	ERROR! Could not open file: HOME/temp.cnf
312.97/320.26	c 320	DECODING HOME/temp.out WITH HOME/temp.map
312.97/320.26	c ERROR no output file HOME/temp.out
312.97/320.26	s UNKNOWN
312.97/320.26	c 320	CPU 312.98 (0.06 0.02 297.63 15.27)
312.97/320.26	c 320	END Sun Jul 12 07:53:27 2009

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083578-1247377687/watcher-2083578-1247377687 -o /tmp/evaluation-result-2083578-1247377687/solver-2083578-1247377687 -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-2083578-1247377687.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.75 2.34 2.17 4/72 27589
/proc/meminfo: memFree=1893216/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=18576 CPUtime=0
/proc/27589/stat : 27589 (runsolver) D 27587 27589 23278 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 24831439 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 271638392103 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/27589/statm: 4644 284 249 26 0 2626 0

[startup+0.0960111 s]
/proc/loadavg: 2.75 2.34 2.17 4/72 27589
/proc/meminfo: memFree=1893216/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=12272 CPUtime=0
/proc/27589/stat : 27589 (sugar) D 27587 27589 23278 0 -1 4194304 358 0 4 0 0 0 0 0 18 0 1 0 24831439 12566528 330 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/27589/statm: 3068 330 246 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.101009 s]
/proc/loadavg: 2.75 2.34 2.17 4/72 27589
/proc/meminfo: memFree=1893216/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=12272 CPUtime=0
/proc/27589/stat : 27589 (sugar) D 27587 27589 23278 0 -1 4194304 358 0 4 0 0 0 0 0 18 0 1 0 24831439 12566528 330 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/27589/statm: 3068 330 246 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.301034 s]
/proc/loadavg: 2.75 2.34 2.17 4/72 27589
/proc/meminfo: memFree=1893216/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=0.07
/proc/27589/stat : 27589 (sugar) S 27587 27589 23278 0 -1 4194304 1221 128 6 0 5 2 0 0 19 0 1 0 24831439 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27589/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.701071 s]
/proc/loadavg: 2.75 2.34 2.17 4/72 27589
/proc/meminfo: memFree=1893216/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=0.07
/proc/27589/stat : 27589 (sugar) S 27587 27589 23278 0 -1 4194304 1221 128 6 0 5 2 0 0 19 0 1 0 24831439 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27589/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+1.50115 s]
/proc/loadavg: 2.75 2.34 2.17 3/83 27601
/proc/meminfo: memFree=1855944/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=0.07
/proc/27589/stat : 27589 (sugar) S 27587 27589 23278 0 -1 4194304 1221 128 6 0 5 2 0 0 19 0 1 0 24831439 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27589/statm: 4217 1111 409 3 0 796 0
[pid=27592] ppid=27589 vsize=5356 CPUtime=0
/proc/27592/stat : 27592 (sh) S 27589 27589 23278 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24831463 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27592/statm: 1339 233 193 169 0 50 0
[pid=27593] ppid=27592 vsize=864756 CPUtime=1.19
/proc/27593/stat : 27593 (java) S 27592 27589 23278 0 -1 0 15161 0 36 0 109 10 0 0 18 0 9 0 24831463 885510144 13223 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27593/statm: 216189 13223 2557 9 0 210701 0
[pid=27593/tid=27594] ppid=27592 vsize=864756 CPUtime=0.61
/proc/27593/task/27594/stat : 27594 (java) R 27592 27589 23278 0 -1 64 3043 0 17 0 58 3 0 0 25 0 9 0 24831467 885510144 13223 996147200 134512640 134550932 4294955984 18446744073709551615 4126732660 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27593/tid=27595] ppid=27592 vsize=864756 CPUtime=0.4
/proc/27593/task/27595/stat : 27595 (java) S 27592 27589 23278 0 -1 64 10906 0 0 0 36 4 0 0 16 0 9 0 24831470 885510144 13223 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27593/tid=27596] ppid=27592 vsize=864756 CPUtime=0
/proc/27593/task/27596/stat : 27596 (java) S 27592 27589 23278 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24831470 885510144 13223 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27593/tid=27597] ppid=27592 vsize=864756 CPUtime=0
/proc/27593/task/27597/stat : 27597 (java) S 27592 27589 23278 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 24831470 885510144 13223 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27593/tid=27598] ppid=27592 vsize=864756 CPUtime=0
/proc/27593/task/27598/stat : 27598 (java) S 27592 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 24831472 885510144 13223 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27593/tid=27599] ppid=27592 vsize=864756 CPUtime=0.14
/proc/27593/task/27599/stat : 27599 (java) S 27592 27589 23278 0 -1 64 526 0 0 0 13 1 0 0 16 0 9 0 24831472 885510144 13223 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27593/tid=27600] ppid=27592 vsize=864756 CPUtime=0
/proc/27593/task/27600/stat : 27600 (java) S 27592 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 24831472 885510144 13223 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27593/tid=27601] ppid=27592 vsize=864756 CPUtime=0
/proc/27593/task/27601/stat : 27601 (java) S 27592 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24831472 885510144 13223 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 886980

[startup+3.10274 s]
/proc/loadavg: 2.69 2.33 2.17 4/83 27611
/proc/meminfo: memFree=1870984/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=1.56
/proc/27589/stat : 27589 (sugar) S 27587 27589 23278 0 -1 4194304 1303 16030 6 36 5 2 137 12 15 0 1 0 24831439 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27589/statm: 4217 1111 409 3 0 796 0
[pid=27602] ppid=27589 vsize=5356 CPUtime=0
/proc/27602/stat : 27602 (sh) S 27589 27589 23278 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24831620 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27602/statm: 1339 233 193 169 0 50 0
[pid=27603] ppid=27602 vsize=868544 CPUtime=1.26
/proc/27603/stat : 27603 (java) S 27602 27589 23278 0 -1 0 9621 0 4 0 121 5 0 0 18 0 9 0 24831620 889389056 8699 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27603/statm: 217136 8699 2570 9 0 211641 0
[pid=27603/tid=27604] ppid=27602 vsize=868544 CPUtime=0.84
/proc/27603/task/27604/stat : 27604 (java) R 27602 27589 23278 0 -1 64 2632 0 4 0 82 2 0 0 22 0 9 0 24831621 889389056 8699 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27605] ppid=27602 vsize=868544 CPUtime=0.22
/proc/27603/task/27605/stat : 27605 (java) S 27602 27589 23278 0 -1 64 4803 0 0 0 21 1 0 0 15 0 9 0 24831622 889389056 8699 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27606] ppid=27602 vsize=868544 CPUtime=0
/proc/27603/task/27606/stat : 27606 (java) S 27602 27589 23278 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24831622 889389056 8699 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27607] ppid=27602 vsize=868544 CPUtime=0
/proc/27603/task/27607/stat : 27607 (java) S 27602 27589 23278 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 24831622 889389056 8699 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27608] ppid=27602 vsize=868544 CPUtime=0
/proc/27603/task/27608/stat : 27608 (java) S 27602 27589 23278 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 24831624 889389056 8699 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27609] ppid=27602 vsize=868544 CPUtime=0.17
/proc/27603/task/27609/stat : 27609 (java) S 27602 27589 23278 0 -1 64 1483 0 0 0 17 0 0 0 15 0 9 0 24831624 889389056 8699 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27610] ppid=27602 vsize=868544 CPUtime=0
/proc/27603/task/27610/stat : 27610 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24831624 889389056 8699 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27611] ppid=27602 vsize=868544 CPUtime=0
/proc/27603/task/27611/stat : 27611 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24831624 889389056 8699 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 890768

[startup+6.30269 s]
/proc/loadavg: 2.69 2.33 2.17 3/83 27611
/proc/meminfo: memFree=1847176/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=1.56
/proc/27589/stat : 27589 (sugar) S 27587 27589 23278 0 -1 4194304 1303 16030 6 36 5 2 137 12 16 0 1 0 24831439 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27589/statm: 4217 1111 409 3 0 796 0
[pid=27602] ppid=27589 vsize=5356 CPUtime=0
/proc/27602/stat : 27602 (sh) S 27589 27589 23278 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24831620 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27602/statm: 1339 233 193 169 0 50 0
[pid=27603] ppid=27602 vsize=868628 CPUtime=4.43
/proc/27603/stat : 27603 (java) S 27602 27589 23278 0 -1 0 12854 0 4 0 434 9 0 0 18 0 9 0 24831620 889475072 11561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27603/statm: 217157 11561 2567 9 0 211662 0
[pid=27603/tid=27604] ppid=27602 vsize=868628 CPUtime=3.46
/proc/27603/task/27604/stat : 27604 (java) R 27602 27589 23278 0 -1 64 3116 0 4 0 343 3 0 0 25 0 9 0 24831621 889475072 11561 996147200 134512640 134550932 4294955936 18446744073709551615 4126507824 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27605] ppid=27602 vsize=868628 CPUtime=0.74
/proc/27603/task/27605/stat : 27605 (java) S 27602 27589 23278 0 -1 64 7542 0 0 0 70 4 0 0 16 0 9 0 24831622 889475072 11561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27606] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27606/stat : 27606 (java) S 27602 27589 23278 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24831622 889475072 11561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27607] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27607/stat : 27607 (java) S 27602 27589 23278 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 24831622 889475072 11561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27608] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27608/stat : 27608 (java) S 27602 27589 23278 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 24831624 889475072 11561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27609] ppid=27602 vsize=868628 CPUtime=0.19
/proc/27603/task/27609/stat : 27609 (java) S 27602 27589 23278 0 -1 64 1493 0 0 0 19 0 0 0 15 0 9 0 24831624 889475072 11561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27610] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27610/stat : 27610 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24831624 889475072 11561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27611] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27611/stat : 27611 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24831624 889475072 11561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 890852

[startup+12.7069 s]
/proc/loadavg: 2.58 2.32 2.16 3/83 27611
/proc/meminfo: memFree=1823304/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=1.56
/proc/27589/stat : 27589 (sugar) S 27587 27589 23278 0 -1 4194304 1303 16030 6 36 5 2 137 12 16 0 1 0 24831439 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27589/statm: 4217 1111 409 3 0 796 0
[pid=27602] ppid=27589 vsize=5356 CPUtime=0
/proc/27602/stat : 27602 (sh) S 27589 27589 23278 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24831620 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27602/statm: 1339 233 193 169 0 50 0
[pid=27603] ppid=27602 vsize=868628 CPUtime=10.77
/proc/27603/stat : 27603 (java) S 27602 27589 23278 0 -1 0 23163 0 4 0 1060 17 0 0 18 0 9 0 24831620 889475072 17464 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27603/statm: 217157 17464 2568 9 0 211662 0
[pid=27603/tid=27604] ppid=27602 vsize=868628 CPUtime=8.97
/proc/27603/task/27604/stat : 27604 (java) R 27602 27589 23278 0 -1 64 3613 0 4 0 893 4 0 0 25 0 9 0 24831621 889475072 17464 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27605] ppid=27602 vsize=868628 CPUtime=1.57
/proc/27603/task/27605/stat : 27605 (java) S 27602 27589 23278 0 -1 64 17345 0 0 0 146 11 0 0 15 0 9 0 24831622 889475072 17464 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27606] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27606/stat : 27606 (java) S 27602 27589 23278 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24831622 889475072 17464 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27607] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27607/stat : 27607 (java) S 27602 27589 23278 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 24831622 889475072 17464 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27608] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27608/stat : 27608 (java) S 27602 27589 23278 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 24831624 889475072 17464 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27609] ppid=27602 vsize=868628 CPUtime=0.2
/proc/27603/task/27609/stat : 27609 (java) S 27602 27589 23278 0 -1 64 1502 0 0 0 20 0 0 0 15 0 9 0 24831624 889475072 17464 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27610] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27610/stat : 27610 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24831624 889475072 17464 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27611] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27611/stat : 27611 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24831624 889475072 17464 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 890852

[startup+25.5016 s]
/proc/loadavg: 2.49 2.31 2.16 3/83 27611
/proc/meminfo: memFree=1773576/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=1.56
/proc/27589/stat : 27589 (sugar) S 27587 27589 23278 0 -1 4194304 1303 16030 6 36 5 2 137 12 16 0 1 0 24831439 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27589/statm: 4217 1111 409 3 0 796 0
[pid=27602] ppid=27589 vsize=5356 CPUtime=0
/proc/27602/stat : 27602 (sh) S 27589 27589 23278 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24831620 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27602/statm: 1339 233 193 169 0 50 0
[pid=27603] ppid=27602 vsize=868628 CPUtime=23.43
/proc/27603/stat : 27603 (java) S 27602 27589 23278 0 -1 0 39655 0 4 0 2316 27 0 0 18 0 9 0 24831620 889475072 29527 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27603/statm: 217157 29527 2568 9 0 211662 0
[pid=27603/tid=27604] ppid=27602 vsize=868628 CPUtime=20.11
/proc/27603/task/27604/stat : 27604 (java) R 27602 27589 23278 0 -1 64 4325 0 4 0 2006 5 0 0 25 0 9 0 24831621 889475072 29527 996147200 134512640 134550932 4294955936 18446744073709551615 4126512664 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27605] ppid=27602 vsize=868628 CPUtime=3.08
/proc/27603/task/27605/stat : 27605 (java) S 27602 27589 23278 0 -1 64 33123 0 0 0 288 20 0 0 16 0 9 0 24831622 889475072 29527 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27606] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27606/stat : 27606 (java) S 27602 27589 23278 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24831622 889475072 29527 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27607] ppid=27602 vsize=868628 CPUtime=0
/proc/27603/task/27607/stat : 27607 (java) S 27602 27589 23278 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 24831622 889475072 29527 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27608] ppid=27602 vsize=868628 CPUtime=0

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

[pid=27603/tid=27609] ppid=27602 vsize=868740 CPUtime=0.29
/proc/27603/task/27609/stat : 27609 (java) S 27602 27589 23278 0 -1 64 1550 0 0 0 29 0 0 0 16 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27610] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27610/stat : 27610 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27611] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27611/stat : 27611 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 275.92
Current children cumulated vsize (KiB) 890964

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

[startup+307.202 s]
/proc/loadavg: 2.31 2.44 2.27 3/83 27613
/proc/meminfo: memFree=15432/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=1.56
/proc/27589/stat : 27589 (sugar) S 27587 27589 23278 0 -1 4194304 1304 16030 6 36 5 2 137 12 16 0 1 0 24831439 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27589/statm: 4217 1111 409 3 0 796 0
[pid=27602] ppid=27589 vsize=5356 CPUtime=0
/proc/27602/stat : 27602 (sh) S 27589 27589 23278 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24831620 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27602/statm: 1339 233 193 169 0 50 0
[pid=27603] ppid=27602 vsize=868740 CPUtime=298.81
/proc/27603/stat : 27603 (java) S 27602 27589 23278 0 -1 0 56413 0 5 0 28448 1433 0 0 18 0 9 0 24831620 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27603/statm: 217185 40037 2593 9 0 211662 0
[pid=27603/tid=27604] ppid=27602 vsize=868740 CPUtime=290.19
/proc/27603/task/27604/stat : 27604 (java) R 27602 27589 23278 0 -1 64 9447 0 5 0 27641 1378 0 0 25 0 9 0 24831621 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27603/tid=27605] ppid=27602 vsize=868740 CPUtime=8.3
/proc/27603/task/27605/stat : 27605 (java) S 27602 27589 23278 0 -1 64 44713 0 0 0 777 53 0 0 16 0 9 0 24831622 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27603/tid=27606] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27606/stat : 27606 (java) S 27602 27589 23278 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24831622 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27607] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27607/stat : 27607 (java) S 27602 27589 23278 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 24831622 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27608] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27608/stat : 27608 (java) S 27602 27589 23278 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27609] ppid=27602 vsize=868740 CPUtime=0.29
/proc/27603/task/27609/stat : 27609 (java) S 27602 27589 23278 0 -1 64 1550 0 0 0 29 0 0 0 16 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27610] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27610/stat : 27610 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27611] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27611/stat : 27611 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 300.37
Current children cumulated vsize (KiB) 890964

[startup+313.607 s]
/proc/loadavg: 2.28 2.43 2.26 3/83 27613
/proc/meminfo: memFree=15624/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=1.56
/proc/27589/stat : 27589 (sugar) S 27587 27589 23278 0 -1 4194304 1304 16030 6 36 5 2 137 12 16 0 1 0 24831439 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27589/statm: 4217 1111 409 3 0 796 0
[pid=27602] ppid=27589 vsize=5356 CPUtime=0
/proc/27602/stat : 27602 (sh) S 27589 27589 23278 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24831620 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27602/statm: 1339 233 193 169 0 50 0
[pid=27603] ppid=27602 vsize=868740 CPUtime=305.11
/proc/27603/stat : 27603 (java) S 27602 27589 23278 0 -1 0 56530 0 5 0 29041 1470 0 0 18 0 9 0 24831620 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27603/statm: 217185 40037 2593 9 0 211662 0
[pid=27603/tid=27604] ppid=27602 vsize=868740 CPUtime=296.41
/proc/27603/task/27604/stat : 27604 (java) R 27602 27589 23278 0 -1 64 9564 0 5 0 28226 1415 0 0 25 0 9 0 24831621 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27603/tid=27605] ppid=27602 vsize=868740 CPUtime=8.39
/proc/27603/task/27605/stat : 27605 (java) S 27602 27589 23278 0 -1 64 44713 0 0 0 785 54 0 0 16 0 9 0 24831622 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27603/tid=27606] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27606/stat : 27606 (java) S 27602 27589 23278 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24831622 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27607] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27607/stat : 27607 (java) S 27602 27589 23278 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 24831622 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27608] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27608/stat : 27608 (java) S 27602 27589 23278 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27609] ppid=27602 vsize=868740 CPUtime=0.29
/proc/27603/task/27609/stat : 27609 (java) S 27602 27589 23278 0 -1 64 1550 0 0 0 29 0 0 0 16 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27610] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27610/stat : 27610 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27611] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27611/stat : 27611 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 306.67
Current children cumulated vsize (KiB) 890964

[startup+316.801 s]
/proc/loadavg: 2.26 2.43 2.26 3/83 27613
/proc/meminfo: memFree=15624/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=1.56
/proc/27589/stat : 27589 (sugar) S 27587 27589 23278 0 -1 4194304 1304 16030 6 36 5 2 137 12 16 0 1 0 24831439 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27589/statm: 4217 1111 409 3 0 796 0
[pid=27602] ppid=27589 vsize=5356 CPUtime=0
/proc/27602/stat : 27602 (sh) S 27589 27589 23278 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24831620 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27602/statm: 1339 233 193 169 0 50 0
[pid=27603] ppid=27602 vsize=868740 CPUtime=308.26
/proc/27603/stat : 27603 (java) S 27602 27589 23278 0 -1 0 56588 0 5 0 29336 1490 0 0 18 0 9 0 24831620 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27603/statm: 217185 40037 2593 9 0 211662 0
[pid=27603/tid=27604] ppid=27602 vsize=868740 CPUtime=299.51
/proc/27603/task/27604/stat : 27604 (java) R 27602 27589 23278 0 -1 64 9622 0 5 0 28517 1434 0 0 25 0 9 0 24831621 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4126507892 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27603/tid=27605] ppid=27602 vsize=868740 CPUtime=8.43
/proc/27603/task/27605/stat : 27605 (java) S 27602 27589 23278 0 -1 64 44713 0 0 0 789 54 0 0 16 0 9 0 24831622 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27603/tid=27606] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27606/stat : 27606 (java) S 27602 27589 23278 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24831622 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27607] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27607/stat : 27607 (java) S 27602 27589 23278 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 24831622 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27608] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27608/stat : 27608 (java) S 27602 27589 23278 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27609] ppid=27602 vsize=868740 CPUtime=0.29
/proc/27603/task/27609/stat : 27609 (java) S 27602 27589 23278 0 -1 64 1550 0 0 0 29 0 0 0 16 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27610] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27610/stat : 27610 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27611] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27611/stat : 27611 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24831624 889589760 40037 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 309.82
Current children cumulated vsize (KiB) 890964

[startup+320.003 s]
/proc/loadavg: 2.26 2.43 2.26 3/83 27613
/proc/meminfo: memFree=15304/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=1.56
/proc/27589/stat : 27589 (sugar) S 27587 27589 23278 0 -1 4194304 1304 16030 6 36 5 2 137 12 16 0 1 0 24831439 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27589/statm: 4217 1111 409 3 0 796 0
[pid=27602] ppid=27589 vsize=5356 CPUtime=0
/proc/27602/stat : 27602 (sh) S 27589 27589 23278 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24831620 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27602/statm: 1339 233 193 169 0 50 0
[pid=27603] ppid=27602 vsize=868740 CPUtime=311.3
/proc/27603/stat : 27603 (java) S 27602 27589 23278 0 -1 0 56654 0 5 0 29620 1510 0 0 18 0 9 0 24831620 889589760 40044 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27603/statm: 217185 40044 2593 9 0 211662 0
[pid=27603/tid=27604] ppid=27602 vsize=868740 CPUtime=302.5
/proc/27603/task/27604/stat : 27604 (java) R 27602 27589 23278 0 -1 64 9684 0 5 0 28796 1454 0 0 20 0 9 0 24831621 889589760 40044 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27603/tid=27605] ppid=27602 vsize=868740 CPUtime=8.47
/proc/27603/task/27605/stat : 27605 (java) S 27602 27589 23278 0 -1 64 44713 0 0 0 793 54 0 0 16 0 9 0 24831622 889589760 40044 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27603/tid=27606] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27606/stat : 27606 (java) S 27602 27589 23278 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24831622 889589760 40044 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27607] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27607/stat : 27607 (java) S 27602 27589 23278 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 24831622 889589760 40044 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27608] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27608/stat : 27608 (java) S 27602 27589 23278 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 24831624 889589760 40044 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27609] ppid=27602 vsize=868740 CPUtime=0.29
/proc/27603/task/27609/stat : 27609 (java) S 27602 27589 23278 0 -1 64 1554 0 0 0 29 0 0 0 15 0 9 0 24831624 889589760 40044 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27603/tid=27610] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27610/stat : 27610 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24831624 889589760 40044 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27603/tid=27611] ppid=27602 vsize=868740 CPUtime=0
/proc/27603/task/27611/stat : 27611 (java) S 27602 27589 23278 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24831624 889589760 40044 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 312.86
Current children cumulated vsize (KiB) 890964

[startup+320.802 s]
/proc/loadavg: 2.26 2.43 2.26 3/76 27613
/proc/meminfo: memFree=55880/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=313.51
/proc/27589/stat : 27589 (sugar) R 27587 27589 23278 0 -1 4194304 1413 73338 6 52 6 55 29763 1527 20 0 1 0 24831439 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 271638565929 0 0 4224 16386 0 0 0 17 0 0 0
/proc/27589/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 313.51
Current children cumulated vsize (KiB) 16868

[startup+321.602 s]
/proc/loadavg: 2.26 2.43 2.26 2/73 27615
/proc/meminfo: memFree=1916120/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=313.87
/proc/27589/stat : 27589 (sugar) D 27587 27589 23278 0 -1 4194304 1413 73338 6 52 6 91 29763 1527 18 0 1 0 24831439 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 271638565929 0 0 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/27589/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 313.87
Current children cumulated vsize (KiB) 16868

[startup+321.802 s]
/proc/loadavg: 2.26 2.43 2.26 2/73 27615
/proc/meminfo: memFree=1916120/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=313.89
/proc/27589/stat : 27589 (sugar) D 27587 27589 23278 0 -1 4194304 1413 73338 6 52 6 93 29763 1527 18 0 1 0 24831439 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 271638565929 0 0 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/27589/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 313.89
Current children cumulated vsize (KiB) 16868

[startup+321.902 s]
/proc/loadavg: 2.26 2.43 2.26 2/73 27615
/proc/meminfo: memFree=1916120/2055920 swapFree=4192812/4192956
[pid=27589] ppid=27587 vsize=16868 CPUtime=313.89
/proc/27589/stat : 27589 (sugar) D 27587 27589 23278 0 -1 4194304 1413 73338 6 52 6 93 29763 1527 18 0 1 0 24831439 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 271638565929 0 0 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/27589/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 313.89
Current children cumulated vsize (KiB) 16868

Child status: 0
Real time (s): 321.928
CPU time (s): 313.915
CPU user time (s): 297.699
CPU system time (s): 16.2165
CPU usage (%): 97.5111
Max. virtual memory (cumulated for all children) (KiB): 901100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 297.699
system time used= 16.2165
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74812
page faults= 58
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56748
involuntary context switches= 62629

runsolver used 0.407937 second user time and 1.12183 second system time

The end

Launcher Data 

Begin job on node67 at 2009-07-12 07:48:07
IDJOB=2083578
IDBENCH=57860
IDSOLVER=739
FILE ID=node67/2083578-1247377687
PBS_JOBID= 9507091
Free space on /tmp= 66508 MiB

SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/fapp/fapp24/normalized-fapp24-2000-10.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-2083578-1247377687/watcher-2083578-1247377687 -o /tmp/evaluation-result-2083578-1247377687/solver-2083578-1247377687 -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-2083578-1247377687.xml

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

MD5SUM BENCH= da2491dfd5d4c48595148d7cd3674d2d
RANDOM SEED=829418009

node67.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.239
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.239
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:       1893696 kB
Buffers:          3804 kB
Cached:          56376 kB
SwapCached:          0 kB
Active:          89408 kB
Inactive:        21420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1893696 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5024 kB
Writeback:           0 kB
Mapped:          62244 kB
Slab:            36624 kB
Committed_AS:   232812 kB
PageTables:       1868 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= 66504 MiB
End job on node67 at 2009-07-12 07:53:29