Trace number 199580

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 ESACUNSAT 97.0972 97.9431

DiagnosticValue
CHECKS651546326
NODES490572

General information on the benchmark

Namerandom/rand-2-23/
rand-23-23-253-131-47021_ext.xml
MD5SUM91689171d947c8c08ebb7b0d8380a5b4
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark24.4313
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables23
Number of constraints253
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension253
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/199580-1168135043/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=23  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.42	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.62	     nbConstraints=253  nbRelationTypes=253  nbExtensionStructures=253  nbSharedExtensionStructures=0
0.62	     nbConflictsStructures=253  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=829  maxDegree=22
0.62	     maxArity=2
0.62	       =>  wckTime=0.304  cpuTime=0.22  mem=12M803
0.66	   
0.66	   solver IterativeSystematicSolver being built... 
0.82	       =>  wckTime=0.507  cpuTime=0.35  mem=14M974
0.87	   
0.87	   preprocessing
0.87	     nbConstraintChecks=42232  nbPropagations=563  nbRevisions=5325  nbUselessRevisions=4598  nbSingletonTests=30
0.87	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.87	       =>  wckTime=0.044  cpuTime=0.04  mem=14M974
0.89	   
0.89	   search
0.89	     run=0  nbConstraintChecks=36977  nbPropagations=1042  nbRevisions=13267  nbUselessRevisions=11471  nbAssignments=31
0.89	     nbFailedAssignments=14  nbBacktracks=11  nbVisitedNodes=56  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.89	     nbTooLargeKeys=0
0.89	       =>  wckTime=0.067  cpuTime=0.06  mem=14M974
0.91	   
0.91	   search
0.91	     run=1  nbConstraintChecks=83574  nbPropagations=2661  nbRevisions=36229  nbUselessRevisions=31295  nbAssignments=69
0.91	     nbFailedAssignments=31  nbBacktracks=26  nbVisitedNodes=122  nbRestartNogoods=3  mapSize=26  nbInferences=0
0.91	     nbTooLargeKeys=0
0.91	       =>  wckTime=0.087  cpuTime=0.07  mem=14M974
0.93	   
0.93	   search
0.93	     run=2  nbConstraintChecks=160969  nbPropagations=5246  nbRevisions=73926  nbUselessRevisions=63678
0.93	     nbAssignments=129  nbFailedAssignments=52  nbBacktracks=48  nbVisitedNodes=212  nbRestartNogoods=7  mapSize=48
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.108  cpuTime=0.09  mem=14M974
0.96	   
0.96	   search
0.96	     run=3  nbConstraintChecks=275058  nbPropagations=9213  nbRevisions=134457  nbUselessRevisions=115689
0.96	     nbAssignments=216  nbFailedAssignments=88  nbBacktracks=83  nbVisitedNodes=350  nbRestartNogoods=14  mapSize=83
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.135  cpuTime=0.11  mem=14M974
0.99	   
0.99	   search
0.99	     run=4  nbConstraintChecks=417722  nbPropagations=14846  nbRevisions=225729  nbUselessRevisions=194147
0.99	     nbAssignments=324  nbFailedAssignments=142  nbBacktracks=133  nbVisitedNodes=552  nbRestartNogoods=15  mapSize=133
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.162  cpuTime=0.14  mem=14M974
1.03	   
1.03	   search
1.03	     run=5  nbConstraintChecks=601508  nbPropagations=22755  nbRevisions=358536  nbUselessRevisions=308419
1.03	     nbAssignments=477  nbFailedAssignments=215  nbBacktracks=208  nbVisitedNodes=838  nbRestartNogoods=19  mapSize=208
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.207  cpuTime=0.17  mem=14M974
1.09	   
1.09	   search
1.09	     run=6  nbConstraintChecks=910143  nbPropagations=34220  nbRevisions=557976  nbUselessRevisions=479899
1.09	     nbAssignments=719  nbFailedAssignments=339  nbBacktracks=322  nbVisitedNodes=1287  nbRestartNogoods=24  mapSize=321
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.263  cpuTime=0.23  mem=14M974
1.18	   
1.18	   search
1.18	     run=7  nbConstraintChecks=1361535  nbPropagations=50998  nbRevisions=857717  nbUselessRevisions=737670
1.18	     nbAssignments=1085  nbFailedAssignments=530  nbBacktracks=493  nbVisitedNodes=1975  nbRestartNogoods=31
1.18	     mapSize=488  nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.353  cpuTime=0.3  mem=14M974
1.31	   
1.31	   search
1.31	     run=8  nbConstraintChecks=2010643  nbPropagations=75468  nbRevisions=1302493  nbUselessRevisions=1120367
1.31	     nbAssignments=1592  nbFailedAssignments=777  nbBacktracks=749  nbVisitedNodes=2925  nbRestartNogoods=40
1.31	     mapSize=740  nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.482  cpuTime=0.42  mem=14M974
1.44	   
1.44	   INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M974)
1.47	   
1.47	   search
1.47	     run=9  nbConstraintChecks=3016590  nbPropagations=111446  nbRevisions=1969148  nbUselessRevisions=1694381
1.47	     nbAssignments=2372  nbFailedAssignments=1168  nbBacktracks=1134  nbVisitedNodes=4381  nbRestartNogoods=48
1.47	       =>  wckTime=0.645  cpuTime=0.57  mem=14M974
1.71	   
1.71	   search
1.71	     run=10  nbConstraintChecks=4472114  nbPropagations=164630  nbRevisions=2965229  nbUselessRevisions=2552694
1.71	     nbAssignments=3528  nbFailedAssignments=1742  nbBacktracks=1712  nbVisitedNodes=6546  nbRestartNogoods=54
1.71	       =>  wckTime=0.879  cpuTime=0.8  mem=14M974
2.03	   
2.03	   search
2.03	     run=11  nbConstraintChecks=6560605  nbPropagations=242924  nbRevisions=4436968  nbUselessRevisions=3821544
2.03	     nbAssignments=5259  nbFailedAssignments=2604  nbBacktracks=2577  nbVisitedNodes=9769  nbRestartNogoods=62
2.03	       =>  wckTime=1.199  cpuTime=1.11  mem=14M974
2.51	   
2.51	   search
2.51	     run=12  nbConstraintChecks=9722417  nbPropagations=358865  nbRevisions=6617088  nbUselessRevisions=5701073
2.51	     nbAssignments=7830  nbFailedAssignments=3875  nbBacktracks=3874  nbVisitedNodes=14558  nbRestartNogoods=71
2.51	       =>  wckTime=1.686  cpuTime=1.59  mem=14M974
3.26	   
3.26	   search
3.26	     run=13  nbConstraintChecks=14719125  nbPropagations=532779  nbRevisions=9911687  nbUselessRevisions=8541290
3.26	     nbAssignments=11757  nbFailedAssignments=5853  nbBacktracks=5820  nbVisitedNodes=21903  nbRestartNogoods=82
3.26	       =>  wckTime=2.433  cpuTime=2.34  mem=14M974
4.42	   
4.42	   search
4.42	     run=14  nbConstraintChecks=22492493  nbPropagations=795321  nbRevisions=14924133  nbUselessRevisions=12863921
4.42	     nbAssignments=17605  nbFailedAssignments=8778  nbBacktracks=8739  nbVisitedNodes=32879  nbRestartNogoods=91
4.42	       =>  wckTime=3.593  cpuTime=3.48  mem=14M974
6.12	   
6.12	   search
6.12	     run=15  nbConstraintChecks=33857205  nbPropagations=1188784  nbRevisions=22446908  nbUselessRevisions=19351032
6.12	     nbAssignments=26311  nbFailedAssignments=13103  nbBacktracks=13117  nbVisitedNodes=49187  nbRestartNogoods=104
6.12	       =>  wckTime=5.291  cpuTime=5.17  mem=14M974
8.69	   
8.69	   search
8.69	     run=16  nbConstraintChecks=50885771  nbPropagations=1780087  nbRevisions=33780795  nbUselessRevisions=29127175
8.70	     nbAssignments=39507  nbFailedAssignments=19726  nbBacktracks=19686  nbVisitedNodes=73953  nbRestartNogoods=117
8.70	       =>  wckTime=7.868  cpuTime=7.72  mem=14M974
12.51	   
12.51	   search
12.51	     run=17  nbConstraintChecks=76084462  nbPropagations=2663859  nbRevisions=50733979  nbUselessRevisions=43754020
12.51	     nbAssignments=59158  nbFailedAssignments=29520  nbBacktracks=29538  nbVisitedNodes=110748  nbRestartNogoods=132
12.51	       =>  wckTime=11.682  cpuTime=11.5  mem=14M974
18.30	   
18.30	   search
18.30	     run=18  nbConstraintChecks=115007961  nbPropagations=3991928  nbRevisions=76291871  nbUselessRevisions=65810442
18.30	     nbAssignments=88845  nbFailedAssignments=44425  nbBacktracks=44316  nbVisitedNodes=166352  nbRestartNogoods=151
18.30	       =>  wckTime=17.473  cpuTime=17.25  mem=14M974
26.84	   
26.84	   search
26.84	     run=19  nbConstraintChecks=171752600  nbPropagations=5980699  nbRevisions=114566109  nbUselessRevisions=98848286
26.84	     nbAssignments=133389  nbFailedAssignments=66796  nbBacktracks=66485  nbVisitedNodes=249705  nbRestartNogoods=165
26.84	       =>  wckTime=26.012  cpuTime=25.72  mem=14M974
40.14	   
40.14	   search
40.14	     run=20  nbConstraintChecks=261240335  nbPropagations=8982982  nbRevisions=172591514  nbUselessRevisions=148947115
40.14	     nbAssignments=200603  nbFailedAssignments=100753  nbBacktracks=99739  nbVisitedNodes=375882  nbRestartNogoods=188
40.14	       =>  wckTime=39.316  cpuTime=38.91  mem=14M974
59.98	   
59.98	   search
59.98	     run=21  nbConstraintChecks=394385217  nbPropagations=13501956  nbRevisions=260170340  nbUselessRevisions=224580613
59.98	     nbAssignments=301152  nbFailedAssignments=151419  nbBacktracks=149619  nbVisitedNodes=564560  nbRestartNogoods=196
59.98	       =>  wckTime=59.158  cpuTime=58.58  mem=14M974
90.14	   
90.14	   search
90.14	     run=22  nbConstraintChecks=598949757  nbPropagations=20313642  nbRevisions=392794639  nbUselessRevisions=339143426
90.14	     nbAssignments=451966  nbFailedAssignments=227412  nbBacktracks=224437  nbVisitedNodes=847598  nbRestartNogoods=210
90.14	       =>  wckTime=89.317  cpuTime=88.49  mem=14M974
97.92	   
97.92	   search
97.92	     run=23  nbConstraintChecks=651504094  nbPropagations=27713825  nbRevisions=537071168  nbUselessRevisions=463788738
97.92	     nbAssignments=490572  nbFailedAssignments=246842  nbBacktracks=243614  nbVisitedNodes=920048  nbRestartNogoods=225
97.92	       =>  wckTime=97.09  cpuTime=96.2  mem=14M974
97.92	   
97.92	   global
97.92	     nbConstraintChecks=651546326  nbPropagations=27714388  nbRevisions=537076493  nbUselessRevisions=463793336
97.92	     nbRestartNogoods=225  solvingWckTime=97.091  solvingCpuTime=96.2  expiredTime=no  totalExploration=yes
97.92	     nbFoundSolutions=0  globalCpuTime=96.6
97.92	       =>  wckTime=97.601  cpuTime=96.55  mem=14M974
97.92	   
97.92	s UNSATISFIABLE
97.92	d NODES 490572
97.92	d CHECKS 651546326
97.92	   
97.92	   totalWckTime=97.684  totalCpuTime=96.61

