Trace number 233459

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 139.854 141.066

DiagnosticValue
CHECKS325294299
NODES3525

General information on the benchmark

Nametaillard/os-taillard-15/
os-taillard-15-100-5.xml
MD5SUMd426cad722d5bc2bb5dc5b0719d02128
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.288956
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size959
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/233459-1168081370/unknown.xml
0.40	   
0.40	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.51	     nbVariables=225  nbDomainTypes=225  minDomainSize=861  maxDomainSize=959
0.51	       =>  wckTime=0.164  cpuTime=0.14  mem=12M769
0.51	   
0.51	   predicates being loaded...
0.51	   
0.51	   constraints being loaded...
4.55	   
4.56	   INFO : Stopping converting binary constraints (cpu=4.1, mem = 39M133)
5.07	     nbConstraints=3150  nbConvertedConstraints=18  nbConvertConstraintsChecks=15493847  nbExtensionStructures=18
5.07	     nbSharedExtensionStructures=0  nbConflictsStructures=18  nbSharedConflictsStructures=0
5.07	     nbSharedBinaryRepresentations=8395  nbEvaluationManagers=3132  nbSharedEvaluationManagers=0  maxDegree=28
5.07	     maxArity=2
5.07	       =>  wckTime=4.729  cpuTime=4.45  mem=25M853
5.16	   
5.16	   solver IterativeSystematicSolver being built... 
5.44	       =>  wckTime=5.091  cpuTime=4.63  mem=44M136
16.76	   
16.76	   preprocessing
16.76	     nbConstraintChecks=30916999  nbValidityChecks=209202  nbPropagations=225  nbRevisions=6264  nbUselessRevisions=6264
16.76	     nbRemovedValues=0  detectedInconsistency=no
16.76	       =>  wckTime=11.312  cpuTime=11.21  mem=44M136
40.99	   
40.99	   search
40.99	     run=0  nbConstraintChecks=55946235  nbValidityChecks=40063022  nbPropagations=3782  nbRevisions=84020
40.99	     nbUselessRevisions=75876  nbAssignments=256  nbFailedAssignments=157  nbBacktracks=10  nbVisitedNodes=423
40.99	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
40.99	       =>  wckTime=35.539  cpuTime=35.2  mem=47M78
58.86	   
58.86	   search
58.86	     run=1  nbConstraintChecks=95621462  nbValidityChecks=106537435  nbPropagations=12605  nbRevisions=280444
58.86	     nbUselessRevisions=254388  nbAssignments=644  nbFailedAssignments=471  nbBacktracks=25  nbVisitedNodes=1140
58.86	     nbRestartNogoods=1  mapSize=25  nbInferences=0  nbTooLargeKeys=0
58.86	       =>  wckTime=53.414  cpuTime=52.93  mem=49M37
84.08	   
84.08	   search
84.08	     run=2  nbConstraintChecks=156881924  nbValidityChecks=157812348  nbPropagations=27245  nbRevisions=601450
84.08	     nbUselessRevisions=529842  nbAssignments=1364  nbFailedAssignments=1062  nbBacktracks=47  nbVisitedNodes=2473
84.08	     nbRestartNogoods=16  mapSize=47  nbInferences=0  nbTooLargeKeys=0
84.08	       =>  wckTime=78.628  cpuTime=77.93  mem=50M997
104.96	   
104.96	   search
104.96	     run=3  nbConstraintChecks=206093692  nbValidityChecks=209727168  nbPropagations=49197  nbRevisions=1050113
104.96	     nbUselessRevisions=911848  nbAssignments=2195  nbFailedAssignments=1741  nbBacktracks=81  nbVisitedNodes=4010
104.96	     nbRestartNogoods=180  mapSize=78  nbInferences=0  nbTooLargeKeys=0
104.96	       =>  wckTime=99.508  cpuTime=98.63  mem=53M936
125.20	   
125.20	   search
125.20	     run=4  nbConstraintChecks=255096080  nbValidityChecks=255482669  nbPropagations=79807  nbRevisions=1637923
125.20	     nbUselessRevisions=1405418  nbAssignments=3251  nbFailedAssignments=2598  nbBacktracks=131  nbVisitedNodes=5973
125.20	     nbRestartNogoods=184  mapSize=128  nbInferences=0  nbTooLargeKeys=0
125.20	       =>  wckTime=119.75  cpuTime=118.68  mem=56M875
141.04	   
141.04	   search
141.04	     run=5  nbConstraintChecks=294377300  nbValidityChecks=289714386  nbPropagations=113908  nbRevisions=2292647
141.04	     nbUselessRevisions=1961013  nbAssignments=3525  nbFailedAssignments=2644  nbBacktracks=134  nbVisitedNodes=6296
141.04	     nbRestartNogoods=243  mapSize=131  nbInferences=0  nbTooLargeKeys=0
141.04	       =>  wckTime=135.588  cpuTime=134.39  mem=59M336
141.04	   
141.04	   global
141.04	     nbConstraintChecks=325294299  nbValidityChecks=289923588  nbPropagations=114133  nbRevisions=2298911
141.04	     nbUselessRevisions=1967277  nbRestartNogoods=243  solvingWckTime=135.589  solvingCpuTime=134.4  expiredTime=no
141.04	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=139.08
141.04	       =>  wckTime=140.691  cpuTime=139.04  mem=59M336
141.04	   
141.04	s SATISFIABLE
141.04	v 682 245 87 32 678 80 149 0 232 93 792 483 912 405 279 15 303 263 298 900 53 96 232 373 186 840 551 438 467 344 0 827 80 601 160 53 438 394 931 507 686 752 202 350 279 736 47 845 405 0 196 728 685 8 256 602 331 67 153 327 689 492 728 251 427 827 599 0 860 45 152 310 395 66 600 737 483 302 0 390 93 53 153 641 560 109 675 214 900 602 0 881 373 741 470 496 507 72 149 664 576 840 310 908 212 263 481 394 815 327 184 67 530 752 887 668 552 98 635 0 662 560 898 0 420 45 745 244 186 72 599 815 366 481 208 251 79 482 467 203 0 797 395 245 573 745 344 623 306 682 480 124 214 208 387 754 303 641 32 562 160 680 745 675 0 184 0 664 162 420 82 77 741 573 480 348 277 846 786 876 420 482 625 0 685 790 331 750 82 249 124 864 556 768 196 626 277 875 855 0 541 437 178 98 435 786 724 366 751 463 147 175 109 555 601 256 500 317 478 390 689 855 0 625 212 
141.04	d NODES 3525
141.04	d CHECKS 325294299
141.04	   
141.04	   totalWckTime=140.768  totalCpuTime=139.08

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/node50/watcher-233459-1168081370 -o ROOT/results/node50/solver-233459-1168081370 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233459-1168081370/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: 1.00 1.00 0.93 4/80 4229
/proc/meminfo: memFree=1428000/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=18540 CPUtime=0
/proc/4228/stat : 4228 (runsolver) R 4226 4228 3795 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156536866 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/4228/statm: 4635 279 244 17 0 2626 0

