Trace number 1082451

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 32.4191 32.66

General information on the benchmark

Namecsp/super-os/super-os-taillard-10/
normalized-super-os-taillard-10-14.xml
MD5SUM8d57e00bbfa4e395d85cb01253c873fe
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 benchmark1.47977
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Maximum constraint arity2
Maximum domain size606
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2800
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 03:51:44 2008
0.00/0.04	c 0	PID 31936
0.00/0.04	c 0	HOST node86.alineos.net
0.00/0.04	c 0	CONVERTING HOME/instance-1082451-1215222704.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-1082451-1215222704.xml' 'HOME/temp.csp'
0.03/0.50	c 1	65 domains, 200 variables, 3 predicates, 0 relations, 2800 constraints
0.03/0.51	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.51	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.03/0.59	c 1	Parsing HOME/temp.csp
0.48/0.80	c 1	parsed 3068 expressions
0.48/0.80	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.48/0.80	c 1	Converting to clausal form CSP
0.48/0.84	c 1	converted 307 (10%) expressions
0.48/0.90	c 1	converted 614 (20%) expressions
0.48/0.99	c 1	converted 921 (30%) expressions
0.95/1.01	c 1	converted 1228 (40%) expressions
0.95/1.02	c 1	converted 1534 (50%) expressions
0.95/1.03	c 1	converted 1841 (60%) expressions
0.95/1.04	c 1	converted 2148 (70%) expressions
0.95/1.05	c 1	converted 2455 (80%) expressions
0.95/1.05	c 1	converted 2762 (90%) expressions
0.95/1.06	c 1	converted 3068 (100%) expressions
0.95/1.06	c 1	CSP : 200 integers, 0 booleans, 2800 clauses, largest domain size 606
0.95/1.06	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.95/1.06	c 1	Propagation in CSP
1.06/1.10	c 1	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.06/1.10	c 1	CSP : 200 integers, 0 booleans, 2800 clauses, largest domain size 606
1.06/1.10	c 1	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.06/1.11	c 1	Simplifing CSP by introducing new Boolean variables
1.06/1.18	c 1	CSP : 200 integers, 5600 booleans, 8400 clauses, largest domain size 606
1.06/1.18	c 1	Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.15/1.22	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.15/1.25	c 1	20 (10%) CSP integer variables are encoded (11144 clauses, 145054 bytes)
1.15/1.26	c 1	40 (20%) CSP integer variables are encoded (22156 clauses, 310234 bytes)
1.15/1.28	c 1	60 (30%) CSP integer variables are encoded (33148 clauses, 475114 bytes)
1.15/1.29	c 1	80 (40%) CSP integer variables are encoded (44222 clauses, 641224 bytes)
1.26/1.30	c 1	100 (50%) CSP integer variables are encoded (55412 clauses, 809074 bytes)
1.26/1.32	c 1	120 (60%) CSP integer variables are encoded (66888 clauses, 981214 bytes)
1.26/1.33	c 2	140 (70%) CSP integer variables are encoded (78150 clauses, 1150144 bytes)
1.26/1.34	c 2	160 (80%) CSP integer variables are encoded (89242 clauses, 1316524 bytes)
1.26/1.36	c 2	180 (90%) CSP integer variables are encoded (100390 clauses, 1484885 bytes)
1.26/1.37	c 2	200 (100%) CSP integer variables are encoded (111448 clauses, 1672871 bytes)
1.85/1.92	c 2	840 (10%) CSP clauses are encoded (395360 clauses, 7763049 bytes)
2.35/2.44	c 3	1680 (20%) CSP clauses are encoded (687852 clauses, 14377571 bytes)
2.84/2.96	c 3	2520 (30%) CSP clauses are encoded (968386 clauses, 20844924 bytes)
3.34/3.47	c 4	3360 (40%) CSP clauses are encoded (1249902 clauses, 27333347 bytes)
3.92/4.01	c 4	4200 (50%) CSP clauses are encoded (1536784 clauses, 33947908 bytes)
4.42/4.54	c 5	5040 (60%) CSP clauses are encoded (1829210 clauses, 40691760 bytes)
4.92/5.08	c 5	5880 (70%) CSP clauses are encoded (2128434 clauses, 47598610 bytes)
5.51/5.61	c 6	6720 (80%) CSP clauses are encoded (2420686 clauses, 54348363 bytes)
6.01/6.14	c 6	7560 (90%) CSP clauses are encoded (2709070 clauses, 61016951 bytes)
6.52/6.67	c 7	8400 (100%) CSP clauses are encoded (2993488 clauses, 67880860 bytes)
6.52/6.67	c 7	8400 CSP clauses encoded
6.52/6.67	c 7	Writing map file : HOME/temp.map
6.52/6.67	c 7	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.52/6.67	c 7	SAT : 117248 SAT variables, 2993488 SAT clauses, 67880860 bytes
6.52/6.67	c 7	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.59/6.70	c 7	SOLVING HOME/temp.cnf
6.59/6.70	c 7	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
32.05/32.36	c 33	DECODING HOME/temp.out WITH HOME/temp.map
32.05/32.36	c 33	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
32.12/32.43	c 33	Decoding HOME/temp.out
32.12/32.59	s SATISFIABLE
32.12/32.60	v 0 1 101 529 545 544 138 139 376 375 435 470 259 260 268 267 195 196 332 333 101 504 157 158 291 292 115 114 417 416 76 77 525 524 0 1 193 192 376 377 330 329 459 460 376 375 110 109 215 216 530 529 579 578 228 229 0 1 166 165 293 294 122 121 384 383 328 329 436 435 24 25 520 521 539 540 256 255 164 163 344 320 192 193 364 320 389 388 599 598 61 62 95 103 141 0 481 482 245 246 345 162 417 19 154 151 352 353 169 168 437 195 234 235 476 475 40 39 292 0 384 385 539 540 194 195 163 164 243 244 311 312 0 1 5 6 93 94 116 117 343 344 389 390 309 310 332 333 430 431 117 532 0 1 191 192 20 21 228 229 328 329 340 341 379 380 435 436 461 462 169 168 0 1 38 39 136 137 236 237 51 52 115 116 195 196 271 272 305 306 321 322 323 324 413 414 470 471 524 525
32.12/32.60	c 33	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
32.12/32.63	c 33	CPU 18.07 (0.03 0.01 18.04 14.28)
32.12/32.63	c 33	END Sat Jul  5 03:52:17 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-1082451-1215222704/watcher-1082451-1215222704 -o /tmp/evaluation-result-1082451-1215222704/solver-1082451-1215222704 -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-1082451-1215222704.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: 2.04 2.06 2.04 4/82 31936
/proc/meminfo: memFree=1693416/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=12272 CPUtime=0
/proc/31936/stat : 31936 (sugar) R 31934 31936 31720 0 -1 4194304 396 0 0 0 0 0 0 0 18 0 1 0 677999393 12566528 364 996147200 4194304 4206940 548682068608 18446744073709551615 240162749438 0 0 4224 0 0 0 0 17 0 0 0
/proc/31936/statm: 3068 364 274 3 0 168 0

