Trace number 197087

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 6.43902 6.50965

DiagnosticValue
CHECKS7758558
NODES55788

General information on the benchmark

Namebqwh/bqwh-18-141/
bqwh-18-141-71_ext.xml
MD5SUM5bc28c7d36dbf3e6cdd9b1f576dd8b5b
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 benchmark0.106983
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables141
Number of constraints966
Maximum constraint arity2
Maximum domain size6
Number of constraints which are defined in extension966
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.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/197087-1168125246/unknown.xml
0.38	   
0.38	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.45	     nbVariables=141  nbDomainTypes=140  minDomainSize=1  maxDomainSize=6
0.46	       =>  wckTime=0.129  cpuTime=0.1  mem=6M886
0.46	   
0.46	   relations being loaded...
0.50	   
0.51	   constraints being loaded...
0.67	     nbConstraints=877  nbRelationTypes=241  nbSingletonDomainVariables=2  nbExtensionStructures=873
0.67	     nbSharedExtensionStructures=4  nbConflictsStructures=873  nbSharedConflictsStructures=4
0.67	     nbSharedBinaryRepresentations=6713  maxDegree=14  maxArity=2
0.67	       =>  wckTime=0.343  cpuTime=0.23  mem=11M762
0.71	   
0.71	   solver IterativeSystematicSolver being built... 
0.87	       =>  wckTime=0.541  cpuTime=0.35  mem=15M111
0.94	   
0.94	   preprocessing
0.94	     nbConstraintChecks=12396  nbPropagations=1500  nbRevisions=4156  nbUselessRevisions=2516  nbSingletonTests=185
0.94	     nbEffectiveSingletonTests=0  nbESACBranches=16  nbRemovedValues=11  detectedInconsistency=no
0.94	       =>  wckTime=0.067  cpuTime=0.04  mem=15M111
0.96	   
0.96	   search
0.96	     run=0  nbConstraintChecks=2804  nbPropagations=1825  nbRevisions=5134  nbUselessRevisions=3094  nbAssignments=68
0.96	     nbFailedAssignments=5  nbBacktracks=12  nbVisitedNodes=78  nbRestartNogoods=0  mapSize=4  nbInferences=0
0.96	     nbTooLargeKeys=0
0.96	       =>  wckTime=0.093  cpuTime=0.06  mem=16M103
0.98	   
0.98	   search
0.98	     run=1  nbConstraintChecks=8445  nbPropagations=4285  nbRevisions=12181  nbUselessRevisions=7381  nbAssignments=202
0.98	     nbFailedAssignments=9  nbBacktracks=40  nbVisitedNodes=156  nbRestartNogoods=5  mapSize=16  nbInferences=0
0.98	     nbTooLargeKeys=0
0.98	       =>  wckTime=0.106  cpuTime=0.07  mem=16M103
0.98	   
0.98	   search
0.98	     run=2  nbConstraintChecks=12633  nbPropagations=7146  nbRevisions=20835  nbUselessRevisions=12678
0.98	     nbAssignments=270  nbFailedAssignments=14  nbBacktracks=63  nbVisitedNodes=236  nbRestartNogoods=6  mapSize=24
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.114  cpuTime=0.07  mem=16M103
1.00	   
1.00	   search
1.00	     run=3  nbConstraintChecks=20148  nbPropagations=10783  nbRevisions=32264  nbUselessRevisions=19729
1.00	     nbAssignments=402  nbFailedAssignments=18  nbBacktracks=103  nbVisitedNodes=317  nbRestartNogoods=10  mapSize=33
1.00	     nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.128  cpuTime=0.09  mem=16M103
1.01	   
1.01	   search
1.01	     run=4  nbConstraintChecks=28935  nbPropagations=15115  nbRevisions=47151  nbUselessRevisions=28849
1.01	     nbAssignments=505  nbFailedAssignments=29  nbBacktracks=154  nbVisitedNodes=450  nbRestartNogoods=11  mapSize=57
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.144  cpuTime=0.1  mem=16M103
1.03	   
1.03	   search
1.03	     run=5  nbConstraintChecks=43933  nbPropagations=20725  nbRevisions=67931  nbUselessRevisions=41641
1.03	     nbAssignments=686  nbFailedAssignments=46  nbBacktracks=253  nbVisitedNodes=636  nbRestartNogoods=15  mapSize=95
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.164  cpuTime=0.12  mem=16M103
1.05	   
1.05	   search
1.05	     run=6  nbConstraintChecks=56922  nbPropagations=27457  nbRevisions=93891  nbUselessRevisions=57556
1.05	     nbAssignments=862  nbFailedAssignments=68  nbBacktracks=368  nbVisitedNodes=860  nbRestartNogoods=19  mapSize=137
1.05	     nbInferences=1  nbTooLargeKeys=0
1.05	       =>  wckTime=0.183  cpuTime=0.13  mem=16M103
1.08	   
1.08	   search
1.08	     run=7  nbConstraintChecks=78686  nbPropagations=35861  nbRevisions=128511  nbUselessRevisions=78732
1.08	     nbAssignments=1090  nbFailedAssignments=103  nbBacktracks=546  nbVisitedNodes=1155  nbRestartNogoods=23
1.08	     mapSize=202  nbInferences=1  nbTooLargeKeys=0
1.08	       =>  wckTime=0.209  cpuTime=0.16  mem=16M103
1.12	   
1.12	   search
1.12	     run=8  nbConstraintChecks=115157  nbPropagations=46923  nbRevisions=179044  nbUselessRevisions=110189
1.12	     nbAssignments=1437  nbFailedAssignments=156  nbBacktracks=809  nbVisitedNodes=1611  nbRestartNogoods=25
1.12	     mapSize=306  nbInferences=1  nbTooLargeKeys=0
1.12	       =>  wckTime=0.251  cpuTime=0.2  mem=16M103
1.19	   
1.19	   search
1.19	     run=9  nbConstraintChecks=164900  nbPropagations=61576  nbRevisions=251067  nbUselessRevisions=155595
1.19	     nbAssignments=1918  nbFailedAssignments=218  nbBacktracks=1198  nbVisitedNodes=2237  nbRestartNogoods=29
1.19	     mapSize=447  nbInferences=1  nbTooLargeKeys=0
1.19	       =>  wckTime=0.318  cpuTime=0.25  mem=16M103
1.28	   
1.28	   search
1.28	     run=10  nbConstraintChecks=278069  nbPropagations=83891  nbRevisions=373510  nbUselessRevisions=234545
1.28	     nbAssignments=2650  nbFailedAssignments=340  nbBacktracks=1776  nbVisitedNodes=3258  nbRestartNogoods=32
1.28	     mapSize=725  nbInferences=2  nbTooLargeKeys=0
1.28	       =>  wckTime=0.415  cpuTime=0.35  mem=16M103
1.37	   
1.37	   INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=16M103)
1.39	   
1.39	   search
1.39	     run=11  nbConstraintChecks=401536  nbPropagations=114922  nbRevisions=549287  nbUselessRevisions=348129
1.39	     nbAssignments=3696  nbFailedAssignments=487  nbBacktracks=2657  nbVisitedNodes=4667  nbRestartNogoods=36
1.39	       =>  wckTime=0.519  cpuTime=0.45  mem=16M103
1.54	   
1.54	   search
1.54	     run=12  nbConstraintChecks=613715  nbPropagations=160733  nbRevisions=818202  nbUselessRevisions=523452
1.54	     nbAssignments=5274  nbFailedAssignments=757  nbBacktracks=3957  nbVisitedNodes=6829  nbRestartNogoods=40
1.54	       =>  wckTime=0.667  cpuTime=0.6  mem=16M103
1.77	   
1.77	   search
1.77	     run=13  nbConstraintChecks=964320  nbPropagations=231006  nbRevisions=1231759  nbUselessRevisions=789665
1.77	     nbAssignments=7757  nbFailedAssignments=1278  nbBacktracks=5910  nbVisitedNodes=10382  nbRestartNogoods=41
1.77	       =>  wckTime=0.901  cpuTime=0.83  mem=16M103
2.15	   
2.15	   search
2.15	     run=14  nbConstraintChecks=1534049  nbPropagations=340082  nbRevisions=1897594  nbUselessRevisions=1225394
2.15	     nbAssignments=11336  nbFailedAssignments=1919  nbBacktracks=8829  nbVisitedNodes=15349  nbRestartNogoods=44
2.15	       =>  wckTime=1.284  cpuTime=1.21  mem=16M103
2.67	   
2.67	   search
2.67	     run=15  nbConstraintChecks=2263117  nbPropagations=500537  nbRevisions=2895295  nbUselessRevisions=1886936
2.67	     nbAssignments=16635  nbFailedAssignments=2786  nbBacktracks=13207  nbVisitedNodes=22560  nbRestartNogoods=50
2.67	       =>  wckTime=1.803  cpuTime=1.72  mem=16M103
3.47	   
3.47	   search
3.47	     run=16  nbConstraintChecks=3410506  nbPropagations=741025  nbRevisions=4400199  nbUselessRevisions=2885206
3.47	     nbAssignments=24884  nbFailedAssignments=4389  nbBacktracks=19778  nbVisitedNodes=34166  nbRestartNogoods=56
3.47	       =>  wckTime=2.598  cpuTime=2.52  mem=16M103
4.72	   
4.72	   search
4.72	     run=17  nbConstraintChecks=5274944  nbPropagations=1108336  nbRevisions=6740841  nbUselessRevisions=4447141
4.72	     nbAssignments=36996  nbFailedAssignments=6622  nbBacktracks=29635  nbVisitedNodes=51192  nbRestartNogoods=63
4.72	       =>  wckTime=3.853  cpuTime=3.77  mem=16M103
6.37	   
6.37	   search
6.37	     run=18  nbConstraintChecks=7609206  nbPropagations=1640479  nbRevisions=10114382  nbUselessRevisions=6697680
6.37	     nbAssignments=54807  nbFailedAssignments=9616  nbBacktracks=44416  nbVisitedNodes=75803  nbRestartNogoods=72
6.37	       =>  wckTime=5.499  cpuTime=5.42  mem=16M103
6.47	   
6.47	   search
6.47	     run=19  nbConstraintChecks=7746162  nbPropagations=2181813  nbRevisions=13546186  nbUselessRevisions=8985689
6.47	     nbAssignments=55788  nbFailedAssignments=9789  nbBacktracks=45083  nbVisitedNodes=77173  nbRestartNogoods=76
6.47	       =>  wckTime=5.597  cpuTime=5.51  mem=16M103
6.47	   
6.47	   global
6.47	     nbConstraintChecks=7758558  nbPropagations=2183313  nbRevisions=13550342  nbUselessRevisions=8988205
6.47	     nbRestartNogoods=76  solvingWckTime=5.598  solvingCpuTime=5.52  expiredTime=no  totalExploration=no
6.47	     nbFoundSolutions=1  globalCpuTime=5.92
6.47	       =>  wckTime=6.141  cpuTime=5.87  mem=16M103
6.47	   
6.47	s SATISFIABLE
6.47	v 7 10 11 3 9 16 14 14 9 6 0 5 10 12 4 10 5 4 0 3 17 2 11 17 0 14 13 4 10 2 12 4 12 14 13 17 5 7 16 15 0 16 10 11 4 1 2 14 12 2 0 3 1 7 9 2 16 3 15 12 8 4 11 1 16 14 17 5 7 11 15 4 9 8 2 0 15 3 0 2 7 13 16 6 8 9 8 7 2 15 10 11 5 13 10 2 15 5 9 11 16 5 15 3 12 1 7 14 4 3 7 14 2 17 1 15 5 12 0 3 10 2 15 8 1 16 17 14 15 9 7 6 3 12 3 7 2 9 8 0 13 
6.47	d NODES 55788
6.47	d CHECKS 7758558
6.47	   
6.47	   totalWckTime=6.218  totalCpuTime=5.92

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/node60/watcher-197087-1168125246 -o ROOT/results/node60/solver-197087-1168125246 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197087-1168125246/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.41 0.82 1.32 3/68 25516
/proc/meminfo: memFree=1830584/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=18540 CPUtime=0
/proc/25515/stat : 25515 (runsolver) D 25513 25515 25106 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 160923242 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/25515/statm: 4635 279 244 17 0 2626 0

