Trace number 206917

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 ESACSAT 41.8166 42.256

DiagnosticValue
CHECKS65348880
NODES45778

General information on the benchmark

NametravellingSalesman/travellingSalesman-20/
tsp-20-453_ext.xml
MD5SUMbb6b398e728c9278bcb5c6d8b41c0637
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark24.3123
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables61
Number of constraints230
Maximum constraint arity3
Maximum domain size1001
Number of constraints which are defined in extension230
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/206917-1168179516/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=61  nbDomainTypes=5  minDomainSize=1  maxDomainSize=1001
0.43	       =>  wckTime=0.112  cpuTime=0.1  mem=7M931
0.43	   
0.44	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.64	     nbConstraints=230  nbRelationTypes=23  nbSingletonDomainVariables=2  nbExtensionStructures=24
0.64	     nbSharedExtensionStructures=206  nbConflictsStructures=24  nbSharedConflictsStructures=206
0.64	     nbSharedBinaryRepresentations=20295  maxDegree=20  maxArity=3
0.64	       =>  wckTime=0.317  cpuTime=0.24  mem=15M517
0.69	   
0.69	   solver IterativeSystematicSolver being built... 
0.86	       =>  wckTime=0.542  cpuTime=0.39  mem=18M31
1.96	   
1.96	   preprocessing
1.96	     nbConstraintChecks=1908023  nbValidityChecks=1884160  nbPropagations=13005  nbRevisions=31120
1.96	     nbUselessRevisions=12309  nbSingletonTests=383  nbEffectiveSingletonTests=38  nbESACBranches=47
1.96	     nbRemovedValues=21479  detectedInconsistency=no
1.96	       =>  wckTime=1.089  cpuTime=1.03  mem=18M31
2.03	   
2.03	   search
2.03	     run=0  nbConstraintChecks=76905  nbValidityChecks=74957  nbPropagations=15101  nbRevisions=36334
2.03	     nbUselessRevisions=14788  nbAssignments=32  nbFailedAssignments=17  nbBacktracks=10  nbVisitedNodes=58
2.03	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.03	       =>  wckTime=1.155  cpuTime=1.09  mem=19M22
2.13	   
2.13	   search
2.13	     run=1  nbConstraintChecks=244798  nbValidityChecks=250403  nbPropagations=33561  nbRevisions=80330
2.13	     nbUselessRevisions=32942  nbAssignments=88  nbFailedAssignments=35  nbBacktracks=27  nbVisitedNodes=125
2.13	     nbRestartNogoods=6  mapSize=25  nbInferences=0  nbTooLargeKeys=0
2.13	       =>  wckTime=1.257  cpuTime=1.19  mem=19M22
2.21	   
2.21	   search
2.21	     run=2  nbConstraintChecks=379191  nbValidityChecks=384895  nbPropagations=56168  nbRevisions=134829
2.21	     nbUselessRevisions=56316  nbAssignments=145  nbFailedAssignments=65  nbBacktracks=49  nbVisitedNodes=228
2.21	     nbRestartNogoods=7  mapSize=46  nbInferences=0  nbTooLargeKeys=0
2.21	       =>  wckTime=1.34  cpuTime=1.27  mem=19M22
2.38	   
2.38	   search
2.38	     run=3  nbConstraintChecks=673676  nbValidityChecks=698212  nbPropagations=84609  nbRevisions=202999
2.39	     nbUselessRevisions=86265  nbAssignments=238  nbFailedAssignments=92  nbBacktracks=88  nbVisitedNodes=336
2.39	     nbRestartNogoods=19  mapSize=73  nbInferences=0  nbTooLargeKeys=0
2.39	       =>  wckTime=1.515  cpuTime=1.44  mem=19M22
2.50	   
2.50	   search
2.50	     run=4  nbConstraintChecks=858917  nbValidityChecks=885248  nbPropagations=118531  nbRevisions=285317
2.50	     nbUselessRevisions=123401  nbAssignments=322  nbFailedAssignments=124  nbBacktracks=139  nbVisitedNodes=481
2.50	     nbRestartNogoods=19  mapSize=112  nbInferences=0  nbTooLargeKeys=0
2.50	       =>  wckTime=1.632  cpuTime=1.56  mem=19M22
2.68	   
2.68	   search
2.68	     run=5  nbConstraintChecks=1135463  nbValidityChecks=1170013  nbPropagations=160534  nbRevisions=388769
2.68	     nbUselessRevisions=171018  nbAssignments=461  nbFailedAssignments=184  nbBacktracks=214  nbVisitedNodes=725
2.68	     nbRestartNogoods=24  mapSize=175  nbInferences=0  nbTooLargeKeys=0
2.68	       =>  wckTime=1.811  cpuTime=1.73  mem=19M998
2.94	   
2.94	   search
2.94	     run=6  nbConstraintChecks=1544278  nbValidityChecks=1584314  nbPropagations=214713  nbRevisions=523271
2.94	     nbUselessRevisions=234057  nbAssignments=672  nbFailedAssignments=268  nbBacktracks=327  nbVisitedNodes=1064
2.94	     nbRestartNogoods=30  mapSize=260  nbInferences=0  nbTooLargeKeys=0
2.94	       =>  wckTime=2.073  cpuTime=1.98  mem=19M998
3.29	   
3.29	   search
3.29	     run=7  nbConstraintChecks=2066238  nbValidityChecks=2136653  nbPropagations=285856  nbRevisions=700366
3.29	     nbUselessRevisions=317740  nbAssignments=977  nbFailedAssignments=395  nbBacktracks=499  nbVisitedNodes=1597
3.29	     nbRestartNogoods=33  mapSize=389  nbInferences=0  nbTooLargeKeys=0
3.29	       =>  wckTime=2.424  cpuTime=2.33  mem=20M973
3.81	   
3.81	   search
3.81	     run=8  nbConstraintChecks=2850089  nbValidityChecks=2940822  nbPropagations=380284  nbRevisions=936908
3.81	     nbUselessRevisions=430494  nbAssignments=1410  nbFailedAssignments=559  nbBacktracks=755  nbVisitedNodes=2317
3.81	     nbRestartNogoods=45  mapSize=564  nbInferences=0  nbTooLargeKeys=0
3.81	       =>  wckTime=2.936  cpuTime=2.83  mem=20M973
4.43	   
4.43	   search
4.43	     run=9  nbConstraintChecks=3759722  nbValidityChecks=3886341  nbPropagations=506756  nbRevisions=1255142
4.43	     nbUselessRevisions=583508  nbAssignments=2022  nbFailedAssignments=776  nbBacktracks=1142  nbVisitedNodes=3348
4.43	     nbRestartNogoods=47  mapSize=817  nbInferences=0  nbTooLargeKeys=0
4.43	       =>  wckTime=3.561  cpuTime=3.44  mem=22M923
4.99	   
4.99	   INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=23M898)
5.39	   
5.39	   search
5.39	     run=10  nbConstraintChecks=5168929  nbValidityChecks=5530171  nbPropagations=680889  nbRevisions=1681681
5.39	     nbUselessRevisions=784802  nbAssignments=3002  nbFailedAssignments=1121  nbBacktracks=1718  nbVisitedNodes=4936
5.39	     nbRestartNogoods=54
5.39	       =>  wckTime=4.524  cpuTime=4.38  mem=23M898
6.96	   
6.96	   search
6.96	     run=11  nbConstraintChecks=7810842  nbValidityChecks=8299667  nbPropagations=928696  nbRevisions=2283274
6.96	     nbUselessRevisions=1064136  nbAssignments=4571  nbFailedAssignments=1720  nbBacktracks=2592  nbVisitedNodes=7419
6.96	     nbRestartNogoods=70
6.96	       =>  wckTime=6.093  cpuTime=5.93  mem=23M898
8.65	   
8.65	   search
8.65	     run=12  nbConstraintChecks=10501758  nbValidityChecks=11207185  nbPropagations=1270239  nbRevisions=3110684
8.65	     nbUselessRevisions=1449248  nbAssignments=6573  nbFailedAssignments=2413  nbBacktracks=3892  nbVisitedNodes=10781
8.65	     nbRestartNogoods=73
8.65	       =>  wckTime=7.779  cpuTime=7.6  mem=23M898
11.21	   
11.21	   search
11.21	     run=13  nbConstraintChecks=14548199  nbValidityChecks=15520618  nbPropagations=1755228  nbRevisions=4297945
11.21	     nbUselessRevisions=2007780  nbAssignments=9652  nbFailedAssignments=3535  nbBacktracks=5843  nbVisitedNodes=15972
11.21	     nbRestartNogoods=85
11.21	       =>  wckTime=10.34  cpuTime=10.14  mem=23M898
15.31	   
15.31	   search
15.31	     run=14  nbConstraintChecks=21036955  nbValidityChecks=22463801  nbPropagations=2463195  nbRevisions=6028839
15.31	     nbUselessRevisions=2820937  nbAssignments=14295  nbFailedAssignments=5253  nbBacktracks=8763  nbVisitedNodes=23768
15.31	     nbRestartNogoods=97
15.32	       =>  wckTime=14.445  cpuTime=14.21  mem=23M898
21.47	   
21.47	   search
21.47	     run=15  nbConstraintChecks=30718498  nbValidityChecks=32924940  nbPropagations=3496186  nbRevisions=8552439
21.47	     nbUselessRevisions=4008092  nbAssignments=21246  nbFailedAssignments=7810  nbBacktracks=13146  nbVisitedNodes=35471
21.47	     nbRestartNogoods=106
21.47	       =>  wckTime=20.604  cpuTime=20.31  mem=23M898
30.32	   
30.32	   search
30.32	     run=16  nbConstraintChecks=44620774  nbValidityChecks=48316719  nbPropagations=5006654  nbRevisions=12190430
30.32	     nbUselessRevisions=5703625  nbAssignments=31485  nbFailedAssignments=11432  nbBacktracks=19715
30.32	     nbVisitedNodes=52685  nbRestartNogoods=135
30.32	       =>  wckTime=29.453  cpuTime=29.07  mem=23M898
42.21	   
42.21	   search
42.21	     run=17  nbConstraintChecks=63440857  nbValidityChecks=68576639  nbPropagations=7135806  nbRevisions=17322881
42.21	     nbUselessRevisions=8091727  nbAssignments=45778  nbFailedAssignments=16701  nbBacktracks=28611
42.21	     nbVisitedNodes=76281  nbRestartNogoods=164
42.21	       =>  wckTime=41.337  cpuTime=40.85  mem=23M898
42.21	   
42.21	   global
42.21	     nbConstraintChecks=65348880  nbValidityChecks=70460799  nbPropagations=7148811  nbRevisions=17354001
42.21	     nbUselessRevisions=8104036  nbRestartNogoods=164  solvingWckTime=41.338  solvingCpuTime=40.85  expiredTime=no
42.21	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=41.28
42.21	       =>  wckTime=41.886  cpuTime=41.24  mem=23M898
42.21	   
42.21	s SATISFIABLE
42.21	v 6 11 11 6 10 1 20 13 4 2 14 4 8 4 19 21 7 6 12 22 16 40 1 0 18 5 17 15 2 23 3 1 9 2 5 2 13 0 15 1 17 18 31 33 37 41 62 68 90 130 130 135 150 173 174 176 178 178 179 179 0 
42.21	d NODES 45778
42.21	d CHECKS 65348880
42.21	   
42.21	   totalWckTime=41.969  totalCpuTime=41.28

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/node58/watcher-206917-1168179516 -o ROOT/results/node58/solver-206917-1168179516 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206917-1168179516/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: 2.00 2.00 1.83 5/81 24585
/proc/meminfo: memFree=1143936/2055920 swapFree=4192812/4192956
[pid=24584] ppid=24582 vsize=18540 CPUtime=0
/proc/24584/stat : 24584 (runsolver) R 24582 24584 24042 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 166349905 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24584/statm: 4635 279 244 17 0 2626 0

