Trace number 1083268

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.13+minisat? (TO) 1800.16 1802.66

General information on the benchmark

Namecsp/super-js/super-js-taillard-20-15/
normalized-super-js-taillard-20-15-4.xml
MD5SUM129735acf61f927121c595f1c91d924b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints9690
Maximum constraint arity2
Maximum domain size1356
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9690
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.05	c 0	Sugar v1-13 + HOME/minisat
0.00/0.05	c 0	BEGIN Sat Jul  5 04:55:24 2008
0.00/0.05	c 0	PID 10990
0.00/0.05	c 0	HOST node29.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1083268-1215226524.xml TO HOME/temp.csp
0.00/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1083268-1215226524.xml' 'HOME/temp.csp'
1.05/1.14	c 1	98 domains, 600 variables, 4 predicates, 0 relations, 9690 constraints
1.05/1.15	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
1.05/1.15	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.10/1.24	c 1	Parsing HOME/temp.csp
1.10/1.58	c 1	parsed 10000 expressions
1.10/1.59	c 1	parsed 10392 expressions
1.10/1.61	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.10/1.61	c 1	Converting to clausal form CSP
1.10/1.73	c 1	converted 1040 (10%) expressions
1.10/1.87	c 2	converted 2079 (20%) expressions
1.10/1.95	c 2	converted 3118 (30%) expressions
1.10/1.99	c 2	converted 4157 (40%) expressions
1.10/2.03	c 2	converted 5196 (50%) expressions
1.10/2.07	c 2	converted 6236 (60%) expressions
2.00/2.12	c 2	converted 7275 (70%) expressions
2.11/2.21	c 2	converted 8314 (80%) expressions
2.11/2.25	c 2	converted 9353 (90%) expressions
2.11/2.28	c 2	converted 10392 (100%) expressions
2.11/2.28	c 2	CSP : 600 integers, 0 booleans, 9690 clauses, largest domain size 1356
2.11/2.28	c 2	Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.11/2.28	c 2	Propagation in CSP
2.70/2.81	c 3	400680 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.70/2.81	c 3	CSP : 600 integers, 0 booleans, 9690 clauses, largest domain size 772
2.70/2.81	c 3	Heap : 11 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.70/2.82	c 3	Simplifing CSP by introducing new Boolean variables
2.80/3.00	c 3	CSP : 600 integers, 17700 booleans, 27390 clauses, largest domain size 772
2.80/3.00	c 3	Heap : 16 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.90/3.09	c 3	Encoding CSP to SAT : HOME/temp.cnf
2.99/3.18	c 3	60 (10%) CSP integer variables are encoded (41130 clauses, 594838 bytes)
3.10/3.24	c 3	120 (20%) CSP integer variables are encoded (83100 clauses, 1224388 bytes)
3.10/3.29	c 3	180 (30%) CSP integer variables are encoded (126930 clauses, 1935983 bytes)
3.19/3.35	c 3	240 (40%) CSP integer variables are encoded (166320 clauses, 2605613 bytes)
3.19/3.40	c 3	300 (50%) CSP integer variables are encoded (201210 clauses, 3198743 bytes)
3.29/3.45	c 3	360 (60%) CSP integer variables are encoded (242100 clauses, 3893873 bytes)
3.38/3.50	c 3	420 (70%) CSP integer variables are encoded (278490 clauses, 4512503 bytes)
3.38/3.55	c 3	480 (80%) CSP integer variables are encoded (319080 clauses, 5202533 bytes)
3.48/3.60	c 3	540 (90%) CSP integer variables are encoded (350250 clauses, 5732423 bytes)
3.48/3.65	c 3	600 (100%) CSP integer variables are encoded (383700 clauses, 6301073 bytes)
4.87/5.09	c 5	2739 (10%) CSP clauses are encoded (1089605 clauses, 22386874 bytes)
6.54/6.71	c 6	5478 (20%) CSP clauses are encoded (1896988 clauses, 41298387 bytes)
8.00/8.29	c 8	8217 (30%) CSP clauses are encoded (2673982 clauses, 59525073 bytes)
9.77/10.00	c 10	10956 (40%) CSP clauses are encoded (3526455 clauses, 79540462 bytes)
11.25/11.54	c 11	13695 (50%) CSP clauses are encoded (4297508 clauses, 98338495 bytes)
12.72/13.04	c 13	16434 (60%) CSP clauses are encoded (5033136 clauses, 116371678 bytes)
14.01/14.36	c 14	19173 (70%) CSP clauses are encoded (5677249 clauses, 132124239 bytes)
15.58/15.92	c 16	21912 (80%) CSP clauses are encoded (6461354 clauses, 151236294 bytes)
16.87/17.28	c 17	24651 (90%) CSP clauses are encoded (7151352 clauses, 167913739 bytes)
18.34/18.73	c 18	27390 (100%) CSP clauses are encoded (7891848 clauses, 185194411 bytes)
18.34/18.73	c 18	27390 CSP clauses encoded
18.34/18.73	c 18	Writing map file : HOME/temp.map
18.34/18.75	c 19	Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
18.34/18.75	c 19	SAT : 402000 SAT variables, 7891848 SAT clauses, 185194411 bytes
18.34/18.75	c 19	Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
18.34/18.79	c 19	SOLVING HOME/temp.cnf
18.34/18.79	c 19	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
18.34/18.79	c 19	This is MiniSat 2.0 beta
18.34/18.79	c 19	WARNING: for repeatability, setting FPU to use double precision
18.34/18.79	c 19	============================[ Problem Statistics ]=============================
18.34/18.79	c 19	|                                                                             |
18.34/18.80	c 19	|  Number of variables:  402000                                               |
18.34/18.80	c 19	|  Number of clauses:    7891848                                              |
23.27/23.77	c 24	|  Parsing time:         4.22         s                                       |
23.58/24.02	c 24	============================[ Search Statistics ]==============================
23.58/24.02	c 24	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.58/24.02	c 24	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
23.58/24.02	c 24	===============================================================================
23.58/24.03	c 24	|         0 |  400956  7890804 22723017 |  2630268        0    nan |  0.000 % |
27.33/27.89	c 28	|       100 |  400956  7890804 22723017 |  2893294      100     20 |  0.260 % |
32.49/33.04	c 33	|       250 |  400956  7890804 22723017 |  3182624      250     16 |  0.260 % |
38.53/39.13	c 39	|       475 |  400956  7890804 22723017 |  3500886      473     14 |  0.265 % |
48.13/48.87	c 49	|       812 |  400956  7890804 22723017 |  3850975      810     17 |  0.265 % |
64.09/64.90	c 65	|      1320 |  400917  7890013 22720762 |  4236072     1316     18 |  0.269 % |
87.27/88.35	c 88	|      2081 |  400874  7889116 22718219 |  4659680     2074     22 |  0.284 % |
122.64/124.04	c 124	|      3220 |  400874  7889116 22718219 |  5125648     3213     26 |  0.284 % |
152.95/154.62	c 154	|      4930 |  400860  7888744 22717156 |  5638213     4922     26 |  0.287 % |
214.57/216.45	c 216	|      7492 |  400826  7887987 22715005 |  6202034     7481     24 |  0.297 % |
311.93/313.84	c 314	|     11336 |  400710  7885663 22708448 |  6822237    11319     21 |  0.325 % |
449.98/451.94	c 452	|     17102 |  400637  7884392 22704877 |  7504461    17078     20 |  0.343 % |
653.11/655.11	c 655	|     25753 |  400502  7881544 22696793 |  8254907    25717     21 |  0.380 % |
982.09/984.23	c 984	|     38727 |  400384  7878957 22689402 |  9080398    38683     22 |  0.405 % |
1472.31/1474.64	c 1474	|     58188 |  400206  7875781 22680426 |  9988438    58124     23 |  0.446 % |
1800.10/1802.52	c ERROR INTERRUPTED
1800.10/1802.57	s UNKNOWN
1800.10/1802.57	c 1802	CPU 16.86 (0.04 0.01 16.82 1.56)
1800.10/1802.57	c 1802	END Sat Jul  5 05:25:26 2008

