Trace number 2076461

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+minisatSAT 60.6398 88.1331

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-100-9.xml
MD5SUMfc7340650ecf26f83251f4e28365151f
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 benchmark10.8523
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1284
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data 

0.00/0.08	c 0	Sugar v1-14-6 + HOME/minisat
0.00/0.08	c 0	BEGIN Sun Jul 12 03:40:52 2009
0.00/0.08	c 0	PID 16769
0.00/0.08	c 0	HOST node56.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-2076461-1247362852.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-2076461-1247362852.xml' 'HOME/temp.csp'
0.06/0.90	c 1	400 domains, 400 variables, 1 predicates, 0 relations, 7600 constraints
0.06/0.93	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.93	c 1	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'
0.91/1.02	c 1	Parsing HOME/temp.csp
1.20/1.32	c 1	parsed 8401 expressions
1.20/1.33	c 1	Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.20/1.33	c 1	Converting to clausal form CSP
1.20/1.39	c 1	converted 841 (10%) expressions
1.50/1.63	c 2	converted 1681 (20%) expressions
1.50/1.67	c 2	converted 2521 (30%) expressions
1.59/1.70	c 2	converted 3361 (40%) expressions
1.59/1.73	c 2	converted 4201 (50%) expressions
1.59/1.76	c 2	converted 5041 (60%) expressions
1.70/1.85	c 2	converted 5881 (70%) expressions
1.70/1.88	c 2	converted 6721 (80%) expressions
1.80/1.91	c 2	converted 7561 (90%) expressions
1.80/1.95	c 2	converted 8401 (100%) expressions
1.80/1.95	c 2	CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1284
1.80/1.95	c 2	Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.80/1.95	c 2	Propagation in CSP
1.80/1.99	c 2	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.80/1.99	c 2	CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1284
1.80/1.99	c 2	Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.90/2.00	c 2	Simplifing CSP by introducing new Boolean variables
2.00/2.15	c 2	CSP : 400 integers, 15200 booleans, 22800 clauses, largest domain size 1284
2.00/2.15	c 2	Heap : 14 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.10/2.23	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.19/2.32	c 2	40 (10%) CSP integer variables are encoded (49231 clauses, 716337 bytes)
2.19/2.39	c 2	80 (20%) CSP integer variables are encoded (98528 clauses, 1455792 bytes)
2.29/2.45	c 2	120 (30%) CSP integer variables are encoded (147752 clauses, 2289821 bytes)
2.39/2.52	c 3	160 (40%) CSP integer variables are encoded (197003 clauses, 3127088 bytes)
2.39/2.58	c 3	200 (50%) CSP integer variables are encoded (246243 clauses, 3964168 bytes)
2.49/2.65	c 3	240 (60%) CSP integer variables are encoded (295674 clauses, 4804495 bytes)
2.59/2.72	c 3	280 (70%) CSP integer variables are encoded (345015 clauses, 5643292 bytes)
2.59/2.79	c 3	320 (80%) CSP integer variables are encoded (394497 clauses, 6484486 bytes)
2.69/2.85	c 3	360 (90%) CSP integer variables are encoded (443750 clauses, 7321787 bytes)
2.79/2.92	c 3	400 (100%) CSP integer variables are encoded (492924 clauses, 8157745 bytes)
6.25/6.49	c 6	2280 (10%) CSP clauses are encoded (2294428 clauses, 49700205 bytes)
9.70/9.99	c 10	4560 (20%) CSP clauses are encoded (4100874 clauses, 92290927 bytes)
13.11/13.65	c 14	6840 (30%) CSP clauses are encoded (5899500 clauses, 135134078 bytes)
16.21/16.79	c 17	9120 (40%) CSP clauses are encoded (7688886 clauses, 179839088 bytes)
19.65/20.32	c 20	11400 (50%) CSP clauses are encoded (9492410 clauses, 224897548 bytes)
23.02/23.79	c 24	13680 (60%) CSP clauses are encoded (11291390 clauses, 269842408 bytes)
26.48/27.28	c 27	15960 (70%) CSP clauses are encoded (13091714 clauses, 314820868 bytes)
29.96/30.78	c 31	18240 (80%) CSP clauses are encoded (14900754 clauses, 360017228 bytes)
33.46/34.31	c 34	20520 (90%) CSP clauses are encoded (16709976 clauses, 405218138 bytes)
36.87/37.82	c 38	22800 (100%) CSP clauses are encoded (18506748 clauses, 450107798 bytes)
36.87/37.82	c 38	22800 CSP clauses encoded
36.87/37.82	c 38	Writing map file : HOME/temp.map
36.87/37.84	c 38	Heap : 8 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
36.87/37.84	c 38	SAT : 508524 SAT variables, 18506748 SAT clauses, 450107798 bytes
36.87/37.84	c 38	Heap : 8 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
36.87/37.88	c 38	SOLVING HOME/temp.cnf
36.87/37.88	c 38	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
36.87/37.89	c 38	This is MiniSat 2.0 beta
36.87/37.89	c 38	WARNING: for repeatability, setting FPU to use double precision
36.87/37.89	c 38	============================[ Problem Statistics ]=============================
36.87/37.89	c 38	|                                                                             |
36.87/37.89	c 38	|  Number of variables:  508524                                               |
36.87/37.89	c 38	|  Number of clauses:    18506748                                             |
47.64/48.90	c 49	|  Parsing time:         9.41         s                                       |
48.03/49.38	c 49	============================[ Search Statistics ]==============================
48.03/49.38	c 49	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.03/49.38	c 49	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
48.03/49.38	c 49	===============================================================================
48.03/49.38	c 49	|         0 |  508524 18506748 54989320 |  6168916        0    nan |  0.000 % |
50.69/52.06	c 52	|       100 |  508524 18506748 54989320 |  6785807      100     68 |  0.000 % |
53.34/54.77	c 55	|       250 |  508524 18506748 54989320 |  7464388      250     36 |  0.000 % |
55.61/57.09	c 57	|       475 |  508524 18506748 54989320 |  8210827      475     24 |  0.000 % |
59.27/60.78	c 61	===============================================================================
59.37/60.81	c 61	restarts              : 4
59.37/60.81	c 61	conflicts             : 739            (35 /sec)
59.37/60.81	c 61	decisions             : 9396           (0.99 % random) (447 /sec)
59.37/60.81	c 61	propagations          : 4996652        (237949 /sec)
59.37/60.81	c 61	conflict literals     : 20644          (5.66 % deleted)
59.37/60.81	c 61	Memory used           : 825.82 MB
59.37/60.81	c 61	CPU time              : 20.9988 s
59.37/60.81	c 61	
59.56/61.01	c 61	SATISFIABLE
59.68/61.15	c 61	DECODING HOME/temp.out WITH HOME/temp.map
59.68/61.15	c 61	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
59.76/63.75	c 64	Decoding HOME/temp.out
60.25/64.25	s SATISFIABLE
60.25/64.27	v 617 1072 107 525 849 956 1233 1141 162 1121 934 21 715 799 293 33 122 0 247 151 1183 231 705 216 512 1239 47 897 2 1061 323 80 43 1088 1155 438 844 991 157 604 1211 1138 660 454 305 163 342 417 462 292 97 860 174 221 312 0 60 13 14 554 76 48 730 15 1148 395 1094 1202 1212 279 557 797 1006 112 303 634 467 902 199 6 1119 1211 145 545 932 1030 247 575 835 438 349 1128 648 49 758 0 1275 553 1217 1100 320 1150 822 40 577 849 1058 416 801 238 913 1265 633 161 745 0 997 594 1191 713 739 80 1189 438 417 299 158 1098 1270 1226 796 898 927 260 1188 507 1017 677 590 838 331 743 397 695 1282 834 211 512 243 491 911 127 1191 1004 1101 444 239 1149 759 604 1258 781 1046 99 568 8 490 595 879 356 157 695 929 1203 255 1054 411 631 958 1194 251 507 87 1149 330 7 730 539 1282 1084 1195 174 66 305 818 141 394 894 986 643 690 460 104 152 1271 1082 240 1214 887 928 980 1058 269 649 768 848 349 557 382 23 884 71 948 1014 1113 1161 1006 1094 760 1033 1199 512 1271 1148 682 772 856 122 619 1184 904 938 738 1073 333 622 468 848 1202 324 224 1013 668 523 1116 986 315 620 689 366 1026 170 974 618 521 0 836 254 1220 689 990 6 382 447 1251 1118 794 96 826 1190 1277 515 1043 248 1182 945 250 447 964 1022 1127 545 333 764 343 677 1171 88 560 171 127 326 391 550 1130 1014 1202 771 906 1040 64 857 209 1236 921 158 688 1066 1253 439 56 592 985 1207 514 761 834 1272 1035 680 1279 109 27 456 1120 1108 479 228 337 897 822 784 741 84 1238 564 628 289 1047 1116 1145 271 985 1213 358 1280 913 724 871 440 913 398 524 999 183 695 305 200 465 885 926 799 756 1229 2 1033 81 580 1130 598 59 1099 1143 129 2 499 280 662 879 687 1160 1013 822 649 330 418 905 779 970 1213
60.25/64.27	c 64	Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
60.32/64.31	c 64	CPU 60.34 (0.06 0.02 55.26 5)
60.32/64.31	c 64	END Sun Jul 12 03:41:56 2009

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076461-1247362852/watcher-2076461-1247362852 -o /tmp/evaluation-result-2076461-1247362852/solver-2076461-1247362852 -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-2076461-1247362852.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.22 2.25 2.17 4/83 16769
/proc/meminfo: memFree=754816/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=12268 CPUtime=0
/proc/16769/stat : 16769 (sugar) R 16767 16769 14446 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 23348510 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 250969029221 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/16769/statm: 3067 316 241 3 0 167 0

