Trace number 1127251

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-incMSAT (TO) 3600.07 3633.93

General information on the benchmark

Namemaxcsp/cnf/2-40-2100-3000/
normalized-cnf-2-40-2600-873121_ext.xml
MD5SUMa60466ce33107ad33e57e03308beffd2
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints297
Best CPU time to get the best result obtained on this benchmark3.74243
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints670
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension670
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04/0.24	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.04/0.24	c 0	BEGIN Tue Jul 22 21:15:07 2008
0.04/0.24	c 0	PID 3670
0.04/0.25	c 0	HOST node12.alineos.net
0.04/0.25	c 0	CONVERTING HOME/instance-1127251-1216754106.xml TO HOME/temp.csp
0.04/0.25	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127251-1216754106.xml' 'HOME/temp.csp'
0.38/1.71	c 1	1 domains, 40 variables, 0 predicates, 14 relations, 670 constraints
0.38/1.73	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.38/1.73	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.41/1.82	c 1	Parsing HOME/temp.csp
0.41/1.98	c 1	parsed 725 expressions
0.41/1.98	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.41/1.99	c 1	MAX CSP: 670 constraints
0.41/1.99	c 1	Converting to clausal form CSP
0.41/2.03	c 1	converted 140 (10%) expressions
0.41/2.04	c 1	converted 280 (20%) expressions
0.41/2.06	c 1	converted 420 (30%) expressions
0.41/2.07	c 1	converted 560 (40%) expressions
0.41/2.07	c 1	converted 699 (50%) expressions
0.41/2.09	c 1	converted 839 (60%) expressions
0.41/2.09	c 1	converted 979 (70%) expressions
0.75/2.17	c 2	converted 1119 (80%) expressions
0.75/2.17	c 2	converted 1259 (90%) expressions
0.84/2.28	c 2	converted 1398 (100%) expressions
0.84/2.29	c 2	CSP : 1380 integers, 0 booleans, 2009 clauses, largest domain size 1006
0.84/2.29	c 2	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.84/2.29	c 2	Propagation in CSP
0.95/2.33	c 2	664 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.95/2.33	c 2	CSP : 1380 integers, 0 booleans, 2009 clauses, largest domain size 671
0.95/2.33	c 2	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.95/2.33	c 2	Simplifing CSP by introducing new Boolean variables
0.95/2.34	c 2	CSP : 1380 integers, 0 booleans, 2009 clauses, largest domain size 671
0.95/2.34	c 2	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.95/2.38	c 2	Encoding CSP to SAT : HOME/temp.cnf
0.95/2.39	c 2	138 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.95/2.39	c 2	276 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.95/2.39	c 2	414 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.95/2.39	c 2	552 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.95/2.39	c 2	690 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.03/2.40	c 2	828 (60%) CSP integer variables are encoded (1241 clauses, 15620 bytes)
1.03/2.41	c 2	966 (70%) CSP integer variables are encoded (2230 clauses, 28477 bytes)
1.03/2.41	c 2	1104 (80%) CSP integer variables are encoded (8769 clauses, 113484 bytes)
1.03/2.42	c 2	1242 (90%) CSP integer variables are encoded (9721 clauses, 127557 bytes)
1.03/2.42	c 2	1380 (100%) CSP integer variables are encoded (11043 clauses, 147387 bytes)
1.03/2.45	c 2	201 (10%) CSP clauses are encoded (11345 clauses, 150576 bytes)
1.03/2.47	c 2	402 (20%) CSP clauses are encoded (11651 clauses, 154033 bytes)
1.03/2.49	c 2	603 (30%) CSP clauses are encoded (11955 clauses, 157618 bytes)
1.14/2.51	c 2	804 (40%) CSP clauses are encoded (14916 clauses, 207524 bytes)
1.14/2.56	c 2	1005 (50%) CSP clauses are encoded (42629 clauses, 709672 bytes)
1.14/2.58	c 2	1206 (60%) CSP clauses are encoded (50962 clauses, 856664 bytes)
2.03/3.40	c 3	1407 (70%) CSP clauses are encoded (478197 clauses, 8682863 bytes)
2.03/3.42	c 3	1608 (80%) CSP clauses are encoded (487798 clauses, 8867429 bytes)
2.03/3.47	c 3	1809 (90%) CSP clauses are encoded (510799 clauses, 9350765 bytes)
2.22/3.63	c 3	2009 (100%) CSP clauses are encoded (595269 clauses, 11147033 bytes)
2.22/3.63	c 3	2009 CSP clauses encoded
2.22/3.63	c 3	Writing map file : HOME/temp.map
2.22/3.64	c 3	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.22/3.64	c 3	SAT : 12423 SAT variables, 595269 SAT clauses, 11147033 bytes
2.22/3.64	c 3	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.22/3.67	c 3	OBJECTIVE minimize _COST
2.22/3.67	c 3	SOLVING HOME/temp.cnf
2.22/3.67	c 3	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2.22/3.67	c 3	This is MiniSat 2.0 beta incremental
2.22/3.67	c 3	WARNING: for repeatability, setting FPU to use double precision
2.22/3.67	c 3	============================[ Problem Statistics ]=============================
2.22/3.67	c 3	|                                                                             |
2.22/3.67	c 3	|  Number of variables:  12423                                                |
2.22/3.67	c 3	|  Number of clauses:    595269                                               |
2.29/3.92	c 3	|  Parsing time:         0.22         s                                       |
2.29/3.94	c 3	OK
2.29/3.94	c 3	OBJECTIVE BOUND: 0 <= _COST <= 
2.29/3.94	c 3	SEARCHING: _COST <= 335
2.90/4.32	c 3	============================[ Search Statistics ]==============================
2.90/4.32	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.90/4.32	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.90/4.32	c 3	===============================================================================
2.90/4.32	c 3	|         0 |   12423   595269  1751301 |   198423        0    nan |  0.000 % |
2.90/4.32	c 4	|       100 |   12420   595269  1751301 |   218265       98     12 |  0.228 % |
2.90/4.32	c 4	|       250 |   12420   595269  1751301 |   240091      247     14 |  0.364 % |
3.00/4.41	c 4	|       475 |   12420   595269  1751301 |   264101      469     13 |  0.727 % |
3.30/4.77	c 4	|       813 |   12414   595269  1751301 |   290511      801     15 |  1.556 % |
3.60/5.03	c 4	|      1320 |   12412   595269  1751301 |   319562     1306     18 |  1.805 % |
4.00/5.45	c 5	|      2081 |   12412   595269  1751301 |   351518     2067     21 |  1.805 % |
4.50/6.00	c 5	|      3220 |   12412   595269  1751301 |   386670     3205     20 |  1.934 % |
5.50/6.93	c 6	|      4929 |   12183   580422  1707612 |   425337     4913     19 |  1.934 % |
7.40/8.81	c 8	|      7491 |   12183   580422  1707612 |   467871     7475     19 |  1.934 % |
10.18/11.65	c 11	|     11335 |   12165   579617  1705261 |   514658    11318     19 |  2.079 % |
14.16/15.68	c 15	|     17102 |   12150   578501  1701965 |   566123    17084     21 |  2.200 % |
21.05/22.57	c 22	|     25754 |   12150   578501  1701965 |   622736    25736     26 |  2.200 % |
32.44/33.91	c 33	|     38728 |   12150   578501  1701965 |   685010    38710     27 |  2.200 % |
57.62/59.19	c 59	|     58189 |   12144   578395  1701671 |   753511    58169     29 |  2.401 % |
89.81/91.34	c 91	|     87381 |   12057   573280  1686628 |   828862    87352     31 |  3.077 % |
150.19/151.72	c 151	===============================================================================
150.19/151.72	c 151	restarts              : 16
150.19/151.72	c 151	conflicts             : 130752        (885 /sec)
150.19/151.72	c 151	decisions             : 165529        (0.51 % random) (1120 /sec)
150.19/151.73	c 151	propagations          : 69495168       (470148 /sec)
150.19/151.73	c 151	conflict literals     : 4341516        (23.72 % deleted)
150.19/151.73	c 151	Memory used           : 48.23 MB
150.19/151.73	c 151	CPU time              : 147.816 s
150.19/151.73	c 151	
150.19/151.73	c 151	SATISFIABLE
150.19/151.73	c 151	OK
150.19/151.73	c 151	FOUND: _COST <= 335
150.19/151.73	s SATISFIABLE
150.19/151.73	c 151	DECODING HOME/temp.out WITH HOME/temp.map
150.19/151.73	c 151	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
150.21/151.82	c 151	Decoding HOME/temp.out
150.21/152.04	c 151	OBJECTIVE _COST 335
150.21/152.04	o 335
150.21/152.04	v 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 0 1
150.21/152.07	c 151	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
150.73/152.35	c 152	OK
150.73/152.35	c 152	OBJECTIVE BOUND: 0 <= _COST <= 335
150.73/152.35	c 152	SEARCHING: _COST <= 167
150.73/152.35	c 152	============================[ Search Statistics ]==============================
150.73/152.35	c 152	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
150.73/152.35	c 152	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
150.73/152.35	c 152	===============================================================================
150.73/152.35	c 152	|    130752 |    8659   357830  1050149 |   119276   130719     33 |  3.077 % |
151.42/153.02	c 152	|    130852 |    8659   357830  1050149 |   131204    14971     36 | 30.300 % |
151.62/153.20	c 153	|    131003 |    8659   357830  1050149 |   144324    15121     35 | 30.421 % |
151.81/153.44	c 153	|    131229 |    8659   357830  1050149 |   158757    15346     35 | 30.533 % |
152.11/153.76	c 153	|    131566 |    8657   357830  1050149 |   174632    15681     35 | 30.783 % |
152.60/154.20	c 154	|    132072 |    8655   357830  1050149 |   192096    16183     34 | 31.845 % |
153.40/155.00	c 154	|    132835 |    8655   357830  1050149 |   211305    16946     34 | 31.845 % |
154.29/155.92	c 155	|    133974 |    8655   357830  1050149 |   232436    18084     32 | 31.853 % |
155.48/157.19	c 157	|    135683 |    8655   357830  1050149 |   255680    19792     31 | 31.990 % |
157.85/159.53	c 159	|    138246 |    8655   357830  1050149 |   281248    22355     29 | 31.990 % |
161.91/163.62	c 163	|    142090 |    8447   344842  1011896 |   309372    26187     28 | 32.006 % |
167.75/169.51	c 169	|    147856 |    8447   344842  1011896 |   340310    31953     26 | 32.006 % |
177.37/179.27	c 179	|    156506 |    8446   344816  1011822 |   374341    40599     24 | 32.353 % |
196.78/198.82	c 198	|    169480 |    8404   342341  1004538 |   411775    53570     23 | 32.473 % |
231.85/234.21	c 234	|    188941 |    8283   333759   979170 |   452952    73013     22 | 33.327 % |
286.52/289.47	c 289	|    218134 |    8282   333732   979093 |   498248   102205     22 | 33.335 % |
338.64/342.07	c 341	===============================================================================
338.64/342.07	c 341	restarts              : 32
338.64/342.07	c 341	conflicts             : 237908        (708 /sec)
338.64/342.07	c 341	decisions             : 315318        (0.63 % random) (938 /sec)
338.64/342.07	c 341	propagations          : 134612532      (400652 /sec)
338.64/342.07	c 341	conflict literals     : 6397375        (29.37 % deleted)
338.64/342.07	c 341	Memory used           : 48.85 MB
338.64/342.07	c 341	CPU time              : 335.984 s
338.64/342.07	c 341	
338.64/342.07	c 341	UNSATISFIABLE
338.64/342.07	c 341	OK
338.64/342.07	c 341	NOT FOUND: _COST <= 167
338.64/342.07	c 341	OK
338.64/342.07	c 341	OBJECTIVE BOUND: 168 <= _COST <= 335
338.64/342.07	c 341	SEARCHING: _COST <= 251
338.64/342.07	c 341	============================[ Search Statistics ]==============================
338.64/342.07	c 341	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
338.64/342.07	c 341	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
338.64/342.07	c 341	===============================================================================
338.64/342.07	c 341	|    237908 |    7502   316345   929194 |   105448    82338     21 | 33.335 % |
338.93/342.36	c 342	|    238011 |    7502   316345   929194 |   115993    82441     21 | 39.613 % |
339.13/342.56	c 342	|    238161 |    7502   316345   929194 |   127592    82591     21 | 39.613 % |
339.43/342.88	c 342	|    238387 |    7502   316345   929194 |   140351    82817     21 | 39.613 % |
339.82/343.28	c 343	|    238724 |    7502   316345   929194 |   154386    83154     21 | 39.613 % |
340.62/344.03	c 343	|    239232 |    7502   316345   929194 |   169825    83662     21 | 39.613 % |
341.91/345.36	c 345	|    239991 |    7502   316345   929194 |   186808    84421     21 | 39.613 % |
344.09/347.57	c 347	|    241131 |    7502   316345   929194 |   205488    85561     21 | 39.613 % |
346.37/349.89	c 349	|    242839 |    7502   316345   929194 |   226037    87269     21 | 39.613 % |
349.83/353.37	c 353	|    245403 |    7502   316345   929194 |   248641    89833     21 | 39.613 % |
354.79/358.32	c 358	|    249247 |    7502   316345   929194 |   273505    93677     21 | 39.613 % |
363.61/367.21	c 367	|    255013 |    7502   316345   929194 |   300856    99443     21 | 39.613 % |
376.59/380.37	c 380	|    263662 |    7502   316345   929194 |   330942   108092     22 | 39.613 % |
399.37/403.38	c 403	|    276636 |    7502   316345   929194 |   364036   121066     22 | 39.613 % |
433.05/437.33	c 437	|    296097 |    7502   316345   929194 |   400439   140527     23 | 39.613 % |
489.91/494.71	c 494	|    325289 |    7502   316345   929194 |   440483   169719     25 | 39.613 % |
598.59/604.42	c 604	|    369079 |    7502   316345   929194 |   484532   213509     27 | 39.613 % |
802.06/809.81	c 809	|    434765 |    7502   316345   929194 |   532985   279195     28 | 39.613 % |
1175.34/1186.62	c 1186	|    533293 |    7502   316345   929194 |   586284   377723     28 | 39.613 % |
1914.28/1932.54	c 1932	|    681083 |    7502   316345   929194 |   644912   525513     30 | 39.613 % |
2950.69/2978.71	c 2978	|    902766 |    7502   316345   929194 |   709403   119331     34 | 39.613 % |
3600.01/3633.91	c ERROR INTERRUPTED
3600.01/3633.93	c 3633	CPU 3599.34 (0.06 0.02 3599.28 0.68)
3600.01/3633.93	c 3633	END Tue Jul 22 22:15:40 2008

