Trace number 2063844

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sugar v1.14.6+minisat? (TO) 1800.05 1815.23

General information on the benchmark

Namecsp/compet08/
normalized-patat-08-comp-2.xml
MD5SUM45198355f671cba1241311e09f8b8248
Bench CategoryAlldiff (alldiff)
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 variables800
Number of constraints27284
Maximum constraint arity23
Maximum domain size34
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26784
Global constraints used (with number of constraints)alldifferent(500)

Solver Data 

0.00/0.08	c 0	Sugar v1-14-6 + HOME/minisat
0.00/0.08	c 0	BEGIN Sat Jul 11 19:24:34 2009
0.00/0.08	c 0	PID 14073
0.00/0.08	c 0	HOST node64.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-2063844-1247333073.xml TO HOME/temp.csp
0.00/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2063844-1247333073.xml' 'HOME/temp.csp'
1.95/2.06	c 2	423 domains, 800 variables, 1 predicates, 0 relations, 27284 constraints
1.95/2.09	c 2	ENCODING HOME/temp.csp TO HOME/temp.cnf
1.95/2.09	c 2	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
2.02/2.18	c 2	Parsing HOME/temp.csp
2.20/2.37	c 2	parsed 10000 expressions
2.40/2.57	c 2	parsed 20000 expressions
2.49/2.67	c 2	parsed 28508 expressions
2.49/2.68	c 2	Heap : 11 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.49/2.68	c 2	Converting to clausal form CSP
3.59/3.77	c 3	converted 2851 (10%) expressions
5.18/5.30	c 5	converted 5702 (20%) expressions
6.75/6.90	c 6	converted 8553 (30%) expressions
8.05/8.26	c 8	converted 11404 (40%) expressions
9.92/10.15	c 10	converted 14254 (50%) expressions
11.30/11.53	c 11	converted 17105 (60%) expressions
12.70/12.93	c 12	converted 19956 (70%) expressions
14.88/15.12	c 15	converted 22807 (80%) expressions
16.28/16.54	c 16	converted 25658 (90%) expressions
79.36/80.26	c 80	converted 28508 (100%) expressions
79.36/80.26	c 80	CSP : 800 integers, 0 booleans, 132863 clauses, largest domain size 34
79.36/80.26	c 80	Heap : 607 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
79.36/80.26	c 80	Propagation in CSP
89.56/90.55	c 90	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
89.56/90.55	c 90	CSP : 800 integers, 0 booleans, 132863 clauses, largest domain size 34
89.56/90.55	c 90	Heap : 609 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
89.66/90.67	c 90	Simplifing CSP by introducing new Boolean variables
102.82/103.99	c 103	CSP : 800 integers, 309680 booleans, 442543 clauses, largest domain size 34
102.82/103.99	c 103	Heap : 692 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
106.88/108.07	c 108	Encoding CSP to SAT : HOME/temp.cnf
107.09/108.21	c 108	80 (10%) CSP integer variables are encoded (1930 clauses, 23028 bytes)
107.09/108.25	c 108	160 (20%) CSP integer variables are encoded (3814 clauses, 47520 bytes)
107.09/108.28	c 108	240 (30%) CSP integer variables are encoded (5686 clauses, 71856 bytes)
107.19/108.32	c 108	320 (40%) CSP integer variables are encoded (7552 clauses, 96114 bytes)
110.75/111.99	c 111	400 (50%) CSP integer variables are encoded (9387 clauses, 119969 bytes)
110.75/111.99	c 111	480 (60%) CSP integer variables are encoded (9528 clauses, 121802 bytes)
110.75/111.99	c 111	560 (70%) CSP integer variables are encoded (9669 clauses, 123874 bytes)
110.75/111.99	c 111	640 (80%) CSP integer variables are encoded (9806 clauses, 125929 bytes)
110.75/111.99	c 111	720 (90%) CSP integer variables are encoded (9891 clauses, 127204 bytes)
110.75/112.00	c 111	800 (100%) CSP integer variables are encoded (10050 clauses, 129589 bytes)
143.82/145.35	c 145	44255 (10%) CSP clauses are encoded (497382 clauses, 9398693 bytes)
176.22/178.04	c 178	88509 (20%) CSP clauses are encoded (982294 clauses, 18905644 bytes)
208.69/210.84	c 210	132763 (30%) CSP clauses are encoded (1494598 clauses, 29164232 bytes)
256.72/259.33	c 259	177018 (40%) CSP clauses are encoded (2201048 clauses, 43474378 bytes)
300.98/304.08	c 304	221272 (50%) CSP clauses are encoded (2899767 clauses, 57651671 bytes)
345.63/349.16	c 349	265526 (60%) CSP clauses are encoded (3610594 clauses, 72091208 bytes)
394.05/398.08	c 398	309781 (70%) CSP clauses are encoded (4315406 clauses, 86429447 bytes)
438.51/442.95	c 442	354035 (80%) CSP clauses are encoded (5010558 clauses, 100545331 bytes)
482.96/487.88	c 487	398289 (90%) CSP clauses are encoded (5706662 clauses, 114658808 bytes)
527.32/532.67	c 532	442543 (100%) CSP clauses are encoded (6404322 clauses, 128861698 bytes)
527.32/532.67	c 532	442543 CSP clauses encoded
527.32/532.67	c 532	Writing map file : HOME/temp.map
527.42/532.75	c 532	Heap : 691 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
527.42/532.75	c 532	SAT : 320348 SAT variables, 6404322 SAT clauses, 128861698 bytes
527.42/532.75	c 532	Heap : 691 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
527.57/532.91	c 532	SOLVING HOME/temp.cnf
527.57/532.91	c 532	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
527.57/532.92	c 532	This is MiniSat 2.0 beta
527.57/532.92	c 532	WARNING: for repeatability, setting FPU to use double precision
527.57/532.92	c 532	============================[ Problem Statistics ]=============================
527.57/532.92	c 532	|                                                                             |
527.57/532.92	c 532	|  Number of variables:  320348                                               |
527.57/532.92	c 532	|  Number of clauses:    6404322                                              |
531.14/536.52	c 536	|  Parsing time:         3.13         s                                       |
531.34/536.72	c 536	============================[ Search Statistics ]==============================
531.34/536.72	c 536	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
531.34/536.72	c 536	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
531.34/536.72	c 536	===============================================================================
531.34/536.72	c 536	|         0 |  320348  6404322 18640507 |  2134774        0    nan |  0.000 % |
534.21/539.60	c 539	|       100 |  320348  6404322 18640507 |  2348251      100     67 |  0.000 % |
535.49/540.98	c 540	|       250 |  320348  6404322 18640507 |  2583076      250     40 |  0.000 % |
536.88/542.34	c 542	|       476 |  320348  6404322 18640507 |  2841384      476     31 |  0.000 % |
537.98/543.41	c 543	|       813 |  320348  6404322 18640507 |  3125522      813     25 |  0.000 % |
540.35/545.88	c 545	|      1319 |  320348  6404322 18640507 |  3438074     1319     26 |  0.000 % |
543.61/549.12	c 549	|      2079 |  320348  6404322 18640507 |  3781882     2079     27 |  0.000 % |
546.69/552.25	c 552	|      3219 |  320348  6404322 18640507 |  4160070     3219     23 |  0.000 % |
560.35/566.06	c 566	|      4927 |  320348  6404322 18640507 |  4576077     4927     39 |  0.000 % |
567.29/573.10	c 573	|      7490 |  320348  6404322 18640507 |  5033685     7490     33 |  0.000 % |
627.99/634.35	c 634	|     11335 |  320348  6404322 18640507 |  5537053    11335     68 |  0.000 % |
674.44/681.20	c 681	|     17103 |  320348  6404322 18640507 |  6090759    17103     72 |  0.000 % |
798.28/806.25	c 806	|     25752 |  320348  6404322 18640507 |  6699835    25752     96 |  0.000 % |
845.14/853.56	c 853	|     38727 |  320348  6404322 18640507 |  7369818    38727     75 |  0.000 % |
925.97/935.17	c 935	|     58189 |  320348  6404322 18640507 |  8106800    58189     61 |  0.000 % |
984.32/994.00	c 993	|     87382 |  320348  6404322 18640507 |  8917480    87382     47 |  0.000 % |
1721.77/1736.88	c 1736	|    131173 |  320348  6404322 18640507 |  9809228   131173     91 |  0.000 % |
1800.03/1815.12	c ERROR INTERRUPTED
1800.03/1815.16	s UNKNOWN
1800.03/1815.16	c 1815	CPU 527.61 (0.07 0.01 523.62 3.91)
1800.03/1815.16	c 1815	END Sat Jul 11 19:54:49 2009

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2063844-1247333073/watcher-2063844-1247333073 -o /tmp/evaluation-result-2063844-1247333073/solver-2063844-1247333073 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2063844-1247333073.xml 

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