[startup+0.105988 s]
/proc/loadavg: 0.41 0.82 1.32 3/68 25516
/proc/meminfo: memFree=1830584/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=911488 CPUtime=0.06
/proc/25515/stat : 25515 (java) R 25513 25515 25106 0 -1 0 2622 0 1 0 5 1 0 0 22 0 8 0 160923242 933363712 2369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154018734 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25515/statm: 227872 2369 1279 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.514025 s]
/proc/loadavg: 0.41 0.82 1.32 3/68 25516
/proc/meminfo: memFree=1830584/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=915328 CPUtime=0.47
/proc/25515/stat : 25515 (java) R 25513 25515 25106 0 -1 0 6272 0 1 0 43 4 0 0 17 0 8 0 160923242 937295872 6011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072919652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25515/statm: 228832 6011 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33411 s]
/proc/loadavg: 0.41 0.82 1.32 2/75 25523
/proc/meminfo: memFree=1806016/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=915568 CPUtime=1.29
/proc/25515/stat : 25515 (java) R 25513 25515 25106 0 -1 0 8987 0 1 0 122 7 0 0 17 0 8 0 160923242 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073933435 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25515/statm: 228892 8725 2524 14 0 215362 0
[pid=25515/tid=25517] ppid=25513 vsize=915568 CPUtime=0.03
/proc/25515/task/25517/stat : 25517 (java) S 25513 25515 25106 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 160923248 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25518] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25518/stat : 25518 (java) S 25513 25515 25106 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25519] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25519/stat : 25519 (java) S 25513 25515 25106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25520] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25520/stat : 25520 (java) S 25513 25515 25106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160923252 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25521] ppid=25513 vsize=915568 CPUtime=0.25
/proc/25515/task/25521/stat : 25521 (java) S 25513 25515 25106 0 -1 64 413 0 0 0 24 1 0 0 16 0 8 0 160923252 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25522] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25522/stat : 25522 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160923252 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25523] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25523/stat : 25523 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160923252 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915568

