Trace number 232563

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, and are wall clock time (not CPU 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 0.40SAT 1405.62 1411.27

General information on the benchmark

Nametaillard/js-taillard-20/
js-taillard-20-100-7.xml
MD5SUMf9fc6e59124b1d17e975494a4277da70
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1405.62
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1633
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04	c # Sugar v0-40 (/tmp/evaluation/232563-1170106547/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/232563-1170106547/unknown.xml [Mon Jan 29 22:35:48 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/232563-1170106547/unknown.xml /tmp/evaluation/232563-1170106547/sugar26412.csp [Mon Jan 29 22:35:48 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232563-1170106547/sugar-v0-40.jar -convert /tmp/evaluation/232563-1170106547/unknown.xml /tmp/evaluation/232563-1170106547/sugar26412.csp
0.15	c BEGIN convert /tmp/evaluation/232563-1170106547/unknown.xml
0.83	c END convert (0.684012 seconds)
0.85	c # CONVERT_XML  END : /tmp/evaluation/232563-1170106547/sugar26412.csp 201403 bytes (1 seconds) [Mon Jan 29 22:35:49 2007]
0.85	c # CONVERT_XML  CPU : 0.78 = 0 + 0 + 0.73 + 0.05
0.85	
0.85	c # GENERATE_SAT  BEGIN : /tmp/evaluation/232563-1170106547/sugar26412.bcnf [Mon Jan 29 22:35:49 2007]
0.85	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232563-1170106547/sugar-v0-40.jar -bcnf -map /tmp/evaluation/232563-1170106547/sugar26412.map /tmp/evaluation/232563-1170106547/sugar26412.csp /tmp/evaluation/232563-1170106547/sugar26412.bcnf
0.96	c BEGIN parse /tmp/evaluation/232563-1170106547/sugar26412.csp
1.61	c END parse (0.653462 seconds)
1.61	c BEGIN simplify
1.64	c END simplify (0.032604 seconds)
1.64	c BEGIN encode /tmp/evaluation/232563-1170106547/sugar26412.bcnf
12.59	c END encode (10.941643 seconds)
12.71	c # GENERATE_SAT  END : 640598 variables 12877833 clauses 201103852 bytes (12 seconds) [Mon Jan 29 22:36:01 2007]
12.71	c # GENERATE_SAT  CPU : 11.77 = 0.06 + 0.01 + 10.97 + 0.73
12.71	
12.71	c # SOLVE_SAT  BEGIN : /tmp/evaluation/232563-1170106547/sugar26412.bcnf [Mon Jan 29 22:36:01 2007]
12.71	c # CMD : /tmp/evaluation/232563-1170106547/minisat /tmp/evaluation/232563-1170106547/sugar26412.bcnf /tmp/evaluation/232563-1170106547/sugar26412.out
25.92	c ==================================[MINISAT]===================================
25.92	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
25.92	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
25.92	c ==============================================================================
25.92	c |         0 | 5360761 15035999 | 1786920       0        0     nan |  0.000 % |
28.97	c |       101 | 5360762 15035999 | 1965612     100     1129    11.3 | 60.159 % |
32.49	c |       251 | 5360763 15035999 | 2162173     249     3271    13.1 | 60.159 % |
37.51	c |       476 | 5360763 15035999 | 2378390     474     8361    17.6 | 60.159 % |
44.36	c |       814 | 5360764 15035999 | 2616229     811    14099    17.4 | 60.159 % |
50.80	c |      1321 | 5360764 15035999 | 2877852    1318    22044    16.7 | 60.159 % |
60.11	c |      2080 | 5360766 15035999 | 3165637    2075    33850    16.3 | 60.159 % |
75.13	c |      3220 | 5360767 15035999 | 3482201    3214    53132    16.5 | 60.159 % |
100.82	c |      4929 | 5360767 15035999 | 3830421    4923    96120    19.5 | 60.159 % |
141.16	c |      7492 | 5360768 15035999 | 4213463    7485   148463    19.8 | 60.159 % |
194.90	c |     11338 | 5360771 15035999 | 4634810   11328   373936    33.0 | 60.159 % |
293.98	c |     17104 | 5360773 15035999 | 5098291   17092   528493    30.9 | 60.159 % |
449.45	c |     25754 | 5360778 15035999 | 5608120   25737   725197    28.2 | 60.159 % |
644.30	c |     38729 | 5360784 15035999 | 6168932   38706  1022054    26.4 | 60.159 % |
967.96	c |     58190 | 5360794 15035999 | 6785825   58157  1693868    29.1 | 60.159 % |
1392.77	c |     87382 | 5360815 15035999 | 7464408   87328  2773308    31.8 | 60.159 % |
1409.94	c ==============================================================================
1409.94	c restarts              : 16
1409.94	c conflicts             : 88444          (64 /sec)
1409.94	c decisions             : 128982         (93 /sec)
1409.94	c propagations          : 1709106911     (1228955 /sec)
1409.94	c conflict literals     : 2822621        (29.58 % deleted)
1409.94	c Memory used           : 527.79 MB
1409.94	c CPU time              : 1390.7 s
1409.94	c 
1409.94	c SATISFIABLE
1410.33	c # SOLVE_SAT  END : SATISFIABLE (1397 seconds) [Mon Jan 29 22:59:18 2007]
1410.33	c # SOLVE_SAT  CPU : 1392.1 = 0 + 0 + 1390.96 + 1.14
1410.33	
1410.33	c # RESULT : SATISFIABLE
1410.33	
1410.33	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 22:59:18 2007]
1410.46	c BEGIN read SAT output /tmp/evaluation/232563-1170106547/sugar26412.out
1410.99	c END read SAT output (0.524896 seconds)
1410.99	c BEGIN write solution /tmp/evaluation/232563-1170106547/sugar26412.sol
1411.13	c END write solution (0.144444 seconds)
1411.16	s SATISFIABLE
1411.16	v 158 182 190 232 578 673 698 728 817 886 918 983 1003 1031 1168 1288 1377 1425 1476 1534 0 5 39 71 100 216 295 399 608 633 712 749 874 875 906 1003 1010 1057 1390 1591 14 81 205 302 333 428 520 541 578 660 687 720 721 794 829 912 991 1070 1314 1358 1 35 144 360 444 521 731 794 796 801 806 856 927 935 949 1345 1365 1423 1455 1511 41 288 300 379 457 483 570 648 742 795 804 849 862 893 991 1080 1085 1176 1244 1340 160 243 341 432 454 462 490 587 592 674 739 816 872 949 1019 1153 1162 1433 1468 1582 3 96 174 279 312 400 555 583 593 661 900 983 1018 1029 1097 1195 1251 1288 1345 1436 0 3 130 149 226 259 337 397 477 509 686 869 946 1023 1298 1343 1369 1492 1520 1608 112 163 203 305 444 475 559 627 653 685 795 924 998 1133 1177 1267 1360 1455 1525 1584 8 43 86 92 234 324 403 461 560 571 740 836 1007 1065 1125 1262 1313 1411 1448 1567 430 522 531 602 692 772 828 838 938 958 1101 1151 1191 1283 1356 1427 1499 1576 1604 1606 60 171 390 424 474 497 636 747 1071 1147 1200 1294 1319 1382 1439 1464 1481 1551 1585 1627 76 170 250 326 424 449 501 588 702 793 937 1019 1043 1119 1188 1223 1279 1436 1566 1629 37 56 101 131 309 319 380 412 498 641 772 803 897 977 1062 1153 1259 1320 1456 1540 18 230 249 345 428 630 638 687 770 965 984 1065 1102 1148 1212 1217 1279 1375 1395 1499 18 67 86 96 172 178 220 642 725 732 783 845 1039 1063 1200 1297 1402 1467 1547 1588 101 190 223 285 305 307 493 582 606 668 736 819 906 913 1036 1243 1257 1314 1329 1337 102 265 353 500 572 581 622 704 752 867 927 1020 1059 1152 1238 1251 1437 1490 1519 1538 9 120 154 191 273 301 368 390 423 505 532 594 679 731 755 876 961 1032 1066 1143 24 267 307 396 488 500 541 725 953 1066 1078 1096 1151 1160 1251 1324 1329 1412 1505 1542
1411.17	c # OUTPUT_SOL  END :  (1 seconds) [Mon Jan 29 22:59:19 2007]
1411.17	c # OUTPUT_SOL  CPU : 0.809999999999818 = 0.01 + 0 + 0.699999999999818 + 0.1
1411.17	
1411.17	c # MAIN  END :  (1411 seconds) [Mon Jan 29 22:59:19 2007]
1411.17	c # MAIN  CPU : 1405.46 = 0.07 + 0.01 + 1403.36 + 2.02
1411.17

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node76/watcher-232563-1170106547 -o ROOT/results/node76/solver-232563-1170106547 -C 1800 -M 900 /tmp/evaluation/232563-1170106547/solver /tmp/evaluation/232563-1170106547 /tmp/evaluation/232563-1170106547/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 2.24 2.41 2.65 5/86 26413
/proc/meminfo: memFree=1785720/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=13728 CPUtime=0.03
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 1091 0 0 0 3 0 0 0 18 0 1 0 30613104 14057472 801 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 3432 801 365 3 0 531 0
[pid=26414] ppid=26412 vsize=13728 CPUtime=0
/proc/26414/stat : 26414 (sugar) R 26412 26412 25800 0 -1 4194368 14 0 0 0 0 0 0 0 19 0 1 0 30613108 14057472 803 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206843737111 0 2147483391 4096 16386 0 0 0 17 1 0 0
/proc/26414/statm: 3432 803 367 3 0 531 0