[startup+0 s]
/proc/loadavg: 2.13 2.19 1.87 4/82 14073
/proc/meminfo: memFree=751696/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=4708 CPUtime=0
/proc/14073/stat : 14073 (sugar) R 14071 14073 11541 0 -1 4194304 56 0 0 0 0 0 0 0 20 0 1 0 20370649 4820992 41 996147200 4194304 4206940 548682068608 18446744073709551615 251252507344 0 0 4096 0 0 0 0 17 1 0 0
/proc/14073/statm: 1177 41 31 3 0 8 0

[startup+0.0979111 s]
/proc/loadavg: 2.13 2.19 1.87 4/82 14073
/proc/meminfo: memFree=751696/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=0.07
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 20370649 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.102909 s]
/proc/loadavg: 2.13 2.19 1.87 4/82 14073
/proc/meminfo: memFree=751696/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=0.07
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 20370649 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.302931 s]
/proc/loadavg: 2.13 2.19 1.87 4/82 14073
/proc/meminfo: memFree=751696/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=0.07
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 20370649 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.702981 s]
/proc/loadavg: 2.13 2.19 1.87 4/82 14073
/proc/meminfo: memFree=751696/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=0.07
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 20370649 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+1.50107 s]
/proc/loadavg: 2.13 2.19 1.87 4/93 14085
/proc/meminfo: memFree=725816/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=0.07
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 20370649 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1111 409 3 0 796 0
[pid=14076] ppid=14073 vsize=5356 CPUtime=0
/proc/14076/stat : 14076 (sh) S 14073 14073 11541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20370658 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14076/statm: 1339 233 193 169 0 50 0
[pid=14077] ppid=14076 vsize=864792 CPUtime=1.38
/proc/14077/stat : 14077 (java) S 14076 14073 11541 0 -1 0 14853 0 1 0 131 7 0 0 18 0 9 0 20370658 885547008 12882 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14077/statm: 216198 12882 2556 9 0 210710 0
[pid=14077/tid=14078] ppid=14076 vsize=864792 CPUtime=0.79
/proc/14077/task/14078/stat : 14078 (java) R 14076 14073 11541 0 -1 64 3102 0 1 0 78 1 0 0 24 0 9 0 20370660 885547008 12882 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14077/tid=14079] ppid=14076 vsize=864792 CPUtime=0.44
/proc/14077/task/14079/stat : 14079 (java) R 14076 14073 11541 0 -1 64 10532 0 0 0 40 4 0 0 16 0 9 0 20370661 885547008 12882 996147200 134512640 134550932 4294955984 18446744073709551615 102549389 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14077/tid=14080] ppid=14076 vsize=864792 CPUtime=0
/proc/14077/task/14080/stat : 14080 (java) S 14076 14073 11541 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20370661 885547008 12882 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14077/tid=14081] ppid=14076 vsize=864792 CPUtime=0
/proc/14077/task/14081/stat : 14081 (java) S 14076 14073 11541 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 20370661 885547008 12882 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14077/tid=14082] ppid=14076 vsize=864792 CPUtime=0
/proc/14077/task/14082/stat : 14082 (java) S 14076 14073 11541 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20370663 885547008 12882 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14077/tid=14083] ppid=14076 vsize=864792 CPUtime=0.11
/proc/14077/task/14083/stat : 14083 (java) S 14076 14073 11541 0 -1 64 514 0 0 0 11 0 0 0 16 0 9 0 20370663 885547008 12882 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14077/tid=14084] ppid=14076 vsize=864792 CPUtime=0
/proc/14077/task/14084/stat : 14084 (java) S 14076 14073 11541 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20370663 885547008 12882 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14077/tid=14085] ppid=14076 vsize=864792 CPUtime=0
/proc/14077/task/14085/stat : 14085 (java) S 14076 14073 11541 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20370663 885547008 12882 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 887016

