Trace number 233085

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 178.957 179.065

DiagnosticValue
CHECKS402263216
NODES1099

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-100-7.xml
MD5SUMb7da7eeabd87a2ed31538cf45df24a02
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.916859
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1269
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.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/233085-1168081324/unknown.xml
0.37	   
0.37	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.54	     nbVariables=400  nbDomainTypes=400  minDomainSize=1171  maxDomainSize=1269
0.54	       =>  wckTime=0.231  cpuTime=0.18  mem=19M626
0.54	   
0.54	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
4.68	   
4.68	   INFO : Stopping converting binary constraints (cpu=4.26, mem = 37M927)
5.84	     nbConstraints=7600  nbConvertedConstraints=10  nbConvertConstraintsChecks=14610024  nbExtensionStructures=10
5.84	     nbSharedExtensionStructures=0  nbConflictsStructures=10  nbSharedConflictsStructures=0
5.84	     nbSharedBinaryRepresentations=3850  nbEvaluationManagers=7590  nbSharedEvaluationManagers=0  maxDegree=38
5.84	     maxArity=2
5.84	       =>  wckTime=5.528  cpuTime=5.23  mem=54M254
5.98	   
5.98	   solver IterativeSystematicSolver being built... 
6.44	       =>  wckTime=6.13  cpuTime=5.5  mem=122M793
37.23	   
37.23	   preprocessing
37.23	     nbConstraintChecks=79503579  nbValidityChecks=508737  nbPropagations=400  nbRevisions=15180
37.23	     nbUselessRevisions=15180  nbRemovedValues=0  detectedInconsistency=no
37.23	       =>  wckTime=30.77  cpuTime=30.7  mem=122M793
116.63	   
116.63	   search
116.63	     run=0  nbConstraintChecks=175259195  nbValidityChecks=146854204  nbPropagations=11062  nbRevisions=277150
116.63	     nbUselessRevisions=258459  nbAssignments=682  nbFailedAssignments=415  nbBacktracks=10  nbVisitedNodes=1108
116.63	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=60
116.63	       =>  wckTime=110.168  cpuTime=110.04  mem=132M279
179.01	   
179.01	   search
179.01	     run=1  nbConstraintChecks=322759637  nbValidityChecks=272248275  nbPropagations=28762  nbRevisions=730585
179.01	     nbUselessRevisions=686387  nbAssignments=1099  nbFailedAssignments=432  nbBacktracks=10  nbVisitedNodes=1542
179.01	     nbRestartNogoods=5  mapSize=10  nbInferences=0  nbTooLargeKeys=121
179.01	       =>  wckTime=172.551  cpuTime=172.41  mem=140M828
179.01	   
179.01	   global
179.01	     nbConstraintChecks=402263216  nbValidityChecks=272757012  nbPropagations=29162  nbRevisions=745765
179.01	     nbUselessRevisions=701567  nbRestartNogoods=5  solvingWckTime=172.552  solvingCpuTime=172.41  expiredTime=no
179.01	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=178.01
179.01	       =>  wckTime=178.706  cpuTime=177.95  mem=140M828
179.02	   
179.02	s SATISFIABLE
179.02	v 186 418 0 528 313 843 1081 342 78 789 566 99 461 994 636 720 345 1173 903 250 590 984 908 813 441 310 242 1076 397 941 692 669 189 850 174 523 490 1169 869 82 752 91 783 113 816 594 1119 0 429 1008 1080 1046 246 648 680 314 537 895 1135 162 968 430 262 1008 572 653 164 95 725 1215 342 499 878 0 1122 1188 786 1062 924 602 1052 99 68 1013 342 581 694 841 594 771 613 979 185 904 252 514 1081 0 636 432 1163 536 450 568 766 1026 95 1113 258 1067 698 624 1250 486 281 0 869 359 147 941 1051 924 1020 443 693 974 281 98 515 622 358 197 1255 871 1079 814 540 90 756 0 40 196 0 801 1006 1169 460 250 516 77 669 1077 766 579 941 895 95 175 1194 358 265 1024 0 936 95 895 394 169 552 765 1174 276 1114 680 438 624 800 838 238 138 636 949 416 280 331 0 189 974 1077 540 96 265 1154 1026 801 878 229 450 720 1114 1170 516 1024 775 354 66 432 838 197 82 1196 937 704 602 1084 724 1114 300 659 0 696 1118 252 147 959 1207 89 817 171 754 537 0 351 621 442 886 1015 1174 1123 643 85 748 1046 851 1024 940 430 201 509 581 331 871 693 994 0 636 91 798 234 82 99 1101 798 816 441 186 937 992 1051 246 754 895 601 649 694 370 300 516 0 625 448 1067 671 803 1123 941 0 372 534 887 186 40 327 982 498 1124 418 169 281 96 175 615 1080 1119 99 846 264 789 967 669 903 499 159 734 351 0 984 643 949 566 674 850 0 534 82 945 648 345 212 1052 1146 1021 171 592 750 913 817 412 264 442 262 1159 1196 734 461 374 0 789 184 600 912 515 96 984 846 1024 1133 1062 1044 679 622 245 90 186 334 516 1097 410 443 703 748 1029 0 581 234 765 875 846 915 827 669 516 643 837 906 184 700 606 374 875 461 98 936 171 979 0 775 959 814 281 
179.02	d NODES 1099
179.02	d CHECKS 402263216
179.02	   
179.02	   totalWckTime=178.786  totalCpuTime=178.01

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/node47/watcher-233085-1168081324 -o ROOT/results/node47/solver-233085-1168081324 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233085-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.45 0.35 0.65 4/86 4023
/proc/meminfo: memFree=1596568/2055920 swapFree=4192812/4192956
[pid=4022] ppid=4020 vsize=18540 CPUtime=0
/proc/4022/stat : 4022 (runsolver) R 4020 4022 3375 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156532845 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/4022/statm: 4635 279 244 17 0 2626 0