[startup+0.107521 s]
/proc/loadavg: 2.00 2.00 1.83 5/81 24585
/proc/meminfo: memFree=1143936/2055920 swapFree=4192812/4192956
[pid=24584] ppid=24582 vsize=914988 CPUtime=0.09
/proc/24584/stat : 24584 (java) R 24582 24584 24042 0 -1 0 2988 0 1 0 7 2 0 0 20 0 8 0 166349905 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24584/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515555 s]
/proc/loadavg: 2.00 2.00 1.83 5/81 24585
/proc/meminfo: memFree=1143936/2055920 swapFree=4192812/4192956
[pid=24584] ppid=24582 vsize=915328 CPUtime=0.49
/proc/24584/stat : 24584 (java) R 24582 24584 24042 0 -1 0 7002 0 1 0 44 5 0 0 18 0 8 0 166349905 937295872 6741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925093 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24584/statm: 228832 6741 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33662 s]
/proc/loadavg: 2.08 2.02 1.84 4/88 24592
/proc/meminfo: memFree=1056136/2055920 swapFree=4192812/4192956
[pid=24584] ppid=24582 vsize=915444 CPUtime=1.3
/proc/24584/stat : 24584 (java) R 24582 24584 24042 0 -1 0 9584 0 1 0 123 7 0 0 24 0 8 0 166349905 937414656 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24584/statm: 228861 9322 2527 14 0 215331 0
[pid=24584/tid=24586] ppid=24582 vsize=915444 CPUtime=0.04
/proc/24584/task/24586/stat : 24586 (java) S 24582 24584 24042 0 -1 64 773 0 0 0 4 0 0 0 16 0 8 0 166349909 937414656 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24587] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24587/stat : 24587 (java) S 24582 24584 24042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166349910 937414656 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24588] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24588/stat : 24588 (java) S 24582 24584 24042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166349910 937414656 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24589] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24589/stat : 24589 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166349913 937414656 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24590] ppid=24582 vsize=915444 CPUtime=0.19
/proc/24584/task/24590/stat : 24590 (java) S 24582 24584 24042 0 -1 64 366 0 0 0 18 1 0 0 15 0 8 0 166349913 937414656 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24591] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24591/stat : 24591 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166349913 937414656 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24592] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24592/stat : 24592 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166349913 937414656 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444

