Trace number 1081040

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+picosatSAT 221.671 222.689

General information on the benchmark

Namecsp/js-taillard-15/
normalized-js-taillard-15-100-8.xml
MD5SUM9de4e8d0bc614ccbc86793b1abb57b97
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 benchmark36.2135
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1289
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.04	c 0	Sugar v1-13 + HOME/picosat
0.00/0.04	c 0	BEGIN Sat Jul  5 01:46:24 2008
0.00/0.04	c 0	PID 12042
0.00/0.04	c 0	HOST node80.alineos.net
0.00/0.04	c 0	CONVERTING HOME/instance-1081040-1215215184.xml TO HOME/temp.csp
0.00/0.04	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1081040-1215215184.xml' 'HOME/temp.csp'
0.03/0.52	c 1	225 domains, 225 variables, 2 predicates, 0 relations, 1785 constraints
0.03/0.56	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.56	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.50/0.64	c 1	Parsing HOME/temp.csp
0.93/1.03	c 1	parsed 2237 expressions
0.93/1.03	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.93/1.03	c 1	Converting to clausal form CSP
0.93/1.05	c 1	converted 224 (10%) expressions
0.93/1.05	c 1	converted 448 (20%) expressions
1.03/1.13	c 1	converted 672 (30%) expressions
1.03/1.15	c 1	converted 895 (40%) expressions
1.03/1.19	c 1	converted 1119 (50%) expressions
1.12/1.22	c 2	converted 1343 (60%) expressions
1.22/1.32	c 2	converted 1566 (70%) expressions
1.22/1.33	c 2	converted 1790 (80%) expressions
1.22/1.34	c 2	converted 2014 (90%) expressions
1.22/1.34	c 2	converted 2237 (100%) expressions
1.22/1.34	c 2	CSP : 225 integers, 0 booleans, 1785 clauses, largest domain size 1289
1.22/1.34	c 2	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.22/1.34	c 2	Propagation in CSP
1.32/1.45	c 2	165690 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.32/1.45	c 2	CSP : 225 integers, 0 booleans, 1785 clauses, largest domain size 626
1.32/1.45	c 2	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.32/1.45	c 2	Simplifing CSP by introducing new Boolean variables
1.32/1.48	c 2	CSP : 225 integers, 3150 booleans, 4935 clauses, largest domain size 626
1.32/1.48	c 2	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.42/1.52	c 2	Encoding CSP to SAT : HOME/temp.cnf
1.42/1.55	c 2	23 (10%) CSP integer variables are encoded (10031 clauses, 128369 bytes)
1.42/1.56	c 2	45 (20%) CSP integer variables are encoded (18060 clauses, 248804 bytes)
1.42/1.57	c 2	68 (30%) CSP integer variables are encoded (30946 clauses, 442094 bytes)
1.42/1.58	c 2	90 (40%) CSP integer variables are encoded (41775 clauses, 604529 bytes)
1.52/1.60	c 2	113 (50%) CSP integer variables are encoded (55634 clauses, 812414 bytes)
1.52/1.61	c 2	135 (60%) CSP integer variables are encoded (66435 clauses, 974429 bytes)
1.52/1.63	c 2	158 (70%) CSP integer variables are encoded (78243 clauses, 1151549 bytes)
1.52/1.64	c 2	180 (80%) CSP integer variables are encoded (88305 clauses, 1302479 bytes)
1.52/1.65	c 2	203 (90%) CSP integer variables are encoded (99746 clauses, 1474094 bytes)
1.52/1.67	c 2	225 (100%) CSP integer variables are encoded (112275 clauses, 1686988 bytes)
1.71/1.85	c 2	494 (10%) CSP clauses are encoded (201909 clauses, 3596218 bytes)
1.81/1.99	c 2	987 (20%) CSP clauses are encoded (265372 clauses, 4964428 bytes)
2.02/2.13	c 2	1481 (30%) CSP clauses are encoded (332370 clauses, 6474402 bytes)
2.12/2.28	c 3	1974 (40%) CSP clauses are encoded (411016 clauses, 8239753 bytes)
2.31/2.47	c 3	2468 (50%) CSP clauses are encoded (510006 clauses, 10465470 bytes)
2.51/2.64	c 3	2961 (60%) CSP clauses are encoded (602632 clauses, 12547089 bytes)
2.71/2.84	c 3	3455 (70%) CSP clauses are encoded (708447 clauses, 14912518 bytes)
2.91/3.02	c 3	3948 (80%) CSP clauses are encoded (809252 clauses, 17161545 bytes)
3.00/3.20	c 4	4442 (90%) CSP clauses are encoded (910138 clauses, 19387321 bytes)
3.21/3.37	c 4	4935 (100%) CSP clauses are encoded (1011529 clauses, 21519026 bytes)
3.21/3.37	c 4	4935 CSP clauses encoded
3.21/3.37	c 4	Writing map file : HOME/temp.map
3.21/3.38	c 4	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.21/3.38	c 4	SAT : 115650 SAT variables, 1011529 SAT clauses, 21519026 bytes
3.21/3.38	c 4	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.29/3.43	c 4	SOLVING HOME/temp.cnf
3.29/3.43	c 4	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
221.30/222.35	c 223	DECODING HOME/temp.out WITH HOME/temp.map
221.30/222.35	c 223	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
221.37/222.44	c 223	Decoding HOME/temp.out
221.37/222.63	s SATISFIABLE
221.37/222.64	v 203 313 348 412 438 528 581 588 666 785 793 818 874 968 1034 0 34 35 75 149 194 267 393 473 560 659 801 914 1014 1286 0 111 231 359 415 586 655 760 812 851 863 864 935 982 1099 275 325 391 412 494 540 574 651 684 770 834 962 985 1041 1132 20 101 140 188 430 438 521 607 672 751 836 1059 1145 1189 1271 180 285 421 540 552 638 747 766 832 887 985 1042 1071 1077 1198 0 99 138 255 264 334 395 510 599 732 983 1051 1131 1165 1260 325 444 469 519 586 639 659 711 740 791 826 1010 1028 1145 1191 42 164 378 553 651 719 733 763 858 942 962 1051 1110 1185 1248 81 137 180 488 560 629 635 727 815 891 963 1041 1085 1110 1282 0 18 108 163 192 264 356 450 519 615 727 826 935 1131 1203 0 51 115 203 260 286 359 377 381 567 935 963 1000 1042 1165 0 35 88 101 176 209 277 349 415 595 641 670 740 1195 1251 116 301 391 427 477 615 641 698 787 878 933 1060 1131 1150 1188 156 232 511 586 793 929 943 959 983 1007 1051 1055 1077 1176 1186
221.37/222.64	c 223	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
221.37/222.68	c 223	CPU 216.95 (0.03 0.01 216.92 4.69)
221.37/222.68	c 223	END Sat Jul  5 01:50:07 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-1081040-1215215184/watcher-1081040-1215215184 -o /tmp/evaluation-result-1081040-1215215184/solver-1081040-1215215184 -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/picosat -tmp=HOME/temp HOME/instance-1081040-1215215184.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.99 1.98 1.99 4/73 12042
/proc/meminfo: memFree=1716832/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=12272 CPUtime=0
/proc/12042/stat : 12042 (sugar) R 12040 12042 11040 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 686643866 12566528 327 996147200 4194304 4206940 548682068608 18446744073709551615 226687154789 0 0 4224 0 0 0 0 17 1 0 0
/proc/12042/statm: 3068 327 246 3 0 168 0