Verifier Data (download as text)

No possible verification on an UNSAT instance

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-199580-1168135043 -o ROOT/results/node5/solver-199580-1168135043 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199580-1168135043/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.99 1.98 2.08 3/86 28581
/proc/meminfo: memFree=1829296/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=18540 CPUtime=0
/proc/28580/stat : 28580 (runsolver) R 28578 28580 28020 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 142118735 18984960 280 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28580/statm: 4635 280 244 17 0 2626 0

[startup+0.108494 s]
/proc/loadavg: 1.99 1.98 2.08 3/86 28581
/proc/meminfo: memFree=1829296/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=914988 CPUtime=0.08
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 142118735 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934701 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516541 s]
/proc/loadavg: 1.99 1.98 2.08 3/86 28581
/proc/meminfo: memFree=1829296/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915328 CPUtime=0.49
/proc/28580/stat : 28580 (java) S 28578 28580 28020 0 -1 0 6872 0 1 0 45 4 0 0 18 0 8 0 142118735 937295872 6611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228832 6611 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33963 s]
/proc/loadavg: 1.99 1.98 2.08 4/93 28588
/proc/meminfo: memFree=1805496/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=1.3
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8678 0 1 0 123 7 0 0 20 0 8 0 142118735 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8416 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 142118740 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.22
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 142118743 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452

