Trace number 2083918

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+picosatUNSAT 196.777 200.67

General information on the benchmark

Namecsp/fapp/fapp07/
normalized-fapp07-0600-7.xml
MD5SUMc3977aded3fc1b33631985df26116e6e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark11.4773
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints8996
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8996
Global constraints used (with number of constraints)

Solver Data 

0.03/0.28	c 0	Sugar v1-14-6 + HOME/picosat
0.03/0.28	c 0	BEGIN Sun Jul 12 08:01:18 2009
0.03/0.28	c 0	PID 27047
0.03/0.30	c 0	HOST node92.alineos.net
0.03/0.30	c 0	CONVERTING HOME/instance-2083918-1247378477.xml TO HOME/temp.csp
0.03/0.30	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2083918-1247378477.xml' 'HOME/temp.csp'
0.77/1.16	c 1	28 domains, 600 variables, 8 predicates, 0 relations, 8996 constraints
0.82/1.20	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.82/1.20	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/1.27	c 1	Parsing HOME/temp.csp
0.83/1.45	c 1	parsed 9632 expressions
0.83/1.46	c 1	Heap : 4 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.83/1.46	c 1	Converting to clausal form CSP
2.11/2.53	c 2	converted 964 (10%) expressions
3.71/4.11	c 4	converted 1927 (20%) expressions
4.81/5.25	c 5	converted 2890 (30%) expressions
5.71/6.15	c 6	converted 3853 (40%) expressions
6.91/7.32	c 7	converted 4816 (50%) expressions
7.70/8.18	c 8	converted 5780 (60%) expressions
8.41/8.88	c 8	converted 6743 (70%) expressions
9.70/10.15	c 10	converted 7706 (80%) expressions
10.50/10.91	c 10	converted 8669 (90%) expressions
11.31/11.70	c 11	converted 9632 (100%) expressions
11.31/11.70	c 11	CSP : 1198 integers, 25934 booleans, 53780 clauses, largest domain size 2721
11.31/11.70	c 11	Heap : 76 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
11.31/11.70	c 11	Propagation in CSP
11.61/12.10	c 12	480 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.61/12.10	c 12	CSP : 1198 integers, 25934 booleans, 53780 clauses, largest domain size 2721
11.61/12.10	c 12	Heap : 77 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
11.71/12.13	c 12	Simplifing CSP by introducing new Boolean variables
11.80/12.23	c 12	CSP : 1198 integers, 43686 booleans, 71532 clauses, largest domain size 2721
11.80/12.23	c 12	Heap : 80 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
12.30/12.79	c 12	Encoding CSP to SAT : HOME/temp.cnf
12.81/13.22	c 13	120 (10%) CSP integer variables are encoded (20624 clauses, 287348 bytes)
13.20/13.62	c 13	240 (20%) CSP integer variables are encoded (41412 clauses, 599168 bytes)
13.60/14.02	c 14	360 (30%) CSP integer variables are encoded (63061 clauses, 923903 bytes)
14.00/14.43	c 14	480 (40%) CSP integer variables are encoded (84950 clauses, 1252238 bytes)
14.39/14.86	c 14	599 (50%) CSP integer variables are encoded (107958 clauses, 1614385 bytes)
14.70/15.12	c 15	719 (60%) CSP integer variables are encoded (318867 clauses, 5199838 bytes)
14.91/15.35	c 15	839 (70%) CSP integer variables are encoded (511653 clauses, 8477200 bytes)
15.10/15.58	c 15	959 (80%) CSP integer variables are encoded (711473 clauses, 11874140 bytes)
15.40/15.85	c 15	1079 (90%) CSP integer variables are encoded (956529 clauses, 16040092 bytes)
15.70/16.10	c 16	1198 (100%) CSP integer variables are encoded (1165716 clauses, 19929912 bytes)
19.27/19.75	c 19	7154 (10%) CSP clauses are encoded (2331951 clauses, 48745954 bytes)
22.96/23.49	c 23	14307 (20%) CSP clauses are encoded (3675721 clauses, 82188383 bytes)
26.56/27.30	c 27	21460 (30%) CSP clauses are encoded (5028633 clauses, 116357105 bytes)
29.89/30.98	c 31	28613 (40%) CSP clauses are encoded (6378943 clauses, 150966665 bytes)
33.38/34.41	c 34	35766 (50%) CSP clauses are encoded (7738217 clauses, 185985587 bytes)
37.41/39.22	c 39	42920 (60%) CSP clauses are encoded (9419831 clauses, 228957441 bytes)
41.49/43.31	c 43	50073 (70%) CSP clauses are encoded (11080366 clauses, 271189538 bytes)
45.57/47.47	c 47	57226 (80%) CSP clauses are encoded (12722619 clauses, 313115074 bytes)
49.98/52.29	c 52	64379 (90%) CSP clauses are encoded (14510836 clauses, 358719387 bytes)
54.44/56.72	c 56	71532 (100%) CSP clauses are encoded (16258447 clauses, 403343438 bytes)
54.44/56.72	c 56	71532 CSP clauses encoded
54.44/56.72	c 56	Writing map file : HOME/temp.map
54.47/57.20	c 57	Heap : 76 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
54.47/57.20	c 57	SAT : 1210600 SAT variables, 16258447 SAT clauses, 403343438 bytes
54.47/57.20	c 57	Heap : 76 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
54.51/57.26	c 57	SOLVING HOME/temp.cnf
54.51/57.26	c 57	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
195.92/199.88	c 199	DECODING HOME/temp.out WITH HOME/temp.map
195.92/199.88	c 199	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'
196.01/199.96	c 200	Decoding HOME/temp.out
196.51/200.41	s UNSATISFIABLE
196.51/200.42	c 200	Heap : 6 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
196.51/200.47	c 200	CPU 196.54 (0.05 0.01 121.96 74.52)
196.51/200.47	c 200	END Sun Jul 12 08:04:38 2009

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083918-1247378477/watcher-2083918-1247378477 -o /tmp/evaluation-result-2083918-1247378477/solver-2083918-1247378477 -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-2083918-1247378477.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.00 2.02 2.00 4/75 27047
/proc/meminfo: memFree=490072/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=124 CPUtime=0
/proc/27047/stat : 27047 (sugar) D 27045 27047 27010 0 -1 4194304 38 0 0 0 0 0 0 0 20 0 1 0 24912783 126976 23 996147200 4194304 4206940 548682068608 18446744073709551615 251276621289 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/27047/statm: 31 23 17 3 0 3 0