Verifier Data (download as text)

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

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1083268-1215226524/watcher-1083268-1215226524 -o /tmp/evaluation-result-1083268-1215226524/solver-1083268-1215226524 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1083268-1215226524.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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.01 1.99 4/73 10990
/proc/meminfo: memFree=1539040/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=12268 CPUtime=0
/proc/10990/stat : 10990 (sugar) R 10988 10990 8211 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 2001626167 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 221780867685 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/10990/statm: 3067 316 241 3 0 167 0

[startup+0.054801 s]
/proc/loadavg: 1.93 2.01 1.99 4/73 10990
/proc/meminfo: memFree=1539040/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=0.03
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2001626167 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.103742 s]
/proc/loadavg: 1.93 2.01 1.99 4/73 10990
/proc/meminfo: memFree=1539040/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=0.03
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2001626167 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.302044 s]
/proc/loadavg: 1.93 2.01 1.99 4/73 10990
/proc/meminfo: memFree=1539040/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=0.03
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2001626167 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.702843 s]
/proc/loadavg: 1.93 2.01 1.99 4/73 10990
/proc/meminfo: memFree=1539040/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=0.03
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2001626167 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+1.5019 s]
/proc/loadavg: 1.93 2.01 1.99 3/84 11002
/proc/meminfo: memFree=1516552/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=1.1
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 973 9046 0 1 3 0 101 6 16 0 1 0 2001626167 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 13600

