Trace number 232968

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 117.223 117.496

DiagnosticValue
CHECKS259509203
NODES400

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-105-9.xml
MD5SUMe4f07f5e15632e967d01c8f33a30aa21
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.792879
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1348
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/232968-1168081324/unknown.xml
0.36	   
0.36	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.53	     nbVariables=400  nbDomainTypes=400  minDomainSize=1250  maxDomainSize=1348
0.53	       =>  wckTime=0.226  cpuTime=0.17  mem=20M607
0.53	   
0.53	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
4.45	   
4.45	   INFO : Stopping converting binary constraints (cpu=4.04, mem = 38M535)
5.57	     nbConstraints=7600  nbConvertedConstraints=8  nbConvertConstraintsChecks=13893610  nbExtensionStructures=8
5.57	     nbSharedExtensionStructures=0  nbConflictsStructures=8  nbSharedConflictsStructures=0
5.57	     nbSharedBinaryRepresentations=305  nbEvaluationManagers=7592  nbSharedEvaluationManagers=0  maxDegree=38
5.58	     maxArity=2
5.58	       =>  wckTime=5.275  cpuTime=4.98  mem=56M262
5.72	   
5.72	   solver IterativeSystematicSolver being built... 
6.17	       =>  wckTime=5.865  cpuTime=5.26  mem=130M171
39.12	   
39.12	   preprocessing
39.12	     nbConstraintChecks=83130787  nbValidityChecks=522874  nbPropagations=400  nbRevisions=15184
39.12	     nbUselessRevisions=15184  nbRemovedValues=0  detectedInconsistency=no
39.12	       =>  wckTime=32.926  cpuTime=32.87  mem=130M171
117.45	   
117.45	   search
117.45	     run=0  nbConstraintChecks=176378416  nbValidityChecks=135969435  nbPropagations=6773  nbRevisions=186214
117.45	     nbUselessRevisions=180234  nbAssignments=400  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=401
117.45	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=81
117.45	       =>  wckTime=111.254  cpuTime=110.95  mem=140M771
117.45	   
117.45	   global
117.45	     nbConstraintChecks=259509203  nbValidityChecks=136492309  nbPropagations=7173  nbRevisions=201398
117.45	     nbUselessRevisions=195418  nbRestartNogoods=0  solvingWckTime=111.257  solvingCpuTime=110.95  expiredTime=no
117.45	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=116.28
117.45	       =>  wckTime=117.147  cpuTime=116.23  mem=140M771
117.45	   
117.45	s SATISFIABLE
117.45	v 98 958 631 319 196 427 584 1128 1007 667 286 411 541 909 0 687 274 1300 313 646 283 620 0 170 528 909 333 189 840 958 76 712 447 1131 881 1062 1198 985 462 356 670 362 92 121 322 988 247 808 0 178 856 426 1049 749 191 560 576 231 495 967 1128 1164 628 1315 1027 872 1081 1192 366 438 552 695 188 465 96 0 276 944 792 1202 1214 319 255 1068 329 99 976 552 702 1081 799 462 911 163 625 0 964 427 845 64 744 1002 235 354 609 0 267 626 1036 76 158 717 1131 451 986 1223 840 941 528 915 625 172 1108 1164 919 85 244 0 901 456 940 812 366 760 338 1035 1005 682 510 841 1097 917 747 342 720 628 1012 150 538 317 0 1039 447 357 985 795 352 96 842 233 804 193 761 483 1096 98 831 1027 964 909 0 676 555 276 247 333 597 1236 427 189 621 705 1163 1217 789 841 488 1080 1005 737 576 76 150 980 196 1259 282 0 917 378 812 179 1108 0 988 356 890 919 566 760 502 1179 607 999 276 1203 1035 87 445 695 545 275 755 394 880 712 64 735 163 333 609 1040 681 525 443 0 179 72 207 244 909 621 510 755 831 668 566 795 369 897 195 451 856 99 286 877 904 911 714 0 1005 378 329 1108 900 999 233 648 1246 0 720 82 811 574 1179 502 492 750 163 185 195 830 700 72 376 648 214 552 992 206 857 82 681 904 294 465 668 96 1094 0 1078 85 682 239 542 857 158 176 150 495 447 1050 901 1033 72 1163 0 796 730 320 614 87 445 986 1108 913 520 1050 842 0 583 267 1187 495 357 1151 667 172 717 1057 317 275 1063 176 827 1145 0 967 369 897 714 602 518 483 96 781 1198 877 941 620 737 827 574 1122 1156 625 193 283 1177 1080 980 894 1040 686 376 454 750 542 0 96 1163 675 980 583 1012 1033 1132 730 352 0 755 93 188 541 440 322 808 262 1203 909 
117.45	d NODES 400
117.45	d CHECKS 259509203
117.45	   
117.45	   totalWckTime=117.223  totalCpuTime=116.29

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/node62/watcher-232968-1168081324 -o ROOT/results/node62/solver-232968-1168081324 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232968-1168081324/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.77 0.44 0.77 4/74 5600
/proc/meminfo: memFree=1114832/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=168 CPUtime=0
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 211 0 0 0 0 0 0 0 18 0 1 0 156531359 172032 18 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8055984 0 0 4096 0 0 0 0 17 1 0 0
/proc/5599/statm: 43 24 18 14 0 3 0