Verifier Data (download as text)

OK	318	352
318 unsatisfied constraints, 352 satisfied constraints

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-1127251-1216754106/watcher-1127251-1216754106 -o /tmp/evaluation-result-1127251-1216754106/solver-1127251-1216754106 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1127251-1216754106.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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.53 1.89 1.96 3/68 3670
/proc/meminfo: memFree=1682272/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=12132 CPUtime=0
/proc/3670/stat : 3670 (sugar++) R 3668 3670 3599 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 2501488 12423168 218 996147200 4194304 4206940 548682068528 18446744073709551615 252429374177 0 0 4224 0 0 0 0 17 1 0 0
/proc/3670/statm: 3033 224 169 3 0 133 0

[startup+0.066857 s]
/proc/loadavg: 1.53 1.89 1.96 3/68 3670
/proc/meminfo: memFree=1682272/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=13336 CPUtime=0.03
/proc/3670/stat : 3670 (sugar++) D 3668 3670 3599 0 -1 4194304 732 0 0 0 2 1 0 0 18 0 1 0 2501488 13656064 700 996147200 4194304 4206940 548682068528 18446744073709551615 252429695589 0 0 4224 0 18446744071563608240 0 0 17 0 0 0
/proc/3670/statm: 3334 700 338 3 0 434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13336

