Trace number 208406

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 83.8203 84.6534

DiagnosticValue
CHECKS516143492
NODES388035

General information on the benchmark

Namerandom/rand-2-40-19-fcd/
rand-2-40-19-443-230-fcd-43_ext.xml
MD5SUM20bd891c69bd6530f4d731b0fb982388
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 benchmark30.7193
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints340
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension340
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/208406-1168187431/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.43	       =>  wckTime=0.101  cpuTime=0.08  mem=6M951
0.43	   
0.43	   relations being loaded...
0.53	   
0.53	   constraints being loaded...
0.65	     nbConstraints=340  nbRelationTypes=340  nbExtensionStructures=340  nbSharedExtensionStructures=0
0.65	     nbConflictsStructures=340  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2966  maxDegree=22
0.65	     maxArity=2
0.65	       =>  wckTime=0.324  cpuTime=0.23  mem=12M811
0.69	   
0.69	   solver IterativeSystematicSolver being built... 
0.85	       =>  wckTime=0.528  cpuTime=0.37  mem=15M17
0.90	   
0.90	   preprocessing
0.90	     nbConstraintChecks=57736  nbPropagations=828  nbRevisions=6393  nbUselessRevisions=5375  nbSingletonTests=45
0.90	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.91	       =>  wckTime=0.049  cpuTime=0.04  mem=15M17
0.93	   
0.93	   search
0.93	     run=0  nbConstraintChecks=35429  nbPropagations=1363  nbRevisions=12871  nbUselessRevisions=10673  nbAssignments=31
0.93	     nbFailedAssignments=12  nbBacktracks=10  nbVisitedNodes=50  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.93	     nbTooLargeKeys=0
0.93	       =>  wckTime=0.074  cpuTime=0.06  mem=15M17
0.96	   
0.96	   search
0.96	     run=1  nbConstraintChecks=122956  nbPropagations=3859  nbRevisions=37509  nbUselessRevisions=30875
0.96	     nbAssignments=95  nbFailedAssignments=24  nbBacktracks=26  nbVisitedNodes=104  nbRestartNogoods=5  mapSize=22
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.101  cpuTime=0.07  mem=15M17
0.97	   
0.97	   search
0.97	     run=2  nbConstraintChecks=185677  nbPropagations=7224  nbRevisions=73028  nbUselessRevisions=59701
0.97	     nbAssignments=143  nbFailedAssignments=43  nbBacktracks=48  nbVisitedNodes=183  nbRestartNogoods=6  mapSize=41
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.119  cpuTime=0.09  mem=15M17
0.99	   
0.99	   search
0.99	     run=3  nbConstraintChecks=265758  nbPropagations=11788  nbRevisions=124513  nbUselessRevisions=101595
0.99	     nbAssignments=215  nbFailedAssignments=73  nbBacktracks=81  nbVisitedNodes=305  nbRestartNogoods=9  mapSize=72
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.137  cpuTime=0.11  mem=15M17
1.03	   
1.03	   search
1.03	     run=4  nbConstraintChecks=419340  nbPropagations=18382  nbRevisions=204012  nbUselessRevisions=165754
1.03	     nbAssignments=321  nbFailedAssignments=123  nbBacktracks=132  nbVisitedNodes=496  nbRestartNogoods=12  mapSize=122
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.169  cpuTime=0.13  mem=15M17
1.06	   
1.06	   search
1.06	     run=5  nbConstraintChecks=579524  nbPropagations=27442  nbRevisions=316388  nbUselessRevisions=256562
1.06	     nbAssignments=450  nbFailedAssignments=170  nbBacktracks=209  nbVisitedNodes=723  nbRestartNogoods=13  mapSize=187
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.207  cpuTime=0.17  mem=15M17
1.12	   
1.12	   search
1.12	     run=6  nbConstraintChecks=864037  nbPropagations=40380  nbRevisions=483458  nbUselessRevisions=391815
1.12	     nbAssignments=664  nbFailedAssignments=261  nbBacktracks=324  nbVisitedNodes=1101  nbRestartNogoods=15  mapSize=293
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.261  cpuTime=0.22  mem=15M17
1.20	   
1.20	   search
1.20	     run=7  nbConstraintChecks=1256771  nbPropagations=59002  nbRevisions=727527  nbUselessRevisions=589551
1.20	     nbAssignments=969  nbFailedAssignments=386  nbBacktracks=494  nbVisitedNodes=1634  nbRestartNogoods=19  mapSize=438
1.20	     nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.349  cpuTime=0.3  mem=15M17
1.32	   
1.32	   search
1.32	     run=8  nbConstraintChecks=1855355  nbPropagations=86162  nbRevisions=1087417  nbUselessRevisions=880751
1.32	     nbAssignments=1436  nbFailedAssignments=573  nbBacktracks=750  nbVisitedNodes=2410  nbRestartNogoods=30
1.32	     mapSize=649  nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.466  cpuTime=0.41  mem=15M17
1.52	   
1.52	   search
1.52	     run=9  nbConstraintChecks=2886545  nbPropagations=127180  nbRevisions=1642723  nbUselessRevisions=1329333
1.52	     nbAssignments=2147  nbFailedAssignments=892  nbBacktracks=1134  nbVisitedNodes=3689  nbRestartNogoods=40
1.52	     mapSize=997  nbInferences=0  nbTooLargeKeys=0
1.52	       =>  wckTime=0.66  cpuTime=0.59  mem=15M17
1.53	   
1.53	   INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=15M17)
1.75	   
1.75	   search
1.75	     run=10  nbConstraintChecks=4216760  nbPropagations=186735  nbRevisions=2455818  nbUselessRevisions=1986210
1.75	     nbAssignments=3166  nbFailedAssignments=1328  nbBacktracks=1712  nbVisitedNodes=5498  nbRestartNogoods=51
1.75	       =>  wckTime=0.892  cpuTime=0.81  mem=15M17
2.07	   
2.07	   search
2.07	     run=11  nbConstraintChecks=6177756  nbPropagations=273658  nbRevisions=3649735  nbUselessRevisions=2950230
2.07	     nbAssignments=4665  nbFailedAssignments=1956  nbBacktracks=2578  nbVisitedNodes=8137  nbRestartNogoods=56
2.07	       =>  wckTime=1.213  cpuTime=1.13  mem=15M17
2.56	   
2.56	   search
2.56	     run=12  nbConstraintChecks=9108031  nbPropagations=401737  nbRevisions=5427105  nbUselessRevisions=4387099
2.56	     nbAssignments=6956  nbFailedAssignments=2942  nbBacktracks=3875  nbVisitedNodes=12206  nbRestartNogoods=62
2.56	       =>  wckTime=1.704  cpuTime=1.61  mem=15M17
3.30	   
3.30	   search
3.30	     run=13  nbConstraintChecks=13626331  nbPropagations=592871  nbRevisions=8092350  nbUselessRevisions=6542342
3.30	     nbAssignments=10333  nbFailedAssignments=4365  nbBacktracks=5822  nbVisitedNodes=18178  nbRestartNogoods=75
3.30	       =>  wckTime=2.441  cpuTime=2.34  mem=15M17
4.37	   
4.37	   search
4.37	     run=14  nbConstraintChecks=20161318  nbPropagations=875669  nbRevisions=12037146  nbUselessRevisions=9732763
4.37	     nbAssignments=15323  nbFailedAssignments=6430  nbBacktracks=8741  nbVisitedNodes=26901  nbRestartNogoods=88
4.37	       =>  wckTime=3.514  cpuTime=3.41  mem=15M17
6.08	   
6.08	   search
6.08	     run=15  nbConstraintChecks=30828541  nbPropagations=1300856  nbRevisions=17998798  nbUselessRevisions=14550170
6.08	     nbAssignments=22922  nbFailedAssignments=9643  nbBacktracks=13121  nbVisitedNodes=40343  nbRestartNogoods=99
6.08	       =>  wckTime=5.225  cpuTime=5.1  mem=15M17
8.42	   
8.42	   search
8.42	     run=16  nbConstraintChecks=45259193  nbPropagations=1928041  nbRevisions=26738276  nbUselessRevisions=21605759
8.42	     nbAssignments=33930  nbFailedAssignments=14076  nbBacktracks=19693  nbVisitedNodes=59481  nbRestartNogoods=108
8.42	       =>  wckTime=7.562  cpuTime=7.41  mem=15M17
12.03	   
12.03	   search
12.03	     run=17  nbConstraintChecks=67913139  nbPropagations=2861173  nbRevisions=39809176  nbUselessRevisions=32157002
12.03	     nbAssignments=50716  nbFailedAssignments=21004  nbBacktracks=29547  nbVisitedNodes=88823  nbRestartNogoods=115
12.03	       =>  wckTime=11.178  cpuTime=11.0  mem=15M17
17.69	   
17.69	   search
17.69	     run=18  nbConstraintChecks=103319723  nbPropagations=4272259  nbRevisions=59652761  nbUselessRevisions=48184656
17.69	     nbAssignments=76105  nbFailedAssignments=31608  nbBacktracks=44326  nbVisitedNodes=133665  nbRestartNogoods=122
17.69	       =>  wckTime=16.831  cpuTime=16.6  mem=15M992
25.71	   
25.71	   search
25.71	     run=19  nbConstraintChecks=152602205  nbPropagations=6365674  nbRevisions=89078335  nbUselessRevisions=71966965
25.71	     nbAssignments=113226  nbFailedAssignments=46554  nbBacktracks=66494  nbVisitedNodes=198565  nbRestartNogoods=137
25.71	       =>  wckTime=24.858  cpuTime=24.56  mem=15M992
37.45	   
37.46	   search
37.46	     run=20  nbConstraintChecks=224584523  nbPropagations=9469704  nbRevisions=132547313  nbUselessRevisions=107106688
37.46	     nbAssignments=169145  nbFailedAssignments=69212  nbBacktracks=99747  nbVisitedNodes=295890  nbRestartNogoods=145
37.46	       =>  wckTime=36.6  cpuTime=36.18  mem=15M992
55.57	   
55.57	   search
55.57	     run=21  nbConstraintChecks=336987752  nbPropagations=14113484  nbRevisions=197654265  nbUselessRevisions=159750201
55.57	     nbAssignments=252788  nbFailedAssignments=102970  nbBacktracks=149626  nbVisitedNodes=441895  nbRestartNogoods=152
55.57	       =>  wckTime=54.719  cpuTime=54.14  mem=15M992
82.37	   
82.37	   search
82.37	     run=22  nbConstraintChecks=502642889  nbPropagations=21027382  nbRevisions=294805567  nbUselessRevisions=238349325
82.37	     nbAssignments=377460  nbFailedAssignments=152817  nbBacktracks=224445  nbVisitedNodes=658614  nbRestartNogoods=160
82.37	       =>  wckTime=81.511  cpuTime=80.7  mem=15M992
84.59	   
84.59	   search
84.59	     run=23  nbConstraintChecks=516085756  nbPropagations=28131453  nbRevisions=394584271  nbUselessRevisions=319071925
84.59	     nbAssignments=388035  nbFailedAssignments=157122  nbBacktracks=230675  nbVisitedNodes=676982  nbRestartNogoods=177
84.59	       =>  wckTime=83.731  cpuTime=82.9  mem=15M992
84.59	   
84.59	   global
84.59	     nbConstraintChecks=516143492  nbPropagations=28132281  nbRevisions=394590664  nbUselessRevisions=319077300
84.59	     nbRestartNogoods=177  solvingWckTime=83.732  solvingCpuTime=82.9  expiredTime=no  totalExploration=no
84.59	     nbFoundSolutions=1  globalCpuTime=83.32
84.59	       =>  wckTime=84.264  cpuTime=83.27  mem=15M992
84.59	   
84.59	s SATISFIABLE
84.59	v 8 6 4 0 18 6 11 16 14 13 12 6 8 15 4 0 11 17 5 11 4 17 9 16 3 16 2 8 2 6 2 4 14 11 2 2 16 5 12 5 
84.59	d NODES 388035
84.59	d CHECKS 516143492
84.59	   
84.59	   totalWckTime=84.347  totalCpuTime=83.33

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/node17/watcher-208406-1168187431 -o ROOT/results/node17/solver-208406-1168187431 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208406-1168187431/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.92 1.98 1.99 2/88 22236
/proc/meminfo: memFree=1624752/2055920 swapFree=4192812/4192956
[pid=22235] ppid=22233 vsize=18540 CPUtime=0
/proc/22235/stat : 22235 (runsolver) R 22233 22235 19881 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 167137855 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22235/statm: 4635 279 244 17 0 2626 0