[startup+0.0808801 s]
/proc/loadavg: 2.00 2.02 2.00 4/75 27047
/proc/meminfo: memFree=490072/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=12272 CPUtime=0
/proc/27047/stat : 27047 (sugar) D 27045 27047 27010 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 24912783 12566528 330 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 0 18446744071563479169 0 0 17 0 0 0
/proc/27047/statm: 3068 330 246 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.10188 s]
/proc/loadavg: 2.00 2.02 2.00 4/75 27047
/proc/meminfo: memFree=490072/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=12412 CPUtime=0
/proc/27047/stat : 27047 (sugar) D 27045 27047 27010 0 -1 4194304 414 0 0 0 0 0 0 0 18 0 1 0 24912783 12709888 382 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 0 18446744071563479169 0 0 17 0 0 0
/proc/27047/statm: 3103 382 275 3 0 203 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12412

[startup+0.301944 s]
/proc/loadavg: 2.00 2.02 2.00 4/75 27047
/proc/meminfo: memFree=490072/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=0.06
/proc/27047/stat : 27047 (sugar) R 27045 27047 27010 0 -1 4194304 1199 128 0 0 5 1 0 0 18 0 1 0 24912783 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251279239839 0 0 4224 16386 0 0 0 17 0 0 0
/proc/27047/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.702964 s]
/proc/loadavg: 2.00 2.02 2.00 4/75 27047
/proc/meminfo: memFree=490072/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=0.06
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1227 128 0 0 5 1 0 0 18 0 1 0 24912783 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27047/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+1.50206 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 27059
/proc/meminfo: memFree=461752/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=0.83
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1309 8938 0 1 5 1 71 6 16 0 1 0 24912783 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 16868