[startup+0.102781 s]
/proc/loadavg: 2.24 2.41 2.65 5/86 26413
/proc/meminfo: memFree=1785720/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=13728 CPUtime=0.03
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 1106 0 0 0 3 0 0 0 19 0 1 0 30613104 14057472 802 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 3432 802 365 3 0 531 0
[pid=26414] ppid=26412 vsize=802980 CPUtime=0.04
/proc/26414/stat : 26414 (java) R 26412 26412 25800 0 -1 0 2177 0 1 0 4 0 0 0 17 0 4 0 30613108 822251520 1929 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155578693 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/26414/statm: 200745 1929 1215 14 0 188327 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 816708

[startup+0.510829 s]
/proc/loadavg: 2.24 2.41 2.65 5/86 26413
/proc/meminfo: memFree=1785720/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=13728 CPUtime=0.03
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 1115 0 0 0 3 0 0 0 15 0 1 0 30613104 14057472 802 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 3432 802 365 3 0 531 0
[pid=26414] ppid=26412 vsize=807292 CPUtime=0.45
/proc/26414/stat : 26414 (java) R 26412 26412 25800 0 -1 0 7865 0 1 0 41 4 0 0 17 0 8 0 30613108 826667008 7615 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073667364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26414/statm: 201823 7615 1690 14 0 189100 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 821020

