Trace number 225957

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 28.9676 29.0375

DiagnosticValue
CHECKS512233863
NODES52790

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-53_ext.xml
MD5SUM6e1b093ff724f9216725b53146f3d434
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark28.0607
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/225957-1168273985/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=180  maxDomainSize=180
0.42	       =>  wckTime=0.105  cpuTime=0.1  mem=6M951
0.42	   
0.42	   relations being loaded...
0.77	   
0.77	   constraints being loaded...
0.90	     nbConstraints=84  nbRelationTypes=84  nbExtensionStructures=84  nbSharedExtensionStructures=0
0.90	     nbConflictsStructures=84  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=8  maxArity=2
0.90	       =>  wckTime=0.59  cpuTime=0.53  mem=35M571
0.96	   
0.96	   solver IterativeSystematicSolver being built... 
1.12	       =>  wckTime=0.81  cpuTime=0.68  mem=16M389
1.20	   
1.20	   preprocessing
1.20	     nbConstraintChecks=523076  nbPropagations=1030  nbRevisions=3667  nbUselessRevisions=2132  nbSingletonTests=50
1.20	     nbEffectiveSingletonTests=0  nbESACBranches=9  nbRemovedValues=0  detectedInconsistency=no
1.20	       =>  wckTime=0.069  cpuTime=0.05  mem=16M389
1.25	   
1.25	   search
1.25	     run=0  nbConstraintChecks=357989  nbPropagations=2320  nbRevisions=8442  nbUselessRevisions=4299  nbAssignments=35
1.25	     nbFailedAssignments=20  nbBacktracks=11  nbVisitedNodes=65  nbRestartNogoods=0  mapSize=9  nbInferences=0
1.25	     nbTooLargeKeys=0
1.25	       =>  wckTime=0.123  cpuTime=0.09  mem=16M389
1.30	   
1.30	   search
1.30	     run=1  nbConstraintChecks=972956  nbPropagations=6348  nbRevisions=23458  nbUselessRevisions=11695
1.30	     nbAssignments=90  nbFailedAssignments=53  nbBacktracks=26  nbVisitedNodes=159  nbRestartNogoods=3  mapSize=20
1.30	     nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.169  cpuTime=0.13  mem=16M389
1.38	   
1.38	   search
1.38	     run=2  nbConstraintChecks=2204032  nbPropagations=14055  nbRevisions=52606  nbUselessRevisions=25870
1.38	     nbAssignments=206  nbFailedAssignments=128  nbBacktracks=48  nbVisitedNodes=351  nbRestartNogoods=13  mapSize=41
1.38	     nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.25  cpuTime=0.21  mem=16M389
1.48	   
1.48	   search
1.48	     run=3  nbConstraintChecks=3878862  nbPropagations=26728  nbRevisions=101654  nbUselessRevisions=49194
1.48	     nbAssignments=352  nbFailedAssignments=239  nbBacktracks=81  nbVisitedNodes=636  nbRestartNogoods=18  mapSize=73
1.48	     nbInferences=0  nbTooLargeKeys=0
1.48	       =>  wckTime=0.351  cpuTime=0.3  mem=16M389
1.61	   
1.61	   search
1.61	     run=4  nbConstraintChecks=6041951  nbPropagations=46743  nbRevisions=178382  nbUselessRevisions=85554
1.61	     nbAssignments=585  nbFailedAssignments=416  nbBacktracks=131  nbVisitedNodes=1079  nbRestartNogoods=29  mapSize=116
1.61	     nbInferences=0  nbTooLargeKeys=0
1.61	       =>  wckTime=0.48  cpuTime=0.43  mem=16M389
1.72	   
1.72	   search
1.72	     run=5  nbConstraintChecks=7823652  nbPropagations=74212  nbRevisions=282635  nbUselessRevisions=134084
1.72	     nbAssignments=785  nbFailedAssignments=538  nbBacktracks=206  nbVisitedNodes=1454  nbRestartNogoods=34  mapSize=183
1.72	     nbInferences=0  nbTooLargeKeys=0
1.72	       =>  wckTime=0.593  cpuTime=0.54  mem=16M389
1.96	   
1.96	   search
1.96	     run=6  nbConstraintChecks=12003714  nbPropagations=115360  nbRevisions=439522  nbUselessRevisions=207214
1.96	     nbAssignments=1195  nbFailedAssignments=824  nbBacktracks=319  nbVisitedNodes=2227  nbRestartNogoods=42
1.96	     mapSize=289  nbInferences=0  nbTooLargeKeys=0
1.96	       =>  wckTime=0.837  cpuTime=0.78  mem=17M358
2.39	   
2.39	   search
2.39	     run=7  nbConstraintChecks=18892994  nbPropagations=182245  nbRevisions=694197  nbUselessRevisions=324221
2.39	     nbAssignments=2035  nbFailedAssignments=1487  nbBacktracks=489  nbVisitedNodes=3844  nbRestartNogoods=45
2.39	     mapSize=443  nbInferences=0  nbTooLargeKeys=0
2.39	       =>  wckTime=1.264  cpuTime=1.19  mem=17M358
2.85	   
2.85	   search
2.85	     run=8  nbConstraintChecks=27023636  nbPropagations=277001  nbRevisions=1054354  nbUselessRevisions=491048
2.85	     nbAssignments=2901  nbFailedAssignments=2080  nbBacktracks=745  nbVisitedNodes=5460  nbRestartNogoods=56
2.85	     mapSize=677  nbInferences=0  nbTooLargeKeys=0
2.85	       =>  wckTime=1.719  cpuTime=1.64  mem=17M358
3.68	   
3.69	   search
3.69	     run=9  nbConstraintChecks=42722620  nbPropagations=420764  nbRevisions=1606007  nbUselessRevisions=748516
3.69	     nbAssignments=4513  nbFailedAssignments=3305  nbBacktracks=1130  nbVisitedNodes=8564  nbRestartNogoods=67
3.69	     mapSize=1025  nbInferences=0  nbTooLargeKeys=0
3.69	       =>  wckTime=2.557  cpuTime=2.48  mem=17M358
3.72	   
3.72	   INFO : Stopping hyperNogood (mapSize=1040, nbTooLargekeys=0, mem=17M358)
4.68	   
4.68	   search
4.68	     run=10  nbConstraintChecks=60537469  nbPropagations=630555  nbRevisions=2405869  nbUselessRevisions=1121293
4.68	     nbAssignments=6490  nbFailedAssignments=4703  nbBacktracks=1708  nbVisitedNodes=12350  nbRestartNogoods=78
4.68	       =>  wckTime=3.55  cpuTime=3.46  mem=17M358
6.50	   
6.50	   search
6.50	     run=11  nbConstraintChecks=95000624  nbPropagations=947101  nbRevisions=3629530  nbUselessRevisions=1693516
6.50	     nbAssignments=9900  nbFailedAssignments=7245  nbBacktracks=2572  nbVisitedNodes=18959  nbRestartNogoods=82
6.50	       =>  wckTime=5.375  cpuTime=5.28  mem=17M358
8.55	   
8.55	   search
8.55	     run=12  nbConstraintChecks=132597190  nbPropagations=1399070  nbRevisions=5368782  nbUselessRevisions=2504699
8.55	     nbAssignments=13976  nbFailedAssignments=10017  nbBacktracks=3869  nbVisitedNodes=26742  nbRestartNogoods=92
8.55	       =>  wckTime=7.419  cpuTime=7.33  mem=17M358
12.13	   
12.13	   search
12.13	     run=13  nbConstraintChecks=199639458  nbPropagations=2079518  nbRevisions=7993945  nbUselessRevisions=3727276
12.13	     nbAssignments=20950  nbFailedAssignments=15033  nbBacktracks=5815  nbVisitedNodes=40196  nbRestartNogoods=102
12.13	       =>  wckTime=11.004  cpuTime=10.91  mem=17M358
17.64	   
17.64	   search
17.64	     run=14  nbConstraintChecks=302225016  nbPropagations=3110172  nbRevisions=11966247  nbUselessRevisions=5575491
17.64	     nbAssignments=31504  nbFailedAssignments=22664  nbBacktracks=8735  nbVisitedNodes=60526  nbRestartNogoods=106
17.64	       =>  wckTime=16.511  cpuTime=16.41  mem=17M358
26.26	   
26.26	   search
26.26	     run=15  nbConstraintChecks=460844170  nbPropagations=4682983  nbRevisions=18019432  nbUselessRevisions=8381313
26.26	     nbAssignments=47676  nbFailedAssignments=34454  nbBacktracks=13113  nbVisitedNodes=91819  nbRestartNogoods=111
26.26	       =>  wckTime=25.137  cpuTime=25.04  mem=17M358
28.98	   
28.98	   search
28.98	     run=16  nbConstraintChecks=511710787  nbPropagations=6422416  nbRevisions=24723550  nbUselessRevisions=11486892
28.98	     nbAssignments=52790  nbFailedAssignments=38286  nbBacktracks=14355  nbVisitedNodes=101777  nbRestartNogoods=128
28.98	       =>  wckTime=27.856  cpuTime=27.75  mem=17M358
28.98	   
28.98	   global
28.98	     nbConstraintChecks=512233863  nbPropagations=6423446  nbRevisions=24727217  nbUselessRevisions=11489024
28.98	     nbRestartNogoods=128  solvingWckTime=27.858  solvingCpuTime=27.75  expiredTime=no  totalExploration=no
28.98	     nbFoundSolutions=1  globalCpuTime=28.47
28.98	       =>  wckTime=28.673  cpuTime=28.43  mem=17M358
28.99	   
28.99	s SATISFIABLE
28.99	v 148 95 17 93 25 71 87 151 90 179 132 5 57 86 103 129 122 116 159 87 13 53 103 117 129 95 113 72 61 67 42 83 147 98 29 90 93 50 62 7 
28.99	d NODES 52790
28.99	d CHECKS 512233863
28.99	   
28.99	   totalWckTime=28.754  totalCpuTime=28.47

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/node40/watcher-225957-1168273985 -o ROOT/results/node40/solver-225957-1168273985 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225957-1168273985/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.86 1.35 1.34 4/70 26520
/proc/meminfo: memFree=1579808/2055920 swapFree=4192812/4192956
[pid=26519] ppid=26516 vsize=1784 CPUtime=0
/proc/26519/stat : 26519 (java) D 26516 26519 26374 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 175797884 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/26519/statm: 446 136 102 14 0 91 0