[startup+0.101858 s]
/proc/loadavg: 1.53 1.89 1.96 3/68 3670
/proc/meminfo: memFree=1682272/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=13468 CPUtime=0.03
/proc/3670/stat : 3670 (sugar++) D 3668 3670 3599 0 -1 4194304 764 0 0 0 2 1 0 0 18 0 1 0 2501488 13791232 732 996147200 4194304 4206940 548682068528 18446744073709551615 252429695589 0 2147483391 4224 0 18446744072099781622 0 0 17 0 0 0
/proc/3670/statm: 3367 732 338 3 0 467 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13468

[startup+0.302879 s]
/proc/loadavg: 1.53 1.89 1.96 3/68 3670
/proc/meminfo: memFree=1682272/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16740 CPUtime=0.07
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1219 128 0 0 5 2 0 0 17 0 1 0 2501488 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701915 s]
/proc/loadavg: 1.53 1.89 1.96 3/68 3670
/proc/meminfo: memFree=1682272/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16740 CPUtime=0.07
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1219 128 0 0 5 2 0 0 17 0 1 0 2501488 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+1.503 s]
/proc/loadavg: 1.53 1.89 1.96 6/93 3698
/proc/meminfo: memFree=1652936/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16740 CPUtime=0.07
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1219 128 0 0 5 2 0 0 17 0 1 0 2501488 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4185 1104 409 3 0 764 0
[pid=3681] ppid=3670 vsize=5356 CPUtime=0
/proc/3681/stat : 3681 (sh) S 3670 3670 3599 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2501513 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3681/statm: 1339 233 193 169 0 50 0
[pid=3682] ppid=3681 vsize=864876 CPUtime=0.18
/proc/3682/stat : 3682 (java) S 3681 3670 3599 0 -1 0 3532 0 69 0 13 5 0 0 19 0 9 0 2501514 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3682/statm: 216219 3077 1702 9 0 210801 0
[pid=3682/tid=3684] ppid=3681 vsize=864876 CPUtime=0.14
/proc/3682/task/3684/stat : 3684 (java) R 3681 3670 3599 0 -1 64 2529 0 68 0 10 4 0 0 18 0 9 0 2501515 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4126480872 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3686] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3686/stat : 3686 (java) S 3681 3670 3599 0 -1 64 3 0 0 0 0 0 0 0 19 0 9 0 2501553 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3682/tid=3688] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3688/stat : 3688 (java) S 3681 3670 3599 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2501563 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3690] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3690/stat : 3690 (java) S 3681 3670 3599 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 2501563 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3692] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3692/stat : 3692 (java) S 3681 3670 3599 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2501572 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3694] ppid=3681 vsize=864876 CPUtime=0.03
/proc/3682/task/3694/stat : 3694 (java) S 3681 3670 3599 0 -1 64 310 0 1 0 3 0 0 0 16 0 9 0 2501572 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3697] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3697/stat : 3697 (java) S 3681 3670 3599 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 2501572 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3698] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3698/stat : 3698 (java) S 3681 3670 3599 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2501572 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 886972

