Trace number 1092646

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+minisatSAT 82.7944 83.8013

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-5.xml
MD5SUMc03a979904773fcfaa1bb1514e47dcef
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 benchmark49.8974
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1763
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.00/0.04	c 0	Sugar v1-13 + HOME/minisat
0.00/0.04	c 0	BEGIN Sat Jul  5 18:49:05 2008
0.00/0.04	c 0	PID 17317
0.00/0.05	c 0	HOST node61.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1092646-1215276545.xml TO HOME/temp.csp
0.00/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1092646-1215276545.xml' 'HOME/temp.csp'
0.03/0.92	c 1	400 domains, 400 variables, 2 predicates, 0 relations, 4180 constraints
0.03/0.96	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.96	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.91/1.04	c 1	Parsing HOME/temp.csp
1.20/1.31	c 2	parsed 4982 expressions
1.20/1.32	c 2	Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.20/1.32	c 2	Converting to clausal form CSP
1.20/1.35	c 2	converted 499 (10%) expressions
1.30/1.42	c 2	converted 997 (20%) expressions
1.39/1.53	c 2	converted 1495 (30%) expressions
1.39/1.56	c 2	converted 1993 (40%) expressions
1.39/1.58	c 2	converted 2491 (50%) expressions
1.39/1.59	c 2	converted 2990 (60%) expressions
1.49/1.61	c 2	converted 3488 (70%) expressions
1.49/1.62	c 2	converted 3986 (80%) expressions
1.49/1.63	c 2	converted 4484 (90%) expressions
1.49/1.69	c 2	converted 4982 (100%) expressions
1.49/1.69	c 2	CSP : 400 integers, 0 booleans, 4180 clauses, largest domain size 1763
1.49/1.69	c 2	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.49/1.69	c 2	Propagation in CSP
1.79/1.95	c 2	391267 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.79/1.95	c 2	CSP : 400 integers, 0 booleans, 4180 clauses, largest domain size 967
1.79/1.95	c 2	Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.79/1.96	c 2	Simplifing CSP by introducing new Boolean variables
1.89/2.00	c 2	CSP : 400 integers, 7600 booleans, 11780 clauses, largest domain size 967
1.89/2.00	c 2	Heap : 7 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.89/2.05	c 2	Encoding CSP to SAT : HOME/temp.cnf
1.99/2.12	c 2	40 (10%) CSP integer variables are encoded (33180 clauses, 475582 bytes)
1.99/2.16	c 2	80 (20%) CSP integer variables are encoded (64540 clauses, 945982 bytes)
1.99/2.19	c 2	120 (30%) CSP integer variables are encoded (90820 clauses, 1340182 bytes)
2.09/2.24	c 3	160 (40%) CSP integer variables are encoded (124260 clauses, 1890565 bytes)
2.09/2.28	c 3	200 (50%) CSP integer variables are encoded (152580 clauses, 2372005 bytes)
2.19/2.32	c 3	240 (60%) CSP integer variables are encoded (182080 clauses, 2873505 bytes)
2.19/2.36	c 3	280 (70%) CSP integer variables are encoded (212860 clauses, 3396765 bytes)
2.19/2.39	c 3	320 (80%) CSP integer variables are encoded (236100 clauses, 3791845 bytes)
2.29/2.43	c 3	360 (90%) CSP integer variables are encoded (262920 clauses, 4247785 bytes)
2.29/2.47	c 3	400 (100%) CSP integer variables are encoded (292940 clauses, 4758125 bytes)
3.08/3.25	c 4	1178 (10%) CSP clauses are encoded (648038 clauses, 12770981 bytes)
3.77/3.96	c 4	2356 (20%) CSP clauses are encoded (989170 clauses, 20719194 bytes)
4.36/4.56	c 5	3534 (30%) CSP clauses are encoded (1274177 clauses, 27364313 bytes)
5.05/5.28	c 6	4712 (40%) CSP clauses are encoded (1621314 clauses, 35464255 bytes)
5.74/5.91	c 6	5890 (50%) CSP clauses are encoded (1919124 clauses, 42424575 bytes)
6.44/6.64	c 7	7068 (60%) CSP clauses are encoded (2272849 clauses, 50895272 bytes)
7.13/7.32	c 8	8246 (70%) CSP clauses are encoded (2603036 clauses, 58945669 bytes)
7.70/7.91	c 8	9424 (80%) CSP clauses are encoded (2879463 clauses, 65645065 bytes)
8.29/8.57	c 9	10602 (90%) CSP clauses are encoded (3198340 clauses, 73295452 bytes)
8.88/9.18	c 9	11780 (100%) CSP clauses are encoded (3507380 clauses, 80353753 bytes)
8.88/9.18	c 9	11780 CSP clauses encoded
8.88/9.18	c 9	Writing map file : HOME/temp.map
8.88/9.20	c 9	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.88/9.20	c 9	SAT : 300940 SAT variables, 3507380 SAT clauses, 80353753 bytes
8.88/9.20	c 9	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.98/9.22	c 9	SOLVING HOME/temp.cnf
8.98/9.22	c 9	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
8.98/9.22	c 9	This is MiniSat 2.0 beta
8.98/9.22	c 9	WARNING: for repeatability, setting FPU to use double precision
8.98/9.22	c 9	============================[ Problem Statistics ]=============================
8.98/9.22	c 9	|                                                                             |
8.98/9.22	c 9	|  Number of variables:  300940                                               |
8.98/9.22	c 9	|  Number of clauses:    3507380                                              |
11.05/11.30	c 12	|  Parsing time:         1.78         s                                       |
11.15/11.41	c 12	============================[ Search Statistics ]==============================
11.15/11.41	c 12	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.15/11.41	c 12	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.15/11.41	c 12	===============================================================================
11.15/11.41	c 12	|         0 |  299868  3506308  9936818 |  1168769        0    nan |  0.000 % |
12.83/13.13	c 13	|       101 |  299868  3506308  9936818 |  1285646      101     31 |  0.356 % |
14.11/14.48	c 15	|       252 |  299868  3506308  9936818 |  1414210      252     30 |  0.356 % |
16.58/16.92	c 17	|       477 |  299868  3506308  9936818 |  1555631      477     33 |  0.356 % |
21.03/21.49	c 22	|       814 |  299868  3506308  9936818 |  1711195      814     31 |  0.356 % |
26.58/27.06	c 27	|      1320 |  299868  3506308  9936818 |  1882314     1320     33 |  0.356 % |
34.79/35.37	c 36	|      2079 |  299868  3506308  9936818 |  2070546     2079     34 |  0.356 % |
47.06/47.71	c 48	|      3218 |  299868  3506308  9936818 |  2277600     3218     38 |  0.356 % |
68.15/69.07	c 69	|      4927 |  299868  3506308  9936818 |  2505360     4927     38 |  0.356 % |
81.80/82.89	c 83	===============================================================================
81.90/82.92	c 83	restarts              : 9
81.90/82.92	c 83	conflicts             : 6169           (85 /sec)
81.90/82.92	c 83	decisions             : 11121          (0.67 % random) (153 /sec)
81.90/82.92	c 83	propagations          : 107913096      (1485916 /sec)
81.90/82.92	c 83	conflict literals     : 240067         (20.30 % deleted)
81.90/82.92	c 83	Memory used           : 167.57 MB
81.90/82.92	c 83	CPU time              : 72.624 s
81.90/82.92	c 83	
81.99/83.04	c 83	SATISFIABLE
81.99/83.07	c 83	DECODING HOME/temp.out WITH HOME/temp.map
81.99/83.07	c 83	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
82.07/83.16	c 83	Decoding HOME/temp.out
82.66/83.72	s SATISFIABLE
82.66/83.73	v 1 119 180 204 217 292 387 470 574 631 639 713 984 1043 1429 1450 1534 1656 1714 1759 7 179 194 219 292 329 441 461 530 543 571 687 758 1169 1246 1288 1303 1415 1453 1612 205 352 619 717 798 845 898 1003 1081 1109 1201 1300 1328 1396 1432 1511 1590 1684 1712 1761 687 811 876 1005 1093 1138 1193 1220 1287 1356 1372 1382 1436 1483 1487 1553 1586 1595 1648 1678 48 81 145 211 364 504 572 586 681 802 897 934 1021 1069 1143 1219 1302 1436 1524 1643 0 86 102 136 219 298 399 421 529 587 698 720 884 937 1017 1585 1586 1643 1711 1737 265 269 423 542 668 684 928 944 1005 1046 1100 1210 1213 1297 1313 1368 1386 1616 1713 1732 442 470 569 692 732 786 813 965 1060 1089 1236 1293 1379 1386 1402 1472 1519 1590 1631 1749 7 37 61 156 197 250 519 617 671 829 907 962 1019 1081 1104 1132 1135 1453 1564 1575 157 235 313 334 398 489 564 646 752 855 885 1151 1243 1380 1458 1508 1541 1573 1712 1730 94 254 340 638 756 812 881 954 969 1057 1092 1133 1220 1295 1384 1433 1485 1565 1590 1694 179 221 395 422 495 574 615 682 769 779 801 884 992 1070 1173 1290 1328 1422 1479 1652 189 261 343 458 560 658 756 802 881 971 982 1036 1103 1200 1312 1365 1398 1420 1468 1556 157 248 325 357 408 439 508 526 543 574 596 681 735 792 814 857 1505 1545 1661 1730 75 147 189 209 212 262 512 593 688 727 772 854 904 993 1070 1174 1218 1260 1347 1592 94 245 251 297 337 412 501 541 558 647 718 787 873 933 1025 1085 1213 1308 1326 1591 95 146 162 299 406 449 551 554 607 706 806 887 953 1062 1198 1367 1437 1459 1660 1706 31 37 65 226 235 404 492 648 814 1027 1057 1099 1144 1185 1222 1401 1529 1615 1736 1760 18 74 101 320 387 476 486 549 582 596 691 887 953 1122 1168 1195 1247 1264 1676 1686 104 187 222 325 904 1018 1095 1193 1281 1332 1363 1451 1475 1509 1553 1582 1619 1642 1657 1707
82.66/83.74	c 84	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
82.66/83.76	c 84	CPU 81.6 (0.04 0.01 81.56 1.12)
82.66/83.76	c 84	END Sat Jul  5 18:50:29 2008