[startup+0.103705 s]
/proc/loadavg: 0.86 1.35 1.34 4/70 26520
/proc/meminfo: memFree=1579808/2055920 swapFree=4192812/4192956
[pid=26519] ppid=26516 vsize=914988 CPUtime=0.08
/proc/26519/stat : 26519 (java) R 26516 26519 26374 0 -1 0 2980 0 1 0 7 1 0 0 23 0 8 0 175797884 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155717509 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26519/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515758 s]
/proc/loadavg: 0.86 1.35 1.34 4/70 26520
/proc/meminfo: memFree=1579808/2055920 swapFree=4192812/4192956
[pid=26519] ppid=26516 vsize=915328 CPUtime=0.49
/proc/26519/stat : 26519 (java) R 26516 26519 26374 0 -1 0 7516 0 1 0 45 4 0 0 18 0 8 0 175797884 937295872 7255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073586014 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26519/statm: 228832 7256 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34988 s]
/proc/loadavg: 0.86 1.35 1.34 3/88 26539
/proc/meminfo: memFree=1512912/2055920 swapFree=4192812/4192956
[pid=26519] ppid=26516 vsize=915464 CPUtime=1.31
/proc/26519/stat : 26519 (java) R 26516 26519 26374 0 -1 0 14337 0 1 0 124 7 0 0 25 0 8 0 175797884 937435136 14075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26519/statm: 228866 14075 2524 14 0 215336 0
[pid=26519/tid=26526] ppid=26516 vsize=915464 CPUtime=0.04
/proc/26519/task/26526/stat : 26526 (java) S 26516 26519 26374 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175797888 937435136 14075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26528] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26528/stat : 26528 (java) S 26516 26519 26374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175797889 937435136 14075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26529] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26529/stat : 26529 (java) S 26516 26519 26374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175797889 937435136 14075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26532] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26532/stat : 26532 (java) S 26516 26519 26374 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175797892 937435136 14075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26519/tid=26533] ppid=26516 vsize=915464 CPUtime=0.16
/proc/26519/task/26533/stat : 26533 (java) S 26516 26519 26374 0 -1 64 358 0 0 0 16 0 0 0 15 0 8 0 175797892 937435136 14075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26534] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26534/stat : 26534 (java) S 26516 26519 26374 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175797892 937435136 14075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26519/tid=26535] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26535/stat : 26535 (java) S 26516 26519 26374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175797892 937435136 14075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464