[startup+0.10285 s]
/proc/loadavg: 1.92 1.98 1.99 2/88 22236
/proc/meminfo: memFree=1624752/2055920 swapFree=4192812/4192956
[pid=22235] ppid=22233 vsize=912908 CPUtime=0.07
/proc/22235/stat : 22235 (java) S 22233 22235 19881 0 -1 0 2821 0 1 0 6 1 0 0 18 0 8 0 167137855 934817792 2567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22235/statm: 228227 2567 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908

[startup+0.511892 s]
/proc/loadavg: 1.92 1.98 1.99 2/88 22236
/proc/meminfo: memFree=1624752/2055920 swapFree=4192812/4192956
[pid=22235] ppid=22233 vsize=915328 CPUtime=0.47
/proc/22235/stat : 22235 (java) R 22233 22235 19881 0 -1 0 6717 0 1 0 43 4 0 0 18 0 8 0 167137855 937295872 6456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072936459 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22235/statm: 228832 6456 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.34098 s]
/proc/loadavg: 1.92 1.98 1.99 3/95 22243
/proc/meminfo: memFree=1600824/2055920 swapFree=4192812/4192956
[pid=22235] ppid=22233 vsize=915456 CPUtime=1.3
/proc/22235/stat : 22235 (java) R 22233 22235 19881 0 -1 0 8728 0 1 0 123 7 0 0 24 0 8 0 167137855 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22235/statm: 228864 8466 2524 14 0 215334 0
[pid=22235/tid=22237] ppid=22233 vsize=915456 CPUtime=0.03
/proc/22235/task/22237/stat : 22237 (java) S 22233 22235 19881 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167137860 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22238] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22238/stat : 22238 (java) S 22233 22235 19881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167137861 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22239] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22239/stat : 22239 (java) S 22233 22235 19881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167137861 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22240] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22240/stat : 22240 (java) S 22233 22235 19881 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167137864 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22241] ppid=22233 vsize=915456 CPUtime=0.2
/proc/22235/task/22241/stat : 22241 (java) S 22233 22235 19881 0 -1 64 380 0 0 0 19 1 0 0 16 0 8 0 167137864 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22242] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22242/stat : 22242 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167137864 937426944 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22243] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22243/stat : 22243 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167137864 937426944 8466 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) 915456