[startup+0.0900909 s]
/proc/loadavg: 2.22 2.25 2.17 4/83 16769
/proc/meminfo: memFree=754816/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.06
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.102094 s]
/proc/loadavg: 2.22 2.25 2.17 4/83 16769
/proc/meminfo: memFree=754816/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.06
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.302115 s]
/proc/loadavg: 2.22 2.25 2.17 4/83 16769
/proc/meminfo: memFree=754816/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.06
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.702154 s]
/proc/loadavg: 2.22 2.25 2.17 4/83 16769
/proc/meminfo: memFree=754816/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.06
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+1.50123 s]
/proc/loadavg: 2.20 2.24 2.17 4/94 16791
/proc/meminfo: memFree=747624/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.86
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1309 8423 0 1 5 1 74 6 16 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
[pid=16782] ppid=16769 vsize=5356 CPUtime=0
/proc/16782/stat : 16782 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23348604 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16782/statm: 1339 233 193 169 0 50 0
[pid=16783] ppid=16782 vsize=865836 CPUtime=0.54
/proc/16783/stat : 16783 (java) S 16782 16769 14446 0 -1 0 5062 0 1 0 52 2 0 0 18 0 9 0 23348604 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16783/statm: 216459 4524 1742 9 0 210964 0
[pid=16783/tid=16784] ppid=16782 vsize=865836 CPUtime=0.39
/proc/16783/task/16784/stat : 16784 (java) R 16782 16769 14446 0 -1 64 2659 0 1 0 38 1 0 0 18 0 9 0 23348605 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16785] ppid=16782 vsize=865836 CPUtime=0.03
/proc/16783/task/16785/stat : 16785 (java) S 16782 16769 14446 0 -1 64 996 0 0 0 3 0 0 0 16 0 9 0 23348606 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16786] ppid=16782 vsize=865836 CPUtime=0
/proc/16783/task/16786/stat : 16786 (java) S 16782 16769 14446 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 23348606 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16787] ppid=16782 vsize=865836 CPUtime=0
/proc/16783/task/16787/stat : 16787 (java) S 16782 16769 14446 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 23348606 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16788] ppid=16782 vsize=865836 CPUtime=0
/proc/16783/task/16788/stat : 16788 (java) S 16782 16769 14446 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23348608 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16789] ppid=16782 vsize=865836 CPUtime=0.1
/proc/16783/task/16789/stat : 16789 (java) R 16782 16769 14446 0 -1 64 714 0 0 0 10 0 0 0 16 0 9 0 23348608 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 102123740 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16790] ppid=16782 vsize=865836 CPUtime=0
/proc/16783/task/16790/stat : 16790 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23348608 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16791] ppid=16782 vsize=865836 CPUtime=0
/proc/16783/task/16791/stat : 16791 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23348609 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 888060