[startup+0.108199 s]
/proc/loadavg: 0.45 0.35 0.65 4/86 4023
/proc/meminfo: memFree=1596568/2055920 swapFree=4192812/4192956
[pid=4022] ppid=4020 vsize=914988 CPUtime=0.09
/proc/4022/stat : 4022 (java) R 4020 4022 3375 0 -1 0 3049 0 1 0 8 1 0 0 17 0 8 0 156532845 936947712 2795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4022/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.520241 s]
/proc/loadavg: 0.45 0.35 0.65 4/86 4023
/proc/meminfo: memFree=1596568/2055920 swapFree=4192812/4192956
[pid=4022] ppid=4020 vsize=915328 CPUtime=0.5
/proc/4022/stat : 4022 (java) S 4020 4022 3375 0 -1 0 8571 0 1 0 45 5 0 0 18 0 8 0 156532845 937295872 8310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4022/statm: 228832 8310 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34433 s]
/proc/loadavg: 0.45 0.35 0.65 4/93 4030
/proc/meminfo: memFree=1525984/2055920 swapFree=4192812/4192956
[pid=4022] ppid=4020 vsize=915632 CPUtime=1.33
/proc/4022/stat : 4022 (java) R 4020 4022 3375 0 -1 0 20016 0 1 0 121 12 0 0 20 0 8 0 156532845 937607168 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4022/statm: 228908 19754 2178 14 0 215378 0
[pid=4022/tid=4024] ppid=4020 vsize=915632 CPUtime=0.03
/proc/4022/task/4024/stat : 4024 (java) S 4020 4022 3375 0 -1 64 3422 0 0 0 2 1 0 0 16 0 8 0 156532849 937607168 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4025] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4025/stat : 4025 (java) S 4020 4022 3375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532849 937607168 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4026] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4026/stat : 4026 (java) S 4020 4022 3375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532849 937607168 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4027] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4027/stat : 4027 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156532853 937607168 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4028] ppid=4020 vsize=915632 CPUtime=0.15
/proc/4022/task/4028/stat : 4028 (java) S 4020 4022 3375 0 -1 64 402 0 0 0 14 1 0 0 19 0 8 0 156532853 937607168 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4029] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4029/stat : 4029 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156532853 937607168 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4030] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4030/stat : 4030 (java) S 4020 4022 3375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532853 937607168 19754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915632