[startup+2.98514 s]
/proc/loadavg: 1.92 1.98 1.99 3/95 22243
/proc/meminfo: memFree=1600504/2055920 swapFree=4192812/4192956
[pid=22235] ppid=22233 vsize=915456 CPUtime=2.93
/proc/22235/stat : 22235 (java) R 22233 22235 19881 0 -1 0 8769 0 1 0 286 7 0 0 25 0 8 0 167137855 937426944 8506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22235/statm: 228864 8506 2524 14 0 215334 0
[pid=22235/tid=22237] ppid=22233 vsize=915456 CPUtime=0.03
/proc/22235/task/22237/stat : 22237 (java) S 22233 22235 19881 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 167137860 937426944 8506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22238] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22238/stat : 22238 (java) S 22233 22235 19881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167137861 937426944 8506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22239] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22239/stat : 22239 (java) S 22233 22235 19881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167137861 937426944 8506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22240] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22240/stat : 22240 (java) S 22233 22235 19881 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167137864 937426944 8506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22241] ppid=22233 vsize=915456 CPUtime=0.23
/proc/22235/task/22241/stat : 22241 (java) S 22233 22235 19881 0 -1 64 393 0 0 0 22 1 0 0 15 0 8 0 167137864 937426944 8506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22242] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22242/stat : 22242 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167137864 937426944 8506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22243] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22243/stat : 22243 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167137864 937426944 8506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456