[startup+3.10124 s]
/proc/loadavg: 2.20 2.20 1.88 3/85 14087
/proc/meminfo: memFree=747128/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=2.02
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1309 16280 0 1 6 1 186 9 15 0 1 0 20370649 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1111 409 3 0 796 0
[pid=14086] ppid=14073 vsize=5356 CPUtime=0
/proc/14086/stat : 14086 (sh) S 14073 14073 11541 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20370858 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14086/statm: 1339 233 193 169 0 50 0
[pid=14087] ppid=14086 vsize=868528 CPUtime=0.97
/proc/14087/stat : 14087 (java) S 14086 14073 11541 0 -1 0 9824 0 1 0 93 4 0 0 18 0 9 0 20370859 889372672 8854 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14087/statm: 217132 8854 2566 9 0 211637 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 890752

[startup+6.30259 s]
/proc/loadavg: 2.20 2.20 1.88 3/93 14095
/proc/meminfo: memFree=700344/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=2.02
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1309 16280 0 1 6 1 186 9 16 0 1 0 20370649 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1111 409 3 0 796 0
[pid=14086] ppid=14073 vsize=5356 CPUtime=0
/proc/14086/stat : 14086 (sh) S 14073 14073 11541 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20370858 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14086/statm: 1339 233 193 169 0 50 0
[pid=14087] ppid=14086 vsize=868580 CPUtime=4.15
/proc/14087/stat : 14087 (java) S 14086 14073 11541 0 -1 0 17403 0 1 0 407 8 0 0 18 0 9 0 20370859 889425920 16222 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14087/statm: 217145 16222 2566 9 0 211650 0
[pid=14087/tid=14088] ppid=14086 vsize=868580 CPUtime=3
/proc/14087/task/14088/stat : 14088 (java) R 14086 14073 11541 0 -1 64 3203 0 1 0 299 1 0 0 25 0 9 0 20370860 889425920 16222 996147200 134512640 134550932 4294955936 18446744073709551615 4126510775 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14089] ppid=14086 vsize=868580 CPUtime=0.96
/proc/14087/task/14089/stat : 14089 (java) S 14086 14073 11541 0 -1 64 12041 0 0 0 91 5 0 0 16 0 9 0 20370861 889425920 16222 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14090] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14090/stat : 14090 (java) S 14086 14073 11541 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 20370861 889425920 16222 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14091] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14091/stat : 14091 (java) S 14086 14073 11541 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 20370861 889425920 16222 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14092] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14092/stat : 14092 (java) S 14086 14073 11541 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20370864 889425920 16222 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14093] ppid=14086 vsize=868580 CPUtime=0.17
/proc/14087/task/14093/stat : 14093 (java) S 14086 14073 11541 0 -1 64 1457 0 0 0 16 1 0 0 16 0 9 0 20370864 889425920 16222 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14094] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14094/stat : 14094 (java) S 14086 14073 11541 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20370864 889425920 16222 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14095] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14095/stat : 14095 (java) S 14086 14073 11541 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 20370864 889425920 16222 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 890804