[startup+2.98908 s]
/proc/loadavg: 0.86 1.35 1.34 3/88 26539
/proc/meminfo: memFree=1506128/2055920 swapFree=4192812/4192956
[pid=26519] ppid=26516 vsize=915464 CPUtime=2.96
/proc/26519/stat : 26519 (java) R 26516 26519 26374 0 -1 0 14354 0 1 0 288 8 0 0 25 0 8 0 175797884 937435136 14091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732429 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26519/statm: 228866 14091 2524 14 0 215336 0
[pid=26519/tid=26526] ppid=26516 vsize=915464 CPUtime=0.04
/proc/26519/task/26526/stat : 26526 (java) S 26516 26519 26374 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175797888 937435136 14091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26528] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26528/stat : 26528 (java) S 26516 26519 26374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175797889 937435136 14091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26529] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26529/stat : 26529 (java) S 26516 26519 26374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175797889 937435136 14091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26532] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26532/stat : 26532 (java) S 26516 26519 26374 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175797892 937435136 14091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26519/tid=26533] ppid=26516 vsize=915464 CPUtime=0.21
/proc/26519/task/26533/stat : 26533 (java) S 26516 26519 26374 0 -1 64 373 0 0 0 20 1 0 0 15 0 8 0 175797892 937435136 14091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26534] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26534/stat : 26534 (java) S 26516 26519 26374 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175797892 937435136 14091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26519/tid=26535] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26535/stat : 26535 (java) S 26516 26519 26374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175797892 937435136 14091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915464