[startup+3.10126 s]
/proc/loadavg: 2.00 2.02 2.00 4/86 27069
/proc/meminfo: memFree=458360/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=0.83
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1309 8938 0 1 5 1 71 6 16 0 1 0 24912783 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1111 409 3 0 796 0
[pid=27060] ppid=27047 vsize=5356 CPUtime=0
/proc/27060/stat : 27060 (sh) S 27047 27047 27010 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24912904 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27060/statm: 1339 233 193 169 0 50 0
[pid=27061] ppid=27060 vsize=869616 CPUtime=1.88
/proc/27061/stat : 27061 (java) S 27060 27047 27010 0 -1 0 9092 0 1 0 182 6 0 0 19 0 9 0 24912904 890486784 8217 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27061/statm: 217404 8217 2566 9 0 211909 0
[pid=27061/tid=27062] ppid=27060 vsize=869616 CPUtime=1.44
/proc/27061/task/27062/stat : 27062 (java) R 27060 27047 27010 0 -1 64 2780 0 1 0 143 1 0 0 25 0 9 0 24912905 890486784 8217 996147200 134512640 134550932 4294955936 18446744073709551615 4126575775 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27063] ppid=27060 vsize=869616 CPUtime=0.25
/proc/27061/task/27063/stat : 27063 (java) S 27060 27047 27010 0 -1 64 4170 0 0 0 23 2 0 0 16 0 9 0 24912906 890486784 8217 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27064] ppid=27060 vsize=869616 CPUtime=0
/proc/27061/task/27064/stat : 27064 (java) S 27060 27047 27010 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24912906 890486784 8217 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27065] ppid=27060 vsize=869616 CPUtime=0
/proc/27061/task/27065/stat : 27065 (java) S 27060 27047 27010 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24912906 890486784 8217 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27066] ppid=27060 vsize=869616 CPUtime=0
/proc/27061/task/27066/stat : 27066 (java) S 27060 27047 27010 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24912908 890486784 8217 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27067] ppid=27060 vsize=869616 CPUtime=0.17
/proc/27061/task/27067/stat : 27067 (java) S 27060 27047 27010 0 -1 64 1442 0 0 0 16 1 0 0 15 0 9 0 24912908 890486784 8217 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27068] ppid=27060 vsize=869616 CPUtime=0
/proc/27061/task/27068/stat : 27068 (java) S 27060 27047 27010 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24912908 890486784 8217 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27069] ppid=27060 vsize=869616 CPUtime=0
/proc/27061/task/27069/stat : 27069 (java) S 27060 27047 27010 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 24912908 890486784 8217 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 891840

[startup+6.30266 s]
/proc/loadavg: 2.00 2.02 2.00 4/86 27069
/proc/meminfo: memFree=423608/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=0.83
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1309 8938 0 1 5 1 71 6 16 0 1 0 24912783 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1111 409 3 0 796 0
[pid=27060] ppid=27047 vsize=5356 CPUtime=0
/proc/27060/stat : 27060 (sh) S 27047 27047 27010 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24912904 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27060/statm: 1339 233 193 169 0 50 0
[pid=27061] ppid=27060 vsize=882680 CPUtime=5.08
/proc/27061/stat : 27061 (java) S 27060 27047 27010 0 -1 0 19602 0 1 0 497 11 0 0 19 0 9 0 24912904 903864320 16648 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27061/statm: 220670 16655 2567 9 0 215175 0
[pid=27061/tid=27062] ppid=27060 vsize=882680 CPUtime=3.97
/proc/27061/task/27062/stat : 27062 (java) R 27060 27047 27010 0 -1 64 3181 0 1 0 395 2 0 0 25 0 9 0 24912905 903864320 16660 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27063] ppid=27060 vsize=882680 CPUtime=0.91
/proc/27061/task/27063/stat : 27063 (java) R 27060 27047 27010 0 -1 64 14291 0 0 0 84 7 0 0 16 0 9 0 24912906 903864320 16667 996147200 134512640 134550932 4294955936 18446744073709551615 102500650 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27064] ppid=27060 vsize=882680 CPUtime=0
/proc/27061/task/27064/stat : 27064 (java) S 27060 27047 27010 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24912906 903864320 16673 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27065] ppid=27060 vsize=882680 CPUtime=0
/proc/27061/task/27065/stat : 27065 (java) S 27060 27047 27010 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24912906 903864320 16680 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27066] ppid=27060 vsize=882680 CPUtime=0
/proc/27061/task/27066/stat : 27066 (java) S 27060 27047 27010 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24912908 903864320 16687 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27067] ppid=27060 vsize=882680 CPUtime=0.18
/proc/27061/task/27067/stat : 27067 (java) S 27060 27047 27010 0 -1 64 1448 0 0 0 17 1 0 0 15 0 9 0 24912908 903864320 16693 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27068] ppid=27060 vsize=882680 CPUtime=0
/proc/27061/task/27068/stat : 27068 (java) S 27060 27047 27010 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24912908 903864320 16699 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27069] ppid=27060 vsize=882680 CPUtime=0
/proc/27061/task/27069/stat : 27069 (java) S 27060 27047 27010 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 24912908 903864320 16705 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 904904