[startup+12.7033 s]
/proc/loadavg: 2.17 2.19 1.88 3/93 14095
/proc/meminfo: memFree=638904/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=2.02
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1309 16280 0 1 6 1 186 9 16 0 1 0 20370649 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1111 409 3 0 796 0
[pid=14086] ppid=14073 vsize=5356 CPUtime=0
/proc/14086/stat : 14086 (sh) S 14073 14073 11541 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20370858 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14086/statm: 1339 233 193 169 0 50 0
[pid=14087] ppid=14086 vsize=868580 CPUtime=10.48
/proc/14087/stat : 14087 (java) S 14086 14073 11541 0 -1 0 36233 0 1 0 1032 16 0 0 18 0 9 0 20370859 889425920 31481 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14087/statm: 217145 31481 2567 9 0 211650 0
[pid=14087/tid=14088] ppid=14086 vsize=868580 CPUtime=8.11
/proc/14087/task/14088/stat : 14088 (java) R 14086 14073 11541 0 -1 64 3714 0 1 0 809 2 0 0 25 0 9 0 20370860 889425920 31481 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14089] ppid=14086 vsize=868580 CPUtime=2.17
/proc/14087/task/14089/stat : 14089 (java) R 14086 14073 11541 0 -1 64 30357 0 0 0 205 12 0 0 15 0 9 0 20370861 889425920 31481 996147200 134512640 134550932 4294955936 18446744073709551615 102549400 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14090] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14090/stat : 14090 (java) S 14086 14073 11541 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 20370861 889425920 31481 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14091] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14091/stat : 14091 (java) S 14086 14073 11541 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 20370861 889425920 31481 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14092] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14092/stat : 14092 (java) S 14086 14073 11541 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20370864 889425920 31481 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14093] ppid=14086 vsize=868580 CPUtime=0.18
/proc/14087/task/14093/stat : 14093 (java) S 14086 14073 11541 0 -1 64 1460 0 0 0 17 1 0 0 17 0 9 0 20370864 889425920 31481 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14094] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14094/stat : 14094 (java) S 14086 14073 11541 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20370864 889425920 31481 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14095] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14095/stat : 14095 (java) S 14086 14073 11541 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 20370864 889425920 31481 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 890804