[startup+2.97026 s]
/proc/loadavg: 0.41 0.82 1.32 2/75 25523
/proc/meminfo: memFree=1805440/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=915568 CPUtime=2.92
/proc/25515/stat : 25515 (java) R 25513 25515 25106 0 -1 0 9020 0 1 0 285 7 0 0 18 0 8 0 160923242 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073933458 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25515/statm: 228892 8757 2525 14 0 215362 0
[pid=25515/tid=25517] ppid=25513 vsize=915568 CPUtime=0.03
/proc/25515/task/25517/stat : 25517 (java) S 25513 25515 25106 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 160923248 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25518] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25518/stat : 25518 (java) S 25513 25515 25106 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25519] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25519/stat : 25519 (java) S 25513 25515 25106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25520] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25520/stat : 25520 (java) S 25513 25515 25106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160923252 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25521] ppid=25513 vsize=915568 CPUtime=0.26
/proc/25515/task/25521/stat : 25521 (java) S 25513 25515 25106 0 -1 64 417 0 0 0 25 1 0 0 15 0 8 0 160923252 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25522] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25522/stat : 25522 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160923252 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25523] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25523/stat : 25523 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160923252 937541632 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915568

[startup+6.26159 s]
/proc/loadavg: 0.46 0.82 1.32 2/75 25523
/proc/meminfo: memFree=1805376/2055920 swapFree=4192812/4192956
[pid=25515] ppid=25513 vsize=915568 CPUtime=6.21
/proc/25515/stat : 25515 (java) R 25513 25515 25106 0 -1 0 9025 0 1 0 614 7 0 0 25 0 8 0 160923242 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073872723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25515/statm: 228892 8762 2525 14 0 215362 0
[pid=25515/tid=25517] ppid=25513 vsize=915568 CPUtime=0.03
/proc/25515/task/25517/stat : 25517 (java) S 25513 25515 25106 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 160923248 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25518] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25518/stat : 25518 (java) S 25513 25515 25106 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25519] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25519/stat : 25519 (java) S 25513 25515 25106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160923249 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25520] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25520/stat : 25520 (java) S 25513 25515 25106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160923252 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25521] ppid=25513 vsize=915568 CPUtime=0.26
/proc/25515/task/25521/stat : 25521 (java) S 25513 25515 25106 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 160923252 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25515/tid=25522] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25522/stat : 25522 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160923252 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25515/tid=25523] ppid=25513 vsize=915568 CPUtime=0
/proc/25515/task/25523/stat : 25523 (java) S 25513 25515 25106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160923252 937541632 8762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915568