[startup+3.10239 s]
/proc/loadavg: 2.20 2.24 2.17 4/94 16791
/proc/meminfo: memFree=727656/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.87
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1310 8423 0 1 6 1 74 6 15 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
[pid=16782] ppid=16769 vsize=5356 CPUtime=0
/proc/16782/stat : 16782 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23348604 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16782/statm: 1339 233 193 169 0 50 0
[pid=16783] ppid=16782 vsize=868712 CPUtime=2.11
/proc/16783/stat : 16783 (java) S 16782 16769 14446 0 -1 0 9803 0 1 0 200 11 0 0 18 0 9 0 23348604 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16783/statm: 217178 8810 2590 9 0 211655 0
[pid=16783/tid=16784] ppid=16782 vsize=868712 CPUtime=1.47
/proc/16783/task/16784/stat : 16784 (java) R 16782 16769 14446 0 -1 64 3022 0 1 0 139 8 0 0 25 0 9 0 23348605 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4126943848 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16785] ppid=16782 vsize=868712 CPUtime=0.4
/proc/16783/task/16785/stat : 16785 (java) S 16782 16769 14446 0 -1 64 4574 0 0 0 39 1 0 0 16 0 9 0 23348606 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16786] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16786/stat : 16786 (java) S 16782 16769 14446 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23348606 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16787] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16787/stat : 16787 (java) S 16782 16769 14446 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23348606 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16788] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16788/stat : 16788 (java) S 16782 16769 14446 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23348608 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16789] ppid=16782 vsize=868712 CPUtime=0.21
/proc/16783/task/16789/stat : 16789 (java) S 16782 16769 14446 0 -1 64 1509 0 0 0 21 0 0 0 16 0 9 0 23348608 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16790] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16790/stat : 16790 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23348608 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16791] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16791/stat : 16791 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23348609 889561088 8810 996147200 134512640 134550932 4294955936 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) 890936