[startup+25.5027 s]
/proc/loadavg: 2.22 2.20 1.88 3/93 14095
/proc/meminfo: memFree=522168/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=2.02
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1309 16280 0 1 6 1 186 9 16 0 1 0 20370649 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1111 409 3 0 796 0
[pid=14086] ppid=14073 vsize=5356 CPUtime=0
/proc/14086/stat : 14086 (sh) S 14073 14073 11541 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20370858 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14086/statm: 1339 233 193 169 0 50 0
[pid=14087] ppid=14086 vsize=868580 CPUtime=23.15
/proc/14087/stat : 14087 (java) S 14086 14073 11541 0 -1 0 71837 0 1 0 2284 31 0 0 18 0 9 0 20370859 889425920 59356 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14087/statm: 217145 59356 2567 9 0 211650 0
[pid=14087/tid=14088] ppid=14086 vsize=868580 CPUtime=17.19
/proc/14087/task/14088/stat : 14088 (java) R 14086 14073 11541 0 -1 64 5756 0 1 0 1717 2 0 0 25 0 9 0 20370860 889425920 59356 996147200 134512640 134550932 4294955936 18446744073709551615 4126509029 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14089] ppid=14086 vsize=868580 CPUtime=5.75
/proc/14087/task/14089/stat : 14089 (java) S 14086 14073 11541 0 -1 64 63913 0 0 0 548 27 0 0 16 0 9 0 20370861 889425920 59356 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14090] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14090/stat : 14090 (java) S 14086 14073 11541 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 20370861 889425920 59356 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14091] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14091/stat : 14091 (java) S 14086 14073 11541 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 20370861 889425920 59356 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14092] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14092/stat : 14092 (java) S 14086 14073 11541 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20370864 889425920 59356 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14093] ppid=14086 vsize=868580 CPUtime=0.18
/proc/14087/task/14093/stat : 14093 (java) S 14086 14073 11541 0 -1 64 1466 0 0 0 17 1 0 0 15 0 9 0 20370864 889425920 59356 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14094] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14094/stat : 14094 (java) S 14086 14073 11541 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20370864 889425920 59356 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14087/tid=14095] ppid=14086 vsize=868580 CPUtime=0
/proc/14087/task/14095/stat : 14095 (java) S 14086 14073 11541 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 20370864 889425920 59356 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 890804