[startup+2.9815 s]
/proc/loadavg: 0.45 0.35 0.65 3/93 4030
/proc/meminfo: memFree=1525984/2055920 swapFree=4192812/4192956
[pid=4022] ppid=4020 vsize=915632 CPUtime=2.96
/proc/4022/stat : 4022 (java) R 4020 4022 3375 0 -1 0 20021 0 1 0 284 12 0 0 25 0 8 0 156532845 937607168 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4022/statm: 228908 19758 2178 14 0 215378 0
[pid=4022/tid=4024] ppid=4020 vsize=915632 CPUtime=0.03
/proc/4022/task/4024/stat : 4024 (java) S 4020 4022 3375 0 -1 64 3422 0 0 0 2 1 0 0 17 0 8 0 156532849 937607168 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4025] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4025/stat : 4025 (java) S 4020 4022 3375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532849 937607168 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4026] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4026/stat : 4026 (java) S 4020 4022 3375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532849 937607168 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4027] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4027/stat : 4027 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156532853 937607168 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4028] ppid=4020 vsize=915632 CPUtime=0.15
/proc/4022/task/4028/stat : 4028 (java) S 4020 4022 3375 0 -1 64 405 0 0 0 14 1 0 0 16 0 8 0 156532853 937607168 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4029] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4029/stat : 4029 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156532853 937607168 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4030] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4030/stat : 4030 (java) S 4020 4022 3375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532853 937607168 19758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915632

[startup+6.26085 s]
/proc/loadavg: 0.57 0.37 0.66 3/93 4032
/proc/meminfo: memFree=1510816/2055920 swapFree=4192812/4192956
[pid=4022] ppid=4020 vsize=915632 CPUtime=6.24
/proc/4022/stat : 4022 (java) R 4020 4022 3375 0 -1 0 34530 0 1 0 605 19 0 0 25 0 8 0 156532845 937607168 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4022/statm: 228908 34261 2498 14 0 215378 0
[pid=4022/tid=4024] ppid=4020 vsize=915632 CPUtime=0.35
/proc/4022/task/4024/stat : 4024 (java) R 4020 4022 3375 0 -1 64 17524 0 0 0 28 7 0 0 16 0 8 0 156532849 937607168 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4025] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4025/stat : 4025 (java) S 4020 4022 3375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532849 937607168 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4026] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4026/stat : 4026 (java) S 4020 4022 3375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532849 937607168 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4027] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4027/stat : 4027 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156532853 937607168 34263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4028] ppid=4020 vsize=915632 CPUtime=0.22
/proc/4022/task/4028/stat : 4028 (java) S 4020 4022 3375 0 -1 64 451 0 0 0 21 1 0 0 16 0 8 0 156532853 937607168 34270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4029] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4029/stat : 4029 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156532853 937607168 34276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4030] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4030/stat : 4030 (java) S 4020 4022 3375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532853 937607168 34283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915632

