Trace number 233225

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ACSAT 187.605 188.264

DiagnosticValue
CHECKS429152901
NODES896

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-105-3.xml
MD5SUMaf76b8d5f9d1f307c434b42c9d393cf0
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 benchmark0.804877
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1375
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 (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/233225-1168081342/unknown.xml
0.35	   
0.35	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.52	     nbVariables=400  nbDomainTypes=400  minDomainSize=1277  maxDomainSize=1375
0.52	       =>  wckTime=0.228  cpuTime=0.17  mem=20M639
0.52	   
0.52	   predicates being loaded...
0.52	   
0.52	   constraints being loaded...
4.77	   
4.77	   INFO : Stopping converting binary constraints (cpu=4.35, mem = 39M748)
5.89	     nbConstraints=7600  nbConvertedConstraints=9  nbConvertConstraintsChecks=15883072  nbExtensionStructures=9
5.89	     nbSharedExtensionStructures=0  nbConflictsStructures=9  nbSharedConflictsStructures=0
5.89	     nbSharedBinaryRepresentations=2386  nbEvaluationManagers=7591  nbSharedEvaluationManagers=0  maxDegree=38
5.89	     maxArity=2
5.89	       =>  wckTime=5.599  cpuTime=5.29  mem=56M873
6.04	   
6.04	   solver IterativeSystematicSolver being built... 
6.49	       =>  wckTime=6.192  cpuTime=5.57  mem=133M461
38.25	   
38.25	   preprocessing
38.25	     nbConstraintChecks=85257615  nbValidityChecks=527160  nbPropagations=400  nbRevisions=15182
38.25	     nbUselessRevisions=15182  nbRemovedValues=0  detectedInconsistency=no
38.25	       =>  wckTime=31.738  cpuTime=31.69  mem=133M461
124.21	   
124.21	   search
124.21	     run=0  nbConstraintChecks=185926173  nbValidityChecks=177303477  nbPropagations=10325  nbRevisions=269513
124.21	     nbUselessRevisions=255593  nbAssignments=496  nbFailedAssignments=260  nbBacktracks=10  nbVisitedNodes=767
124.21	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=86
124.21	       =>  wckTime=117.698  cpuTime=117.06  mem=141M629
188.20	   
188.20	   search
188.20	     run=1  nbConstraintChecks=343895286  nbValidityChecks=321885144  nbPropagations=27394  nbRevisions=719164
188.20	     nbUselessRevisions=684830  nbAssignments=896  nbFailedAssignments=260  nbBacktracks=10  nbVisitedNodes=1167
188.20	     nbRestartNogoods=10  mapSize=10  nbInferences=0  nbTooLargeKeys=172
188.20	       =>  wckTime=181.693  cpuTime=180.96  mem=130M940
188.21	   
188.21	   global
188.21	     nbConstraintChecks=429152901  nbValidityChecks=322412304  nbPropagations=27794  nbRevisions=734346
188.21	     nbUselessRevisions=700012  nbRestartNogoods=10  solvingWckTime=181.695  solvingCpuTime=180.96  expiredTime=no
188.21	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=186.59
188.21	       =>  wckTime=187.912  cpuTime=186.55  mem=130M940
188.21	   
188.21	s SATISFIABLE
188.21	v 1117 975 140 1045 638 521 0 550 703 219 813 747 1249 293 1329 357 256 53 441 1169 1263 543 190 461 1142 922 775 530 985 0 969 285 697 539 629 791 96 374 809 861 184 153 1264 718 192 400 1219 726 912 1106 794 315 609 0 589 486 264 125 1007 829 1169 861 627 120 449 235 0 939 702 359 539 839 922 775 268 1082 1005 98 479 962 653 400 547 798 315 722 337 523 0 632 1007 312 76 244 362 418 1223 1173 148 1083 659 269 96 1142 1282 0 495 396 1118 900 565 1037 852 362 192 800 721 428 974 91 1327 858 183 92 772 721 923 897 874 354 543 610 256 449 912 932 798 680 0 759 790 174 1172 1226 951 659 333 70 0 807 486 1087 622 348 831 912 747 268 539 441 561 219 573 1249 1108 606 449 431 374 316 669 1046 1162 140 884 932 133 92 0 790 269 734 1339 98 800 0 1086 613 501 333 856 650 998 954 1139 1287 529 189 402 727 219 315 550 809 612 402 486 931 772 844 653 878 0 954 905 694 975 120 734 53 179 759 991 503 317 573 662 1050 1235 72 254 1162 359 530 1125 0 635 244 275 441 433 706 886 1081 178 550 422 483 985 414 1173 816 840 354 645 694 98 254 190 0 743 219 893 91 1160 178 1046 195 413 680 575 1001 0 1298 1091 1176 943 479 844 317 333 905 178 1298 550 418 610 1229 743 822 682 285 77 158 536 586 1095 1005 0 46 884 1117 687 565 1290 1193 974 273 1046 497 371 420 627 747 922 192 80 0 1137 768 650 275 520 179 822 776 433 927 711 348 985 962 91 993 0 889 856 998 885 573 0 184 1001 125 442 467 816 74 405 521 623 274 669 317 732 922 1223 146 1084 483 219 293 662 1253 1124 573 98 388 304 793 815 905 1172 486 428 719 0 307 337 986 357 1282 78 606 70 314 425 146 486 0 230 776 912 979 31 1106 1045 652 1204 1329 
188.21	d NODES 896
188.21	d CHECKS 429152901
188.21	   
188.21	   totalWckTime=187.988  totalCpuTime=186.6

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-233225-1168081342 -o ROOT/results/node16/solver-233225-1168081342 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233225-1168081342/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.36 0.90 1.34 3/87 23450
/proc/meminfo: memFree=1353368/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=9788 CPUtime=0
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 426 0 0 0 0 0 0 0 18 0 1 0 156529547 10022912 213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7175457 0 0 4096 0 0 0 0 17 0 0 0
/proc/23449/statm: 2447 222 167 14 0 1138 0

[startup+0.104431 s]
/proc/loadavg: 0.36 0.90 1.34 3/87 23450
/proc/meminfo: memFree=1353368/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=914988 CPUtime=0.08
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 3064 0 1 0 7 1 0 0 22 0 8 0 156529547 936947712 2810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155061896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228747 2810 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512363 s]
/proc/loadavg: 0.36 0.90 1.34 3/87 23450
/proc/meminfo: memFree=1353368/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915328 CPUtime=0.5
/proc/23449/stat : 23449 (java) S 23447 23449 23365 0 -1 0 9088 0 1 0 45 5 0 0 16 0 8 0 156529547 937295872 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23449/statm: 228832 8827 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33321 s]
/proc/loadavg: 0.36 0.90 1.34 2/94 23457
/proc/meminfo: memFree=1281760/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=1.31
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 20249 0 1 0 121 10 0 0 17 0 8 0 156529547 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 19987 2178 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.04
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 3657 0 0 0 3 1 0 0 16 0 8 0 156529551 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.14
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 402 0 0 0 14 0 0 0 16 0 8 0 156529554 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 19987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632