[startup+3.10216 s]
/proc/loadavg: 1.53 1.89 1.96 5/93 3718
/proc/meminfo: memFree=1642248/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16740 CPUtime=0.41
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1297 4472 0 69 5 2 28 6 15 0 1 0 2501488 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4185 1104 409 3 0 764 0
[pid=3700] ppid=3670 vsize=5356 CPUtime=0
/proc/3700/stat : 3700 (sh) S 3670 3670 3599 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2501662 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3700/statm: 1339 233 193 169 0 50 0
[pid=3702] ppid=3700 vsize=868488 CPUtime=1.32
/proc/3702/stat : 3702 (java) S 3700 3670 3599 0 -1 0 6736 0 6 0 123 9 0 0 19 0 9 0 2501662 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3702/statm: 217122 5799 2563 9 0 211669 0
[pid=3702/tid=3704] ppid=3700 vsize=868488 CPUtime=0.97
/proc/3702/task/3704/stat : 3704 (java) R 3700 3670 3599 0 -1 64 2889 0 3 0 92 5 0 0 25 0 9 0 2501663 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3702/tid=3705] ppid=3700 vsize=868488 CPUtime=0.09
/proc/3702/task/3705/stat : 3705 (java) S 3700 3670 3599 0 -1 64 1668 0 3 0 7 2 0 0 16 0 9 0 2501664 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3702/tid=3707] ppid=3700 vsize=868488 CPUtime=0
/proc/3702/task/3707/stat : 3707 (java) S 3700 3670 3599 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2501665 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3702/tid=3708] ppid=3700 vsize=868488 CPUtime=0
/proc/3702/task/3708/stat : 3708 (java) S 3700 3670 3599 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2501665 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3702/tid=3711] ppid=3700 vsize=868488 CPUtime=0
/proc/3702/task/3711/stat : 3711 (java) S 3700 3670 3599 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 2501667 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3702/tid=3712] ppid=3700 vsize=868488 CPUtime=0.22
/proc/3702/task/3712/stat : 3712 (java) S 3700 3670 3599 0 -1 64 1487 0 0 0 22 0 0 0 16 0 9 0 2501667 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3702/tid=3713] ppid=3700 vsize=868488 CPUtime=0
/proc/3702/task/3713/stat : 3713 (java) S 3700 3670 3599 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2501667 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3702/tid=3714] ppid=3700 vsize=868488 CPUtime=0
/proc/3702/task/3714/stat : 3714 (java) S 3700 3670 3599 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2501667 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 890584