[startup+3.102 s]
/proc/loadavg: 1.93 2.01 1.99 4/84 11012
/proc/meminfo: memFree=1518728/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=1.1
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 974 9046 0 1 3 0 101 6 15 0 1 0 2001626167 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 797 370 3 0 500 0
[pid=11003] ppid=10990 vsize=5356 CPUtime=0
/proc/11003/stat : 11003 (sh) S 10990 10990 8211 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2001626283 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11003/statm: 1339 233 193 169 0 50 0
[pid=11004] ppid=11003 vsize=868360 CPUtime=1.89
/proc/11004/stat : 11004 (java) S 11003 10990 8211 0 -1 0 10356 0 1 0 182 7 0 0 18 0 9 0 2001626283 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11004/statm: 217090 9373 2540 9 0 211665 0
[pid=11004/tid=11005] ppid=11003 vsize=868360 CPUtime=1.18
/proc/11004/task/11005/stat : 11005 (java) R 11003 10990 8211 0 -1 64 2934 0 1 0 115 3 0 0 18 0 9 0 2001626284 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 102719022 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11006] ppid=11003 vsize=868360 CPUtime=0.46
/proc/11004/task/11006/stat : 11006 (java) S 11003 10990 8211 0 -1 64 5252 0 0 0 44 2 0 0 16 0 9 0 2001626285 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11007] ppid=11003 vsize=868360 CPUtime=0
/proc/11004/task/11007/stat : 11007 (java) S 11003 10990 8211 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2001626285 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11008] ppid=11003 vsize=868360 CPUtime=0
/proc/11004/task/11008/stat : 11008 (java) S 11003 10990 8211 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001626285 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11009] ppid=11003 vsize=868360 CPUtime=0
/proc/11004/task/11009/stat : 11009 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001626287 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11010] ppid=11003 vsize=868360 CPUtime=0.21
/proc/11004/task/11010/stat : 11010 (java) S 11003 10990 8211 0 -1 64 1478 0 0 0 21 0 0 0 15 0 9 0 2001626287 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11011] ppid=11003 vsize=868360 CPUtime=0
/proc/11004/task/11011/stat : 11011 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001626288 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11012] ppid=11003 vsize=868360 CPUtime=0
/proc/11004/task/11012/stat : 11012 (java) R 11003 10990 8211 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2001626288 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 887316

[startup+6.3022 s]
/proc/loadavg: 1.94 2.01 1.99 3/84 11012
/proc/meminfo: memFree=1482696/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=1.1
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 974 9046 0 1 3 0 101 6 16 0 1 0 2001626167 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 797 370 3 0 500 0
[pid=11003] ppid=10990 vsize=5356 CPUtime=0
/proc/11003/stat : 11003 (sh) S 10990 10990 8211 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2001626283 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11003/statm: 1339 233 193 169 0 50 0
[pid=11004] ppid=11003 vsize=868472 CPUtime=5.05
/proc/11004/stat : 11004 (java) S 11003 10990 8211 0 -1 0 10979 0 1 0 471 34 0 0 18 0 9 0 2001626283 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11004/statm: 217118 9433 2565 9 0 211665 0
[pid=11004/tid=11005] ppid=11003 vsize=868472 CPUtime=4.1
/proc/11004/task/11005/stat : 11005 (java) R 11003 10990 8211 0 -1 64 3530 0 1 0 384 26 0 0 25 0 9 0 2001626284 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11006] ppid=11003 vsize=868472 CPUtime=0.65
/proc/11004/task/11006/stat : 11006 (java) S 11003 10990 8211 0 -1 64 5252 0 0 0 60 5 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11007] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11007/stat : 11007 (java) S 11003 10990 8211 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11008] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11008/stat : 11008 (java) S 11003 10990 8211 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11009] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11009/stat : 11009 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001626287 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11010] ppid=11003 vsize=868472 CPUtime=0.27
/proc/11004/task/11010/stat : 11010 (java) S 11003 10990 8211 0 -1 64 1505 0 0 0 26 1 0 0 16 0 9 0 2001626287 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11011] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11011/stat : 11011 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001626288 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11012] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11012/stat : 11012 (java) S 11003 10990 8211 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2001626288 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 887428

