Trace number 227738

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 11.2313 11.3311

DiagnosticValue
CHECKS31735358
NODES45098

General information on the benchmark

Nametightness/tightness0.1/
rand-2-40-8-753-100-19_ext.xml
MD5SUM2dc54fc58f8f656ca6898d0651b3f1c0
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 benchmark2.37564
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints753
Maximum constraint arity2
Maximum domain size8
Number of constraints which are defined in extension753
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/227738-1168278772/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=40  nbDomainTypes=1  minDomainSize=8  maxDomainSize=8
0.43	       =>  wckTime=0.102  cpuTime=0.09  mem=6M951
0.43	   
0.43	   relations being loaded...
0.53	   
0.53	   constraints being loaded...
0.71	     nbConstraints=752  nbRelationTypes=753  nbExtensionStructures=752  nbSharedExtensionStructures=0
0.71	     nbConflictsStructures=752  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=11892  maxDegree=39
0.71	     maxArity=2
0.71	       =>  wckTime=0.389  cpuTime=0.25  mem=11M844
0.76	   
0.76	   solver IterativeSystematicSolver being built... 
0.92	       =>  wckTime=0.602  cpuTime=0.39  mem=15M6
0.98	   
0.98	   preprocessing
0.98	     nbConstraintChecks=20460  nbPropagations=810  nbRevisions=4687  nbUselessRevisions=3659  nbSingletonTests=47
0.98	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
0.98	       =>  wckTime=0.055  cpuTime=0.03  mem=15M6
1.01	   
1.01	   search
1.01	     run=0  nbConstraintChecks=14174  nbPropagations=1150  nbRevisions=8933  nbUselessRevisions=7212  nbAssignments=25
1.01	     nbFailedAssignments=6  nbBacktracks=12  nbVisitedNodes=39  nbRestartNogoods=0  mapSize=10  nbInferences=0
1.01	     nbTooLargeKeys=0
1.01	       =>  wckTime=0.082  cpuTime=0.05  mem=15M6
1.03	   
1.03	   search
1.03	     run=1  nbConstraintChecks=36481  nbPropagations=2781  nbRevisions=24545  nbUselessRevisions=20008  nbAssignments=55
1.03	     nbFailedAssignments=12  nbBacktracks=27  nbVisitedNodes=86  nbRestartNogoods=1  mapSize=23  nbInferences=0
1.03	     nbTooLargeKeys=0
1.03	       =>  wckTime=0.103  cpuTime=0.07  mem=15M6
1.05	   
1.05	   search
1.05	     run=2  nbConstraintChecks=58178  nbPropagations=4905  nbRevisions=47615  nbUselessRevisions=39304  nbAssignments=95
1.05	     nbFailedAssignments=22  nbBacktracks=49  nbVisitedNodes=145  nbRestartNogoods=4  mapSize=40  nbInferences=0
1.05	     nbTooLargeKeys=0
1.05	       =>  wckTime=0.119  cpuTime=0.08  mem=15M6
1.06	   
1.06	   search
1.06	     run=3  nbConstraintChecks=93915  nbPropagations=7776  nbRevisions=82576  nbUselessRevisions=68849
1.06	     nbAssignments=154  nbFailedAssignments=38  nbBacktracks=84  nbVisitedNodes=237  nbRestartNogoods=5  mapSize=69
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.136  cpuTime=0.09  mem=15M6
1.09	   
1.09	   search
1.09	     run=4  nbConstraintChecks=141435  nbPropagations=11651  nbRevisions=133530  nbUselessRevisions=112133
1.09	     nbAssignments=241  nbFailedAssignments=63  nbBacktracks=138  nbVisitedNodes=369  nbRestartNogoods=8  mapSize=109
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.158  cpuTime=0.11  mem=15M6
1.13	   
1.13	   search
1.13	     run=5  nbConstraintChecks=220218  nbPropagations=17029  nbRevisions=210781  nbUselessRevisions=178090
1.13	     nbAssignments=357  nbFailedAssignments=94  nbBacktracks=216  nbVisitedNodes=550  nbRestartNogoods=10  mapSize=165
1.13	     nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.201  cpuTime=0.15  mem=15M6
1.17	   
1.17	   search
1.17	     run=6  nbConstraintChecks=324314  nbPropagations=24448  nbRevisions=322353  nbUselessRevisions=273648
1.17	     nbAssignments=523  nbFailedAssignments=140  nbBacktracks=329  nbVisitedNodes=810  nbRestartNogoods=13  mapSize=246
1.17	     nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.245  cpuTime=0.19  mem=15M6
1.24	   
1.24	   search
1.24	     run=7  nbConstraintChecks=515979  nbPropagations=35459  nbRevisions=496396  nbUselessRevisions=422545
1.24	     nbAssignments=784  nbFailedAssignments=224  nbBacktracks=500  nbVisitedNodes=1247  nbRestartNogoods=17  mapSize=397
1.24	     nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.317  cpuTime=0.26  mem=15M6
1.33	   
1.33	   search
1.33	     run=8  nbConstraintChecks=748726  nbPropagations=50846  nbRevisions=749288  nbUselessRevisions=639641
1.33	     nbAssignments=1148  nbFailedAssignments=323  nbBacktracks=761  nbVisitedNodes=1824  nbRestartNogoods=21
1.33	     mapSize=588  nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.408  cpuTime=0.35  mem=15M6
1.49	   
1.49	   search
1.49	     run=9  nbConstraintChecks=1132214  nbPropagations=73272  nbRevisions=1129848  nbUselessRevisions=966737
1.49	     nbAssignments=1699  nbFailedAssignments=481  nbBacktracks=1146  nbVisitedNodes=2723  nbRestartNogoods=23
1.49	     mapSize=893  nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.566  cpuTime=0.48  mem=15M6
1.56	   
1.56	   INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M6)
1.71	   
1.71	   search
1.71	     run=10  nbConstraintChecks=1752539  nbPropagations=107176  nbRevisions=1712094  nbUselessRevisions=1466189
1.71	     nbAssignments=2553  nbFailedAssignments=752  nbBacktracks=1722  nbVisitedNodes=4136  nbRestartNogoods=28
1.71	       =>  wckTime=0.784  cpuTime=0.69  mem=15M6
1.96	   
1.96	   search
1.96	     run=11  nbConstraintChecks=2529997  nbPropagations=155697  nbRevisions=2557817  nbUselessRevisions=2193247
1.96	     nbAssignments=3766  nbFailedAssignments=1093  nbBacktracks=2587  nbVisitedNodes=6088  nbRestartNogoods=36
1.96	       =>  wckTime=1.036  cpuTime=0.95  mem=15M6
2.39	   
2.39	   search
2.39	     run=12  nbConstraintChecks=3856458  nbPropagations=228667  nbRevisions=3836574  nbUselessRevisions=3291618
2.39	     nbAssignments=5651  nbFailedAssignments=1672  nbBacktracks=3887  nbVisitedNodes=9175  nbRestartNogoods=41
2.39	       =>  wckTime=1.465  cpuTime=1.37  mem=15M6
2.99	   
2.99	   search
2.99	     run=13  nbConstraintChecks=5731146  nbPropagations=336345  nbRevisions=5731089  nbUselessRevisions=4919320
2.99	     nbAssignments=8423  nbFailedAssignments=2487  nbBacktracks=5833  nbVisitedNodes=13679  nbRestartNogoods=48
2.99	       =>  wckTime=2.061  cpuTime=1.97  mem=15M6
3.92	   
3.92	   search
3.92	     run=14  nbConstraintChecks=8647845  nbPropagations=497976  nbRevisions=8576192  nbUselessRevisions=7361473
3.92	     nbAssignments=12560  nbFailedAssignments=3700  nbBacktracks=8753  nbVisitedNodes=20462  nbRestartNogoods=55
3.92	       =>  wckTime=2.993  cpuTime=2.89  mem=15M6
5.34	   
5.34	   search
5.34	     run=15  nbConstraintChecks=13104548  nbPropagations=741657  nbRevisions=12858977  nbUselessRevisions=11032017
5.34	     nbAssignments=18804  nbFailedAssignments=5560  nbBacktracks=13132  nbVisitedNodes=30708  nbRestartNogoods=64
5.34	       =>  wckTime=4.41  cpuTime=4.3  mem=15M6
7.47	   
7.47	   search
7.47	     run=16  nbConstraintChecks=19760754  nbPropagations=1107924  nbRevisions=19309201  nbUselessRevisions=16559200
7.47	     nbAssignments=28216  nbFailedAssignments=8396  nbBacktracks=19703  nbVisitedNodes=46158  nbRestartNogoods=68
7.47	       =>  wckTime=6.54  cpuTime=6.42  mem=15M6
10.63	   
10.64	   search
10.64	     run=17  nbConstraintChecks=29697453  nbPropagations=1655093  nbRevisions=29002038  nbUselessRevisions=24870913
10.64	     nbAssignments=42234  nbFailedAssignments=12554  nbBacktracks=29558  nbVisitedNodes=69129  nbRestartNogoods=74
10.64	       =>  wckTime=9.709  cpuTime=9.57  mem=15M6
11.28	   
11.28	   search
11.28	     run=18  nbConstraintChecks=31714898  nbPropagations=2239030  nbRevisions=39354042  nbUselessRevisions=33748886
11.28	     nbAssignments=45098  nbFailedAssignments=13368  nbBacktracks=31568  nbVisitedNodes=73787  nbRestartNogoods=78
11.28	       =>  wckTime=10.354  cpuTime=10.22  mem=15M6
11.28	   
11.28	   global
11.28	     nbConstraintChecks=31735358  nbPropagations=2239840  nbRevisions=39358729  nbUselessRevisions=33752545
11.28	     nbRestartNogoods=78  solvingWckTime=10.355  solvingCpuTime=10.22  expiredTime=no  totalExploration=no
11.28	     nbFoundSolutions=1  globalCpuTime=10.66
11.28	       =>  wckTime=10.959  cpuTime=10.61  mem=15M6
11.28	   
11.28	s SATISFIABLE
11.28	v 2 5 3 6 2 7 0 6 0 4 0 7 6 0 1 0 7 6 0 3 0 2 2 2 5 0 0 0 0 3 0 3 5 3 1 6 0 5 0 5 
11.29	d NODES 45098
11.29	d CHECKS 31735358
11.29	   
11.29	   totalWckTime=11.042  totalCpuTime=10.66

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/node5/watcher-227738-1168278772 -o ROOT/results/node5/solver-227738-1168278772 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227738-1168278772/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.88 2.04 2.11 2/98 14063
/proc/meminfo: memFree=1202896/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=18540 CPUtime=0
/proc/14062/stat : 14062 (runsolver) R 14060 14062 12800 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156491662 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14062/statm: 4635 279 244 17 0 2626 0