[startup+0.07655 s]
/proc/loadavg: 2.04 2.06 2.04 4/82 31936
/proc/meminfo: memFree=1693416/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=0.03
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 900 127 0 0 3 0 0 0 18 0 1 0 677999393 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.101555 s]
/proc/loadavg: 2.04 2.06 2.04 4/82 31936
/proc/meminfo: memFree=1693416/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=0.03
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 900 127 0 0 3 0 0 0 18 0 1 0 677999393 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301576 s]
/proc/loadavg: 2.04 2.06 2.04 4/82 31936
/proc/meminfo: memFree=1693416/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=0.03
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 900 127 0 0 3 0 0 0 18 0 1 0 677999393 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701613 s]
/proc/loadavg: 2.04 2.06 2.04 4/82 31936
/proc/meminfo: memFree=1693416/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=0.48
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 973 5391 0 1 3 0 41 4 15 0 1 0 677999393 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13600

[startup+1.5027 s]
/proc/loadavg: 2.04 2.06 2.04 4/93 31958
/proc/meminfo: memFree=1679632/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=0.49
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 974 5391 0 1 3 1 41 4 15 0 1 0 677999393 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 797 370 3 0 500 0
[pid=31949] ppid=31936 vsize=5356 CPUtime=0
/proc/31949/stat : 31949 (sh) S 31936 31936 31720 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 677999444 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31949/statm: 1339 233 193 169 0 50 0
[pid=31950] ppid=31949 vsize=868480 CPUtime=0.96
/proc/31950/stat : 31950 (java) S 31949 31936 31720 0 -1 0 7274 0 1 0 91 5 0 0 20 0 9 0 677999445 889323520 6407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31950/statm: 217120 6407 2564 9 0 211667 0
[pid=31950/tid=31951] ppid=31949 vsize=868480 CPUtime=0.59
/proc/31950/task/31951/stat : 31951 (java) R 31949 31936 31720 0 -1 64 2790 0 1 0 57 2 0 0 25 0 9 0 677999446 889323520 6407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31952] ppid=31949 vsize=868480 CPUtime=0.15
/proc/31950/task/31952/stat : 31952 (java) S 31949 31936 31720 0 -1 64 2303 0 0 0 14 1 0 0 16 0 9 0 677999447 889323520 6407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31953] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31953/stat : 31953 (java) S 31949 31936 31720 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 677999447 889323520 6407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31954] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31949 31936 31720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 677999447 889323520 6407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31955] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31949 31936 31720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 677999449 889323520 6407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31956] ppid=31949 vsize=868480 CPUtime=0.19
/proc/31950/task/31956/stat : 31956 (java) S 31949 31936 31720 0 -1 64 1489 0 0 0 19 0 0 0 16 0 9 0 677999449 889323520 6407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31957] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31957/stat : 31957 (java) S 31949 31936 31720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 677999449 889323520 6407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31958] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31949 31936 31720 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 677999449 889323520 6407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 887436