[startup+6.3027 s]
/proc/loadavg: 2.19 2.24 2.17 3/94 16791
/proc/meminfo: memFree=688872/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.87
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1310 8423 0 1 6 1 74 6 15 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
[pid=16782] ppid=16769 vsize=5356 CPUtime=0
/proc/16782/stat : 16782 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23348604 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16782/statm: 1339 233 193 169 0 50 0
[pid=16783] ppid=16782 vsize=868712 CPUtime=5.29
/proc/16783/stat : 16783 (java) S 16782 16769 14446 0 -1 0 10406 0 1 0 492 37 0 0 18 0 9 0 23348604 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16783/statm: 217178 8815 2590 9 0 211655 0
[pid=16783/tid=16784] ppid=16782 vsize=868712 CPUtime=4.43
/proc/16783/task/16784/stat : 16784 (java) R 16782 16769 14446 0 -1 64 3620 0 1 0 413 30 0 0 25 0 9 0 23348605 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4126988481 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16785] ppid=16782 vsize=868712 CPUtime=0.6
/proc/16783/task/16785/stat : 16785 (java) S 16782 16769 14446 0 -1 64 4574 0 0 0 55 5 0 0 16 0 9 0 23348606 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16786] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16786/stat : 16786 (java) S 16782 16769 14446 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23348606 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16787] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16787/stat : 16787 (java) S 16782 16769 14446 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23348606 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16788] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16788/stat : 16788 (java) S 16782 16769 14446 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23348608 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16789] ppid=16782 vsize=868712 CPUtime=0.22
/proc/16783/task/16789/stat : 16789 (java) S 16782 16769 14446 0 -1 64 1514 0 0 0 22 0 0 0 15 0 9 0 23348608 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16790] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16790/stat : 16790 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23348608 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16791] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16791/stat : 16791 (java) R 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23348609 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 890936