[startup+2.96991 s]
/proc/loadavg: 0.36 0.90 1.34 2/94 23459
/proc/meminfo: memFree=1281632/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=2.94
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 20254 0 1 0 284 10 0 0 18 0 8 0 156529547 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788773 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 19991 2178 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.04
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 3657 0 0 0 3 1 0 0 16 0 8 0 156529551 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.15
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 405 0 0 0 15 0 0 0 15 0 8 0 156529554 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 19991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915632

[startup+6.26232 s]
/proc/loadavg: 0.41 0.90 1.34 2/94 23461
/proc/meminfo: memFree=1266080/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=6.23
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 33574 0 1 0 607 16 0 0 17 0 8 0 156529547 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965335 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 33308 2498 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.33
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 16573 0 0 0 28 5 0 0 16 0 8 0 156529551 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.21
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 451 0 0 0 20 1 0 0 16 0 8 0 156529554 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 33308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915632

[startup+12.7381 s]
/proc/loadavg: 0.46 0.91 1.34 2/88 23483
/proc/meminfo: memFree=1194000/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=12.7
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 42705 0 1 0 1250 20 0 0 18 0 8 0 156529547 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 42434 2533 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.4
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 25614 0 0 0 32 8 0 0 17 0 8 0 156529551 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.26
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 479 0 0 0 25 1 0 0 16 0 8 0 156529554 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 42434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915632