Verifier Data (download as text)

OK

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-1092646-1215276545/watcher-1092646-1215276545 -o /tmp/evaluation-result-1092646-1215276545/solver-1092646-1215276545 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1092646-1215276545.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.01 1.99 4/87 17317
/proc/meminfo: memFree=1751392/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=18572 CPUtime=0
/proc/17317/stat : 17317 (runsolver) R 17315 17317 15915 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2006625849 19017728 292 996147200 4194304 4296836 548682068272 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17317/statm: 4643 292 257 25 0 2626 0

[startup+0.0783759 s]
/proc/loadavg: 1.92 2.01 1.99 4/87 17317
/proc/meminfo: memFree=1751392/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=0.03
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2006625849 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.102139 s]
/proc/loadavg: 1.92 2.01 1.99 4/87 17317
/proc/meminfo: memFree=1751392/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=0.03
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2006625849 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301171 s]
/proc/loadavg: 1.92 2.01 1.99 4/87 17317
/proc/meminfo: memFree=1751392/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=0.03
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2006625849 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701247 s]
/proc/loadavg: 1.92 2.01 1.99 4/87 17317
/proc/meminfo: memFree=1751392/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=0.03
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2006625849 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+1.50239 s]
/proc/loadavg: 1.92 2.01 1.99 3/94 17335
/proc/meminfo: memFree=1746344/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=0.88
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 974 7191 0 1 3 0 81 4 15 0 1 0 2006625849 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 797 370 3 0 500 0
[pid=17330] ppid=17317 vsize=5356 CPUtime=0
/proc/17330/stat : 17330 (sh) S 17317 17317 15915 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2006625945 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17330/statm: 1339 233 193 169 0 50 0
[pid=17331] ppid=17330 vsize=868176 CPUtime=0.51
/proc/17331/stat : 17331 (java) S 17330 17317 15915 0 -1 0 5243 0 1 0 48 3 0 0 18 0 9 0 2006625946 889012224 4686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17331/statm: 217044 4686 1733 9 0 211619 0
[pid=17331/tid=17332] ppid=17330 vsize=868176 CPUtime=0.29
/proc/17331/task/17332/stat : 17332 (java) R 17330 17317 15915 0 -1 64 2655 0 1 0 28 1 0 0 21 0 9 0 2006625947 889012224 4686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17333] ppid=17330 vsize=868176 CPUtime=0.03
/proc/17331/task/17333/stat : 17333 (java) S 17330 17317 15915 0 -1 64 591 0 0 0 3 0 0 0 16 0 9 0 2006625948 889012224 4686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17334] ppid=17330 vsize=868176 CPUtime=0
/proc/17331/task/17334/stat : 17334 (java) S 17330 17317 15915 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2006625948 889012224 4686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17335] ppid=17330 vsize=868176 CPUtime=0
/proc/17331/task/17335/stat : 17335 (java) S 17330 17317 15915 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2006625948 889012224 4686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 887132