[startup+12.7023 s]
/proc/loadavg: 2.25 2.25 2.18 3/94 16791
/proc/meminfo: memFree=606760/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.87
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1310 8423 0 1 6 1 74 6 16 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
[pid=16782] ppid=16769 vsize=5356 CPUtime=0
/proc/16782/stat : 16782 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23348604 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16782/statm: 1339 233 193 169 0 50 0
[pid=16783] ppid=16782 vsize=868712 CPUtime=11.6
/proc/16783/stat : 16783 (java) S 16782 16769 14446 0 -1 0 11639 0 1 0 1073 87 0 0 18 0 9 0 23348604 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16783/statm: 217178 8818 2590 9 0 211655 0
[pid=16783/tid=16784] ppid=16782 vsize=868712 CPUtime=10.39
/proc/16783/task/16784/stat : 16784 (java) R 16782 16769 14446 0 -1 64 4850 0 1 0 965 74 0 0 25 0 9 0 23348605 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16785] ppid=16782 vsize=868712 CPUtime=0.94
/proc/16783/task/16785/stat : 16785 (java) S 16782 16769 14446 0 -1 64 4574 0 0 0 83 11 0 0 16 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16786] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16786/stat : 16786 (java) S 16782 16769 14446 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16787] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16787/stat : 16787 (java) S 16782 16769 14446 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16788] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16788/stat : 16788 (java) S 16782 16769 14446 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16789] ppid=16782 vsize=868712 CPUtime=0.23
/proc/16783/task/16789/stat : 16789 (java) S 16782 16769 14446 0 -1 64 1517 0 0 0 23 0 0 0 17 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16790] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16790/stat : 16790 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16791] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16791/stat : 16791 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23348609 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 890936

[startup+25.5026 s]
/proc/loadavg: 2.53 2.31 2.20 3/94 16791
/proc/meminfo: memFree=430696/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.87
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1310 8423 0 1 6 1 74 6 16 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
[pid=16782] ppid=16769 vsize=5356 CPUtime=0
/proc/16782/stat : 16782 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23348604 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16782/statm: 1339 233 193 169 0 50 0
[pid=16783] ppid=16782 vsize=868712 CPUtime=23.93
/proc/16783/stat : 16783 (java) S 16782 16769 14446 0 -1 0 14180 0 1 0 2185 208 0 0 18 0 9 0 23348604 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16783/statm: 217178 8818 2590 9 0 211655 0
[pid=16783/tid=16784] ppid=16782 vsize=868712 CPUtime=21.91
/proc/16783/task/16784/stat : 16784 (java) R 16782 16769 14446 0 -1 64 7391 0 1 0 2014 177 0 0 25 0 9 0 23348605 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 102093987 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16785] ppid=16782 vsize=868712 CPUtime=1.76
/proc/16783/task/16785/stat : 16785 (java) S 16782 16769 14446 0 -1 64 4574 0 0 0 147 29 0 0 16 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16786] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16786/stat : 16786 (java) S 16782 16769 14446 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16787] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16787/stat : 16787 (java) S 16782 16769 14446 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16788] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16788/stat : 16788 (java) S 16782 16769 14446 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16789] ppid=16782 vsize=868712 CPUtime=0.23
/proc/16783/task/16789/stat : 16789 (java) S 16782 16769 14446 0 -1 64 1517 0 0 0 23 0 0 0 17 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16790] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16790/stat : 16790 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16791] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16791/stat : 16791 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23348609 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.8
Current children cumulated vsize (KiB) 890936

[startup+51.1021 s]
/proc/loadavg: 3.15 2.48 2.26 3/86 16794
/proc/meminfo: memFree=15208/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=36.93
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1376 25332 0 2 6 1 3350 336 15 0 1 0 23348510 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1113 409 3 0 796 0
[pid=16793] ppid=16769 vsize=5356 CPUtime=0
/proc/16793/stat : 16793 (sh) S 16769 16769 14446 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23352299 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16793/statm: 1339 232 193 169 0 50 0
[pid=16794] ppid=16793 vsize=789036 CPUtime=12.87
/proc/16794/stat : 16794 (minisat) R 16793 16769 14446 0 -1 4194304 187459 0 0 0 1151 136 0 0 25 0 1 0 23352299 807972864 187445 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/16794/statm: 197259 187445 74 150 0 197106 0
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (KiB) 811260

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