[startup+6.26449 s]
/proc/loadavg: 1.93 1.98 1.99 3/95 22243
/proc/meminfo: memFree=1600440/2055920 swapFree=4192812/4192956
[pid=22235] ppid=22233 vsize=915456 CPUtime=6.18
/proc/22235/stat : 22235 (java) R 22233 22235 19881 0 -1 0 8780 0 1 0 611 7 0 0 25 0 8 0 167137855 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22235/statm: 228864 8515 2524 14 0 215334 0
[pid=22235/tid=22237] ppid=22233 vsize=915456 CPUtime=0.03
/proc/22235/task/22237/stat : 22237 (java) S 22233 22235 19881 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167137860 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22238] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22238/stat : 22238 (java) S 22233 22235 19881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167137861 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22239] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22239/stat : 22239 (java) S 22233 22235 19881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167137861 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22240] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22240/stat : 22240 (java) S 22233 22235 19881 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167137864 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22241] ppid=22233 vsize=915456 CPUtime=0.23
/proc/22235/task/22241/stat : 22241 (java) S 22233 22235 19881 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 167137864 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22242] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22242/stat : 22242 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167137864 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22243] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22243/stat : 22243 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167137864 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915456

[startup+12.7532 s]
/proc/loadavg: 1.93 1.98 1.99 3/95 22243
/proc/meminfo: memFree=1600384/2055920 swapFree=4192812/4192956
[pid=22235] ppid=22233 vsize=915456 CPUtime=12.6
/proc/22235/stat : 22235 (java) R 22233 22235 19881 0 -1 0 8784 0 1 0 1253 7 0 0 25 0 8 0 167137855 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22235/statm: 228864 8519 2524 14 0 215334 0
[pid=22235/tid=22237] ppid=22233 vsize=915456 CPUtime=0.03
/proc/22235/task/22237/stat : 22237 (java) S 22233 22235 19881 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167137860 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22238] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22238/stat : 22238 (java) S 22233 22235 19881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167137861 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22239] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22239/stat : 22239 (java) S 22233 22235 19881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167137861 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22240] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22240/stat : 22240 (java) S 22233 22235 19881 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167137864 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22241] ppid=22233 vsize=915456 CPUtime=0.23
/proc/22235/task/22241/stat : 22241 (java) S 22233 22235 19881 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 167137864 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22242] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22242/stat : 22242 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167137864 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22243] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22243/stat : 22243 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167137864 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915456