[startup+0.00805003 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 12042
/proc/meminfo: memFree=1716832/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=12272 CPUtime=0
/proc/12042/stat : 12042 (sugar) R 12040 12042 11040 0 -1 4194304 406 0 0 0 0 0 0 0 18 0 1 0 686643866 12566528 374 996147200 4194304 4206940 548682068608 18446744073709551615 226686833377 0 0 4224 0 0 0 0 17 1 0 0
/proc/12042/statm: 3068 374 275 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.101068 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 12042
/proc/meminfo: memFree=1716832/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=0.03
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 900 127 0 0 3 0 0 0 16 0 1 0 686643866 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301094 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 12042
/proc/meminfo: memFree=1716832/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=0.03
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 900 127 0 0 3 0 0 0 16 0 1 0 686643866 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701145 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 12042
/proc/meminfo: memFree=1716832/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=0.5
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 973 5124 0 1 3 0 43 4 15 0 1 0 686643866 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13600

[startup+1.50225 s]
/proc/loadavg: 1.99 1.98 1.99 4/84 12064
/proc/meminfo: memFree=1708744/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=0.5
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 974 5124 0 1 3 0 43 4 15 0 1 0 686643866 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 797 370 3 0 500 0
[pid=12055] ppid=12042 vsize=5356 CPUtime=0
/proc/12055/stat : 12055 (sh) S 12042 12042 11040 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 686643923 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12055/statm: 1339 233 193 169 0 50 0
[pid=12056] ppid=12055 vsize=869332 CPUtime=0.92
/proc/12056/stat : 12056 (java) S 12055 12042 11040 0 -1 0 5832 0 1 0 89 3 0 0 19 0 9 0 686643923 890195968 5195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12056/statm: 217333 5195 1842 9 0 211908 0
[pid=12056/tid=12057] ppid=12055 vsize=869332 CPUtime=0.65
/proc/12056/task/12057/stat : 12057 (java) R 12055 12042 11040 0 -1 64 2663 0 1 0 64 1 0 0 20 0 9 0 686643924 890195968 5195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12058] ppid=12055 vsize=869332 CPUtime=0.05
/proc/12056/task/12058/stat : 12058 (java) R 12055 12042 11040 0 -1 64 962 0 0 0 5 0 0 0 16 0 9 0 686643925 890195968 5195 996147200 134512640 134550740 4294955952 18446744073709551615 102350441 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12059] ppid=12055 vsize=869332 CPUtime=0
/proc/12056/task/12059/stat : 12059 (java) S 12055 12042 11040 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 686643925 890195968 5195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12060] ppid=12055 vsize=869332 CPUtime=0
/proc/12056/task/12060/stat : 12060 (java) S 12055 12042 11040 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 686643925 890195968 5195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12061] ppid=12055 vsize=869332 CPUtime=0
/proc/12056/task/12061/stat : 12061 (java) S 12055 12042 11040 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 686643927 890195968 5195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12062] ppid=12055 vsize=869332 CPUtime=0.19
/proc/12056/task/12062/stat : 12062 (java) S 12055 12042 11040 0 -1 64 1515 0 0 0 19 0 0 0 16 0 9 0 686643927 890195968 5195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12063] ppid=12055 vsize=869332 CPUtime=0
/proc/12056/task/12063/stat : 12063 (java) S 12055 12042 11040 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 686643927 890195968 5195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12064] ppid=12055 vsize=869332 CPUtime=0
/proc/12056/task/12064/stat : 12064 (java) S 12055 12042 11040 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 686643928 890195968 5195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 888288