[startup+2.97376 s]
/proc/loadavg: 2.08 2.02 1.84 3/88 24592
/proc/meminfo: memFree=971656/2055920 swapFree=4192812/4192956
[pid=24584] ppid=24582 vsize=915444 CPUtime=2.92
/proc/24584/stat : 24584 (java) R 24582 24584 24042 0 -1 0 9866 0 1 0 284 8 0 0 25 0 8 0 166349905 937414656 9602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24584/statm: 228861 9602 2527 14 0 215331 0
[pid=24584/tid=24586] ppid=24582 vsize=915444 CPUtime=0.04
/proc/24584/task/24586/stat : 24586 (java) S 24582 24584 24042 0 -1 64 773 0 0 0 4 0 0 0 17 0 8 0 166349909 937414656 9602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24587] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24587/stat : 24587 (java) S 24582 24584 24042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166349910 937414656 9602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24588] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24588/stat : 24588 (java) S 24582 24584 24042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166349910 937414656 9602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24589] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24589/stat : 24589 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166349913 937414656 9602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24590] ppid=24582 vsize=915444 CPUtime=0.22
/proc/24584/task/24590/stat : 24590 (java) S 24582 24584 24042 0 -1 64 377 0 0 0 21 1 0 0 15 0 8 0 166349913 937414656 9602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24591] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24591/stat : 24591 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166349913 937414656 9602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24592] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24592/stat : 24592 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166349913 937414656 9602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444