[startup+12.7455 s]
/proc/loadavg: 0.69 0.40 0.66 3/93 4038
/proc/meminfo: memFree=1439264/2055920 swapFree=4192812/4192956
[pid=4022] ppid=4020 vsize=915632 CPUtime=12.72
/proc/4022/stat : 4022 (java) R 4020 4022 3375 0 -1 0 42004 0 1 0 1249 23 0 0 25 0 8 0 156532845 937607168 41730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035658 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4022/statm: 228908 41730 2533 14 0 215378 0
[pid=4022/tid=4024] ppid=4020 vsize=915632 CPUtime=0.4
/proc/4022/task/4024/stat : 4024 (java) S 4020 4022 3375 0 -1 64 24908 0 0 0 30 10 0 0 17 0 8 0 156532849 937607168 41730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4025] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4025/stat : 4025 (java) S 4020 4022 3375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532849 937607168 41730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4026] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4026/stat : 4026 (java) S 4020 4022 3375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532849 937607168 41730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4027] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4027/stat : 4027 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156532853 937607168 41730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4028] ppid=4020 vsize=915632 CPUtime=0.27
/proc/4022/task/4028/stat : 4028 (java) S 4020 4022 3375 0 -1 64 480 0 0 0 25 2 0 0 16 0 8 0 156532853 937607168 41730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4029] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4029/stat : 4029 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156532853 937607168 41730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4030] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4030/stat : 4030 (java) S 4020 4022 3375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532853 937607168 41730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915632

[startup+25.5969 s]
/proc/loadavg: 0.98 0.48 0.68 3/87 4060
/proc/meminfo: memFree=1440280/2055920 swapFree=4192812/4192956
[pid=4022] ppid=4020 vsize=915632 CPUtime=25.53
/proc/4022/stat : 4022 (java) R 4020 4022 3375 0 -1 0 42007 0 1 0 2530 23 0 0 25 0 8 0 156532845 937607168 41731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4022/statm: 228908 41731 2533 14 0 215378 0
[pid=4022/tid=4024] ppid=4020 vsize=915632 CPUtime=0.4
/proc/4022/task/4024/stat : 4024 (java) S 4020 4022 3375 0 -1 64 24908 0 0 0 30 10 0 0 16 0 8 0 156532849 937607168 41731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4025] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4025/stat : 4025 (java) S 4020 4022 3375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532849 937607168 41731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4026] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4026/stat : 4026 (java) S 4020 4022 3375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532849 937607168 41731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4027] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4027/stat : 4027 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156532853 937607168 41731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4028] ppid=4020 vsize=915632 CPUtime=0.27
/proc/4022/task/4028/stat : 4028 (java) S 4020 4022 3375 0 -1 64 482 0 0 0 25 2 0 0 15 0 8 0 156532853 937607168 41731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4029] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4029/stat : 4029 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156532853 937607168 41731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4030] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4030/stat : 4030 (java) S 4020 4022 3375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532853 937607168 41731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915632

[startup+51.2866 s]
/proc/loadavg: 1.33 0.60 0.72 3/87 4060
/proc/meminfo: memFree=1440408/2055920 swapFree=4192812/4192956
[pid=4022] ppid=4020 vsize=915632 CPUtime=51.22
/proc/4022/stat : 4022 (java) R 4020 4022 3375 0 -1 0 42019 0 1 0 5099 23 0 0 25 0 8 0 156532845 937607168 41739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4022/statm: 228908 41739 2534 14 0 215378 0
[pid=4022/tid=4024] ppid=4020 vsize=915632 CPUtime=0.4
/proc/4022/task/4024/stat : 4024 (java) S 4020 4022 3375 0 -1 64 24908 0 0 0 30 10 0 0 17 0 8 0 156532849 937607168 41739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4025] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4025/stat : 4025 (java) S 4020 4022 3375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532849 937607168 41739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4026] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4026/stat : 4026 (java) S 4020 4022 3375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532849 937607168 41739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4027] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4027/stat : 4027 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156532853 937607168 41739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4028] ppid=4020 vsize=915632 CPUtime=0.28
/proc/4022/task/4028/stat : 4028 (java) S 4020 4022 3375 0 -1 64 488 0 0 0 26 2 0 0 17 0 8 0 156532853 937607168 41739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4029] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4029/stat : 4029 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156532853 937607168 41739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4030] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4030/stat : 4030 (java) S 4020 4022 3375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532853 937607168 41739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915632