[startup+0.103121 s]
/proc/loadavg: 1.00 1.00 0.93 4/80 4229
/proc/meminfo: memFree=1428000/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=907676 CPUtime=0.04
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 2333 0 1 0 3 1 0 0 20 0 4 0 156536866 929460224 2080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925084 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 226919 2080 1166 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676

[startup+0.515112 s]
/proc/loadavg: 1.00 1.00 0.93 4/80 4229
/proc/meminfo: memFree=1428000/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915328 CPUtime=0.44
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 7474 0 1 0 40 4 0 0 25 0 8 0 156536866 937295872 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228832 7213 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.33925 s]
/proc/loadavg: 1.08 1.02 0.93 4/87 4236
/proc/meminfo: memFree=1386984/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915632 CPUtime=1.26
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 12689 0 1 0 118 8 0 0 25 0 8 0 156536866 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228908 12427 2167 14 0 215378 0
[pid=4228/tid=4230] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156536875 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156536875 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156536875 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915632 CPUtime=0.15
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 156536878 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937607168 12427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915632

[startup+2.97652 s]
/proc/loadavg: 1.08 1.02 0.93 3/87 4236
/proc/meminfo: memFree=1385256/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915632 CPUtime=2.89
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 13373 0 1 0 281 8 0 0 25 0 8 0 156536866 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786190 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228908 13110 2167 14 0 215378 0
[pid=4228/tid=4230] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156536875 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156536875 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156536875 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915632 CPUtime=0.15
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 156536878 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915632 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937607168 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915632

[startup+6.27108 s]
/proc/loadavg: 1.08 1.02 0.93 3/87 4236
/proc/meminfo: memFree=1325680/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915716 CPUtime=6.15
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 28262 0 1 0 599 16 0 0 25 0 8 0 156536866 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228929 27996 2533 14 0 215399 0
[pid=4228/tid=4230] ppid=4226 vsize=915716 CPUtime=0.2
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 11169 0 0 0 15 5 0 0 16 0 8 0 156536875 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156536875 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156536875 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915716 CPUtime=0.26
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 475 0 0 0 25 1 0 0 15 0 8 0 156536878 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937693184 27996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915716