[startup+3.10167 s]
/proc/loadavg: 1.92 2.01 1.99 3/98 17339
/proc/meminfo: memFree=1730632/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=0.89
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 974 7191 0 1 4 0 81 4 15 0 1 0 2006625849 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 797 370 3 0 500 0
[pid=17330] ppid=17317 vsize=5356 CPUtime=0
/proc/17330/stat : 17330 (sh) S 17317 17317 15915 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2006625945 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17330/statm: 1339 233 193 169 0 50 0
[pid=17331] ppid=17330 vsize=868464 CPUtime=2.09
/proc/17331/stat : 17331 (java) S 17330 17317 15915 0 -1 0 8146 0 1 0 196 13 0 0 18 0 9 0 2006625946 889307136 7027 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17331/statm: 217116 7027 2564 9 0 211663 0
[pid=17331/tid=17332] ppid=17330 vsize=868464 CPUtime=1.56
/proc/17331/task/17332/stat : 17332 (java) R 17330 17317 15915 0 -1 64 3066 0 1 0 148 8 0 0 25 0 9 0 2006625947 889307136 7027 996147200 134512640 134550740 4294955952 18446744073709551615 102064685 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17333] ppid=17330 vsize=868464 CPUtime=0.25
/proc/17331/task/17333/stat : 17333 (java) S 17330 17317 15915 0 -1 64 2912 0 0 0 22 3 0 0 16 0 9 0 2006625948 889307136 7027 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17334] ppid=17330 vsize=868464 CPUtime=0
/proc/17331/task/17334/stat : 17334 (java) S 17330 17317 15915 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2006625948 889307136 7027 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17335] ppid=17330 vsize=868464 CPUtime=0
/proc/17331/task/17335/stat : 17335 (java) S 17330 17317 15915 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2006625948 889307136 7027 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17336] ppid=17330 vsize=868464 CPUtime=0
/proc/17331/task/17336/stat : 17336 (java) S 17330 17317 15915 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2006625951 889307136 7027 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17337] ppid=17330 vsize=868464 CPUtime=0.24
/proc/17331/task/17337/stat : 17337 (java) S 17330 17317 15915 0 -1 64 1475 0 0 0 24 0 0 0 16 0 9 0 2006625951 889307136 7027 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17338] ppid=17330 vsize=868464 CPUtime=0
/proc/17331/task/17338/stat : 17338 (java) S 17330 17317 15915 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2006625951 889307136 7027 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17339] ppid=17330 vsize=868464 CPUtime=0
/proc/17331/task/17339/stat : 17339 (java) S 17330 17317 15915 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006625951 889307136 7027 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 887420