[startup+12.7015 s]
/proc/loadavg: 2.00 2.02 2.00 4/86 27069
/proc/meminfo: memFree=342912/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=0.83
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1310 8938 0 1 5 1 71 6 15 0 1 0 24912783 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1111 409 3 0 796 0
[pid=27060] ppid=27047 vsize=5356 CPUtime=0
/proc/27060/stat : 27060 (sh) S 27047 27047 27010 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24912904 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27060/statm: 1339 233 193 169 0 50 0
[pid=27061] ppid=27060 vsize=879864 CPUtime=11.47
/proc/27061/stat : 27061 (java) S 27060 27047 27010 0 -1 0 41867 0 1 0 1126 21 0 0 19 0 9 0 24912904 900980736 29445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27061/statm: 219966 29445 2569 9 0 214471 0
[pid=27061/tid=27062] ppid=27060 vsize=879864 CPUtime=8.61
/proc/27061/task/27062/stat : 27062 (java) R 27060 27047 27010 0 -1 64 3944 0 1 0 858 3 0 0 25 0 9 0 24912905 900980736 29445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27063] ppid=27060 vsize=879864 CPUtime=2.63
/proc/27061/task/27063/stat : 27063 (java) R 27060 27047 27010 0 -1 64 35760 0 0 0 247 16 0 0 16 0 9 0 24912906 900980736 29445 996147200 134512640 134550932 4294955936 18446744073709551615 104191062 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27064] ppid=27060 vsize=879864 CPUtime=0
/proc/27061/task/27064/stat : 27064 (java) S 27060 27047 27010 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24912906 900980736 29445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27065] ppid=27060 vsize=879864 CPUtime=0
/proc/27061/task/27065/stat : 27065 (java) S 27060 27047 27010 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24912906 900980736 29445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27066] ppid=27060 vsize=879864 CPUtime=0
/proc/27061/task/27066/stat : 27066 (java) S 27060 27047 27010 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24912908 900980736 29445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27067] ppid=27060 vsize=879864 CPUtime=0.21
/proc/27061/task/27067/stat : 27067 (java) S 27060 27047 27010 0 -1 64 1463 0 0 0 20 1 0 0 15 0 9 0 24912908 900980736 29445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27068] ppid=27060 vsize=879864 CPUtime=0
/proc/27061/task/27068/stat : 27068 (java) S 27060 27047 27010 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24912908 900980736 29445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27069] ppid=27060 vsize=879864 CPUtime=0
/proc/27061/task/27069/stat : 27069 (java) S 27060 27047 27010 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 24912908 900980736 29445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 902088