[startup+6.30249 s]
/proc/loadavg: 1.64 1.90 1.97 3/76 3721
/proc/meminfo: memFree=1580424/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.29
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1481 11678 0 75 6 2 201 20 15 0 1 0 2501488 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3670/statm: 4218 1131 414 3 0 797 0
[pid=3721] ppid=3670 vsize=27704 CPUtime=2.61
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 6752 0 0 0 257 4 0 0 25 0 1 0 2501855 28368896 6700 996147200 134512640 135134323 4294956192 18446744073709551615 134523927 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 6926 6700 73 151 0 6772 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 44576

[startup+12.7011 s]
/proc/loadavg: 1.67 1.91 1.97 3/76 3721
/proc/meminfo: memFree=1579720/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.29
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1481 11678 0 75 6 2 201 20 16 0 1 0 2501488 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3670/statm: 4218 1131 414 3 0 797 0
[pid=3721] ppid=3670 vsize=28556 CPUtime=8.98
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 6941 0 0 0 894 4 0 0 25 0 1 0 2501855 29241344 6889 996147200 134512640 135134323 4294956192 18446744073709551615 134532022 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 7139 6889 73 151 0 6985 0
Current children cumulated CPU time (s) 11.27
Current children cumulated vsize (KiB) 45428

[startup+25.5016 s]
/proc/loadavg: 1.74 1.91 1.97 3/76 3733
/proc/meminfo: memFree=1576968/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.29
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1481 11678 0 75 6 2 201 20 16 0 1 0 2501488 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3670/statm: 4218 1131 414 3 0 797 0
[pid=3721] ppid=3670 vsize=31232 CPUtime=21.76
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 7621 0 0 0 2171 5 0 0 25 0 1 0 2501855 31981568 7569 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 7808 7569 73 151 0 7654 0
Current children cumulated CPU time (s) 24.05
Current children cumulated vsize (KiB) 48104