[startup+12.7026 s]
/proc/loadavg: 2.02 2.02 2.00 3/84 11012
/proc/meminfo: memFree=1404880/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=1.1
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 974 9046 0 1 3 0 101 6 16 0 1 0 2001626167 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 797 370 3 0 500 0
[pid=11003] ppid=10990 vsize=5356 CPUtime=0
/proc/11003/stat : 11003 (sh) S 10990 10990 8211 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2001626283 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11003/statm: 1339 233 193 169 0 50 0
[pid=11004] ppid=11003 vsize=868472 CPUtime=11.34
/proc/11004/stat : 11004 (java) S 11003 10990 8211 0 -1 0 12123 0 1 0 1042 92 0 0 18 0 9 0 2001626283 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11004/statm: 217118 9433 2565 9 0 211665 0
[pid=11004/tid=11005] ppid=11003 vsize=868472 CPUtime=10.02
/proc/11004/task/11005/stat : 11005 (java) R 11003 10990 8211 0 -1 64 4674 0 1 0 924 78 0 0 25 0 9 0 2001626284 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4126964888 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11006] ppid=11003 vsize=868472 CPUtime=1.03
/proc/11004/task/11006/stat : 11006 (java) S 11003 10990 8211 0 -1 64 5252 0 0 0 91 12 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11007] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11007/stat : 11007 (java) S 11003 10990 8211 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11008] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11008/stat : 11008 (java) S 11003 10990 8211 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11009] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11009/stat : 11009 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001626287 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11010] ppid=11003 vsize=868472 CPUtime=0.27
/proc/11004/task/11010/stat : 11010 (java) S 11003 10990 8211 0 -1 64 1505 0 0 0 26 1 0 0 16 0 9 0 2001626287 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11011] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11011/stat : 11011 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001626288 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11012] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11012/stat : 11012 (java) S 11003 10990 8211 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2001626288 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 887428

[startup+25.5024 s]
/proc/loadavg: 2.16 2.05 2.01 3/76 11014
/proc/meminfo: memFree=1010576/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 15 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=349900 CPUtime=6.63
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 86098 0 0 0 590 73 0 0 25 0 1 0 2001628047 358297600 86084 996147200 134512640 135127466 4294956256 18446744073709551615 134530673 0 0 4096 3 0 0 0 17 1 0 0
/proc/11014/statm: 87475 86084 72 150 0 87322 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 368856

[startup+51.103 s]
/proc/loadavg: 2.10 2.05 2.01 3/76 11014
/proc/meminfo: memFree=996176/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=361648 CPUtime=31.99
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 89046 0 0 0 3122 77 0 0 25 0 1 0 2001628047 370327552 89032 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/11014/statm: 90412 89032 75 150 0 90259 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 380604

[startup+102.307 s]
/proc/loadavg: 2.12 2.05 2.01 3/76 11014
/proc/meminfo: memFree=992784/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=365296 CPUtime=82.71
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 89892 0 0 0 8194 77 0 0 25 0 1 0 2001628047 374063104 89878 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/11014/statm: 91324 89878 75 150 0 91171 0

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

