Trace number 213078

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 114.996 115.712

DiagnosticValue
CHECKS19649498
NODES1131762

General information on the benchmark

NamepseudoSeries/aim/
aim-200-2-0-4.xml
MD5SUM5b0fdac3ae84ac418e9177b7807f8ce8
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.245962
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints600
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/213078-1168225274/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.43	     nbVariables=400  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.43	       =>  wckTime=0.128  cpuTime=0.11  mem=7M50
0.43	   
0.43	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
0.68	     nbConstraints=600  nbConvertedConstraints=202  nbConvertConstraintsChecks=16  nbExtensionStructures=2
0.68	     nbSharedExtensionStructures=200  nbConflictsStructures=3  nbSharedConflictsStructures=597
0.68	     nbSharedBinaryRepresentations=5  nbEvaluationManagers=1  nbSharedEvaluationManagers=397  maxDegree=4  maxArity=3
0.68	       =>  wckTime=0.383  cpuTime=0.28  mem=11M926
0.73	   
0.73	   solver IterativeSystematicSolver being built... 
0.93	       =>  wckTime=0.633  cpuTime=0.44  mem=18M747
1.02	   
1.02	   preprocessing
1.02	     nbConstraintChecks=1891  nbValidityChecks=247  nbPropagations=1472  nbRevisions=1555  nbUselessRevisions=911
1.02	     nbSingletonTests=463  nbEffectiveSingletonTests=0  nbESACBranches=10  nbRemovedValues=0  detectedInconsistency=no
1.02	       =>  wckTime=0.089  cpuTime=0.06  mem=18M747
1.07	   
1.07	   search
1.07	     run=0  nbConstraintChecks=681  nbValidityChecks=240  nbPropagations=1810  nbRevisions=2167  nbUselessRevisions=1195
1.07	     nbAssignments=119  nbFailedAssignments=7  nbBacktracks=22  nbVisitedNodes=129  nbRestartNogoods=0  mapSize=6
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.138  cpuTime=0.09  mem=18M747
1.11	   
1.11	   search
1.11	     run=1  nbConstraintChecks=1852  nbValidityChecks=795  nbPropagations=4276  nbRevisions=5471
1.11	     nbUselessRevisions=2989  nbAssignments=389  nbFailedAssignments=16  nbBacktracks=72  nbVisitedNodes=293
1.11	     nbRestartNogoods=3  mapSize=14  nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.177  cpuTime=0.13  mem=18M747
1.16	   
1.16	   search
1.16	     run=2  nbConstraintChecks=3383  nbValidityChecks=1586  nbPropagations=7752  nbRevisions=10318
1.16	     nbUselessRevisions=5684  nbAssignments=983  nbFailedAssignments=21  nbBacktracks=101  nbVisitedNodes=496
1.16	     nbRestartNogoods=8  mapSize=19  nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.226  cpuTime=0.18  mem=18M747
1.20	   
1.20	   search
1.20	     run=3  nbConstraintChecks=4725  nbValidityChecks=2371  nbPropagations=12044  nbRevisions=16610
1.20	     nbUselessRevisions=9136  nbAssignments=1301  nbFailedAssignments=28  nbBacktracks=149  nbVisitedNodes=680
1.20	     nbRestartNogoods=12  mapSize=30  nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.266  cpuTime=0.21  mem=18M747
1.22	   
1.22	   search
1.22	     run=4  nbConstraintChecks=5461  nbValidityChecks=2823  nbPropagations=16761  nbRevisions=23663
1.22	     nbUselessRevisions=12946  nbAssignments=1448  nbFailedAssignments=37  nbBacktracks=211  nbVisitedNodes=847
1.22	     nbRestartNogoods=14  mapSize=46  nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.29  cpuTime=0.24  mem=18M747
1.26	   
1.26	   search
1.26	     run=5  nbConstraintChecks=6755  nbValidityChecks=3710  nbPropagations=22179  nbRevisions=32122
1.26	     nbUselessRevisions=17450  nbAssignments=1630  nbFailedAssignments=50  nbBacktracks=293  nbVisitedNodes=1054
1.26	     nbRestartNogoods=15  mapSize=70  nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.325  cpuTime=0.26  mem=18M747
1.29	   
1.29	   search
1.29	     run=6  nbConstraintChecks=8108  nbValidityChecks=4452  nbPropagations=28308  nbRevisions=41806
1.29	     nbUselessRevisions=22484  nbAssignments=1831  nbFailedAssignments=74  nbBacktracks=407  nbVisitedNodes=1303
1.29	     nbRestartNogoods=16  mapSize=116  nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.358  cpuTime=0.29  mem=18M747
1.33	   
1.33	   search
1.33	     run=7  nbConstraintChecks=9813  nbValidityChecks=5741  nbPropagations=35434  nbRevisions=53472
1.33	     nbUselessRevisions=28504  nbAssignments=2061  nbFailedAssignments=93  nbBacktracks=586  nbVisitedNodes=1571
1.33	     nbRestartNogoods=18  mapSize=150  nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.396  cpuTime=0.33  mem=18M747
1.41	   
1.41	   search
1.41	     run=8  nbConstraintChecks=13958  nbValidityChecks=8942  nbPropagations=44860  nbRevisions=70324
1.41	     nbUselessRevisions=37360  nbAssignments=2466  nbFailedAssignments=122  nbBacktracks=848  nbVisitedNodes=2050
1.41	     nbRestartNogoods=22  mapSize=220  nbInferences=0  nbTooLargeKeys=0
1.41	       =>  wckTime=0.475  cpuTime=0.4  mem=19M722
1.52	   
1.52	   search
1.52	     run=9  nbConstraintChecks=18357  nbValidityChecks=12619  nbPropagations=56643  nbRevisions=92694
1.52	     nbUselessRevisions=49330  nbAssignments=3012  nbFailedAssignments=167  nbBacktracks=1236  nbVisitedNodes=2678
1.52	     nbRestartNogoods=24  mapSize=296  nbInferences=0  nbTooLargeKeys=0
1.52	       =>  wckTime=0.588  cpuTime=0.51  mem=19M722
1.67	   
1.67	   search
1.67	     run=10  nbConstraintChecks=27471  nbValidityChecks=20431  nbPropagations=73295  nbRevisions=126690
1.67	     nbUselessRevisions=68087  nbAssignments=3872  nbFailedAssignments=278  nbBacktracks=1812  nbVisitedNodes=3639
1.67	     nbRestartNogoods=28  mapSize=528  nbInferences=1  nbTooLargeKeys=0
1.67	       =>  wckTime=0.739  cpuTime=0.65  mem=19M722
1.88	   
1.88	   search
1.88	     run=11  nbConstraintChecks=50703  nbValidityChecks=40539  nbPropagations=102910  nbRevisions=190375
1.88	     nbUselessRevisions=103088  nbAssignments=5002  nbFailedAssignments=497  nbBacktracks=2677  nbVisitedNodes=5216
1.88	     nbRestartNogoods=29  mapSize=969  nbInferences=1  nbTooLargeKeys=0
1.88	       =>  wckTime=0.946  cpuTime=0.86  mem=19M722
1.90	   
1.90	   INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=19M722)
2.05	   
2.05	   search
2.05	     run=12  nbConstraintChecks=73055  nbValidityChecks=57719  nbPropagations=144759  nbRevisions=280570
2.05	     nbUselessRevisions=152071  nbAssignments=6722  nbFailedAssignments=822  nbBacktracks=3976  nbVisitedNodes=7490
2.05	     nbRestartNogoods=35
2.05	       =>  wckTime=1.114  cpuTime=1.02  mem=19M722
2.33	   
2.33	   search
2.33	     run=13  nbConstraintChecks=121550  nbValidityChecks=95345  nbPropagations=214309  nbRevisions=427093
2.33	     nbUselessRevisions=229071  nbAssignments=9306  nbFailedAssignments=1422  nbBacktracks=5923  nbVisitedNodes=11284
2.33	     nbRestartNogoods=40
2.33	       =>  wckTime=1.399  cpuTime=1.29  mem=19M722
2.73	   
2.73	   search
2.73	     run=14  nbConstraintChecks=191971  nbValidityChecks=158117  nbPropagations=324055  nbRevisions=666297
2.73	     nbUselessRevisions=356372  nbAssignments=13072  nbFailedAssignments=2219  nbBacktracks=8843  nbVisitedNodes=16587
2.73	     nbRestartNogoods=45
2.73	       =>  wckTime=1.794  cpuTime=1.69  mem=19M722
3.28	   
3.28	   search
3.28	     run=15  nbConstraintChecks=261195  nbValidityChecks=208402  nbPropagations=472586  nbRevisions=980741
3.28	     nbUselessRevisions=519310  nbAssignments=19103  nbFailedAssignments=3549  nbBacktracks=13223  nbVisitedNodes=24917
3.28	     nbRestartNogoods=57
3.28	       =>  wckTime=2.346  cpuTime=2.24  mem=19M722
4.09	   
4.09	   search
4.09	     run=16  nbConstraintChecks=387296  nbValidityChecks=310108  nbPropagations=693787  nbRevisions=1443108
4.09	     nbUselessRevisions=755449  nbAssignments=27378  nbFailedAssignments=5218  nbBacktracks=19791  nbVisitedNodes=36524
4.09	     nbRestartNogoods=63
4.09	       =>  wckTime=3.162  cpuTime=3.05  mem=19M722
5.42	   
5.42	   search
5.42	     run=17  nbConstraintChecks=666570  nbValidityChecks=594274  nbPropagations=1074448  nbRevisions=2332421
5.42	     nbUselessRevisions=1251879  nbAssignments=39430  nbFailedAssignments=7320  nbBacktracks=29646  nbVisitedNodes=52859
5.42	     nbRestartNogoods=67
5.42	       =>  wckTime=4.492  cpuTime=4.38  mem=19M722
7.64	   
7.64	   search
7.64	     run=18  nbConstraintChecks=1189414  nbValidityChecks=1104270  nbPropagations=1772524  nbRevisions=3972366
7.64	     nbUselessRevisions=2172602  nbAssignments=57937  nbFailedAssignments=10939  nbBacktracks=44426
7.64	     nbVisitedNodes=78542  nbRestartNogoods=71
7.64	       =>  wckTime=6.712  cpuTime=6.6  mem=19M722
10.23	   
10.23	   search
10.23	     run=19  nbConstraintChecks=1568620  nbValidityChecks=1426718  nbPropagations=2690268  nbRevisions=6083412
10.23	     nbUselessRevisions=3339798  nbAssignments=85199  nbFailedAssignments=15933  nbBacktracks=66595
10.23	     nbVisitedNodes=116126  nbRestartNogoods=81
10.23	       =>  wckTime=9.296  cpuTime=9.18  mem=19M722
14.18	   
14.18	   search
14.18	     run=20  nbConstraintChecks=2263287  nbValidityChecks=2130015  nbPropagations=4011840  nbRevisions=9282191
14.18	     nbUselessRevisions=5179897  nbAssignments=125534  nbFailedAssignments=22933  nbBacktracks=99851
14.18	     nbVisitedNodes=169677  nbRestartNogoods=88
14.18	       =>  wckTime=13.246  cpuTime=13.11  mem=19M722
20.33	   
20.33	   search
20.33	     run=21  nbConstraintChecks=3460810  nbValidityChecks=3266242  nbPropagations=6041437  nbRevisions=14191897
20.33	     nbUselessRevisions=8003055  nbAssignments=184603  nbFailedAssignments=32026  nbBacktracks=149740
20.33	     nbVisitedNodes=247355  nbRestartNogoods=98
20.33	       =>  wckTime=19.396  cpuTime=19.25  mem=19M722
28.94	   
28.95	   search
28.95	     run=22  nbConstraintChecks=4864380  nbValidityChecks=4562904  nbPropagations=8884850  nbRevisions=21001782
28.95	     nbUselessRevisions=11885533  nbAssignments=273734  nbFailedAssignments=46084  nbBacktracks=224569
28.95	     nbVisitedNodes=363450  nbRestartNogoods=109
28.95	       =>  wckTime=28.013  cpuTime=27.85  mem=19M722
42.97	   
42.97	   search
42.97	     run=23  nbConstraintChecks=7444302  nbValidityChecks=6926658  nbPropagations=13217130  nbRevisions=31334690
42.97	     nbUselessRevisions=17743679  nbAssignments=407084  nbFailedAssignments=67123  nbBacktracks=336822
42.97	     nbVisitedNodes=538132  nbRestartNogoods=118
42.97	       =>  wckTime=42.034  cpuTime=41.69  mem=19M722
62.87	   
62.87	   search
62.87	     run=24  nbConstraintChecks=10432106  nbValidityChecks=9515440  nbPropagations=19315575  nbRevisions=45469135
62.87	     nbUselessRevisions=25584835  nbAssignments=610347  nbFailedAssignments=101901  nbBacktracks=505164
62.87	     nbVisitedNodes=810736  nbRestartNogoods=127
62.87	       =>  wckTime=61.939  cpuTime=61.25  mem=19M722
93.43	   
93.43	   search
93.43	     run=25  nbConstraintChecks=15785428  nbValidityChecks=14451810  nbPropagations=28593547  nbRevisions=66980844
93.43	     nbUselessRevisions=37556053  nbAssignments=913158  nbFailedAssignments=152149  nbBacktracks=757677
93.43	     nbVisitedNodes=1214361  nbRestartNogoods=137
93.43	       =>  wckTime=92.495  cpuTime=91.77  mem=19M722
115.66	   
115.66	   search
115.66	     run=26  nbConstraintChecks=19647607  nbValidityChecks=17951888  nbPropagations=40155510  nbRevisions=93709241
115.66	     nbUselessRevisions=52405976  nbAssignments=1131762  nbFailedAssignments=189812  nbBacktracks=938197
115.66	     nbVisitedNodes=1505060  nbRestartNogoods=148
115.66	       =>  wckTime=114.729  cpuTime=113.96  mem=19M722
115.66	   
115.66	   global
115.66	     nbConstraintChecks=19649498  nbValidityChecks=17952135  nbPropagations=40156982  nbRevisions=93710796
115.66	     nbUselessRevisions=52406887  nbRestartNogoods=148  solvingWckTime=114.73  solvingCpuTime=113.96  expiredTime=no
115.66	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=114.44
115.66	       =>  wckTime=115.365  cpuTime=114.4  mem=19M722
115.67	   
115.67	s SATISFIABLE
115.67	v 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 
115.67	d NODES 1131762
115.67	d CHECKS 19649498
115.67	   
115.67	   totalWckTime=115.446  totalCpuTime=114.45

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/node18/watcher-213078-1168225274 -o ROOT/results/node18/solver-213078-1168225274 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213078-1168225274/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.05 1.14 1.49 5/92 10196
/proc/meminfo: memFree=1749152/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=9600 CPUtime=0
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 379 0 0 0 0 0 0 0 18 0 1 0 170922685 9830400 167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 0 0 0
/proc/10195/statm: 2400 167 130 14 0 1138 0