[startup+1.33192 s]
/proc/loadavg: 2.24 2.41 2.65 3/94 26429
/proc/meminfo: memFree=1748600/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=13728 CPUtime=0.82
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 1186 9574 0 1 3 1 73 5 15 0 1 0 30613104 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 3432 808 370 3 0 531 0
[pid=26422] ppid=26412 vsize=807068 CPUtime=0.46
/proc/26422/stat : 26422 (java) R 26412 26412 25800 0 -1 0 7416 0 1 0 42 4 0 0 21 0 8 0 30613189 826437632 7166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26422/statm: 201767 7166 1507 14 0 189044 0
[pid=26422/tid=26423] ppid=26412 vsize=807068 CPUtime=0.05
/proc/26422/task/26423/stat : 26423 (java) S 26412 26412 25800 0 -1 64 1331 0 0 0 5 0 0 0 16 0 8 0 30613192 826437632 7166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26424] ppid=26412 vsize=807068 CPUtime=0
/proc/26422/task/26424/stat : 26424 (java) S 26412 26412 25800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30613192 826437632 7166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26425] ppid=26412 vsize=807068 CPUtime=0
/proc/26422/task/26425/stat : 26425 (java) S 26412 26412 25800 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30613192 826437632 7166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26426] ppid=26412 vsize=807068 CPUtime=0
/proc/26422/task/26426/stat : 26426 (java) S 26412 26412 25800 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30613195 826437632 7166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26427] ppid=26412 vsize=807068 CPUtime=0.06
/proc/26422/task/26427/stat : 26427 (java) R 26412 26412 25800 0 -1 64 302 0 0 0 6 0 0 0 16 0 8 0 30613195 826437632 7166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153834613 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26428] ppid=26412 vsize=807068 CPUtime=0
/proc/26422/task/26428/stat : 26428 (java) S 26412 26412 25800 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30613195 826437632 7166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26429] ppid=26412 vsize=807068 CPUtime=0
/proc/26422/task/26429/stat : 26429 (java) S 26412 26412 25800 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30613195 826437632 7166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 820796