[startup+0.104701 s]
/proc/loadavg: 0.77 0.44 0.77 4/74 5600
/proc/meminfo: memFree=1114832/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=914988 CPUtime=0.08
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 3019 0 1 0 7 1 0 0 17 0 8 0 156531359 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155586217 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5599/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513779 s]
/proc/loadavg: 0.77 0.44 0.77 4/74 5600
/proc/meminfo: memFree=1114832/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915328 CPUtime=0.5
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 8881 0 1 0 45 5 0 0 16 0 8 0 156531359 937295872 8620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228832 8625 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33494 s]
/proc/loadavg: 0.77 0.44 0.77 2/81 5609
/proc/meminfo: memFree=1043416/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=1.32
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 20192 0 1 0 121 11 0 0 17 0 8 0 156531359 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228908 19930 2178 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.04
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 3599 0 0 0 3 1 0 0 16 0 8 0 156531363 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.15
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 402 0 0 0 14 1 0 0 16 0 8 0 156531366 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 19930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915632

[startup+2.97226 s]
/proc/loadavg: 0.87 0.46 0.78 2/81 5617
/proc/meminfo: memFree=1043224/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=2.95
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 20197 0 1 0 284 11 0 0 18 0 8 0 156531359 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228908 19934 2178 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.04
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 3599 0 0 0 3 1 0 0 16 0 8 0 156531363 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.15
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 406 0 0 0 14 1 0 0 16 0 8 0 156531366 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 19934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915632

[startup+6.26891 s]
/proc/loadavg: 0.87 0.46 0.78 2/81 5619
/proc/meminfo: memFree=1027864/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=6.26
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 42492 0 1 0 606 20 0 0 17 0 8 0 156531359 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228908 42224 2533 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.41
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 25413 0 0 0 32 9 0 0 17 0 8 0 156531363 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531363 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.24
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 466 0 0 0 23 1 0 0 16 0 8 0 156531366 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 42224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915632

[startup+12.7412 s]
/proc/loadavg: 0.89 0.48 0.78 2/81 5625
/proc/meminfo: memFree=955544/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=12.72
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 42508 0 1 0 1252 20 0 0 18 0 8 0 156531359 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228908 42234 2533 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.41
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 25413 0 0 0 32 9 0 0 17 0 8 0 156531363 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531363 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.25
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 478 0 0 0 24 1 0 0 16 0 8 0 156531366 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 42234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915632

[startup+25.5927 s]
/proc/loadavg: 0.90 0.50 0.78 2/75 5648
/proc/meminfo: memFree=958400/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=25.55
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 42512 0 1 0 2535 20 0 0 25 0 8 0 156531359 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788677 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5599/statm: 228908 42235 2533 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.41
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 25413 0 0 0 32 9 0 0 16 0 8 0 156531363 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531363 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.25
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 480 0 0 0 24 1 0 0 16 0 8 0 156531366 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 42235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 42235 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.2808 s]
/proc/loadavg: 0.93 0.54 0.79 3/75 5680
/proc/meminfo: memFree=961792/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=51.22
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 42523 0 1 0 5101 21 0 0 25 0 8 0 156531359 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789916 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5599/statm: 228908 42242 2534 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.41
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 25413 0 0 0 32 9 0 0 16 0 8 0 156531363 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531363 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.27
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 485 0 0 0 25 2 0 0 16 0 8 0 156531366 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 42242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915632

[startup+102.571 s]
/proc/loadavg: 1.35 0.70 0.83 3/87 5785
/proc/meminfo: memFree=920280/2055920 swapFree=4192812/4192956
[pid=5599] ppid=5597 vsize=915632 CPUtime=102.36
/proc/5599/stat : 5599 (java) R 5597 5599 5508 0 -1 0 42534 0 1 0 10214 22 0 0 25 0 8 0 156531359 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5599/statm: 228908 42248 2534 14 0 215378 0
[pid=5599/tid=5601] ppid=5597 vsize=915632 CPUtime=0.41
/proc/5599/task/5601/stat : 5601 (java) S 5597 5599 5508 0 -1 64 25413 0 0 0 32 9 0 0 16 0 8 0 156531363 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5602] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5602/stat : 5602 (java) S 5597 5599 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531363 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5603] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5603/stat : 5603 (java) S 5597 5599 5508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531363 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5599/tid=5604] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5604/stat : 5604 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531366 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5605] ppid=5597 vsize=915632 CPUtime=0.29
/proc/5599/task/5605/stat : 5605 (java) S 5597 5599 5508 0 -1 64 494 0 0 0 27 2 0 0 16 0 8 0 156531366 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5606] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5606/stat : 5606 (java) S 5597 5599 5508 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156531366 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5599/tid=5607] ppid=5597 vsize=915632 CPUtime=0
/proc/5599/task/5607/stat : 5607 (java) S 5597 5599 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156531366 937607168 42248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 117.496
CPU time (s): 117.223
CPU user time (s): 116.969
CPU system time (s): 0.253961
CPU usage (%): 99.7677
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.969
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42549
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= 3487
involuntary context switches= 2684

runsolver used 0.119981 s user time and 0.314952 s system time

The end

Launcher Data (download as text)

Begin job on node62 on Sat Jan  6 11:02:09 UTC 2007


IDJOB= 232968
IDBENCH= 6572
FILE ID= node62/232968-1168081324

PBS_JOBID= 3476224

Free space on /tmp= 66548 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e4f07f5e15632e967d01c8f33a30aa21

RANDOM SEED= 758951623

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.259
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.259
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:       1090448 kB
Buffers:         60064 kB
Cached:         780892 kB
SwapCached:          0 kB
Active:         159156 kB
Inactive:       727188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1090448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2956 kB
Writeback:           0 kB
Mapped:          65944 kB
Slab:            63960 kB
Committed_AS:  3750768 kB
PageTables:       2200 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= 66548 MiB



End job on node62 on Sat Jan  6 11:04:14 UTC 2007