[startup+51.1025 s]
/proc/loadavg: 2.20 2.20 1.89 3/93 14095
/proc/meminfo: memFree=308088/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=2.02
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1309 16280 0 1 6 1 186 9 16 0 1 0 20370649 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1111 409 3 0 796 0

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

/proc/14097/stat : 14097 (minisat) R 14096 14073 11541 0 -1 4194304 82056 0 0 0 88041 59 0 0 25 0 1 0 20423941 347901952 82042 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14097/statm: 84937 82042 76 150 0 84784 0
Current children cumulated CPU time (s) 1408.6
Current children cumulated vsize (KiB) 361972

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 14097
/proc/meminfo: memFree=428472/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=527.6
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1376 700302 0 2 7 1 52362 390 16 0 1 0 20370649 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1113 409 3 0 796 0
[pid=14096] ppid=14073 vsize=5356 CPUtime=0
/proc/14096/stat : 14096 (sh) S 14073 14073 11541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20423940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14096/statm: 1339 232 193 169 0 50 0
[pid=14097] ppid=14096 vsize=342256 CPUtime=940.44
/proc/14097/stat : 14097 (minisat) R 14096 14073 11541 0 -1 4194304 82700 0 0 0 93984 60 0 0 25 0 1 0 20423941 350470144 82686 996147200 134512640 135127466 4294956256 18446744073709551615 134530635 0 0 4096 3 0 0 0 17 1 0 0
/proc/14097/statm: 85564 82686 76 150 0 85411 0
Current children cumulated CPU time (s) 1468.04
Current children cumulated vsize (KiB) 364480

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 14097
/proc/meminfo: memFree=425976/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=527.6
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1376 700302 0 2 7 1 52362 390 16 0 1 0 20370649 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1113 409 3 0 796 0
[pid=14096] ppid=14073 vsize=5356 CPUtime=0
/proc/14096/stat : 14096 (sh) S 14073 14073 11541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20423940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14096/statm: 1339 232 193 169 0 50 0
[pid=14097] ppid=14096 vsize=344764 CPUtime=999.87
/proc/14097/stat : 14097 (minisat) R 14096 14073 11541 0 -1 4194304 83315 0 0 0 99927 60 0 0 25 0 1 0 20423941 353038336 83301 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14097/statm: 86191 83301 76 150 0 86038 0
Current children cumulated CPU time (s) 1527.47
Current children cumulated vsize (KiB) 366988