[startup+2.97611 s]
/proc/loadavg: 2.24 2.41 2.65 3/94 26429
/proc/meminfo: memFree=1698936/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=13728 CPUtime=0.82
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 1186 9574 0 1 3 1 73 5 16 0 1 0 30613104 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 3432 808 370 3 0 531 0
[pid=26422] ppid=26412 vsize=807348 CPUtime=2.1
/proc/26422/stat : 26422 (java) R 26412 26412 25800 0 -1 0 8784 0 1 0 197 13 0 0 25 0 8 0 30613189 826724352 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152082565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26422/statm: 201837 8531 1511 14 0 189114 0
[pid=26422/tid=26423] ppid=26412 vsize=807348 CPUtime=0.12
/proc/26422/task/26423/stat : 26423 (java) S 26412 26412 25800 0 -1 64 2552 0 0 0 11 1 0 0 17 0 8 0 30613192 826724352 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26424] ppid=26412 vsize=807348 CPUtime=0
/proc/26422/task/26424/stat : 26424 (java) S 26412 26412 25800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30613192 826724352 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26425] ppid=26412 vsize=807348 CPUtime=0
/proc/26422/task/26425/stat : 26425 (java) S 26412 26412 25800 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30613192 826724352 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26426] ppid=26412 vsize=807348 CPUtime=0
/proc/26422/task/26426/stat : 26426 (java) S 26412 26412 25800 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30613195 826724352 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26427] ppid=26412 vsize=807348 CPUtime=0.14
/proc/26422/task/26427/stat : 26427 (java) S 26412 26412 25800 0 -1 64 421 0 0 0 14 0 0 0 16 0 8 0 30613195 826724352 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26428] ppid=26412 vsize=807348 CPUtime=0
/proc/26422/task/26428/stat : 26428 (java) S 26412 26412 25800 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30613195 826724352 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26429] ppid=26412 vsize=807348 CPUtime=0
/proc/26422/task/26429/stat : 26429 (java) S 26412 26412 25800 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30613195 826724352 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 821076