[startup+6.30223 s]
/proc/loadavg: 1.93 2.01 1.99 3/98 17339
/proc/meminfo: memFree=1693960/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=0.89
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 974 7191 0 1 4 0 81 4 15 0 1 0 2006625849 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 797 370 3 0 500 0
[pid=17330] ppid=17317 vsize=5356 CPUtime=0
/proc/17330/stat : 17330 (sh) S 17317 17317 15915 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2006625945 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17330/statm: 1339 233 193 169 0 50 0
[pid=17331] ppid=17330 vsize=868464 CPUtime=5.25
/proc/17331/stat : 17331 (java) S 17330 17317 15915 0 -1 0 9091 0 1 0 482 43 0 0 18 0 9 0 2006625946 889307136 7036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17331/statm: 217116 7036 2565 9 0 211663 0
[pid=17331/tid=17332] ppid=17330 vsize=868464 CPUtime=4.5
/proc/17331/task/17332/stat : 17332 (java) R 17330 17317 15915 0 -1 64 4002 0 1 0 417 33 0 0 25 0 9 0 2006625947 889307136 7036 996147200 134512640 134550740 4294955952 18446744073709551615 4126867409 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17333] ppid=17330 vsize=868464 CPUtime=0.47
/proc/17331/task/17333/stat : 17333 (java) S 17330 17317 15915 0 -1 64 2912 0 0 0 38 9 0 0 16 0 9 0 2006625948 889307136 7036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17334] ppid=17330 vsize=868464 CPUtime=0
/proc/17331/task/17334/stat : 17334 (java) S 17330 17317 15915 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2006625948 889307136 7036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17335] ppid=17330 vsize=868464 CPUtime=0
/proc/17331/task/17335/stat : 17335 (java) S 17330 17317 15915 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2006625948 889307136 7036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17336] ppid=17330 vsize=868464 CPUtime=0
/proc/17331/task/17336/stat : 17336 (java) S 17330 17317 15915 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2006625951 889307136 7036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17337] ppid=17330 vsize=868464 CPUtime=0.25
/proc/17331/task/17337/stat : 17337 (java) S 17330 17317 15915 0 -1 64 1484 0 0 0 25 0 0 0 17 0 9 0 2006625951 889307136 7036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17338] ppid=17330 vsize=868464 CPUtime=0
/proc/17331/task/17338/stat : 17338 (java) S 17330 17317 15915 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2006625951 889307136 7036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17331/tid=17339] ppid=17330 vsize=868464 CPUtime=0
/proc/17331/task/17339/stat : 17339 (java) S 17330 17317 15915 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006625951 889307136 7036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 887420