[startup+3.10289 s]
/proc/loadavg: 2.03 2.06 2.04 3/93 31958
/proc/meminfo: memFree=1665488/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=0.49
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 974 5391 0 1 3 1 41 4 15 0 1 0 677999393 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 797 370 3 0 500 0
[pid=31949] ppid=31936 vsize=5356 CPUtime=0
/proc/31949/stat : 31949 (sh) S 31936 31936 31720 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 677999444 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31949/statm: 1339 233 193 169 0 50 0
[pid=31950] ppid=31949 vsize=868480 CPUtime=2.55
/proc/31950/stat : 31950 (java) S 31949 31936 31720 0 -1 0 7810 0 1 0 234 21 0 0 20 0 9 0 677999445 889323520 6421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31950/statm: 217120 6421 2564 9 0 211667 0
[pid=31950/tid=31951] ppid=31949 vsize=868480 CPUtime=2.04
/proc/31950/task/31951/stat : 31951 (java) R 31949 31936 31720 0 -1 64 3313 0 1 0 189 15 0 0 25 0 9 0 677999446 889323520 6421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31952] ppid=31949 vsize=868480 CPUtime=0.27
/proc/31950/task/31952/stat : 31952 (java) S 31949 31936 31720 0 -1 64 2303 0 0 0 23 4 0 0 16 0 9 0 677999447 889323520 6421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31953] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31953/stat : 31953 (java) S 31949 31936 31720 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 677999447 889323520 6421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31954] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31949 31936 31720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 677999447 889323520 6421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31955] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31949 31936 31720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 677999449 889323520 6421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31956] ppid=31949 vsize=868480 CPUtime=0.21
/proc/31950/task/31956/stat : 31956 (java) S 31949 31936 31720 0 -1 64 1502 0 0 0 21 0 0 0 16 0 9 0 677999449 889323520 6421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31957] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31957/stat : 31957 (java) S 31949 31936 31720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 677999449 889323520 6421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31958] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31949 31936 31720 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 677999449 889323520 6421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 887436

[startup+6.30124 s]
/proc/loadavg: 2.03 2.06 2.04 4/93 31958
/proc/meminfo: memFree=1622928/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=0.49
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 974 5391 0 1 3 1 41 4 15 0 1 0 677999393 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 797 370 3 0 500 0
[pid=31949] ppid=31936 vsize=5356 CPUtime=0
/proc/31949/stat : 31949 (sh) S 31936 31936 31720 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 677999444 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31949/statm: 1339 233 193 169 0 50 0
[pid=31950] ppid=31949 vsize=868480 CPUtime=5.73
/proc/31950/stat : 31950 (java) S 31949 31936 31720 0 -1 0 8865 0 1 0 522 51 0 0 20 0 9 0 677999445 889323520 6422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31950/statm: 217120 6422 2564 9 0 211667 0
[pid=31950/tid=31951] ppid=31949 vsize=868480 CPUtime=4.96
/proc/31950/task/31951/stat : 31951 (java) R 31949 31936 31720 0 -1 64 4367 0 1 0 457 39 0 0 25 0 9 0 677999446 889323520 6422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31952] ppid=31949 vsize=868480 CPUtime=0.52
/proc/31950/task/31952/stat : 31952 (java) S 31949 31936 31720 0 -1 64 2303 0 0 0 42 10 0 0 16 0 9 0 677999447 889323520 6422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31953] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31953/stat : 31953 (java) S 31949 31936 31720 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 677999447 889323520 6422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31954] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31949 31936 31720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 677999447 889323520 6422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31955] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31949 31936 31720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 677999449 889323520 6422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31956] ppid=31949 vsize=868480 CPUtime=0.21
/proc/31950/task/31956/stat : 31956 (java) S 31949 31936 31720 0 -1 64 1503 0 0 0 21 0 0 0 16 0 9 0 677999449 889323520 6422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31957] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31957/stat : 31957 (java) S 31949 31936 31720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 677999449 889323520 6422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31950/tid=31958] ppid=31949 vsize=868480 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31949 31936 31720 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 677999449 889323520 6422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 887436