[startup+6.18148 s]
/proc/loadavg: 2.38 2.44 2.66 3/87 26430
/proc/meminfo: memFree=1583544/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=13728 CPUtime=0.82
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 1186 9574 0 1 3 1 73 5 16 0 1 0 30613104 14057472 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 3432 808 370 3 0 531 0
[pid=26422] ppid=26412 vsize=807348 CPUtime=5.29
/proc/26422/stat : 26422 (java) R 26412 26412 25800 0 -1 0 8785 0 1 0 495 34 0 0 25 0 8 0 30613189 826724352 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26422/statm: 201837 8532 1511 14 0 189114 0
[pid=26422/tid=26423] ppid=26412 vsize=807348 CPUtime=0.12
/proc/26422/task/26423/stat : 26423 (java) S 26412 26412 25800 0 -1 64 2552 0 0 0 11 1 0 0 16 0 8 0 30613192 826724352 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26424] ppid=26412 vsize=807348 CPUtime=0
/proc/26422/task/26424/stat : 26424 (java) S 26412 26412 25800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30613192 826724352 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26425] ppid=26412 vsize=807348 CPUtime=0
/proc/26422/task/26425/stat : 26425 (java) S 26412 26412 25800 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30613192 826724352 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26426] ppid=26412 vsize=807348 CPUtime=0
/proc/26422/task/26426/stat : 26426 (java) S 26412 26412 25800 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30613195 826724352 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26427] ppid=26412 vsize=807348 CPUtime=0.14
/proc/26422/task/26427/stat : 26427 (java) S 26412 26412 25800 0 -1 64 422 0 0 0 14 0 0 0 16 0 8 0 30613195 826724352 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26428] ppid=26412 vsize=807348 CPUtime=0
/proc/26422/task/26428/stat : 26428 (java) S 26412 26412 25800 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30613195 826724352 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26422/tid=26429] ppid=26412 vsize=807348 CPUtime=0
/proc/26422/task/26429/stat : 26429 (java) S 26412 26412 25800 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30613195 826724352 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 821076

[startup+12.6572 s]
/proc/loadavg: 2.59 2.48 2.67 3/87 26430
/proc/meminfo: memFree=981432/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=14936 CPUtime=12.53
/proc/26412/stat : 26412 (sugar) R 26410 26412 25800 0 -1 4194304 1545 18375 0 2 4 1 1170 78 16 0 1 0 30613104 15294464 1117 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206843581399 0 0 4224 16386 0 0 0 17 0 0 0
/proc/26412/statm: 3734 1118 371 3 0 833 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 14936

[startup+25.4937 s]
/proc/loadavg: 2.81 2.54 2.68 3/80 26432
/proc/meminfo: memFree=445616/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2410 18375 0 2 9 1 1170 78 19 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 0 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=536660 CPUtime=12.72
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133404 0 0 0 1176 96 0 0 25 0 1 0 30614375 549539840 132173 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134638505 0 0 4096 0 0 0 0 17 1 0 0
/proc/26431/statm: 134165 132173 36 112 0 134049 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 555036

[startup+51.1617 s]
/proc/loadavg: 3.16 2.64 2.71 3/80 26432
/proc/meminfo: memFree=440688/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537580 CPUtime=38.17
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133616 0 0 0 3719 98 0 0 25 0 1 0 30614375 550481920 132385 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134532773 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134395 132385 51 112 0 134279 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 555956

[startup+102.386 s]
/proc/loadavg: 3.37 2.80 2.76 3/80 26432
/proc/meminfo: memFree=453104/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537580 CPUtime=89.15
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133631 0 0 0 8813 102 0 0 25 0 1 0 30614375 550481920 132400 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134395 132400 51 112 0 134279 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 555956

[startup+162.437 s]
/proc/loadavg: 2.50 2.65 2.71 3/80 26432
/proc/meminfo: memFree=453296/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537580 CPUtime=148.98
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133639 0 0 0 14795 103 0 0 25 0 1 0 30614375 550481920 132408 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134395 132408 51 112 0 134279 0
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (KiB) 555956

[startup+222.488 s]
/proc/loadavg: 2.18 2.53 2.66 3/80 26432
/proc/meminfo: memFree=453296/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537580 CPUtime=208.8
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133643 0 0 0 20777 103 0 0 25 0 1 0 30614375 550481920 132412 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527050 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134395 132412 51 112 0 134279 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 555956

[startup+282.544 s]
/proc/loadavg: 2.07 2.43 2.62 3/80 26432
/proc/meminfo: memFree=453296/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537580 CPUtime=268.63
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133643 0 0 0 26760 103 0 0 25 0 1 0 30614375 550481920 132412 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134395 132412 51 112 0 134279 0
Current children cumulated CPU time (s) 281.21

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

Current children cumulated CPU time (s) 520.5
Current children cumulated vsize (KiB) 555956