[startup+0.107352 s]
/proc/loadavg: 1.05 1.14 1.49 5/92 10196
/proc/meminfo: memFree=1749152/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=914988 CPUtime=0.09
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 3084 0 1 0 8 1 0 0 22 0 8 0 170922685 936947712 2830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228747 2831 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515392 s]
/proc/loadavg: 1.05 1.14 1.49 5/92 10196
/proc/meminfo: memFree=1749152/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915328 CPUtime=0.49
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 6560 0 1 0 45 4 0 0 25 0 8 0 170922685 937295872 6299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073583534 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228832 6300 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34247 s]
/proc/loadavg: 1.05 1.14 1.49 3/99 10203
/proc/meminfo: memFree=1721640/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=1.32
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9745 0 1 0 124 8 0 0 25 0 8 0 170922685 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073964913 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9483 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.27
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 424 0 0 0 26 1 0 0 15 0 8 0 170922692 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915572

[startup+2.98763 s]
/proc/loadavg: 1.05 1.14 1.49 3/99 10221
/proc/meminfo: memFree=1720288/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=2.95
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9952 0 1 0 286 9 0 0 25 0 8 0 170922685 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073899021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9688 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 17 0 8 0 170922688 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 437 0 0 0 28 1 0 0 15 0 8 0 170922692 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915572