[startup+6.17903 s]
/proc/loadavg: 2.08 2.02 1.84 4/88 24592
/proc/meminfo: memFree=748616/2055920 swapFree=4192812/4192956
[pid=24584] ppid=24582 vsize=915444 CPUtime=6.1
/proc/24584/stat : 24584 (java) R 24582 24584 24042 0 -1 0 10739 0 1 0 602 8 0 0 25 0 8 0 166349905 937414656 10473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772313 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24584/statm: 228861 10473 2527 14 0 215331 0
[pid=24584/tid=24586] ppid=24582 vsize=915444 CPUtime=0.04
/proc/24584/task/24586/stat : 24586 (java) S 24582 24584 24042 0 -1 64 773 0 0 0 4 0 0 0 17 0 8 0 166349909 937414656 10473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24587] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24587/stat : 24587 (java) S 24582 24584 24042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166349910 937414656 10473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24588] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24588/stat : 24588 (java) S 24582 24584 24042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166349910 937414656 10473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24589] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24589/stat : 24589 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166349913 937414656 10473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24590] ppid=24582 vsize=915444 CPUtime=0.25
/proc/24584/task/24590/stat : 24590 (java) S 24582 24584 24042 0 -1 64 397 0 0 0 24 1 0 0 15 0 8 0 166349913 937414656 10473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24591] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24591/stat : 24591 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166349913 937414656 10473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24592] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24592/stat : 24592 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166349913 937414656 10473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915444