[startup+582.799 s]
/proc/loadavg: 2.00 2.15 2.44 3/80 26432
/proc/meminfo: memFree=453296/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537580 CPUtime=567.74
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133643 0 0 0 56671 103 0 0 25 0 1 0 30614375 550481920 132412 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134395 132412 51 112 0 134279 0
Current children cumulated CPU time (s) 580.32
Current children cumulated vsize (KiB) 555956

[startup+642.848 s]
/proc/loadavg: 2.00 2.12 2.41 3/80 26432
/proc/meminfo: memFree=453296/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537580 CPUtime=627.56
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133643 0 0 0 62653 103 0 0 25 0 1 0 30614375 550481920 132412 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528398 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134395 132412 51 112 0 134279 0
Current children cumulated CPU time (s) 640.14
Current children cumulated vsize (KiB) 555956

[startup+702.899 s]
/proc/loadavg: 2.06 2.11 2.38 3/80 26432
/proc/meminfo: memFree=453168/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537824 CPUtime=687.38
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133685 0 0 0 68635 103 0 0 25 0 1 0 30614375 550731776 132454 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525947 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134456 132454 51 112 0 134340 0
Current children cumulated CPU time (s) 699.96
Current children cumulated vsize (KiB) 556200

[startup+762.946 s]
/proc/loadavg: 2.02 2.09 2.36 3/80 26432
/proc/meminfo: memFree=453168/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537824 CPUtime=747.2
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133688 0 0 0 74617 103 0 0 25 0 1 0 30614375 550731776 132457 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134456 132457 51 112 0 134340 0
Current children cumulated CPU time (s) 759.78
Current children cumulated vsize (KiB) 556200

[startup+822.995 s]
/proc/loadavg: 2.01 2.07 2.33 3/80 26432
/proc/meminfo: memFree=453104/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537824 CPUtime=807.02
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133692 0 0 0 80599 103 0 0 25 0 1 0 30614375 550731776 132461 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134456 132461 51 112 0 134340 0
Current children cumulated CPU time (s) 819.6
Current children cumulated vsize (KiB) 556200

[startup+883.043 s]
/proc/loadavg: 2.00 2.05 2.31 3/80 26432
/proc/meminfo: memFree=453104/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537824 CPUtime=866.84
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133695 0 0 0 86581 103 0 0 25 0 1 0 30614375 550731776 132464 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134456 132464 51 112 0 134340 0
Current children cumulated CPU time (s) 879.42
Current children cumulated vsize (KiB) 556200

[startup+943.099 s]
/proc/loadavg: 2.00 2.04 2.29 3/80 26432
/proc/meminfo: memFree=453104/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537824 CPUtime=926.66
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133699 0 0 0 92563 103 0 0 25 0 1 0 30614375 550731776 132468 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134456 132468 51 112 0 134340 0
Current children cumulated CPU time (s) 939.24
Current children cumulated vsize (KiB) 556200

[startup+1003.15 s]
/proc/loadavg: 2.00 2.03 2.26 3/80 26432
/proc/meminfo: memFree=453040/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537824 CPUtime=986.48
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133703 0 0 0 98545 103 0 0 25 0 1 0 30614375 550731776 132472 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134456 132472 51 112 0 134340 0
Current children cumulated CPU time (s) 999.06
Current children cumulated vsize (KiB) 556200

[startup+1063.2 s]
/proc/loadavg: 2.00 2.02 2.25 3/80 26432
/proc/meminfo: memFree=452848/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537944 CPUtime=1046.31
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133707 0 0 0 104528 103 0 0 25 0 1 0 30614375 550854656 132476 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134486 132476 51 112 0 134370 0
Current children cumulated CPU time (s) 1058.89
Current children cumulated vsize (KiB) 556320

[startup+1123.25 s]
/proc/loadavg: 2.03 2.03 2.23 3/80 26432
/proc/meminfo: memFree=452784/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537944 CPUtime=1106.13
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133711 0 0 0 110510 103 0 0 25 0 1 0 30614375 550854656 132480 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134486 132480 51 112 0 134370 0
Current children cumulated CPU time (s) 1118.71
Current children cumulated vsize (KiB) 556320