[startup+0.102174 s]
/proc/loadavg: 1.88 2.04 2.11 2/98 14063
/proc/meminfo: memFree=1202896/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=913068 CPUtime=0.08
/proc/14062/stat : 14062 (java) S 14060 14062 12800 0 -1 0 2887 0 1 0 7 1 0 0 17 0 8 0 156491662 934981632 2633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14062/statm: 228267 2633 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.510221 s]
/proc/loadavg: 1.88 2.04 2.11 2/98 14063
/proc/meminfo: memFree=1202896/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=915328 CPUtime=0.49
/proc/14062/stat : 14062 (java) R 14060 14062 12800 0 -1 0 6240 0 1 0 44 5 0 0 18 0 8 0 156491662 937295872 5979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14062/statm: 228832 5979 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33131 s]
/proc/loadavg: 1.88 2.04 2.11 3/105 14070
/proc/meminfo: memFree=1178840/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=915584 CPUtime=1.3
/proc/14062/stat : 14062 (java) R 14060 14062 12800 0 -1 0 8756 0 1 0 122 8 0 0 24 0 8 0 156491662 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14062/statm: 228896 8494 2524 14 0 215366 0
[pid=14062/tid=14064] ppid=14060 vsize=915584 CPUtime=0.03
/proc/14062/task/14064/stat : 14064 (java) S 14060 14062 12800 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156491667 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14065] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14065/stat : 14065 (java) S 14060 14062 12800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156491667 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14066] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14066/stat : 14066 (java) S 14060 14062 12800 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491667 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14067] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14067/stat : 14067 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156491671 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14068] ppid=14060 vsize=915584 CPUtime=0.26
/proc/14062/task/14068/stat : 14068 (java) S 14060 14062 12800 0 -1 64 405 0 0 0 25 1 0 0 15 0 8 0 156491671 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14069] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14069/stat : 14069 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491671 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14070] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14070/stat : 14070 (java) S 14060 14062 12800 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156491671 937558016 8494 18446744073709551615 134512640 134570532 4294956464 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) 915584