[startup+3.10245 s]
/proc/loadavg: 1.99 1.98 1.99 4/84 12064
/proc/meminfo: memFree=1694152/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=0.5
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 974 5124 0 1 3 0 43 4 15 0 1 0 686643866 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 797 370 3 0 500 0
[pid=12055] ppid=12042 vsize=5356 CPUtime=0
/proc/12055/stat : 12055 (sh) S 12042 12042 11040 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 686643923 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12055/statm: 1339 233 193 169 0 50 0
[pid=12056] ppid=12055 vsize=869444 CPUtime=2.5
/proc/12056/stat : 12056 (java) S 12055 12042 11040 0 -1 0 7354 0 1 0 235 15 0 0 19 0 9 0 686643923 890310656 6090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12056/statm: 217361 6090 2563 9 0 211908 0
[pid=12056/tid=12057] ppid=12055 vsize=869444 CPUtime=2.08
/proc/12056/task/12057/stat : 12057 (java) R 12055 12042 11040 0 -1 64 3202 0 1 0 198 10 0 0 25 0 9 0 686643924 890310656 6090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12058] ppid=12055 vsize=869444 CPUtime=0.17
/proc/12056/task/12058/stat : 12058 (java) S 12055 12042 11040 0 -1 64 1920 0 0 0 14 3 0 0 16 0 9 0 686643925 890310656 6090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12059] ppid=12055 vsize=869444 CPUtime=0
/proc/12056/task/12059/stat : 12059 (java) S 12055 12042 11040 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 686643925 890310656 6090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12060] ppid=12055 vsize=869444 CPUtime=0
/proc/12056/task/12060/stat : 12060 (java) S 12055 12042 11040 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 686643925 890310656 6090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12061] ppid=12055 vsize=869444 CPUtime=0
/proc/12056/task/12061/stat : 12061 (java) S 12055 12042 11040 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 686643927 890310656 6090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12062] ppid=12055 vsize=869444 CPUtime=0.22
/proc/12056/task/12062/stat : 12062 (java) S 12055 12042 11040 0 -1 64 1538 0 0 0 22 0 0 0 16 0 9 0 686643927 890310656 6090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12063] ppid=12055 vsize=869444 CPUtime=0
/proc/12056/task/12063/stat : 12063 (java) S 12055 12042 11040 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 686643927 890310656 6090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12056/tid=12064] ppid=12055 vsize=869444 CPUtime=0
/proc/12056/task/12064/stat : 12064 (java) S 12055 12042 11040 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 686643928 890310656 6090 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 888400