[startup+6.2685 s]
/proc/loadavg: 1.03 1.38 1.35 3/88 26539
/proc/meminfo: memFree=1505616/2055920 swapFree=4192812/4192956
[pid=26519] ppid=26516 vsize=915464 CPUtime=6.23
/proc/26519/stat : 26519 (java) R 26516 26519 26374 0 -1 0 14359 0 1 0 615 8 0 0 25 0 8 0 175797884 937435136 14095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729063 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26519/statm: 228866 14095 2524 14 0 215336 0
[pid=26519/tid=26526] ppid=26516 vsize=915464 CPUtime=0.04
/proc/26519/task/26526/stat : 26526 (java) S 26516 26519 26374 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175797888 937435136 14095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26528] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26528/stat : 26528 (java) S 26516 26519 26374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175797889 937435136 14095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26529] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26529/stat : 26529 (java) S 26516 26519 26374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175797889 937435136 14095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26532] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26532/stat : 26532 (java) S 26516 26519 26374 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175797892 937435136 14095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26519/tid=26533] ppid=26516 vsize=915464 CPUtime=0.22
/proc/26519/task/26533/stat : 26533 (java) S 26516 26519 26374 0 -1 64 377 0 0 0 21 1 0 0 16 0 8 0 175797892 937435136 14095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26534] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26534/stat : 26534 (java) S 26516 26519 26374 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175797892 937435136 14095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26519/tid=26535] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26535/stat : 26535 (java) S 26516 26519 26374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175797892 937435136 14095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915464