[startup+25.5021 s]
/proc/loadavg: 2.15 2.05 2.01 2/79 27070
/proc/meminfo: memFree=1004408/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=0.83
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1310 8938 0 1 5 1 71 6 16 0 1 0 24912783 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1111 409 3 0 796 0
[pid=27060] ppid=27047 vsize=5356 CPUtime=0
/proc/27060/stat : 27060 (sh) S 27047 27047 27010 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24912904 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27060/statm: 1339 233 193 169 0 50 0
[pid=27061] ppid=27060 vsize=869728 CPUtime=23.95
/proc/27061/stat : 27061 (java) S 27060 27047 27010 0 -1 0 42473 0 1 0 2319 76 0 0 19 0 9 0 24912904 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27061/statm: 217432 27209 2593 9 0 211909 0
[pid=27061/tid=27062] ppid=27060 vsize=869728 CPUtime=20.78
/proc/27061/task/27062/stat : 27062 (java) R 27060 27047 27010 0 -1 64 4485 0 1 0 2023 55 0 0 25 0 9 0 24912905 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4126911616 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27063] ppid=27060 vsize=869728 CPUtime=2.87
/proc/27061/task/27063/stat : 27063 (java) S 27060 27047 27010 0 -1 64 35783 0 0 0 269 18 0 0 16 0 9 0 24912906 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27064] ppid=27060 vsize=869728 CPUtime=0
/proc/27061/task/27064/stat : 27064 (java) S 27060 27047 27010 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24912906 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27065] ppid=27060 vsize=869728 CPUtime=0
/proc/27061/task/27065/stat : 27065 (java) S 27060 27047 27010 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24912906 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27066] ppid=27060 vsize=869728 CPUtime=0
/proc/27061/task/27066/stat : 27066 (java) S 27060 27047 27010 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24912908 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27067] ppid=27060 vsize=869728 CPUtime=0.26
/proc/27061/task/27067/stat : 27067 (java) S 27060 27047 27010 0 -1 64 1505 0 0 0 25 1 0 0 15 0 9 0 24912908 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27068] ppid=27060 vsize=869728 CPUtime=0
/proc/27061/task/27068/stat : 27068 (java) S 27060 27047 27010 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24912908 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27069] ppid=27060 vsize=869728 CPUtime=0
/proc/27061/task/27069/stat : 27069 (java) S 27060 27047 27010 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 24912908 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.78
Current children cumulated vsize (KiB) 891952

[startup+51.1023 s]
/proc/loadavg: 2.58 2.16 2.04 3/94 27110
/proc/meminfo: memFree=1448632/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=0.83
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1310 8938 0 1 5 1 71 6 16 0 1 0 24912783 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1111 409 3 0 796 0
[pid=27060] ppid=27047 vsize=5356 CPUtime=0
/proc/27060/stat : 27060 (sh) S 27047 27047 27010 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24912904 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27060/statm: 1339 233 193 169 0 50 0
[pid=27061] ppid=27060 vsize=869728 CPUtime=48.06
/proc/27061/stat : 27061 (java) S 27060 27047 27010 0 -1 0 43115 0 1 0 4585 221 0 0 19 0 9 0 24912904 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27061/statm: 217432 27209 2593 9 0 211909 0
[pid=27061/tid=27062] ppid=27060 vsize=869728 CPUtime=44.51
/proc/27061/task/27062/stat : 27062 (java) D 27060 27047 27010 0 -1 64 5127 0 1 0 4256 195 0 0 25 0 9 0 24912905 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563608240 0 0 -1 1 0 0
[pid=27061/tid=27063] ppid=27060 vsize=869728 CPUtime=3.27
/proc/27061/task/27063/stat : 27063 (java) S 27060 27047 27010 0 -1 64 35783 0 0 0 303 24 0 0 16 0 9 0 24912906 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27064] ppid=27060 vsize=869728 CPUtime=0
/proc/27061/task/27064/stat : 27064 (java) S 27060 27047 27010 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24912906 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27065] ppid=27060 vsize=869728 CPUtime=0
/proc/27061/task/27065/stat : 27065 (java) S 27060 27047 27010 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24912906 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27066] ppid=27060 vsize=869728 CPUtime=0
/proc/27061/task/27066/stat : 27066 (java) S 27060 27047 27010 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24912908 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27067] ppid=27060 vsize=869728 CPUtime=0.26
/proc/27061/task/27067/stat : 27067 (java) S 27060 27047 27010 0 -1 64 1505 0 0 0 25 1 0 0 15 0 9 0 24912908 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27068] ppid=27060 vsize=869728 CPUtime=0
/proc/27061/task/27068/stat : 27068 (java) S 27060 27047 27010 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24912908 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27061/tid=27069] ppid=27060 vsize=869728 CPUtime=0
/proc/27061/task/27069/stat : 27069 (java) S 27060 27047 27010 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 24912908 890601472 27209 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.89
Current children cumulated vsize (KiB) 891952