[startup+51.1011 s]
/proc/loadavg: 1.83 1.92 1.97 3/76 3733
/proc/meminfo: memFree=1573064/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.29
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1481 11678 0 75 6 2 201 20 16 0 1 0 2501488 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3670/statm: 4218 1131 414 3 0 797 0
[pid=3721] ppid=3670 vsize=35316 CPUtime=47.34
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 8631 0 0 0 4727 7 0 0 25 0 1 0 2501855 36163584 8579 996147200 134512640 135134323 4294956192 18446744073709551615 134532126 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 8829 8579 73 151 0 8675 0
Current children cumulated CPU time (s) 49.63
Current children cumulated vsize (KiB) 52188

[startup+102.306 s]
/proc/loadavg: 1.92 1.93 1.97 3/76 3733
/proc/meminfo: memFree=1564424/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.29
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1481 11678 0 75 6 2 201 20 16 0 1 0 2501488 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3670/statm: 4218 1131 414 3 0 797 0
[pid=3721] ppid=3670 vsize=43560 CPUtime=98.51
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 10659 0 0 0 9842 9 0 0 25 0 1 0 2501855 44605440 10607 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 10890 10607 74 151 0 10736 0
Current children cumulated CPU time (s) 100.8
Current children cumulated vsize (KiB) 60432