[startup+12.702 s]
/proc/loadavg: 2.11 2.07 2.05 3/85 31960
/proc/meminfo: memFree=1593880/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=6.61
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 1022 14690 0 2 3 1 597 60 16 0 1 0 677999393 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 799 370 3 0 500 0
[pid=31959] ppid=31936 vsize=5356 CPUtime=0
/proc/31959/stat : 31959 (sh) S 31936 31936 31720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 678000064 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31959/statm: 1339 232 193 169 0 50 0
[pid=31960] ppid=31959 vsize=35476 CPUtime=5.93
/proc/31960/stat : 31960 (picosat) R 31959 31936 31720 0 -1 4194304 8092 0 0 0 267 326 0 0 25 0 1 0 678000064 36327424 8078 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 0 0 0
/proc/31960/statm: 8869 8078 40 102 0 8764 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 54432

[startup+25.5014 s]
/proc/loadavg: 2.15 2.09 2.05 3/85 31960
/proc/meminfo: memFree=1539864/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=6.61
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 1022 14690 0 2 3 1 597 60 16 0 1 0 677999393 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 799 370 3 0 500 0
[pid=31959] ppid=31936 vsize=5356 CPUtime=0
/proc/31959/stat : 31959 (sh) S 31936 31936 31720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 678000064 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31959/statm: 1339 232 193 169 0 50 0
[pid=31960] ppid=31959 vsize=95020 CPUtime=18.67
/proc/31960/stat : 31960 (picosat) R 31959 31936 31720 0 -1 4194304 21430 0 0 0 849 1018 0 0 25 0 1 0 678000064 97300480 21416 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 0 0 0
/proc/31960/statm: 23755 21416 40 102 0 23650 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 113976

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

[startup+28.7027 s]
/proc/loadavg: 2.14 2.08 2.05 3/85 31960
/proc/meminfo: memFree=1526104/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=6.61
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 1022 14690 0 2 3 1 597 60 16 0 1 0 677999393 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 799 370 3 0 500 0
[pid=31959] ppid=31936 vsize=5356 CPUtime=0
/proc/31959/stat : 31959 (sh) S 31936 31936 31720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 678000064 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31959/statm: 1339 232 193 169 0 50 0
[pid=31960] ppid=31959 vsize=106768 CPUtime=21.85
/proc/31960/stat : 31960 (picosat) R 31959 31936 31720 0 -1 4194304 24761 0 0 0 992 1193 0 0 25 0 1 0 678000064 109330432 24747 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 0 0 0
/proc/31960/statm: 26692 24747 40 102 0 26587 0
Current children cumulated CPU time (s) 28.46
Current children cumulated vsize (KiB) 125724

[startup+30.3019 s]
/proc/loadavg: 2.14 2.08 2.05 3/85 31960
/proc/meminfo: memFree=1521560/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=6.61
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 1022 14690 0 2 3 1 597 60 16 0 1 0 677999393 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 799 370 3 0 500 0
[pid=31959] ppid=31936 vsize=5356 CPUtime=0
/proc/31959/stat : 31959 (sh) S 31936 31936 31720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 678000064 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31959/statm: 1339 232 193 169 0 50 0
[pid=31960] ppid=31959 vsize=112708 CPUtime=23.45
/proc/31960/stat : 31960 (picosat) R 31959 31936 31720 0 -1 4194304 26417 0 0 0 1066 1279 0 0 25 0 1 0 678000064 115412992 26403 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 0 0 0
/proc/31960/statm: 28177 26403 40 102 0 28072 0
Current children cumulated CPU time (s) 30.06
Current children cumulated vsize (KiB) 131664