Child status: 0
Real time (s): 6.50965
CPU time (s): 6.43902
CPU user time (s): 6.36003
CPU system time (s): 0.078987
CPU usage (%): 98.915
Max. virtual memory (cumulated for all children) (KiB): 915568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.36003
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9124
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= 1066
involuntary context switches= 158

runsolver used 0.004999 s user time and 0.028995 s system time

The end

Launcher Data (download as text)

Begin job on node60 on Sat Jan  6 23:14:10 UTC 2007


IDJOB= 197087
IDBENCH= 3439
FILE ID= node60/197087-1168125246

PBS_JOBID= 3477544

Free space on /tmp= 66552 MiB

BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-71_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197087-1168125246/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-197087-1168125246 -o ROOT/results/node60/solver-197087-1168125246 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197087-1168125246/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5bc28c7d36dbf3e6cdd9b1f576dd8b5b

RANDOM SEED= 137473055

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.236
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.236
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:       1831192 kB
Buffers:         20444 kB
Cached:         138540 kB
SwapCached:          0 kB
Active:          95016 kB
Inactive:        84172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1831192 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1816 kB
Writeback:           0 kB
Mapped:          30356 kB
Slab:            31220 kB
Committed_AS:  3469580 kB
PageTables:       1684 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 node60 on Sat Jan  6 23:14:25 UTC 2007