[startup+102.307 s]
/proc/loadavg: 2.55 2.24 2.08 3/87 27153
/proc/meminfo: memFree=1044984/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=54.55
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1366 52512 0 2 5 1 5186 263 16 0 1 0 24912783 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1114 409 3 0 796 0
[pid=27112] ppid=27047 vsize=5356 CPUtime=0
/proc/27112/stat : 27112 (sh) S 27047 27047 27010 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24918510 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27112/statm: 1339 232 193 169 0 50 0
[pid=27113] ppid=27112 vsize=307776 CPUtime=44.31
/proc/27113/stat : 27113 (picosat) R 27112 27047 27010 0 -1 4194304 63127 0 0 0 2028 2403 0 0 25 0 1 0 24918510 315162624 63113 996147200 134512640 134931368 4294956256 18446744073709551615 134514684 0 0 4096 0 0 0 0 17 0 0 0
/proc/27113/statm: 76944 63113 40 102 0 76839 0
Current children cumulated CPU time (s) 98.86
Current children cumulated vsize (KiB) 330000

[startup+162.302 s]
/proc/loadavg: 2.20 2.19 2.07 3/87 27153
/proc/meminfo: memFree=723064/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=54.55
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1366 52512 0 2 5 1 5186 263 16 0 1 0 24912783 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1114 409 3 0 796 0
[pid=27112] ppid=27047 vsize=5356 CPUtime=0
/proc/27112/stat : 27112 (sh) S 27047 27047 27010 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24918510 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27112/statm: 1339 232 193 169 0 50 0
[pid=27113] ppid=27112 vsize=565356 CPUtime=104.04
/proc/27113/stat : 27113 (picosat) R 27112 27047 27010 0 -1 4194304 121855 0 0 0 4788 5616 0 0 25 0 1 0 24918510 578924544 121841 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/27113/statm: 141339 121841 40 102 0 141234 0
Current children cumulated CPU time (s) 158.59
Current children cumulated vsize (KiB) 587580

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

[startup+179.101 s]
/proc/loadavg: 2.15 2.18 2.07 3/87 27153
/proc/meminfo: memFree=633208/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=54.55
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1366 52512 0 2 5 1 5186 263 16 0 1 0 24912783 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1114 409 3 0 796 0
[pid=27112] ppid=27047 vsize=5356 CPUtime=0
/proc/27112/stat : 27112 (sh) S 27047 27047 27010 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24918510 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27112/statm: 1339 232 193 169 0 50 0
[pid=27113] ppid=27112 vsize=623700 CPUtime=120.77
/proc/27113/stat : 27113 (picosat) R 27112 27047 27010 0 -1 4194304 138300 0 0 0 5555 6522 0 0 25 0 1 0 24918510 638668800 138286 996147200 134512640 134931368 4294956256 18446744073709551615 134597664 0 0 4096 0 0 0 0 17 0 0 0
/proc/27113/statm: 155925 138286 40 102 0 155820 0
Current children cumulated CPU time (s) 175.32
Current children cumulated vsize (KiB) 645924

[startup+191.902 s]
/proc/loadavg: 2.12 2.17 2.07 3/87 27153
/proc/meminfo: memFree=559928/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=54.55
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1366 52512 0 2 5 1 5186 263 16 0 1 0 24912783 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1114 409 3 0 796 0
[pid=27112] ppid=27047 vsize=5356 CPUtime=0
/proc/27112/stat : 27112 (sh) S 27047 27047 27010 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24918510 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27112/statm: 1339 232 193 169 0 50 0
[pid=27113] ppid=27112 vsize=666204 CPUtime=133.5
/proc/27113/stat : 27113 (picosat) R 27112 27047 27010 0 -1 4194304 150284 0 0 0 6176 7174 0 0 25 0 1 0 24918510 682192896 150270 996147200 134512640 134931368 4294956256 18446744073709551615 134531364 0 0 4096 0 0 0 0 17 0 0 0
/proc/27113/statm: 166551 150270 42 102 0 166446 0
Current children cumulated CPU time (s) 188.05
Current children cumulated vsize (KiB) 688428