[startup+63.9013 s]
/proc/loadavg: 3.43 2.56 2.29 4/88 16798
/proc/meminfo: memFree=821136/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=59.74
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1448 227166 0 2 6 2 5469 497 16 0 1 0 23348510 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16769/statm: 4217 1113 409 3 0 796 0
[pid=16795] ppid=16769 vsize=5356 CPUtime=0
/proc/16795/stat : 16795 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23354625 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16795/statm: 1339 233 193 169 0 50 0
[pid=16796] ppid=16795 vsize=862288 CPUtime=0.21
/proc/16796/stat : 16796 (java) S 16795 16769 14446 0 -1 0 3111 0 1 0 19 2 0 0 18 0 9 0 23354761 882982912 2581 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16796/statm: 215572 2581 1279 9 0 210485 0
[pid=16796/tid=16797] ppid=16795 vsize=862288 CPUtime=0.15
/proc/16796/task/16797/stat : 16797 (java) R 16795 16769 14446 0 -1 64 2035 0 1 0 14 1 0 0 24 0 9 0 23354762 882982912 2581 996147200 134512640 134550932 4294955984 18446744073709551615 4126482899 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16796/tid=16798] ppid=16795 vsize=862288 CPUtime=0
/proc/16796/task/16798/stat : 16798 (java) S 16795 16769 14446 0 -1 64 69 0 0 0 0 0 0 0 16 0 9 0 23354880 882982912 2581 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16796/tid=16799] ppid=16795 vsize=862288 CPUtime=0
/proc/16796/task/16799/stat : 16799 (java) S 16795 16769 14446 0 -1 64 11 0 0 0 0 0 0 0 20 0 9 0 23354880 882982912 2581 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16796/tid=16800] ppid=16795 vsize=862288 CPUtime=0
/proc/16796/task/16800/stat : 16800 (java) S 16795 16769 14446 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 23354880 882982912 2581 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (KiB) 884512

[startup+76.7016 s]
/proc/loadavg: 3.56 2.63 2.31 2/85 16805
/proc/meminfo: memFree=1207728/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.55
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 23 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744071563608069 0 0 17 1 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.55
Current children cumulated vsize (KiB) 16868

[startup+83.1012 s]
/proc/loadavg: 3.51 2.64 2.32 2/84 16805
/proc/meminfo: memFree=1244280/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.57
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 25 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744071563608069 0 0 17 0 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.57
Current children cumulated vsize (KiB) 16868

[startup+86.3025 s]
/proc/loadavg: 3.47 2.65 2.32 2/84 16805
/proc/meminfo: memFree=1264696/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.58
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 26 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744071563608069 0 0 17 0 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.58
Current children cumulated vsize (KiB) 16868

[startup+87.1016 s]
/proc/loadavg: 3.47 2.65 2.32 2/84 16805
/proc/meminfo: memFree=1273592/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.59
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 27 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744071563608069 0 0 17 1 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.59
Current children cumulated vsize (KiB) 16868

[startup+87.9016 s]
/proc/loadavg: 3.47 2.65 2.32 2/84 16805
/proc/meminfo: memFree=1279736/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.59
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 27 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744071563608069 0 0 17 0 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.59
Current children cumulated vsize (KiB) 16868

[startup+88.1017 s]
/proc/loadavg: 3.47 2.65 2.32 2/84 16805
/proc/meminfo: memFree=1279736/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.59
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 27 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744072099202260 0 0 17 0 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.59
Current children cumulated vsize (KiB) 16868

Child status: 0
Real time (s): 88.1331
CPU time (s): 60.6398
CPU user time (s): 55.3286
CPU system time (s): 5.31119
CPU usage (%): 68.8048
Max. virtual memory (cumulated for all children) (KiB): 891012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.3286
system time used= 5.31119
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232630
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= 66458
involuntary context switches= 68755

runsolver used 0.100984 second user time and 0.317951 second system time

The end

Launcher Data 

Begin job on node56 at 2009-07-12 03:40:52
IDJOB=2076461
IDBENCH=56425
IDSOLVER=739
FILE ID=node56/2076461-1247362852
PBS_JOBID= 9506946
Free space on /tmp= 103036 MiB

SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-9.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-2076461-1247362852/watcher-2076461-1247362852 -o /tmp/evaluation-result-2076461-1247362852/solver-2076461-1247362852 -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-2076461-1247362852.xml

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

MD5SUM BENCH= fc7340650ecf26f83251f4e28365151f
RANDOM SEED=948042269

node56.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.209
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.209
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:        755296 kB
Buffers:         76848 kB
Cached:         708484 kB
SwapCached:          0 kB
Active:         532148 kB
Inactive:       712400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        755296 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2356 kB
Writeback:           0 kB
Mapped:         479640 kB
Slab:            40268 kB
Committed_AS:   635288 kB
PageTables:       2784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103036 MiB
End job on node56 at 2009-07-12 03:42:20