[startup+2.98782 s]
/proc/loadavg: 1.99 1.98 2.08 3/93 28588
/proc/meminfo: memFree=1805304/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=2.94
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8702 0 1 0 287 7 0 0 25 0 8 0 142118735 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8439 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 17 0 8 0 142118740 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.24
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 142118743 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452

[startup+6.26719 s]
/proc/loadavg: 1.99 1.98 2.08 3/93 28588
/proc/meminfo: memFree=1805176/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=6.19
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8711 0 1 0 612 7 0 0 25 0 8 0 142118735 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8446 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 17 0 8 0 142118740 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.24
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 142118743 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452

[startup+12.7539 s]
/proc/loadavg: 1.99 1.98 2.08 3/93 28588
/proc/meminfo: memFree=1805240/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=12.62
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8718 0 1 0 1255 7 0 0 25 0 8 0 142118735 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805333 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8453 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 142118740 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.24
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 142118743 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915452

[startup+25.5974 s]
/proc/loadavg: 1.99 1.98 2.08 3/93 28588
/proc/meminfo: memFree=1805240/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=25.36
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8720 0 1 0 2529 7 0 0 25 0 8 0 142118735 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8455 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 142118740 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.24
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 142118743 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915452

[startup+51.2023 s]
/proc/loadavg: 1.99 1.98 2.08 3/93 28588
/proc/meminfo: memFree=1805240/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=50.74
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8725 0 1 0 5067 7 0 0 25 0 8 0 142118735 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8460 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 142118740 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.24
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 142118743 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 97.9431
CPU time (s): 97.0972
CPU user time (s): 97.0083
CPU system time (s): 0.088986
CPU usage (%): 99.1363
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.0083
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8822
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= 2858
involuntary context switches= 3124

runsolver used 0.093985 s user time and 0.352946 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sun Jan  7 01:57:23 UTC 2007


IDJOB= 199580
IDBENCH= 3627
FILE ID= node5/199580-1168135043

PBS_JOBID= 3477774

Free space on /tmp= 66330 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-47021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199580-1168135043/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-199580-1168135043 -o ROOT/results/node5/solver-199580-1168135043 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199580-1168135043/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  91689171d947c8c08ebb7b0d8380a5b4

RANDOM SEED= 667223662

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:       1829776 kB
Buffers:         37408 kB
Cached:          81592 kB
SwapCached:          0 kB
Active:         103184 kB
Inactive:        66864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1829776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1864 kB
Writeback:           0 kB
Mapped:          73388 kB
Slab:            40968 kB
Committed_AS:  3481796 kB
PageTables:       2132 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= 66330 MiB



End job on node5 on Sun Jan  7 01:59:01 UTC 2007