[startup+12.7593 s]
/proc/loadavg: 1.11 1.39 1.35 4/88 26539
/proc/meminfo: memFree=1505872/2055920 swapFree=4192812/4192956
[pid=26519] ppid=26516 vsize=915464 CPUtime=12.72
/proc/26519/stat : 26519 (java) R 26516 26519 26374 0 -1 0 14364 0 1 0 1264 8 0 0 25 0 8 0 175797884 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26519/statm: 228866 14098 2524 14 0 215336 0
[pid=26519/tid=26526] ppid=26516 vsize=915464 CPUtime=0.04
/proc/26519/task/26526/stat : 26526 (java) S 26516 26519 26374 0 -1 64 611 0 0 0 4 0 0 0 16 0 8 0 175797888 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26528] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26528/stat : 26528 (java) S 26516 26519 26374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175797889 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26529] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26529/stat : 26529 (java) S 26516 26519 26374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175797889 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26532] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26532/stat : 26532 (java) S 26516 26519 26374 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175797892 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26519/tid=26533] ppid=26516 vsize=915464 CPUtime=0.22
/proc/26519/task/26533/stat : 26533 (java) S 26516 26519 26374 0 -1 64 378 0 0 0 21 1 0 0 16 0 8 0 175797892 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26534] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26534/stat : 26534 (java) S 26516 26519 26374 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175797892 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26519/tid=26535] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26535/stat : 26535 (java) S 26516 26519 26374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175797892 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915464

[startup+25.618 s]
/proc/loadavg: 1.31 1.42 1.36 3/88 26539
/proc/meminfo: memFree=1506000/2055920 swapFree=4192812/4192956
[pid=26519] ppid=26516 vsize=915464 CPUtime=25.58
/proc/26519/stat : 26519 (java) R 26516 26519 26374 0 -1 0 14364 0 1 0 2550 8 0 0 25 0 8 0 175797884 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073769703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26519/statm: 228866 14098 2524 14 0 215336 0
[pid=26519/tid=26526] ppid=26516 vsize=915464 CPUtime=0.04
/proc/26519/task/26526/stat : 26526 (java) S 26516 26519 26374 0 -1 64 611 0 0 0 4 0 0 0 16 0 8 0 175797888 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26528] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26528/stat : 26528 (java) S 26516 26519 26374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175797889 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26529] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26529/stat : 26529 (java) S 26516 26519 26374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175797889 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26532] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26532/stat : 26532 (java) S 26516 26519 26374 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175797892 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26519/tid=26533] ppid=26516 vsize=915464 CPUtime=0.22
/proc/26519/task/26533/stat : 26533 (java) S 26516 26519 26374 0 -1 64 378 0 0 0 21 1 0 0 16 0 8 0 175797892 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26519/tid=26534] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26534/stat : 26534 (java) S 26516 26519 26374 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175797892 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26519/tid=26535] ppid=26516 vsize=915464 CPUtime=0
/proc/26519/task/26535/stat : 26535 (java) S 26516 26519 26374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175797892 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 29.0375
CPU time (s): 28.9676
CPU user time (s): 28.8736
CPU system time (s): 0.093985
CPU usage (%): 99.7592
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.8736
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14372
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= 1682
involuntary context switches= 1325

runsolver used 0.043993 s user time and 0.085986 s system time

The end

Launcher Data (download as text)

Begin job on node40 on Mon Jan  8 16:33:06 UTC 2007


IDJOB= 225957
IDBENCH= 5916
FILE ID= node40/225957-1168273985

PBS_JOBID= 3483264

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-53_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225957-1168273985/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-225957-1168273985 -o ROOT/results/node40/solver-225957-1168273985 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225957-1168273985/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6e1b093ff724f9216725b53146f3d434

RANDOM SEED= 261439455

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.239
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.239
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:       1580688 kB
Buffers:         47560 kB
Cached:         333172 kB
SwapCached:          0 kB
Active:         153432 kB
Inactive:       247384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1580688 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5740 kB
Writeback:           0 kB
Mapped:          30236 kB
Slab:            60200 kB
Committed_AS:  3852228 kB
PageTables:       1620 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= 66549 MiB



End job on node40 on Mon Jan  8 16:33:35 UTC 2007