[startup+12.7422 s]
/proc/loadavg: 1.22 1.05 0.94 3/87 4236
/proc/meminfo: memFree=1325680/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915716 CPUtime=12.58
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 28273 0 1 0 1242 16 0 0 25 0 8 0 156536866 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074027536 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228929 28002 2533 14 0 215399 0
[pid=4228/tid=4230] ppid=4226 vsize=915716 CPUtime=0.2
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 11169 0 0 0 15 5 0 0 16 0 8 0 156536875 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156536875 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156536875 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915716 CPUtime=0.27
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 486 0 0 0 26 1 0 0 16 0 8 0 156536878 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937693184 28002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915716

[startup+25.5923 s]
/proc/loadavg: 1.34 1.08 0.95 3/87 4236
/proc/meminfo: memFree=1325680/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915716 CPUtime=25.31
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 28288 0 1 0 2515 16 0 0 25 0 8 0 156536866 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785515 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228929 28012 2534 14 0 215399 0
[pid=4228/tid=4230] ppid=4226 vsize=915716 CPUtime=0.2
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 11169 0 0 0 15 5 0 0 16 0 8 0 156536875 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156536875 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156536875 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915716 CPUtime=0.29
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 494 0 0 0 28 1 0 0 15 0 8 0 156536878 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937693184 28012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915716

[startup+51.1976 s]
/proc/loadavg: 1.57 1.15 0.98 3/87 4236
/proc/meminfo: memFree=1325680/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915716 CPUtime=50.71
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 28308 0 1 0 5055 16 0 0 25 0 8 0 156536866 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782637 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228929 28025 2538 14 0 215399 0
[pid=4228/tid=4230] ppid=4226 vsize=915716 CPUtime=0.2
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 11170 0 0 0 15 5 0 0 17 0 8 0 156536875 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156536875 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156536875 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915716 CPUtime=0.31
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 502 0 0 0 30 1 0 0 16 0 8 0 156536878 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937693184 28025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915716

[startup+102.405 s]
/proc/loadavg: 1.90 1.31 1.04 3/87 4236
/proc/meminfo: memFree=1325680/2055920 swapFree=4192812/4192956
[pid=4228] ppid=4226 vsize=915716 CPUtime=101.51
/proc/4228/stat : 4228 (java) R 4226 4228 3795 0 -1 0 28325 0 1 0 10134 17 0 0 25 0 8 0 156536866 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783916 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4228/statm: 228929 28034 2538 14 0 215399 0
[pid=4228/tid=4230] ppid=4226 vsize=915716 CPUtime=0.2
/proc/4228/task/4230/stat : 4230 (java) S 4226 4228 3795 0 -1 64 11170 0 0 0 15 5 0 0 16 0 8 0 156536875 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4231] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4231/stat : 4231 (java) S 4226 4228 3795 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156536875 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4232] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4232/stat : 4232 (java) S 4226 4228 3795 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156536875 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4233] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4233/stat : 4233 (java) S 4226 4228 3795 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156536878 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4234] ppid=4226 vsize=915716 CPUtime=0.32
/proc/4228/task/4234/stat : 4234 (java) S 4226 4228 3795 0 -1 64 519 0 0 0 31 1 0 0 16 0 8 0 156536878 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4235] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4235/stat : 4235 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156536878 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4228/tid=4236] ppid=4226 vsize=915716 CPUtime=0
/proc/4228/task/4236/stat : 4236 (java) S 4226 4228 3795 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156536878 937693184 28034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915716

Child status: 0
Real time (s): 141.066
CPU time (s): 139.854
CPU user time (s): 139.662
CPU system time (s): 0.19197
CPU usage (%): 99.1408
Max. virtual memory (cumulated for all children) (KiB): 915772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.662
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28341
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= 4472
involuntary context switches= 10527

runsolver used 0.138978 s user time and 0.372943 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sat Jan  6 11:02:58 UTC 2007


IDJOB= 233459
IDBENCH= 6609
FILE ID= node50/233459-1168081370

PBS_JOBID= 3476195

Free space on /tmp= 66548 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d426cad722d5bc2bb5dc5b0719d02128

RANDOM SEED= 464981773

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.263
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	: 5931.00
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.263
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:       1428736 kB
Buffers:         38396 kB
Cached:         447668 kB
SwapCached:          0 kB
Active:         131960 kB
Inactive:       416644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1428736 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2148 kB
Writeback:           0 kB
Mapped:          82788 kB
Slab:            63796 kB
Committed_AS:  4154884 kB
PageTables:       1988 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 node50 on Sat Jan  6 11:05:24 UTC 2007