[startup+6.26995 s]
/proc/loadavg: 1.13 1.16 1.49 3/99 10227
/proc/meminfo: memFree=1720224/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=6.23
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9961 0 1 0 614 9 0 0 25 0 8 0 170922685 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9697 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 437 0 0 0 28 1 0 0 15 0 8 0 170922692 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9697 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) 915572

[startup+12.7676 s]
/proc/loadavg: 1.20 1.17 1.50 3/99 10237
/proc/meminfo: memFree=1720160/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=12.71
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9968 0 1 0 1261 10 0 0 25 0 8 0 170922685 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073904662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9704 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 439 0 0 0 28 1 0 0 16 0 8 0 170922692 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915572

[startup+25.6368 s]
/proc/loadavg: 1.37 1.21 1.50 3/99 10259
/proc/meminfo: memFree=1720232/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=25.54
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9975 0 1 0 2543 11 0 0 25 0 8 0 170922685 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073913626 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9711 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 439 0 0 0 28 1 0 0 16 0 8 0 170922692 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915572

[startup+51.2843 s]
/proc/loadavg: 2.04 1.37 1.55 4/104 10637
/proc/meminfo: memFree=1713624/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=50.69
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9981 0 1 0 5054 15 0 0 25 0 8 0 170922685 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073958779 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9717 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 439 0 0 0 28 1 0 0 16 0 8 0 170922692 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915572