[startup+6.30184 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12066
/proc/meminfo: memFree=1677448/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=3.32
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 1022 12873 0 2 3 1 304 24 16 0 1 0 686643866 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 799 370 3 0 500 0
[pid=12065] ppid=12042 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (sh) S 12042 12042 11040 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 686644210 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 232 193 169 0 50 0
[pid=12066] ppid=12065 vsize=20548 CPUtime=2.84
/proc/12066/stat : 12066 (picosat) R 12065 12042 11040 0 -1 4194304 4765 0 0 0 130 154 0 0 25 0 1 0 686644210 21041152 4751 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 5137 4751 40 102 0 5032 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 39504

[startup+12.7026 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12066
/proc/meminfo: memFree=1653960/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=3.32
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 1022 12873 0 2 3 1 304 24 16 0 1 0 686643866 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 799 370 3 0 500 0
[pid=12065] ppid=12042 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (sh) S 12042 12042 11040 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 686644210 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 232 193 169 0 50 0
[pid=12066] ppid=12065 vsize=42976 CPUtime=9.21
/proc/12066/stat : 12066 (picosat) R 12065 12042 11040 0 -1 4194304 9817 0 0 0 483 438 0 0 25 0 1 0 686644210 44007424 9803 996147200 134512640 134931368 4294956256 18446744073709551615 134525785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 10744 9803 42 102 0 10639 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 61932

[startup+25.5012 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12066
/proc/meminfo: memFree=1653960/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=3.32
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 1022 12873 0 2 3 1 304 24 16 0 1 0 686643866 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 799 370 3 0 500 0
[pid=12065] ppid=12042 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (sh) S 12042 12042 11040 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 686644210 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 232 193 169 0 50 0
[pid=12066] ppid=12065 vsize=43108 CPUtime=21.96
/proc/12066/stat : 12066 (picosat) R 12065 12042 11040 0 -1 4194304 9866 0 0 0 1758 438 0 0 25 0 1 0 686644210 44142592 9852 996147200 134512640 134931368 4294956256 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 10777 9852 42 102 0 10672 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 62064

[startup+51.1014 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12066
/proc/meminfo: memFree=1653576/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=3.32
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 1022 12873 0 2 3 1 304 24 16 0 1 0 686643866 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 799 370 3 0 500 0
[pid=12065] ppid=12042 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (sh) S 12042 12042 11040 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 686644210 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 232 193 169 0 50 0
[pid=12066] ppid=12065 vsize=43504 CPUtime=47.44
/proc/12066/stat : 12066 (picosat) R 12065 12042 11040 0 -1 4194304 9972 0 0 0 4306 438 0 0 25 0 1 0 686644210 44548096 9958 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 10876 9958 42 102 0 10771 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 62460

[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12066
/proc/meminfo: memFree=1652936/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=3.32
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 1022 12873 0 2 3 1 304 24 16 0 1 0 686643866 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 799 370 3 0 500 0
[pid=12065] ppid=12042 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (sh) S 12042 12042 11040 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 686644210 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 232 193 169 0 50 0
[pid=12066] ppid=12065 vsize=44296 CPUtime=98.45
/proc/12066/stat : 12066 (picosat) R 12065 12042 11040 0 -1 4194304 10160 0 0 0 9406 439 0 0 25 0 1 0 686644210 45359104 10146 996147200 134512640 134931368 4294956256 18446744073709551615 134525661 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 11074 10146 42 102 0 10969 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 63252

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12066
/proc/meminfo: memFree=1651848/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=3.32
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 1022 12873 0 2 3 1 304 24 16 0 1 0 686643866 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 799 370 3 0 500 0
[pid=12065] ppid=12042 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (sh) S 12042 12042 11040 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 686644210 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 232 193 169 0 50 0
[pid=12066] ppid=12065 vsize=45352 CPUtime=158.21
/proc/12066/stat : 12066 (picosat) R 12065 12042 11040 0 -1 4194304 10430 0 0 0 15382 439 0 0 25 0 1 0 686644210 46440448 10416 996147200 134512640 134931368 4294956256 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 11338 10416 42 102 0 11233 0
Current children cumulated CPU time (s) 161.53
Current children cumulated vsize (KiB) 64308

[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12066
/proc/meminfo: memFree=1650696/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=3.32
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 1022 12873 0 2 3 1 304 24 16 0 1 0 686643866 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12042/statm: 3400 799 370 3 0 500 0
[pid=12065] ppid=12042 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (sh) S 12042 12042 11040 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 686644210 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 232 193 169 0 50 0
[pid=12066] ppid=12065 vsize=46412 CPUtime=217.98
/proc/12066/stat : 12066 (picosat) R 12065 12042 11040 0 -1 4194304 10727 0 0 0 21358 440 0 0 25 0 1 0 686644210 47525888 10713 996147200 134512640 134931368 4294956256 18446744073709551615 134580627 0 0 4096 0 0 0 0 17 1 0 0
/proc/12066/statm: 11603 10713 47 102 0 11498 0
Current children cumulated CPU time (s) 221.3
Current children cumulated vsize (KiB) 65368

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

[startup+222.502 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12066
/proc/meminfo: memFree=1650696/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=221.37
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 1091 23886 0 2 3 1 21668 465 15 0 1 0 686643866 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12042/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 13600

[startup+222.602 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 12066
/proc/meminfo: memFree=1650696/2055920 swapFree=4146968/4192956
[pid=12042] ppid=12040 vsize=13600 CPUtime=221.37
/proc/12042/stat : 12042 (sugar) S 12040 12042 11040 0 -1 4194304 1091 23886 0 2 3 1 21668 465 15 0 1 0 686643866 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12042/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 13600

Child status: 0
Real time (s): 222.689
CPU time (s): 221.671
CPU user time (s): 216.955
CPU system time (s): 4.71628
CPU usage (%): 99.5428
Max. virtual memory (cumulated for all children) (KiB): 888400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 216.955
system time used= 4.71628
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28899
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= 6155
involuntary context switches= 8626

runsolver used 0.218966 second user time and 0.607907 second system time

The end

Launcher Data (download as text)

Begin job on node80 at 2008-07-05 01:46:24
IDJOB=1081040
IDBENCH=57059
IDSOLVER=345
FILE ID=node80/1081040-1215215184
PBS_JOBID= 7881741
Free space on /tmp= 66556 MiB

SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-100-8.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081040-1215215184/watcher-1081040-1215215184 -o /tmp/evaluation-result-1081040-1215215184/solver-1081040-1215215184 -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/picosat" -tmp="HOME/temp" HOME/instance-1081040-1215215184.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9de4e8d0bc614ccbc86793b1abb57b97
RANDOM SEED=1497624729

node80.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.232
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.232
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1717312 kB
Buffers:         63704 kB
Cached:         163932 kB
SwapCached:      39876 kB
Active:         223200 kB
Inactive:        67004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1717312 kB
SwapTotal:     4192956 kB
SwapFree:      4146968 kB
Dirty:            1544 kB
Writeback:           0 kB
Mapped:          69820 kB
Slab:            33672 kB
Committed_AS:  1174628 kB
PageTables:       1828 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= 66556 MiB
End job on node80 at 2008-07-05 01:50:07