[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=372288 CPUtime=1401.61
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 91638 0 0 0 140078 83 0 0 25 0 1 0 2001628047 381222912 91624 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93072 91624 75 150 0 92919 0
Current children cumulated CPU time (s) 1420.04
Current children cumulated vsize (KiB) 391244

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 11108
/proc/meminfo: memFree=367496/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=372816 CPUtime=1461.58
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 91747 0 0 0 146075 83 0 0 25 0 1 0 2001628047 381763584 91733 996147200 134512640 135127466 4294956256 18446744073709551615 134530581 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93204 91733 75 150 0 93051 0
Current children cumulated CPU time (s) 1480.01
Current children cumulated vsize (KiB) 391772

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 11108
/proc/meminfo: memFree=366984/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=373080 CPUtime=1521.55
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 91842 0 0 0 152072 83 0 0 25 0 1 0 2001628047 382033920 91828 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93270 91828 75 150 0 93117 0
Current children cumulated CPU time (s) 1539.98
Current children cumulated vsize (KiB) 392036

[startup+1602.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/84 11108
/proc/meminfo: memFree=366536/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=373728 CPUtime=1581.54
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 91951 0 0 0 158070 84 0 0 25 0 1 0 2001628047 382697472 91937 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93432 91937 75 150 0 93279 0
Current children cumulated CPU time (s) 1599.97
Current children cumulated vsize (KiB) 392684

[startup+1662.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/84 11108
/proc/meminfo: memFree=366152/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=374124 CPUtime=1641.52
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 92056 0 0 0 164068 84 0 0 25 0 1 0 2001628047 383102976 92042 996147200 134512640 135127466 4294956256 18446744073709551615 134530941 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93531 92042 75 150 0 93378 0
Current children cumulated CPU time (s) 1659.95
Current children cumulated vsize (KiB) 393080

[startup+1722.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/84 11108
/proc/meminfo: memFree=365768/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=374388 CPUtime=1701.49
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 92145 0 0 0 170065 84 0 0 25 0 1 0 2001628047 383373312 92131 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93597 92131 75 150 0 93444 0
Current children cumulated CPU time (s) 1719.92
Current children cumulated vsize (KiB) 393344

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/84 11109
/proc/meminfo: memFree=365320/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=374784 CPUtime=1761.47
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 92234 0 0 0 176063 84 0 0 25 0 1 0 2001628047 383778816 92220 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93696 92220 75 150 0 93543 0
Current children cumulated CPU time (s) 1779.9
Current children cumulated vsize (KiB) 393740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.5 s]
/proc/loadavg: 2.03 2.05 2.01 3/84 11110
/proc/meminfo: memFree=365256/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=374916 CPUtime=1781.67
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 92266 0 0 0 178083 84 0 0 25 0 1 0 2001628047 383913984 92252 996147200 134512640 135127466 4294956256 18446744073709551615 134530944 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93729 92252 75 150 0 93576 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 393872

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

[startup+1802.5 s]
/proc/loadavg: 2.03 2.05 2.01 3/84 11110
/proc/meminfo: memFree=365256/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=374916 CPUtime=1781.67
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 92266 0 0 0 178083 84 0 0 25 0 1 0 2001628047 383913984 92252 996147200 134512640 135127466 4294956256 18446744073709551615 134530944 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93729 92252 75 150 0 93576 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 393872

# WARNING:
# current cumulated CPU time (18.48 s) is less than in the last sample (1800.1 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1781.62 s) to the 'lost time'.

[startup+1802.62 s]
/proc/loadavg: 2.03 2.05 2.01 3/84 11110
/proc/meminfo: memFree=365256/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.48
/proc/10990/stat : 10990 (sugar) R 10988 10990 8211 0 -1 4194304 1070 22832 0 2 4 6 1682 156 17 0 1 0 2001626167 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 221780874281 0 0 4224 16386 0 0 0 17 0 0 0
/proc/10990/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 18.48
Current children cumulated vsize (KiB) 13600

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

[startup+1802.62 s]
/proc/loadavg: 2.03 2.05 2.01 3/84 11110
/proc/meminfo: memFree=365256/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.48
/proc/10990/stat : 10990 (sugar) R 10988 10990 8211 0 -1 4194304 1070 22832 0 2 4 6 1682 156 17 0 1 0 2001626167 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 221780874281 0 0 4224 16386 0 0 0 17 0 0 0
/proc/10990/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 18.48
Current children cumulated vsize (KiB) 13600

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1781.62
#  lost CPU user time (s): 1780.83
#  lost CPU system time (s): 0.79

Real time (s): 1802.66
CPU time (s): 1800.16
CPU user time (s): 1797.7
CPU system time (s): 2.45975
CPU usage (%): 99.8614
Max. virtual memory (cumulated for all children) (KiB): 887536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8674
system time used= 1.66975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23933
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22813
involuntary context switches= 22979

runsolver used 2.07568 second user time and 5.88711 second system time

The end

Launcher Data (download as text)

Begin job on node29 at 2008-07-05 04:55:24
IDJOB=1083268
IDBENCH=57461
IDSOLVER=346
FILE ID=node29/1083268-1215226524
PBS_JOBID= 7881718
Free space on /tmp= 66468 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-4.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1083268-1215226524/watcher-1083268-1215226524 -o /tmp/evaluation-result-1083268-1215226524/solver-1083268-1215226524 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1083268-1215226524.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 129735acf61f927121c595f1c91d924b
RANDOM SEED=1908476841

node29.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.220
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.220
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:       1539520 kB
Buffers:         93232 kB
Cached:         331696 kB
SwapCached:       6872 kB
Active:         266844 kB
Inactive:       185596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1539520 kB
SwapTotal:     4192956 kB
SwapFree:      4180452 kB
Dirty:            2504 kB
Writeback:           0 kB
Mapped:          34692 kB
Slab:            49092 kB
Committed_AS:  3451396 kB
PageTables:       2032 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= 66492 MiB
End job on node29 at 2008-07-05 05:25:28