[startup+1602.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/75 14161
/proc/meminfo: memFree=737424/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=527.6
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1376 700302 0 2 7 1 52362 390 16 0 1 0 20370649 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1113 409 3 0 796 0
[pid=14096] ppid=14073 vsize=5356 CPUtime=0
/proc/14096/stat : 14096 (sh) S 14073 14073 11541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20423940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14096/statm: 1339 232 193 169 0 50 0
[pid=14097] ppid=14096 vsize=347536 CPUtime=1059.71
/proc/14097/stat : 14097 (minisat) R 14096 14073 11541 0 -1 4194304 84017 0 0 0 105909 62 0 0 25 0 1 0 20423941 355876864 84003 996147200 134512640 135127466 4294956256 18446744073709551615 134530635 0 0 4096 3 0 0 0 17 0 0 0
/proc/14097/statm: 86884 84003 76 150 0 86731 0
Current children cumulated CPU time (s) 1587.31
Current children cumulated vsize (KiB) 369760

[startup+1662.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/75 14161
/proc/meminfo: memFree=734672/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=527.6
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1376 700302 0 2 7 1 52362 390 16 0 1 0 20370649 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1113 409 3 0 796 0
[pid=14096] ppid=14073 vsize=5356 CPUtime=0
/proc/14096/stat : 14096 (sh) S 14073 14073 11541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20423940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14096/statm: 1339 232 193 169 0 50 0
[pid=14097] ppid=14096 vsize=350208 CPUtime=1119.69
/proc/14097/stat : 14097 (minisat) R 14096 14073 11541 0 -1 4194304 84680 0 0 0 111906 63 0 0 25 0 1 0 20423941 358612992 84666 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14097/statm: 87552 84666 76 150 0 87399 0
Current children cumulated CPU time (s) 1647.29
Current children cumulated vsize (KiB) 372432

[startup+1722.3 s]
/proc/loadavg: 2.26 2.07 2.02 3/85 14209
/proc/meminfo: memFree=88064/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=527.6
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1376 700302 0 2 7 1 52362 390 16 0 1 0 20370649 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14073/statm: 4217 1113 409 3 0 796 0
[pid=14096] ppid=14073 vsize=5356 CPUtime=0
/proc/14096/stat : 14096 (sh) S 14073 14073 11541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20423940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14096/statm: 1339 232 193 169 0 50 0
[pid=14097] ppid=14096 vsize=352732 CPUtime=1179.67
/proc/14097/stat : 14097 (minisat) R 14096 14073 11541 0 -1 4194304 85313 0 0 0 117901 66 0 0 25 0 1 0 20423941 361197568 85299 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 0 0 0
/proc/14097/statm: 88183 85299 76 150 0 88030 0
Current children cumulated CPU time (s) 1707.27
Current children cumulated vsize (KiB) 374956

[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/85 14209
/proc/meminfo: memFree=75456/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=527.6
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1376 700302 0 2 7 1 52362 390 16 0 1 0 20370649 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14073/statm: 4217 1113 409 3 0 796 0
[pid=14096] ppid=14073 vsize=5356 CPUtime=0
/proc/14096/stat : 14096 (sh) S 14073 14073 11541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20423940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14096/statm: 1339 232 193 169 0 50 0
[pid=14097] ppid=14096 vsize=354728 CPUtime=1239.64
/proc/14097/stat : 14097 (minisat) R 14096 14073 11541 0 -1 4194304 85814 0 0 0 123897 67 0 0 25 0 1 0 20423941 363241472 85800 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14097/statm: 88682 85800 76 150 0 88529 0
Current children cumulated CPU time (s) 1767.24
Current children cumulated vsize (KiB) 376952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.1 s]
/proc/loadavg: 2.05 2.05 2.01 3/85 14209
/proc/meminfo: memFree=73984/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=527.6
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1376 700302 0 2 7 1 52362 390 16 0 1 0 20370649 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14073/statm: 4217 1113 409 3 0 796 0
[pid=14096] ppid=14073 vsize=5356 CPUtime=0
/proc/14096/stat : 14096 (sh) S 14073 14073 11541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20423940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14096/statm: 1339 232 193 169 0 50 0
[pid=14097] ppid=14096 vsize=356184 CPUtime=1272.43
/proc/14097/stat : 14097 (minisat) R 14096 14073 11541 0 -1 4194304 86130 0 0 0 127175 68 0 0 25 0 1 0 20423941 364732416 86116 996147200 134512640 135127466 4294956256 18446744073709551615 134530692 0 0 4096 3 0 0 0 17 0 0 0
/proc/14097/statm: 89046 86116 76 150 0 88893 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 378408

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

############
# WARNING:
# current cumulated CPU time (527.67 s) is less than in the last sample (1800.03 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1272.36 s) to the 'lost time'.

[startup+1815.1 s]
/proc/loadavg: 2.05 2.05 2.01 3/85 14209
/proc/meminfo: memFree=73984/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=527.6
/proc/14073/stat : 14073 (sugar) S 14071 14073 11541 0 -1 4194304 1376 700302 0 2 7 1 52362 390 16 0 1 0 20370649 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14073/statm: 4217 1113 409 3 0 796 0
[pid=14096] ppid=14073 vsize=5356 CPUtime=0
/proc/14096/stat : 14096 (sh) S 14073 14073 11541 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20423940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14096/statm: 1339 232 193 169 0 50 0
[pid=14097] ppid=14096 vsize=356184 CPUtime=1272.43
/proc/14097/stat : 14097 (minisat) R 14096 14073 11541 0 -1 4194304 86130 0 0 0 127175 68 0 0 25 0 1 0 20423941 364732416 86116 996147200 134512640 135127466 4294956256 18446744073709551615 134530692 0 0 4096 3 0 0 0 17 0 0 0
/proc/14097/statm: 89046 86116 76 150 0 88893 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 378408

[startup+1815.22 s]
/proc/loadavg: 2.05 2.05 2.01 3/85 14209
/proc/meminfo: memFree=73984/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=527.67
/proc/14073/stat : 14073 (sugar) R 14071 14073 11541 0 -1 4194304 1423 700579 0 2 7 7 52362 391 17 0 1 0 20370649 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251255297065 0 0 4224 16386 0 0 0 17 0 0 0
/proc/14073/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 527.67
Current children cumulated vsize (KiB) 16868
#
############


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

[startup+1815.22 s]
/proc/loadavg: 2.05 2.05 2.01 3/85 14209
/proc/meminfo: memFree=73984/2055920 swapFree=4192956/4192956
[pid=14073] ppid=14071 vsize=16868 CPUtime=527.67
/proc/14073/stat : 14073 (sugar) R 14071 14073 11541 0 -1 4194304 1423 700579 0 2 7 7 52362 391 17 0 1 0 20370649 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251255297065 0 0 4224 16386 0 0 0 17 0 0 0
/proc/14073/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 527.67
Current children cumulated vsize (KiB) 16868

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): 1272.36
#  lost CPU user time (s): 1271.75
#  lost CPU system time (s): 0.61

Real time (s): 1815.23
CPU time (s): 1800.05
CPU user time (s): 1795.45
CPU system time (s): 4.60039
CPU usage (%): 99.1639
Max. virtual memory (cumulated for all children) (KiB): 905168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 523.699
system time used= 3.99039
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 702061
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= 16140
involuntary context switches= 17954

runsolver used 2.22666 second user time and 6.05408 second system time

The end

Launcher Data 

Begin job on node64 at 2009-07-11 19:24:33
IDJOB=2063844
IDBENCH=54099
IDSOLVER=739
FILE ID=node64/2063844-1247333073
PBS_JOBID= 9506501
Free space on /tmp= 66320 MiB

SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/compet08/normalized-patat-08-comp-2.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2063844-1247333073/watcher-2063844-1247333073 -o /tmp/evaluation-result-2063844-1247333073/solver-2063844-1247333073 -C 1800 -W 2000 -M 900  HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2063844-1247333073.xml

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

MD5SUM BENCH= 45198355f671cba1241311e09f8b8248
RANDOM SEED=401781624

node64.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:        752176 kB
Buffers:         48372 kB
Cached:         784288 kB
SwapCached:          0 kB
Active:         454744 kB
Inactive:       795900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        752176 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5332 kB
Writeback:           0 kB
Mapped:         438448 kB
Slab:            37148 kB
Committed_AS:   580820 kB
PageTables:       2696 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66316 MiB
End job on node64 at 2009-07-11 19:54:51