[startup+25.5988 s]
/proc/loadavg: 0.58 0.91 1.33 2/88 23483
/proc/meminfo: memFree=1194152/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=25.55
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 42707 0 1 0 2535 20 0 0 25 0 8 0 156529547 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 42435 2533 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.4
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 25614 0 0 0 32 8 0 0 16 0 8 0 156529551 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.26
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 481 0 0 0 25 1 0 0 15 0 8 0 156529554 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 42435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915632

[startup+51.2002 s]
/proc/loadavg: 0.94 0.97 1.34 3/100 23528
/proc/meminfo: memFree=1087944/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=51.03
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 42719 0 1 0 5082 21 0 0 25 0 8 0 156529547 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23449/statm: 228908 42442 2534 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.4
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 25614 0 0 0 32 8 0 0 16 0 8 0 156529551 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.27
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 486 0 0 0 26 1 0 0 16 0 8 0 156529554 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 42442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915632

[startup+102.409 s]
/proc/loadavg: 1.46 1.11 1.37 2/88 23539
/proc/meminfo: memFree=1193568/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=101.84
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 42729 0 1 0 10162 22 0 0 25 0 8 0 156529547 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035566 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 42447 2534 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.4
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 25614 0 0 0 32 8 0 0 16 0 8 0 156529551 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.28
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 495 0 0 0 27 1 0 0 15 0 8 0 156529554 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 42447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915632

[startup+162.449 s]
/proc/loadavg: 1.77 1.25 1.40 3/100 23584
/proc/meminfo: memFree=1126024/2055920 swapFree=4191880/4192956
[pid=23449] ppid=23447 vsize=915632 CPUtime=161.8
/proc/23449/stat : 23449 (java) R 23447 23449 23365 0 -1 0 42746 0 1 0 16157 23 0 0 25 0 8 0 156529547 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792083 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23449/statm: 228908 42459 2538 14 0 215378 0
[pid=23449/tid=23451] ppid=23447 vsize=915632 CPUtime=0.4
/proc/23449/task/23451/stat : 23451 (java) S 23447 23449 23365 0 -1 64 25615 0 0 0 32 8 0 0 16 0 8 0 156529551 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23452] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23452/stat : 23452 (java) S 23447 23449 23365 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156529551 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23453] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23453/stat : 23453 (java) S 23447 23449 23365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156529551 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23449/tid=23454] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23454/stat : 23454 (java) S 23447 23449 23365 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156529554 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23455] ppid=23447 vsize=915632 CPUtime=0.29
/proc/23449/task/23455/stat : 23455 (java) S 23447 23449 23365 0 -1 64 501 0 0 0 28 1 0 0 16 0 8 0 156529554 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23456] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23456/stat : 23456 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156529554 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23449/tid=23457] ppid=23447 vsize=915632 CPUtime=0
/proc/23449/task/23457/stat : 23457 (java) S 23447 23449 23365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156529554 937607168 42459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 188.264
CPU time (s): 187.605
CPU user time (s): 187.306
CPU system time (s): 0.299954
CPU usage (%): 99.6505
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 187.306
system time used= 0.299954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50219
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4946
involuntary context switches= 6467

runsolver used 0.234964 s user time and 0.58591 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Sat Jan  6 11:02:24 UTC 2007


IDJOB= 233225
IDBENCH= 6588
FILE ID= node16/233225-1168081342

PBS_JOBID= 3476227

Free space on /tmp= 66501 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-105-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233225-1168081342/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-233225-1168081342 -o ROOT/results/node16/solver-233225-1168081342 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233225-1168081342/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  af76b8d5f9d1f307c434b42c9d393cf0

RANDOM SEED= 220533912

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1353720 kB
Buffers:         64736 kB
Cached:         491032 kB
SwapCached:        268 kB
Active:         202648 kB
Inactive:       401852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1353720 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2984 kB
Writeback:           0 kB
Mapped:          67576 kB
Slab:            82272 kB
Committed_AS:  3888528 kB
PageTables:       2432 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= 66499 MiB



End job on node16 on Sat Jan  6 11:05:35 UTC 2007