[startup+1183.3 s]
/proc/loadavg: 2.01 2.02 2.22 3/80 26432
/proc/meminfo: memFree=452720/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537944 CPUtime=1165.95
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133716 0 0 0 116492 103 0 0 25 0 1 0 30614375 550854656 132485 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134486 132485 51 112 0 134370 0
Current children cumulated CPU time (s) 1178.53
Current children cumulated vsize (KiB) 556320

[startup+1243.35 s]
/proc/loadavg: 2.00 2.02 2.20 3/80 26432
/proc/meminfo: memFree=452720/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537944 CPUtime=1225.77
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133720 0 0 0 122474 103 0 0 25 0 1 0 30614375 550854656 132489 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134486 132489 51 112 0 134370 0
Current children cumulated CPU time (s) 1238.35
Current children cumulated vsize (KiB) 556320

[startup+1303.4 s]
/proc/loadavg: 2.00 2.01 2.18 3/80 26432
/proc/meminfo: memFree=452656/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537944 CPUtime=1285.59
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133723 0 0 0 128456 103 0 0 25 0 1 0 30614375 550854656 132492 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528357 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134486 132492 51 112 0 134370 0
Current children cumulated CPU time (s) 1298.17
Current children cumulated vsize (KiB) 556320

[startup+1363.45 s]
/proc/loadavg: 2.04 2.02 2.17 3/80 26432
/proc/meminfo: memFree=452592/2055888 swapFree=4096564/4096564
[pid=26412] ppid=26410 vsize=18376 CPUtime=12.58
/proc/26412/stat : 26412 (sugar) S 26410 26412 25800 0 -1 4194304 2420 18375 0 2 9 1 1170 78 16 0 1 0 30613104 18817024 1934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206852632722 0 0 4224 16386 18446744071563651996 0 0 17 1 0 0
/proc/26412/statm: 4594 1934 373 3 0 1693 0
[pid=26431] ppid=26412 vsize=537944 CPUtime=1345.41
/proc/26431/stat : 26431 (minisat) R 26412 26412 25800 0 -1 0 133728 0 0 0 134438 103 0 0 25 0 1 0 30614375 550854656 132497 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26431/statm: 134486 132497 51 112 0 134370 0
Current children cumulated CPU time (s) 1357.99
Current children cumulated vsize (KiB) 556320

Child status: 0
Real time (s): 1411.27
CPU time (s): 1405.62
CPU user time (s): 1403.47
CPU system time (s): 2.14667
CPU usage (%): 99.5998
Max. virtual memory (cumulated for all children) (KiB): 825516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1403.47
system time used= 2.14667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168963
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1974
involuntary context switches= 16869

runsolver used 1.40579 s user time and 3.61345 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Mon Jan 29 21:35:48 UTC 2007


IDJOB= 232563
IDBENCH= 6533
IDSOLVER= 86
FILE ID= node76/232563-1170106547

PBS_JOBID= 3689822

Free space on /tmp= 66561 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-100-7.xml
COMMAND LINE= /tmp/evaluation/232563-1170106547/solver /tmp/evaluation/232563-1170106547 /tmp/evaluation/232563-1170106547/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-232563-1170106547 -o ROOT/results/node76/solver-232563-1170106547 -C 1800 -M 900  /tmp/evaluation/232563-1170106547/solver /tmp/evaluation/232563-1170106547 /tmp/evaluation/232563-1170106547/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  f9fc6e59124b1d17e975494a4277da70

RANDOM SEED= 489495235

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.219
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	: 6006.18
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.219
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1787032 kB
Buffers:         16316 kB
Cached:         153548 kB
SwapCached:          0 kB
Active:          84480 kB
Inactive:       137820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1787032 kB
SwapTotal:     4096564 kB
SwapFree:      4096564 kB
Dirty:           93104 kB
Writeback:           0 kB
Mapped:          69248 kB
Slab:            32012 kB
Committed_AS:   701984 kB
PageTables:       1924 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66462 MiB



End job on node76 on Mon Jan 29 21:59:19 UTC 2007