[startup+195.101 s]
/proc/loadavg: 2.11 2.17 2.07 3/87 27153
/proc/meminfo: memFree=552568/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=54.55
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1366 52512 0 2 5 1 5186 263 16 0 1 0 24912783 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1114 409 3 0 796 0
[pid=27112] ppid=27047 vsize=5356 CPUtime=0
/proc/27112/stat : 27112 (sh) S 27047 27047 27010 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24918510 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27112/statm: 1339 232 193 169 0 50 0
[pid=27113] ppid=27112 vsize=675832 CPUtime=136.69
/proc/27113/stat : 27113 (picosat) R 27112 27047 27010 0 -1 4194304 151201 0 0 0 6494 7175 0 0 25 0 1 0 24918510 692051968 151187 996147200 134512640 134931368 4294956256 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 0 0 0
/proc/27113/statm: 168958 151187 42 102 0 168853 0
Current children cumulated CPU time (s) 191.24
Current children cumulated vsize (KiB) 698056

[startup+198.303 s]
/proc/loadavg: 2.11 2.17 2.07 3/87 27153
/proc/meminfo: memFree=546360/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=54.55
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1366 52512 0 2 5 1 5186 263 16 0 1 0 24912783 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1114 409 3 0 796 0
[pid=27112] ppid=27047 vsize=5356 CPUtime=0
/proc/27112/stat : 27112 (sh) S 27047 27047 27010 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24918510 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27112/statm: 1339 232 193 169 0 50 0
[pid=27113] ppid=27112 vsize=684420 CPUtime=139.88
/proc/27113/stat : 27113 (picosat) R 27112 27047 27010 0 -1 4194304 151438 0 0 0 6813 7175 0 0 25 0 1 0 24918510 700846080 151424 996147200 134512640 134931368 4294956256 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 0 0 0
/proc/27113/statm: 171105 151424 42 102 0 171000 0
Current children cumulated CPU time (s) 194.43
Current children cumulated vsize (KiB) 706644

[startup+199.901 s]
/proc/loadavg: 2.10 2.16 2.07 3/87 27153
/proc/meminfo: memFree=544632/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=196.01
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1429 204420 0 2 5 1 12147 7448 17 0 1 0 24912783 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27047/statm: 4217 1114 409 3 0 796 0
Current children cumulated CPU time (s) 196.01
Current children cumulated vsize (KiB) 16868