[startup+25.6035 s]
/proc/loadavg: 1.95 1.98 1.99 3/95 22243
/proc/meminfo: memFree=1600512/2055920 swapFree=4192812/4192956
[pid=22235] ppid=22233 vsize=915456 CPUtime=25.34
/proc/22235/stat : 22235 (java) R 22233 22235 19881 0 -1 0 8787 0 1 0 2527 7 0 0 25 0 8 0 167137855 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22235/statm: 228864 8522 2524 14 0 215334 0
[pid=22235/tid=22237] ppid=22233 vsize=915456 CPUtime=0.03
/proc/22235/task/22237/stat : 22237 (java) S 22233 22235 19881 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167137860 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22238] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22238/stat : 22238 (java) S 22233 22235 19881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167137861 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22239] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22239/stat : 22239 (java) S 22233 22235 19881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167137861 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22240] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22240/stat : 22240 (java) S 22233 22235 19881 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167137864 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22241] ppid=22233 vsize=915456 CPUtime=0.23
/proc/22235/task/22241/stat : 22241 (java) S 22233 22235 19881 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 167137864 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22242] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22242/stat : 22242 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167137864 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22243] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22243/stat : 22243 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167137864 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915456

[startup+51.2132 s]
/proc/loadavg: 1.96 1.98 1.99 3/95 22243
/proc/meminfo: memFree=1600512/2055920 swapFree=4192812/4192956
[pid=22235] ppid=22233 vsize=915456 CPUtime=50.71
/proc/22235/stat : 22235 (java) R 22233 22235 19881 0 -1 0 8792 0 1 0 5064 7 0 0 25 0 8 0 167137855 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22235/statm: 228864 8527 2524 14 0 215334 0
[pid=22235/tid=22237] ppid=22233 vsize=915456 CPUtime=0.03
/proc/22235/task/22237/stat : 22237 (java) S 22233 22235 19881 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167137860 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22238] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22238/stat : 22238 (java) S 22233 22235 19881 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167137861 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22239] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22239/stat : 22239 (java) S 22233 22235 19881 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167137861 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22240] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22240/stat : 22240 (java) S 22233 22235 19881 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167137864 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22241] ppid=22233 vsize=915456 CPUtime=0.23
/proc/22235/task/22241/stat : 22241 (java) S 22233 22235 19881 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 167137864 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22242] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22242/stat : 22242 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167137864 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22235/tid=22243] ppid=22233 vsize=915456 CPUtime=0
/proc/22235/task/22243/stat : 22243 (java) S 22233 22235 19881 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167137864 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 84.6534
CPU time (s): 83.8203
CPU user time (s): 83.7313
CPU system time (s): 0.088986
CPU usage (%): 99.0159
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.7313
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= 8888
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= 2839
involuntary context switches= 3103

runsolver used 0.104984 s user time and 0.281957 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sun Jan  7 16:30:31 UTC 2007


IDJOB= 208406
IDBENCH= 4384
FILE ID= node17/208406-1168187431

PBS_JOBID= 3478914

Free space on /tmp= 66326 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208406-1168187431/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-208406-1168187431 -o ROOT/results/node17/solver-208406-1168187431 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208406-1168187431/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  20bd891c69bd6530f4d731b0fb982388

RANDOM SEED= 481533837

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:       1625296 kB
Buffers:         66064 kB
Cached:         240684 kB
SwapCached:          0 kB
Active:         172204 kB
Inactive:       196184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1625296 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1940 kB
Writeback:           0 kB
Mapped:          82264 kB
Slab:            47064 kB
Committed_AS:  4402740 kB
PageTables:       2276 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= 66326 MiB



End job on node17 on Sun Jan  7 16:31:55 UTC 2007