[startup+2.96849 s]
/proc/loadavg: 1.89 2.03 2.11 3/105 14070
/proc/meminfo: memFree=1178584/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=915584 CPUtime=2.93
/proc/14062/stat : 14062 (java) R 14060 14062 12800 0 -1 0 8800 0 1 0 285 8 0 0 25 0 8 0 156491662 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073911335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14062/statm: 228896 8537 2524 14 0 215366 0
[pid=14062/tid=14064] ppid=14060 vsize=915584 CPUtime=0.03
/proc/14062/task/14064/stat : 14064 (java) S 14060 14062 12800 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156491667 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14065] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14065/stat : 14065 (java) S 14060 14062 12800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156491667 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14066] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14066/stat : 14066 (java) S 14060 14062 12800 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491667 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14067] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14067/stat : 14067 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156491671 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14068] ppid=14060 vsize=915584 CPUtime=0.29
/proc/14062/task/14068/stat : 14068 (java) S 14060 14062 12800 0 -1 64 420 0 0 0 28 1 0 0 16 0 8 0 156491671 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14069] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14069/stat : 14069 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491671 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14070] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14070/stat : 14070 (java) S 14060 14062 12800 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156491671 937558016 8537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915584

[startup+6.26987 s]
/proc/loadavg: 1.89 2.03 2.11 3/105 14070
/proc/meminfo: memFree=1178456/2055920 swapFree=4192812/4192956
[pid=14062] ppid=14060 vsize=915584 CPUtime=6.21
/proc/14062/stat : 14062 (java) R 14060 14062 12800 0 -1 0 8808 0 1 0 613 8 0 0 25 0 8 0 156491662 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928485 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14062/statm: 228896 8544 2524 14 0 215366 0
[pid=14062/tid=14064] ppid=14060 vsize=915584 CPUtime=0.03
/proc/14062/task/14064/stat : 14064 (java) S 14060 14062 12800 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156491667 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14065] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14065/stat : 14065 (java) S 14060 14062 12800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156491667 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14066] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14066/stat : 14066 (java) S 14060 14062 12800 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491667 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14067] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14067/stat : 14067 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156491671 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14068] ppid=14060 vsize=915584 CPUtime=0.3
/proc/14062/task/14068/stat : 14068 (java) S 14060 14062 12800 0 -1 64 420 0 0 0 29 1 0 0 15 0 8 0 156491671 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14069] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14069/stat : 14069 (java) S 14060 14062 12800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491671 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14062/tid=14070] ppid=14060 vsize=915584 CPUtime=0
/proc/14062/task/14070/stat : 14070 (java) S 14060 14062 12800 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156491671 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915584

Child status: 0
Real time (s): 11.3311
CPU time (s): 11.2313
CPU user time (s): 11.1343
CPU system time (s): 0.096985
CPU usage (%): 99.1193
Max. virtual memory (cumulated for all children) (KiB): 915584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1343
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8906
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= 1496
involuntary context switches= 2203

runsolver used 0.014997 s user time and 0.045993 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Mon Jan  8 17:52:52 UTC 2007


IDJOB= 227738
IDBENCH= 6109
FILE ID= node5/227738-1168278772

PBS_JOBID= 3483096

Free space on /tmp= 66354 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227738-1168278772/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-227738-1168278772 -o ROOT/results/node5/solver-227738-1168278772 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227738-1168278772/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2dc54fc58f8f656ca6898d0651b3f1c0

RANDOM SEED= 247651854

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1203376 kB
Buffers:         65472 kB
Cached:         558088 kB
SwapCached:          0 kB
Active:         346380 kB
Inactive:       442320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1203376 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2076 kB
Writeback:           0 kB
Mapped:         194120 kB
Slab:            48456 kB
Committed_AS:  5009728 kB
PageTables:       2440 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= 66354 MiB



End job on node5 on Mon Jan  8 17:53:04 UTC 2007