[startup+200.302 s]
/proc/loadavg: 2.10 2.16 2.07 5/95 27163
/proc/meminfo: memFree=1145336/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=196.01
/proc/27047/stat : 27047 (sugar) S 27045 27047 27010 0 -1 4194304 1447 204420 0 2 5 1 12147 7448 16 0 1 0 24912783 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251288137826 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27047/statm: 4217 1114 409 3 0 796 0
[pid=27154] ppid=27047 vsize=5356 CPUtime=0
/proc/27154/stat : 27154 (sh) S 27047 27047 27010 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24932772 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27154/statm: 1339 233 193 169 0 50 0
[pid=27155] ppid=27154 vsize=863928 CPUtime=0.4
/proc/27155/stat : 27155 (java) S 27154 27047 27010 0 -1 0 4282 0 1 0 37 3 0 0 18 0 9 0 24932772 884662272 3742 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27155/statm: 215982 3742 1284 9 0 210895 0
[pid=27155/tid=27156] ppid=27154 vsize=863928 CPUtime=0.3
/proc/27155/task/27156/stat : 27156 (java) R 27154 27047 27010 0 -1 64 2035 0 1 0 29 1 0 0 19 0 9 0 24932773 884662272 3742 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27155/tid=27157] ppid=27154 vsize=863928 CPUtime=0.02
/proc/27155/task/27157/stat : 27157 (java) R 27154 27047 27010 0 -1 64 1077 0 0 0 2 0 0 0 16 0 9 0 24932775 884662272 3742 996147200 134512640 134550932 4294955984 18446744073709551615 102546849 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27155/tid=27158] ppid=27154 vsize=863928 CPUtime=0
/proc/27155/task/27158/stat : 27158 (java) S 27154 27047 27010 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 24932775 884662272 3742 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27155/tid=27159] ppid=27154 vsize=863928 CPUtime=0
/proc/27155/task/27159/stat : 27159 (java) S 27154 27047 27010 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 24932775 884662272 3742 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27155/tid=27160] ppid=27154 vsize=863928 CPUtime=0
/proc/27155/task/27160/stat : 27160 (java) S 27154 27047 27010 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 24932777 884662272 3742 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27155/tid=27161] ppid=27154 vsize=863928 CPUtime=0.04
/proc/27155/task/27161/stat : 27161 (java) S 27154 27047 27010 0 -1 64 475 0 0 0 4 0 0 0 16 0 9 0 24932777 884662272 3742 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27155/tid=27162] ppid=27154 vsize=863928 CPUtime=0
/proc/27155/task/27162/stat : 27162 (java) S 27154 27047 27010 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24932777 884662272 3742 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27155/tid=27163] ppid=27154 vsize=863928 CPUtime=0
/proc/27155/task/27163/stat : 27163 (java) S 27154 27047 27010 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 24932777 884662272 3742 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.41
Current children cumulated vsize (KiB) 886152

[startup+200.501 s]
/proc/loadavg: 2.10 2.16 2.07 5/95 27163
/proc/meminfo: memFree=1145336/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=196.58
/proc/27047/stat : 27047 (sugar) R 27045 27047 27010 0 -1 4194304 1476 211348 0 3 5 5 12196 7452 16 0 1 0 24912783 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 251279414313 0 0 4224 16386 0 0 0 17 1 0 0
/proc/27047/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 196.58
Current children cumulated vsize (KiB) 16868

[startup+200.601 s]
/proc/loadavg: 2.10 2.16 2.07 5/95 27163
/proc/meminfo: memFree=1145336/2055920 swapFree=4192812/4192956
[pid=27047] ppid=27045 vsize=16868 CPUtime=196.68
/proc/27047/stat : 27047 (sugar) R 27045 27047 27010 0 -1 4194304 1476 211348 0 3 5 15 12196 7452 16 0 1 0 24912783 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 251279414313 0 0 4224 16386 0 0 0 17 1 0 0
/proc/27047/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 196.68
Current children cumulated vsize (KiB) 16868

Child status: 0
Real time (s): 200.67
CPU time (s): 196.777
CPU user time (s): 122.024
CPU system time (s): 74.7526
CPU usage (%): 98.0601
Max. virtual memory (cumulated for all children) (KiB): 904904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.024
system time used= 74.7526
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212885
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= 16635
involuntary context switches= 20125

runsolver used 0.205968 second user time and 0.607907 second system time

The end

Launcher Data 

Begin job on node92 at 2009-07-12 08:01:18
IDJOB=2083918
IDBENCH=57975
IDSOLVER=738
FILE ID=node92/2083918-1247378477
PBS_JOBID= 9507201
Free space on /tmp= 65284 MiB

SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/fapp/fapp07/normalized-fapp07-0600-7.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-2083918-1247378477/watcher-2083918-1247378477 -o /tmp/evaluation-result-2083918-1247378477/solver-2083918-1247378477 -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-2083918-1247378477.xml

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

MD5SUM BENCH= c3977aded3fc1b33631985df26116e6e
RANDOM SEED=597900630

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        490744 kB
Buffers:          1556 kB
Cached:         765688 kB
SwapCached:          0 kB
Active:         981188 kB
Inactive:       514104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        490744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          182240 kB
Writeback:           0 kB
Mapped:         739120 kB
Slab:            53496 kB
Committed_AS:   973068 kB
PageTables:       3588 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= 66336 MiB
End job on node92 at 2009-07-12 08:04:38