[startup+12.6496 s]
/proc/loadavg: 2.15 2.03 1.84 3/88 24592
/proc/meminfo: memFree=659976/2055920 swapFree=4192812/4192956
[pid=24584] ppid=24582 vsize=915444 CPUtime=12.51
/proc/24584/stat : 24584 (java) R 24582 24584 24042 0 -1 0 10748 0 1 0 1242 9 0 0 25 0 8 0 166349905 937414656 10481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073766187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24584/statm: 228861 10481 2527 14 0 215331 0
[pid=24584/tid=24586] ppid=24582 vsize=915444 CPUtime=0.04
/proc/24584/task/24586/stat : 24586 (java) S 24582 24584 24042 0 -1 64 773 0 0 0 4 0 0 0 16 0 8 0 166349909 937414656 10481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24587] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24587/stat : 24587 (java) S 24582 24584 24042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166349910 937414656 10481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24588] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24588/stat : 24588 (java) S 24582 24584 24042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166349910 937414656 10481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24589] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24589/stat : 24589 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166349913 937414656 10481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24590] ppid=24582 vsize=915444 CPUtime=0.26
/proc/24584/task/24590/stat : 24590 (java) S 24582 24584 24042 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 166349913 937414656 10481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24591] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24591/stat : 24591 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166349913 937414656 10481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24592] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24592/stat : 24592 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166349913 937414656 10481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915444

[startup+25.5217 s]
/proc/loadavg: 2.13 2.03 1.84 3/88 24592
/proc/meminfo: memFree=627592/2055920 swapFree=4192812/4192956
[pid=24584] ppid=24582 vsize=915444 CPUtime=25.27
/proc/24584/stat : 24584 (java) R 24582 24584 24042 0 -1 0 10754 0 1 0 2518 9 0 0 25 0 8 0 166349905 937414656 10487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24584/statm: 228861 10487 2527 14 0 215331 0
[pid=24584/tid=24586] ppid=24582 vsize=915444 CPUtime=0.04
/proc/24584/task/24586/stat : 24586 (java) S 24582 24584 24042 0 -1 64 773 0 0 0 4 0 0 0 16 0 8 0 166349909 937414656 10487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24587] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24587/stat : 24587 (java) S 24582 24584 24042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166349910 937414656 10487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24588] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24588/stat : 24588 (java) S 24582 24584 24042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166349910 937414656 10487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24589] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24589/stat : 24589 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166349913 937414656 10487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24590] ppid=24582 vsize=915444 CPUtime=0.26
/proc/24584/task/24590/stat : 24590 (java) S 24582 24584 24042 0 -1 64 398 0 0 0 25 1 0 0 16 0 8 0 166349913 937414656 10487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24591] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24591/stat : 24591 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166349913 937414656 10487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24584/tid=24592] ppid=24582 vsize=915444 CPUtime=0
/proc/24584/task/24592/stat : 24592 (java) S 24582 24584 24042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166349913 937414656 10487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 42.256
CPU time (s): 41.8166
CPU user time (s): 41.7187
CPU system time (s): 0.097985
CPU usage (%): 98.9603
Max. virtual memory (cumulated for all children) (KiB): 915444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.7187
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10851
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= 2085
involuntary context switches= 3186

runsolver used 0.058991 s user time and 0.143978 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Sun Jan  7 14:18:38 UTC 2007


IDJOB= 206917
IDBENCH= 4245
FILE ID= node58/206917-1168179516

PBS_JOBID= 3479105

Free space on /tmp= 66552 MiB

BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-20/tsp-20-453_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206917-1168179516/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-206917-1168179516 -o ROOT/results/node58/solver-206917-1168179516 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206917-1168179516/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bb6b398e728c9278bcb5c6d8b41c0637

RANDOM SEED= 497182011

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.223
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.223
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:       1231072 kB
Buffers:         38032 kB
Cached:         538336 kB
SwapCached:          0 kB
Active:         248132 kB
Inactive:       509044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1231072 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5604 kB
Writeback:           0 kB
Mapped:         199876 kB
Slab:            52720 kB
Committed_AS:  3396996 kB
PageTables:       2124 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66552 MiB



End job on node58 on Sun Jan  7 14:19:22 UTC 2007