[startup+12.7014 s]
/proc/loadavg: 2.01 2.03 2.00 3/90 17341
/proc/meminfo: memFree=1506120/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=9.01
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 1033 17441 0 2 4 0 821 76 15 0 1 0 2006625849 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 799 370 3 0 500 0
[pid=17340] ppid=17317 vsize=5356 CPUtime=0
/proc/17340/stat : 17340 (sh) S 17317 17317 15915 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626771 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17340/statm: 1339 232 193 169 0 50 0
[pid=17341] ppid=17340 vsize=165744 CPUtime=3.42
/proc/17341/stat : 17341 (minisat) R 17340 17317 15915 0 -1 4194304 40899 0 0 0 314 28 0 0 25 0 1 0 2006626772 169721856 40885 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17341/statm: 41436 40885 72 150 0 41283 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 184700

[startup+25.5016 s]
/proc/loadavg: 2.01 2.02 2.00 3/90 17341
/proc/meminfo: memFree=1502216/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=9.01
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 1033 17441 0 2 4 0 821 76 16 0 1 0 2006625849 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 799 370 3 0 500 0
[pid=17340] ppid=17317 vsize=5356 CPUtime=0
/proc/17340/stat : 17340 (sh) S 17317 17317 15915 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626771 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17340/statm: 1339 232 193 169 0 50 0
[pid=17341] ppid=17340 vsize=169704 CPUtime=16.08
/proc/17341/stat : 17341 (minisat) R 17340 17317 15915 0 -1 4194304 41910 0 0 0 1580 28 0 0 25 0 1 0 2006626772 173776896 41896 996147200 134512640 135127466 4294956256 18446744073709551615 134530624 0 0 4096 3 0 0 0 17 1 0 0
/proc/17341/statm: 42426 41896 75 150 0 42273 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 188660