[startup+31.9061 s]
/proc/loadavg: 2.14 2.08 2.05 3/85 31960
/proc/meminfo: memFree=1512472/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=6.61
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 1022 14690 0 2 3 1 597 60 16 0 1 0 677999393 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 799 370 3 0 500 0
[pid=31959] ppid=31936 vsize=5356 CPUtime=0
/proc/31959/stat : 31959 (sh) S 31936 31936 31720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 678000064 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31959/statm: 1339 232 193 169 0 50 0
[pid=31960] ppid=31959 vsize=119532 CPUtime=25.04
/proc/31960/stat : 31960 (picosat) R 31959 31936 31720 0 -1 4194304 28175 0 0 0 1141 1363 0 0 25 0 1 0 678000064 122400768 28161 996147200 134512640 134931368 4294956256 18446744073709551615 134525797 0 0 4096 0 0 0 0 17 0 0 0
/proc/31960/statm: 29883 28161 42 102 0 29778 0
Current children cumulated CPU time (s) 31.65
Current children cumulated vsize (KiB) 138488

[startup+32.3011 s]
/proc/loadavg: 2.14 2.08 2.05 3/85 31960
/proc/meminfo: memFree=1512472/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=6.61
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 1022 14690 0 2 3 1 597 60 16 0 1 0 677999393 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31936/statm: 3400 799 370 3 0 500 0
[pid=31959] ppid=31936 vsize=5356 CPUtime=0
/proc/31959/stat : 31959 (sh) S 31936 31936 31720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 678000064 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31959/statm: 1339 232 193 169 0 50 0
[pid=31960] ppid=31959 vsize=120304 CPUtime=25.44
/proc/31960/stat : 31960 (picosat) R 31959 31936 31720 0 -1 4194304 28226 0 0 0 1181 1363 0 0 25 0 1 0 678000064 123191296 28212 996147200 134512640 134931368 4294956256 18446744073709551615 134581926 0 0 4096 0 0 0 0 17 0 0 0
/proc/31960/statm: 30076 28212 47 102 0 29971 0
Current children cumulated CPU time (s) 32.05
Current children cumulated vsize (KiB) 139260

[startup+32.5012 s]
/proc/loadavg: 2.14 2.08 2.05 3/85 31960
/proc/meminfo: memFree=1512472/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=32.12
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 1091 43202 0 2 3 1 1783 1425 16 0 1 0 677999393 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31936/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 32.12
Current children cumulated vsize (KiB) 13600

[startup+32.6012 s]
/proc/loadavg: 2.14 2.08 2.05 3/85 31960
/proc/meminfo: memFree=1512472/2055920 swapFree=4178892/4192956
[pid=31936] ppid=31934 vsize=13600 CPUtime=32.12
/proc/31936/stat : 31936 (sugar) S 31934 31936 31720 0 -1 4194304 1091 43202 0 2 3 1 1783 1425 15 0 1 0 677999393 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31936/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 32.12
Current children cumulated vsize (KiB) 13600

Child status: 0
Real time (s): 32.66
CPU time (s): 32.4191
CPU user time (s): 18.0832
CPU system time (s): 14.3358
CPU usage (%): 99.2623
Max. virtual memory (cumulated for all children) (KiB): 887436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.0832
system time used= 14.3358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48214
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= 14872
involuntary context switches= 15175

runsolver used 0.043993 second user time and 0.111982 second system time

The end

Launcher Data (download as text)

Begin job on node86 at 2008-07-05 03:51:44
IDJOB=1082451
IDBENCH=57252
IDSOLVER=345
FILE ID=node86/1082451-1215222704
PBS_JOBID= 7881836
Free space on /tmp= 66552 MiB

SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-10/normalized-super-os-taillard-10-14.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-1082451-1215222704/watcher-1082451-1215222704 -o /tmp/evaluation-result-1082451-1215222704/solver-1082451-1215222704 -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-1082451-1215222704.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 8d57e00bbfa4e395d85cb01253c873fe
RANDOM SEED=1314742408

node86.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1693832 kB
Buffers:         81916 kB
Cached:         211028 kB
SwapCached:       6392 kB
Active:         210256 kB
Inactive:        99924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1693832 kB
SwapTotal:     4192956 kB
SwapFree:      4178892 kB
Dirty:            1620 kB
Writeback:           0 kB
Mapped:          21224 kB
Slab:            36576 kB
Committed_AS:  1290176 kB
PageTables:       2308 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= 66552 MiB
End job on node86 at 2008-07-05 03:52:17