[startup+102.566 s]
/proc/loadavg: 1.71 0.81 0.78 3/87 4060
/proc/meminfo: memFree=1440408/2055920 swapFree=4192812/4192956
[pid=4022] ppid=4020 vsize=915632 CPUtime=102.48
/proc/4022/stat : 4022 (java) R 4020 4022 3375 0 -1 0 42027 0 1 0 10225 23 0 0 25 0 8 0 156532845 937607168 41743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4022/statm: 228908 41743 2534 14 0 215378 0
[pid=4022/tid=4024] ppid=4020 vsize=915632 CPUtime=0.4
/proc/4022/task/4024/stat : 4024 (java) S 4020 4022 3375 0 -1 64 24908 0 0 0 30 10 0 0 16 0 8 0 156532849 937607168 41743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4025] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4025/stat : 4025 (java) S 4020 4022 3375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532849 937607168 41743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4026] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4026/stat : 4026 (java) S 4020 4022 3375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532849 937607168 41743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4027] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4027/stat : 4027 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156532853 937607168 41743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4028] ppid=4020 vsize=915632 CPUtime=0.29
/proc/4022/task/4028/stat : 4028 (java) S 4020 4022 3375 0 -1 64 495 0 0 0 27 2 0 0 15 0 8 0 156532853 937607168 41743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4029] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4029/stat : 4029 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156532853 937607168 41743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4030] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4030/stat : 4030 (java) S 4020 4022 3375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532853 937607168 41743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 915632

[startup+162.59 s]
/proc/loadavg: 1.89 1.03 0.86 3/87 4060
/proc/meminfo: memFree=1440408/2055920 swapFree=4192812/4192956
[pid=4022] ppid=4020 vsize=915632 CPUtime=162.49
/proc/4022/stat : 4022 (java) R 4020 4022 3375 0 -1 0 42045 0 1 0 16226 23 0 0 25 0 8 0 156532845 937607168 41755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4022/statm: 228908 41755 2538 14 0 215378 0
[pid=4022/tid=4024] ppid=4020 vsize=915632 CPUtime=0.4
/proc/4022/task/4024/stat : 4024 (java) S 4020 4022 3375 0 -1 64 24909 0 0 0 30 10 0 0 16 0 8 0 156532849 937607168 41755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4025] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4025/stat : 4025 (java) S 4020 4022 3375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156532849 937607168 41755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4026] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4026/stat : 4026 (java) S 4020 4022 3375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156532849 937607168 41755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4027] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4027/stat : 4027 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156532853 937607168 41755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4028] ppid=4020 vsize=915632 CPUtime=0.3
/proc/4022/task/4028/stat : 4028 (java) S 4020 4022 3375 0 -1 64 501 0 0 0 28 2 0 0 16 0 8 0 156532853 937607168 41755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4029] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4029/stat : 4029 (java) S 4020 4022 3375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156532853 937607168 41755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4022/tid=4030] ppid=4020 vsize=915632 CPUtime=0
/proc/4022/task/4030/stat : 4030 (java) S 4020 4022 3375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156532853 937607168 41755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.49
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 179.065
CPU time (s): 178.957
CPU user time (s): 178.69
CPU system time (s): 0.266959
CPU usage (%): 99.9395
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.69
system time used= 0.266959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42052
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= 4886
involuntary context switches= 7551

runsolver used 0.181972 s user time and 0.485926 s system time

The end

Launcher Data (download as text)

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


IDJOB= 233085
IDBENCH= 6581
FILE ID= node47/233085-1168081324

PBS_JOBID= 3476186

Free space on /tmp= 66531 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b7da7eeabd87a2ed31538cf45df24a02

RANDOM SEED= 309358827

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.240
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.240
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:       1597112 kB
Buffers:         28280 kB
Cached:         179596 kB
SwapCached:          0 kB
Active:         232200 kB
Inactive:       154048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1597112 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4960 kB
Writeback:           0 kB
Mapped:         199008 kB
Slab:            57064 kB
Committed_AS:  3631568 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= 66531 MiB



End job on node47 on Sat Jan  6 11:05:15 UTC 2007