[startup+51.1011 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17341
/proc/meminfo: memFree=1501512/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=9.01
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 1033 17441 0 2 4 0 821 76 16 0 1 0 2006625849 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 799 370 3 0 500 0
[pid=17340] ppid=17317 vsize=5356 CPUtime=0
/proc/17340/stat : 17340 (sh) S 17317 17317 15915 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626771 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17340/statm: 1339 232 193 169 0 50 0
[pid=17341] ppid=17340 vsize=170628 CPUtime=41.42
/proc/17341/stat : 17341 (minisat) R 17340 17317 15915 0 -1 4194304 42149 0 0 0 4113 29 0 0 25 0 1 0 2006626772 174723072 42135 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 1 0 0
/proc/17341/statm: 42657 42135 75 150 0 42504 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 189584

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

[startup+63.9013 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17341
/proc/meminfo: memFree=1501384/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=9.01
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 1033 17441 0 2 4 0 821 76 16 0 1 0 2006625849 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 799 370 3 0 500 0
[pid=17340] ppid=17317 vsize=5356 CPUtime=0
/proc/17340/stat : 17340 (sh) S 17317 17317 15915 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626771 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17340/statm: 1339 232 193 169 0 50 0
[pid=17341] ppid=17340 vsize=170892 CPUtime=54.09
/proc/17341/stat : 17341 (minisat) R 17340 17317 15915 0 -1 4194304 42204 0 0 0 5380 29 0 0 25 0 1 0 2006626772 174993408 42190 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17341/statm: 42723 42190 75 150 0 42570 0
Current children cumulated CPU time (s) 63.1
Current children cumulated vsize (KiB) 189848

[startup+76.7016 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17341
/proc/meminfo: memFree=1501000/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=9.01
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 1033 17441 0 2 4 0 821 76 16 0 1 0 2006625849 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 799 370 3 0 500 0
[pid=17340] ppid=17317 vsize=5356 CPUtime=0
/proc/17340/stat : 17340 (sh) S 17317 17317 15915 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626771 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17340/statm: 1339 232 193 169 0 50 0
[pid=17341] ppid=17340 vsize=171156 CPUtime=66.75
/proc/17341/stat : 17341 (minisat) R 17340 17317 15915 0 -1 4194304 42281 0 0 0 6646 29 0 0 25 0 1 0 2006626772 175263744 42267 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 1 0 0
/proc/17341/statm: 42789 42267 75 150 0 42636 0
Current children cumulated CPU time (s) 75.76
Current children cumulated vsize (KiB) 190112

[startup+79.9011 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17341
/proc/meminfo: memFree=1500872/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=9.01
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 1033 17441 0 2 4 0 821 76 16 0 1 0 2006625849 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 799 370 3 0 500 0
[pid=17340] ppid=17317 vsize=5356 CPUtime=0
/proc/17340/stat : 17340 (sh) S 17317 17317 15915 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626771 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17340/statm: 1339 232 193 169 0 50 0
[pid=17341] ppid=17340 vsize=171288 CPUtime=69.92
/proc/17341/stat : 17341 (minisat) R 17340 17317 15915 0 -1 4194304 42302 0 0 0 6963 29 0 0 25 0 1 0 2006626772 175398912 42288 996147200 134512640 135127466 4294956256 18446744073709551615 134530644 0 0 4096 3 0 0 0 17 1 0 0
/proc/17341/statm: 42822 42288 75 150 0 42669 0
Current children cumulated CPU time (s) 78.93
Current children cumulated vsize (KiB) 190244

[startup+81.5014 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17341
/proc/meminfo: memFree=1500744/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=9.01
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 1033 17441 0 2 4 0 821 76 16 0 1 0 2006625849 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 799 370 3 0 500 0
[pid=17340] ppid=17317 vsize=5356 CPUtime=0
/proc/17340/stat : 17340 (sh) S 17317 17317 15915 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2006626771 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17340/statm: 1339 232 193 169 0 50 0
[pid=17341] ppid=17340 vsize=171288 CPUtime=71.5
/proc/17341/stat : 17341 (minisat) R 17340 17317 15915 0 -1 4194304 42310 0 0 0 7121 29 0 0 25 0 1 0 2006626772 175398912 42296 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/17341/statm: 42822 42296 75 150 0 42669 0
Current children cumulated CPU time (s) 80.51
Current children cumulated vsize (KiB) 190244

[startup+83.1027 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 17341
/proc/meminfo: memFree=1500744/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=82.07
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 1071 60155 0 2 4 0 8095 108 16 0 1 0 2006625849 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 82.07
Current children cumulated vsize (KiB) 13600

[startup+83.5028 s]
/proc/loadavg: 2.08 2.03 2.01 3/98 17351
/proc/meminfo: memFree=1662280/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=82.07
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 1090 60155 0 2 4 0 8095 108 16 0 1 0 2006625849 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 799 370 3 0 500 0
[pid=17342] ppid=17317 vsize=5356 CPUtime=0
/proc/17342/stat : 17342 (sh) S 17317 17317 15915 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2006634157 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17342/statm: 1339 233 193 169 0 50 0
[pid=17343] ppid=17342 vsize=864040 CPUtime=0.4
/proc/17343/stat : 17343 (java) S 17342 17317 15915 0 -1 0 3511 0 1 0 38 2 0 0 18 0 9 0 2006634157 884776960 2985 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17343/statm: 216010 2985 1662 9 0 210592 0
[pid=17343/tid=17344] ppid=17342 vsize=864040 CPUtime=0.35
/proc/17343/task/17344/stat : 17344 (java) R 17342 17317 15915 0 -1 64 2450 0 1 0 34 1 0 0 20 0 9 0 2006634159 884776960 2985 996147200 134512640 134550740 4294956000 18446744073709551615 4126470363 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17345] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17345/stat : 17345 (java) S 17342 17317 15915 0 -1 64 75 0 0 0 0 0 0 0 16 0 9 0 2006634160 884776960 2985 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17346] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17346/stat : 17346 (java) S 17342 17317 15915 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2006634160 884776960 2985 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17347] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17347/stat : 17347 (java) S 17342 17317 15915 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2006634160 884776960 2985 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17348] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17348/stat : 17348 (java) S 17342 17317 15915 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006634162 884776960 2985 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17349] ppid=17342 vsize=864040 CPUtime=0.03
/proc/17343/task/17349/stat : 17349 (java) S 17342 17317 15915 0 -1 64 295 0 0 0 3 0 0 0 19 0 9 0 2006634162 884776960 2985 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17350] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17350/stat : 17350 (java) S 17342 17317 15915 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2006634162 884776960 2985 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17351] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17351/stat : 17351 (java) S 17342 17317 15915 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2006634162 884776960 2985 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.47
Current children cumulated vsize (KiB) 882996