[startup+162.301 s]
/proc/loadavg: 2.05 1.95 1.97 3/76 3745
/proc/meminfo: memFree=1558720/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1566 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=49380 CPUtime=158
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 12167 0 0 0 15789 11 0 0 25 0 1 0 2501855 50565120 12113 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 12345 12113 80 151 0 12191 0
Current children cumulated CPU time (s) 160.62
Current children cumulated vsize (KiB) 66252

[startup+222.302 s]
/proc/loadavg: 2.09 1.98 1.98 3/76 3745
/proc/meminfo: memFree=1554760/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1566 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=49556 CPUtime=217.44
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 12181 0 0 0 21733 11 0 0 25 0 1 0 2501855 50745344 12127 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 12389 12127 80 151 0 12235 0
Current children cumulated CPU time (s) 220.06

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

[pid=3721] ppid=3670 vsize=131652 CPUtime=2892.2
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32319 0 0 0 289182 38 0 0 25 0 1 0 2501855 134811648 32263 996147200 134512640 135134323 4294956192 18446744073709551615 134531958 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32263 80 151 0 32759 0
Current children cumulated CPU time (s) 2894.82
Current children cumulated vsize (KiB) 148524

[startup+2982.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 3753
/proc/meminfo: memFree=1375040/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=2951.63
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32319 0 0 0 295125 38 0 0 25 0 1 0 2501855 134811648 32263 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32263 80 151 0 32759 0
Current children cumulated CPU time (s) 2954.25
Current children cumulated vsize (KiB) 148524

[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1375040/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=3011.07
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32319 0 0 0 301069 38 0 0 25 0 1 0 2501855 134811648 32263 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32263 80 151 0 32759 0
Current children cumulated CPU time (s) 3013.69
Current children cumulated vsize (KiB) 148524

[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1374984/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=3070.51
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32320 0 0 0 307013 38 0 0 25 0 1 0 2501855 134811648 32264 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32264 80 151 0 32759 0
Current children cumulated CPU time (s) 3073.13
Current children cumulated vsize (KiB) 148524

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1374920/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=3129.95
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32322 0 0 0 312957 38 0 0 25 0 1 0 2501855 134811648 32266 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32266 80 151 0 32759 0
Current children cumulated CPU time (s) 3132.57
Current children cumulated vsize (KiB) 148524

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1374920/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=3189.39
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32324 0 0 0 318901 38 0 0 25 0 1 0 2501855 134811648 32268 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32268 80 151 0 32759 0
Current children cumulated CPU time (s) 3192.01
Current children cumulated vsize (KiB) 148524

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1374280/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=3248.83
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32324 0 0 0 324845 38 0 0 25 0 1 0 2501855 134811648 32268 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32268 80 151 0 32759 0
Current children cumulated CPU time (s) 3251.45
Current children cumulated vsize (KiB) 148524

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1373896/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131896 CPUtime=3308.27
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32367 0 0 0 330789 38 0 0 25 0 1 0 2501855 135061504 32311 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32974 32311 80 151 0 32820 0
Current children cumulated CPU time (s) 3310.89
Current children cumulated vsize (KiB) 148768

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1373704/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131896 CPUtime=3367.71
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32368 0 0 0 336733 38 0 0 25 0 1 0 2501855 135061504 32312 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32974 32312 80 151 0 32820 0
Current children cumulated CPU time (s) 3370.33
Current children cumulated vsize (KiB) 148768

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1373320/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131896 CPUtime=3427.15
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32369 0 0 0 342677 38 0 0 25 0 1 0 2501855 135061504 32313 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32974 32313 80 151 0 32820 0
Current children cumulated CPU time (s) 3429.77
Current children cumulated vsize (KiB) 148768

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1372616/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=132060 CPUtime=3486.58
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32404 0 0 0 348620 38 0 0 25 0 1 0 2501855 135229440 32348 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 33015 32348 80 151 0 32861 0
Current children cumulated CPU time (s) 3489.2
Current children cumulated vsize (KiB) 148932

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1372168/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=132224 CPUtime=3546.03
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32437 0 0 0 354565 38 0 0 25 0 1 0 2501855 135397376 32381 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 33056 32381 80 151 0 32902 0
Current children cumulated CPU time (s) 3548.65
Current children cumulated vsize (KiB) 149096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3633.9 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 3789
/proc/meminfo: memFree=1484192/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=132224 CPUtime=3597.39
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32439 0 0 0 359697 42 0 0 25 0 1 0 2501855 135397376 32383 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 33056 32383 80 151 0 32902 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 149096

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

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

[startup+3633.9 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 3789
/proc/meminfo: memFree=1484192/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=132224 CPUtime=3597.39
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32439 0 0 0 359697 42 0 0 25 0 1 0 2501855 135397376 32383 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 33056 32383 80 151 0 32902 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 149096

Child status: 0
Real time (s): 3633.93
CPU time (s): 3600.07
CPU user time (s): 3599.35
CPU system time (s): 0.71789
CPU usage (%): 99.0681
Max. virtual memory (cumulated for all children) (KiB): 890584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.35
system time used= 0.71789
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49647
page faults= 76
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4749
involuntary context switches= 78345

runsolver used 4.18036 second user time and 12.3291 second system time

The end

Launcher Data (download as text)

Begin job on node12 at 2008-07-22 21:15:06
IDJOB=1127251
IDBENCH=63132
IDSOLVER=367
FILE ID=node12/1127251-1216754106
PBS_JOBID= 7974060
Free space on /tmp= 66564 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2600-873121_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127251-1216754106/watcher-1127251-1216754106 -o /tmp/evaluation-result-1127251-1216754106/solver-1127251-1216754106 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1127251-1216754106.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a60466ce33107ad33e57e03308beffd2
RANDOM SEED=56241550

node12.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.234
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.234
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:       1683008 kB
Buffers:         17752 kB
Cached:         297700 kB
SwapCached:          0 kB
Active:         248996 kB
Inactive:        80728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1683008 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1968 kB
Writeback:           0 kB
Mapped:          24112 kB
Slab:            28940 kB
Committed_AS:    53260 kB
PageTables:       1612 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= 66560 MiB
End job on node12 at 2008-07-22 22:15:42