[startup+102.554 s]
/proc/loadavg: 2.05 1.48 1.57 3/93 10727
/proc/meminfo: memFree=1691992/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=101.89
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9986 0 1 0 10172 17 0 0 25 0 8 0 170922685 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073906404 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9722 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 439 0 0 0 28 1 0 0 16 0 8 0 170922692 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915572

Child status: 0
Real time (s): 115.712
CPU time (s): 114.996
CPU user time (s): 114.81
CPU system time (s): 0.185971
CPU usage (%): 99.3807
Max. virtual memory (cumulated for all children) (KiB): 915572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.81
system time used= 0.185971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10082
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= 3724
involuntary context switches= 7578

runsolver used 0.177972 s user time and 0.366944 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Mon Jan  8 03:01:17 UTC 2007


IDJOB= 213078
IDBENCH= 4820
FILE ID= node18/213078-1168225274

PBS_JOBID= 3481001

Free space on /tmp= 66286 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-2-0-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213078-1168225274/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-213078-1168225274 -o ROOT/results/node18/solver-213078-1168225274 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213078-1168225274/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5b0fdac3ae84ac418e9177b7807f8ce8

RANDOM SEED= 945146935

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.231
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.231
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:       1749568 kB
Buffers:         52556 kB
Cached:         127780 kB
SwapCached:          0 kB
Active:         157092 kB
Inactive:        93268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1749568 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1876 kB
Writeback:           0 kB
Mapped:          92848 kB
Slab:            40516 kB
Committed_AS:  4847112 kB
PageTables:       2280 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= 66299 MiB



End job on node18 on Mon Jan  8 03:03:19 UTC 2007