[startup+83.7018 s]
/proc/loadavg: 2.08 2.03 2.01 3/98 17351
/proc/meminfo: memFree=1662280/2055920 swapFree=4180728/4192956
[pid=17317] ppid=17315 vsize=13600 CPUtime=82.07
/proc/17317/stat : 17317 (sugar) S 17315 17317 15915 0 -1 4194304 1090 60155 0 2 4 0 8095 108 16 0 1 0 2006625849 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17317/statm: 3400 799 370 3 0 500 0
[pid=17342] ppid=17317 vsize=5356 CPUtime=0
/proc/17342/stat : 17342 (sh) S 17317 17317 15915 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2006634157 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17342/statm: 1339 233 193 169 0 50 0
[pid=17343] ppid=17342 vsize=864040 CPUtime=0.59
/proc/17343/stat : 17343 (java) S 17342 17317 15915 0 -1 0 3515 0 1 0 57 2 0 0 18 0 9 0 2006634157 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17343/statm: 216010 2989 1665 9 0 210592 0
[pid=17343/tid=17344] ppid=17342 vsize=864040 CPUtime=0.54
/proc/17343/task/17344/stat : 17344 (java) R 17342 17317 15915 0 -1 64 2453 0 1 0 53 1 0 0 22 0 9 0 2006634159 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4126461392 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17345] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17345/stat : 17345 (java) S 17342 17317 15915 0 -1 64 75 0 0 0 0 0 0 0 16 0 9 0 2006634160 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17346] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17346/stat : 17346 (java) S 17342 17317 15915 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2006634160 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17347] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17347/stat : 17347 (java) S 17342 17317 15915 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2006634160 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17348] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17348/stat : 17348 (java) S 17342 17317 15915 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006634162 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17349] ppid=17342 vsize=864040 CPUtime=0.03
/proc/17343/task/17349/stat : 17349 (java) S 17342 17317 15915 0 -1 64 296 0 0 0 3 0 0 0 16 0 9 0 2006634162 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17350] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17350/stat : 17350 (java) S 17342 17317 15915 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2006634162 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17343/tid=17351] ppid=17342 vsize=864040 CPUtime=0
/proc/17343/task/17351/stat : 17351 (java) S 17342 17317 15915 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2006634162 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.66
Current children cumulated vsize (KiB) 882996

Child status: 0
Real time (s): 83.8013
CPU time (s): 82.7944
CPU user time (s): 81.6116
CPU system time (s): 1.18282
CPU usage (%): 98.7985
Max. virtual memory (cumulated for all children) (KiB): 887420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.6116
system time used= 1.18282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65174
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= 17695
involuntary context switches= 20789

runsolver used 0.115982 second user time and 0.290955 second system time

The end

Launcher Data (download as text)

Begin job on node61 at 2008-07-05 18:49:05
IDJOB=1092646
IDBENCH=58645
IDSOLVER=346
FILE ID=node61/1092646-1215276545
PBS_JOBID= 7882210
Free space on /tmp= 66496 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c03a979904773fcfaa1bb1514e47dcef
RANDOM SEED=2094663425

node61.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.269
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.269
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:       1751872 kB
Buffers:         50612 kB
Cached:         166980 kB
SwapCached:       6468 kB
Active:         164124 kB
Inactive:        82956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751872 kB
SwapTotal:     4192956 kB
SwapFree:      4180728 kB
Dirty:            1872 kB
Writeback:           0 kB
Mapped:          46940 kB
Slab:            41528 kB
Committed_AS:  4051264 kB
PageTables:       2348 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66492 MiB
End job on node61 at 2008-07-05 18:50:29