Trace number 247464

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 130.96 132.887

DiagnosticValue
CHECKS42915145
NODES88293

General information on the benchmark

Namerandom/rand-8-20-5/
rand-8-20-5-18-800-9_ext.xml
MD5SUM2edb97a8e449f03344d9a881313e99a5
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark62.1805
SatisfiableYES
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/247464-1168392746/unknown.xml
0.40	   
0.40	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.44	     nbVariables=20  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.44	       =>  wckTime=0.099  cpuTime=0.08  mem=6M951
0.44	   
0.44	   relations being loaded...
4.07	   
4.07	   INFO : Contraction of relations, mem = 102M826
6.45	   
6.45	   constraints being loaded...
10.10	     nbConstraints=18  nbRelationTypes=18  nbExtensionStructures=18  nbSharedExtensionStructures=0
10.10	     nbConflictsStructures=18  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=12  maxArity=8
10.10	       =>  wckTime=9.76  cpuTime=7.79  mem=230M284
11.05	   
11.05	   solver IterativeSystematicSolver being built... 
11.22	       =>  wckTime=10.881  cpuTime=7.93  mem=143M279
11.27	   
11.27	   preprocessing
11.27	     nbConstraintChecks=5058  nbValidityChecks=8574  nbPropagations=52  nbRevisions=1001  nbUselessRevisions=971
11.27	     nbSingletonTests=22  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
11.27	       =>  wckTime=0.051  cpuTime=0.03  mem=143M279
11.33	   
11.33	   search
11.34	     run=0  nbConstraintChecks=11396  nbValidityChecks=17807  nbPropagations=176  nbRevisions=3064
11.34	     nbUselessRevisions=2810  nbAssignments=31  nbFailedAssignments=13  nbBacktracks=11  nbVisitedNodes=51
11.34	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
11.34	       =>  wckTime=0.114  cpuTime=0.08  mem=143M919
11.40	   
11.40	   search
11.40	     run=1  nbConstraintChecks=27824  nbValidityChecks=44243  nbPropagations=549  nbRevisions=9465
11.40	     nbUselessRevisions=8568  nbAssignments=66  nbFailedAssignments=26  nbBacktracks=27  nbVisitedNodes=109
11.40	     nbRestartNogoods=2  mapSize=20  nbInferences=0  nbTooLargeKeys=0
11.40	       =>  wckTime=0.178  cpuTime=0.14  mem=143M919
11.46	   
11.46	   search
11.46	     run=2  nbConstraintChecks=41887  nbValidityChecks=68960  nbPropagations=1125  nbRevisions=19410
11.46	     nbUselessRevisions=17531  nbAssignments=109  nbFailedAssignments=39  nbBacktracks=51  nbVisitedNodes=175
11.46	     nbRestartNogoods=3  mapSize=36  nbInferences=0  nbTooLargeKeys=0
11.46	       =>  wckTime=0.236  cpuTime=0.19  mem=143M919
11.55	   
11.55	   search
11.55	     run=3  nbConstraintChecks=67863  nbValidityChecks=113425  nbPropagations=2060  nbRevisions=35173
11.55	     nbUselessRevisions=31484  nbAssignments=175  nbFailedAssignments=66  nbBacktracks=84  nbVisitedNodes=289
11.55	     nbRestartNogoods=4  mapSize=64  nbInferences=0  nbTooLargeKeys=0
11.55	       =>  wckTime=0.332  cpuTime=0.27  mem=143M919
11.71	   
11.71	   search
11.71	     run=4  nbConstraintChecks=116766  nbValidityChecks=189237  nbPropagations=3627  nbRevisions=60545
11.71	     nbUselessRevisions=53677  nbAssignments=281  nbFailedAssignments=114  nbBacktracks=135  nbVisitedNodes=474
11.71	     nbRestartNogoods=5  mapSize=107  nbInferences=0  nbTooLargeKeys=0
11.71	       =>  wckTime=0.491  cpuTime=0.43  mem=143M919
11.91	   
11.91	   search
11.91	     run=5  nbConstraintChecks=183453  nbValidityChecks=294476  nbPropagations=5968  nbRevisions=99342
11.91	     nbUselessRevisions=87733  nbAssignments=430  nbFailedAssignments=180  nbBacktracks=210  nbVisitedNodes=728
11.91	     nbRestartNogoods=11  mapSize=166  nbInferences=0  nbTooLargeKeys=0
11.91	       =>  wckTime=0.686  cpuTime=0.62  mem=143M919
12.15	   
12.15	   search
12.15	     run=6  nbConstraintChecks=262863  nbValidityChecks=429527  nbPropagations=9487  nbRevisions=156085
12.15	     nbUselessRevisions=137206  nbAssignments=643  nbFailedAssignments=272  nbBacktracks=323  nbVisitedNodes=1104
12.15	     nbRestartNogoods=16  mapSize=268  nbInferences=0  nbTooLargeKeys=0
12.15	       =>  wckTime=0.929  cpuTime=0.86  mem=143M919
12.54	   
12.54	   search
12.54	     run=7  nbConstraintChecks=396266  nbValidityChecks=634174  nbPropagations=14555  nbRevisions=238227
12.54	     nbUselessRevisions=208816  nbAssignments=959  nbFailedAssignments=410  nbBacktracks=494  nbVisitedNodes=1641
12.54	     nbRestartNogoods=23  mapSize=398  nbInferences=0  nbTooLargeKeys=0
12.54	       =>  wckTime=1.322  cpuTime=1.24  mem=143M919
13.14	   
13.14	   search
13.14	     run=8  nbConstraintChecks=603129  nbValidityChecks=962718  nbPropagations=22162  nbRevisions=363522
13.14	     nbUselessRevisions=318151  nbAssignments=1445  nbFailedAssignments=615  nbBacktracks=753  nbVisitedNodes=2457
13.14	     nbRestartNogoods=30  mapSize=607  nbInferences=0  nbTooLargeKeys=0
13.14	       =>  wckTime=1.922  cpuTime=1.83  mem=143M919
14.18	   
14.18	   search
14.18	     run=9  nbConstraintChecks=950326  nbValidityChecks=1484542  nbPropagations=34114  nbRevisions=554038
14.18	     nbUselessRevisions=483502  nbAssignments=2159  nbFailedAssignments=938  nbBacktracks=1137  nbVisitedNodes=3710
14.18	     nbRestartNogoods=37  mapSize=935  nbInferences=0  nbTooLargeKeys=0
14.18	       =>  wckTime=2.96  cpuTime=2.85  mem=143M919
14.43	   
14.43	   INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=143M919)
15.54	   
15.54	   search
15.54	     run=10  nbConstraintChecks=1442657  nbValidityChecks=2244050  nbPropagations=51610  nbRevisions=840455
15.54	     nbUselessRevisions=733406  nbAssignments=3171  nbFailedAssignments=1364  nbBacktracks=1713  nbVisitedNodes=5423
15.54	     nbRestartNogoods=47
15.54	       =>  wckTime=4.321  cpuTime=4.19  mem=143M919
17.67	   
17.67	   search
17.67	     run=11  nbConstraintChecks=2203888  nbValidityChecks=3400323  nbPropagations=77635  nbRevisions=1271136
17.67	     nbUselessRevisions=1109692  nbAssignments=4695  nbFailedAssignments=2016  nbBacktracks=2578  nbVisitedNodes=8026
17.67	     nbRestartNogoods=53
17.67	       =>  wckTime=6.45  cpuTime=6.31  mem=143M919
20.86	   
20.86	   search
20.86	     run=12  nbConstraintChecks=3331270  nbValidityChecks=5122351  nbPropagations=117247  nbRevisions=1919646
20.86	     nbUselessRevisions=1675225  nbAssignments=7029  nbFailedAssignments=3044  nbBacktracks=3876  nbVisitedNodes=12071
20.86	     nbRestartNogoods=62
20.86	       =>  wckTime=9.637  cpuTime=9.48  mem=143M919
25.98	   
25.98	   search
25.98	     run=13  nbConstraintChecks=5101594  nbValidityChecks=7801618  nbPropagations=178761  nbRevisions=2902281
25.98	     nbUselessRevisions=2528644  nbAssignments=10697  nbFailedAssignments=4741  nbBacktracks=5823  nbVisitedNodes=18500
25.98	     nbRestartNogoods=73
25.98	       =>  wckTime=14.763  cpuTime=14.58  mem=143M919
33.56	   
33.56	   search
33.56	     run=14  nbConstraintChecks=7742752  nbValidityChecks=11792778  nbPropagations=272408  nbRevisions=4381827
33.56	     nbUselessRevisions=3810273  nbAssignments=16111  nbFailedAssignments=7227  nbBacktracks=8742  nbVisitedNodes=28021
33.56	     nbRestartNogoods=81
33.56	       =>  wckTime=22.338  cpuTime=22.12  mem=143M919
43.96	   
43.96	   search
43.96	     run=15  nbConstraintChecks=11335584  nbValidityChecks=17310610  nbPropagations=408692  nbRevisions=6563695
43.96	     nbUselessRevisions=5706276  nbAssignments=23625  nbFailedAssignments=10335  nbBacktracks=13126
43.96	     nbVisitedNodes=40804  nbRestartNogoods=93
43.96	       =>  wckTime=32.736  cpuTime=32.46  mem=143M919
60.72	   
60.72	   search
60.72	     run=16  nbConstraintChecks=16991372  nbValidityChecks=25837816  nbPropagations=612923  nbRevisions=9808647
60.72	     nbUselessRevisions=8523050  nbAssignments=35227  nbFailedAssignments=15360  nbBacktracks=19695
60.72	     nbVisitedNodes=60974  nbRestartNogoods=107
60.72	       =>  wckTime=49.501  cpuTime=49.15  mem=143M919
85.15	   
85.15	   search
85.15	     run=17  nbConstraintChecks=25631507  nbValidityChecks=39165736  nbPropagations=926234  nbRevisions=14753281
85.15	     nbUselessRevisions=12807117  nbAssignments=53536  nbFailedAssignments=23808  nbBacktracks=29549
85.15	     nbVisitedNodes=93169  nbRestartNogoods=115
85.15	       =>  wckTime=73.932  cpuTime=73.38  mem=143M919
120.69	   
120.69	   search
120.69	     run=18  nbConstraintChecks=38246167  nbValidityChecks=58149356  nbPropagations=1389479  nbRevisions=22066662
120.69	     nbUselessRevisions=19147822  nbAssignments=78844  nbFailedAssignments=34331  nbBacktracks=44327
120.69	     nbVisitedNodes=136792  nbRestartNogoods=124
120.69	       =>  wckTime=109.47  cpuTime=107.61  mem=143M919
132.79	   
132.79	   search
132.79	     run=19  nbConstraintChecks=42910087  nbValidityChecks=65239199  nbPropagations=1907998  nbRevisions=30270541
132.79	     nbUselessRevisions=26264402  nbAssignments=88293  nbFailedAssignments=38276  nbBacktracks=49811
132.79	     nbVisitedNodes=153092  nbRestartNogoods=137
132.79	       =>  wckTime=121.571  cpuTime=119.68  mem=143M919
132.79	   
132.79	   global
132.79	     nbConstraintChecks=42915145  nbValidityChecks=65247773  nbPropagations=1908050  nbRevisions=30271542
132.79	     nbUselessRevisions=26265373  nbRestartNogoods=137  solvingWckTime=121.572  solvingCpuTime=119.68  expiredTime=no
132.79	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=127.68
132.79	       =>  wckTime=132.455  cpuTime=127.62  mem=143M919
132.80	   
132.80	s SATISFIABLE
132.80	v 1 4 3 2 0 1 1 3 4 2 1 3 2 0 2 2 1 4 4 1 
132.80	d NODES 88293
132.80	d CHECKS 42915145
132.80	   
132.80	   totalWckTime=132.539  totalCpuTime=127.69

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/node2/watcher-247464-1168392746 -o ROOT/results/node2/solver-247464-1168392746 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247464-1168392746/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.01 1.04 1.32 6/82 21663
/proc/meminfo: memFree=1745080/2055920 swapFree=4180528/4192956
[pid=21661] ppid=21659 vsize=18540 CPUtime=0
/proc/21661/stat : 21661 (runsolver) R 21659 21661 21567 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 187670244 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21661/statm: 4635 279 244 17 0 2626 0

[startup+0.107451 s]
/proc/loadavg: 1.01 1.04 1.32 6/82 21663
/proc/meminfo: memFree=1745080/2055920 swapFree=4180528/4192956
[pid=21661] ppid=21659 vsize=912760 CPUtime=0.07
/proc/21661/stat : 21661 (java) R 21659 21661 21567 0 -1 0 2775 0 1 0 6 1 0 0 20 0 8 0 187670244 934666240 2521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21661/statm: 228190 2521 1386 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760

[startup+0.51553 s]
/proc/loadavg: 1.01 1.04 1.32 6/82 21663
/proc/meminfo: memFree=1745080/2055920 swapFree=4180528/4192956
[pid=21661] ppid=21659 vsize=915328 CPUtime=0.47
/proc/21661/stat : 21661 (java) R 21659 21661 21567 0 -1 0 9273 0 1 0 42 5 0 0 18 0 8 0 187670244 937295872 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21661/statm: 228832 9012 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33768 s]
/proc/loadavg: 1.01 1.04 1.32 3/101 21708
/proc/meminfo: memFree=1584032/2055920 swapFree=4180528/4192956
[pid=21661] ppid=21659 vsize=915328 CPUtime=1.28
/proc/21661/stat : 21661 (java) R 21659 21661 21567 0 -1 0 19895 0 1 0 118 10 0 0 25 0 8 0 187670244 937295872 19633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21661/statm: 228832 19633 2147 14 0 215302 0
[pid=21661/tid=21681] ppid=21659 vsize=915328 CPUtime=0.04
/proc/21661/task/21681/stat : 21681 (java) S 21659 21661 21567 0 -1 64 3485 0 0 0 3 1 0 0 17 0 8 0 187670250 937295872 19633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21685] ppid=21659 vsize=915328 CPUtime=0
/proc/21661/task/21685/stat : 21685 (java) S 21659 21661 21567 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187670251 937295872 19633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21686] ppid=21659 vsize=915328 CPUtime=0
/proc/21661/task/21686/stat : 21686 (java) S 21659 21661 21567 0 -1 64 4 0 0 0 0 0 0 0 17 0 8 0 187670251 937295872 19633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21698] ppid=21659 vsize=915328 CPUtime=0
/proc/21661/task/21698/stat : 21698 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187670254 937295872 19633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21699] ppid=21659 vsize=915328 CPUtime=0.07
/proc/21661/task/21699/stat : 21699 (java) S 21659 21661 21567 0 -1 64 303 0 0 0 7 0 0 0 16 0 8 0 187670254 937295872 19633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21700] ppid=21659 vsize=915328 CPUtime=0
/proc/21661/task/21700/stat : 21700 (java) S 21659 21661 21567 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187670254 937295872 19633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21701] ppid=21659 vsize=915328 CPUtime=0
/proc/21661/task/21701/stat : 21701 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187670254 937295872 19633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915328

[startup+2.98298 s]
/proc/loadavg: 1.01 1.04 1.32 3/101 21708
/proc/meminfo: memFree=1538656/2055920 swapFree=4180528/4192956
[pid=21661] ppid=21659 vsize=915328 CPUtime=2.91
/proc/21661/stat : 21661 (java) R 21659 21661 21567 0 -1 0 28341 0 1 0 277 14 0 0 25 0 8 0 187670244 937295872 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21661/statm: 228832 28076 2147 14 0 215302 0
[pid=21661/tid=21681] ppid=21659 vsize=915328 CPUtime=0.19
/proc/21661/task/21681/stat : 21681 (java) S 21659 21661 21567 0 -1 64 11926 0 0 0 15 4 0 0 16 0 8 0 187670250 937295872 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21685] ppid=21659 vsize=915328 CPUtime=0
/proc/21661/task/21685/stat : 21685 (java) S 21659 21661 21567 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 187670251 937295872 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21686] ppid=21659 vsize=915328 CPUtime=0
/proc/21661/task/21686/stat : 21686 (java) S 21659 21661 21567 0 -1 64 4 0 0 0 0 0 0 0 17 0 8 0 187670251 937295872 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21698] ppid=21659 vsize=915328 CPUtime=0
/proc/21661/task/21698/stat : 21698 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187670254 937295872 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21699] ppid=21659 vsize=915328 CPUtime=0.08
/proc/21661/task/21699/stat : 21699 (java) S 21659 21661 21567 0 -1 64 305 0 0 0 8 0 0 0 16 0 8 0 187670254 937295872 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21700] ppid=21659 vsize=915328 CPUtime=0
/proc/21661/task/21700/stat : 21700 (java) S 21659 21661 21567 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187670254 937295872 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21701] ppid=21659 vsize=915328 CPUtime=0
/proc/21661/task/21701/stat : 21701 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187670254 937295872 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915328

[startup+6.28059 s]
/proc/loadavg: 1.09 1.06 1.32 3/101 21708
/proc/meminfo: memFree=1412512/2055920 swapFree=4180528/4192956
[pid=21661] ppid=21659 vsize=915416 CPUtime=6.21
/proc/21661/stat : 21661 (java) R 21659 21661 21567 0 -1 0 40781 0 1 0 600 21 0 0 25 0 8 0 187670244 937385984 38938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21661/statm: 228854 38938 2153 14 0 215324 0
[pid=21661/tid=21681] ppid=21659 vsize=915416 CPUtime=1.04
/proc/21661/task/21681/stat : 21681 (java) S 21659 21661 21567 0 -1 64 24352 0 0 0 94 10 0 0 16 0 8 0 187670250 937385984 38938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21685] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21685/stat : 21685 (java) S 21659 21661 21567 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187670251 937385984 38938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21686] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21686/stat : 21686 (java) S 21659 21661 21567 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187670251 937385984 38938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21698] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21698/stat : 21698 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187670254 937385984 38938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21699] ppid=21659 vsize=915416 CPUtime=0.08
/proc/21661/task/21699/stat : 21699 (java) S 21659 21661 21567 0 -1 64 307 0 0 0 8 0 0 0 16 0 8 0 187670254 937385984 38938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21700] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21700/stat : 21700 (java) S 21659 21661 21567 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187670254 937385984 38938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21701] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21701/stat : 21701 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187670254 937385984 38938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915416

[startup+12.7638 s]
/proc/loadavg: 1.24 1.09 1.33 3/101 21708
/proc/meminfo: memFree=1177584/2055920 swapFree=4180528/4192956
[pid=21661] ppid=21659 vsize=915416 CPUtime=12.64
/proc/21661/stat : 21661 (java) R 21659 21661 21567 0 -1 0 64542 0 1 0 1231 33 0 0 25 0 8 0 187670244 937385984 62692 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073635316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21661/statm: 228854 62692 2532 14 0 215324 0
[pid=21661/tid=21681] ppid=21659 vsize=915416 CPUtime=2.77
/proc/21661/task/21681/stat : 21681 (java) S 21659 21661 21567 0 -1 64 47576 0 0 0 255 22 0 0 17 0 8 0 187670250 937385984 62692 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21685] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21685/stat : 21685 (java) S 21659 21661 21567 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187670251 937385984 62692 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21686] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21686/stat : 21686 (java) S 21659 21661 21567 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187670251 937385984 62692 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21698] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21698/stat : 21698 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187670254 937385984 62692 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21699] ppid=21659 vsize=915416 CPUtime=0.21
/proc/21661/task/21699/stat : 21699 (java) S 21659 21661 21567 0 -1 64 373 0 0 0 20 1 0 0 15 0 8 0 187670254 937385984 62692 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21700] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21700/stat : 21700 (java) S 21659 21661 21567 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187670254 937385984 62692 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21701] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21701/stat : 21701 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187670254 937385984 62692 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915416

[startup+25.6431 s]
/proc/loadavg: 1.41 1.13 1.34 3/101 21708
/proc/meminfo: memFree=992688/2055920 swapFree=4180528/4192956
[pid=21661] ppid=21659 vsize=915416 CPUtime=25.47
/proc/21661/stat : 21661 (java) R 21659 21661 21567 0 -1 0 64560 0 1 0 2513 34 0 0 25 0 8 0 187670244 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073635292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21661/statm: 228854 62706 2532 14 0 215324 0
[pid=21661/tid=21681] ppid=21659 vsize=915416 CPUtime=2.77
/proc/21661/task/21681/stat : 21681 (java) S 21659 21661 21567 0 -1 64 47576 0 0 0 255 22 0 0 16 0 8 0 187670250 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21685] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21685/stat : 21685 (java) S 21659 21661 21567 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187670251 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21686] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21686/stat : 21686 (java) S 21659 21661 21567 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187670251 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21698] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21698/stat : 21698 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21699] ppid=21659 vsize=915416 CPUtime=0.25
/proc/21661/task/21699/stat : 21699 (java) S 21659 21661 21567 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21700] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21700/stat : 21700 (java) S 21659 21661 21567 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21701] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21701/stat : 21701 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915416

[startup+51.2869 s]
/proc/loadavg: 1.76 1.23 1.37 4/101 21708
/proc/meminfo: memFree=772912/2055920 swapFree=4180528/4192956
[pid=21661] ppid=21659 vsize=915416 CPUtime=50.98
/proc/21661/stat : 21661 (java) R 21659 21661 21567 0 -1 0 64560 0 1 0 5064 34 0 0 25 0 8 0 187670244 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073635412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21661/statm: 228854 62706 2532 14 0 215324 0
[pid=21661/tid=21681] ppid=21659 vsize=915416 CPUtime=2.77
/proc/21661/task/21681/stat : 21681 (java) S 21659 21661 21567 0 -1 64 47576 0 0 0 255 22 0 0 16 0 8 0 187670250 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21685] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21685/stat : 21685 (java) S 21659 21661 21567 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187670251 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21686] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21686/stat : 21686 (java) S 21659 21661 21567 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187670251 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21698] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21698/stat : 21698 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21699] ppid=21659 vsize=915416 CPUtime=0.25
/proc/21661/task/21699/stat : 21699 (java) S 21659 21661 21567 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21700] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21700/stat : 21700 (java) S 21659 21661 21567 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21701] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21701/stat : 21701 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915416

[startup+102.509 s]
/proc/loadavg: 2.02 1.38 1.41 2/88 21775
/proc/meminfo: memFree=1507408/2055920 swapFree=4180528/4192956
[pid=21661] ppid=21659 vsize=915416 CPUtime=100.72
/proc/21661/stat : 21661 (java) R 21659 21661 21567 0 -1 0 64560 0 1 0 10035 37 0 0 25 0 8 0 187670244 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779734 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21661/statm: 228854 62706 2532 14 0 215324 0
[pid=21661/tid=21681] ppid=21659 vsize=915416 CPUtime=2.77
/proc/21661/task/21681/stat : 21681 (java) S 21659 21661 21567 0 -1 64 47576 0 0 0 255 22 0 0 16 0 8 0 187670250 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21685] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21685/stat : 21685 (java) S 21659 21661 21567 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187670251 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21686] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21686/stat : 21686 (java) S 21659 21661 21567 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187670251 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21698] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21698/stat : 21698 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21699] ppid=21659 vsize=915416 CPUtime=0.25
/proc/21661/task/21699/stat : 21699 (java) S 21659 21661 21567 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21661/tid=21700] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21700/stat : 21700 (java) S 21659 21661 21567 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21661/tid=21701] ppid=21659 vsize=915416 CPUtime=0
/proc/21661/task/21701/stat : 21701 (java) S 21659 21661 21567 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187670254 937385984 62706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.72
Current children cumulated vsize (KiB) 915416

Child status: 0
Real time (s): 132.887
CPU time (s): 130.96
CPU user time (s): 130.382
CPU system time (s): 0.577912
CPU usage (%): 98.5496
Max. virtual memory (cumulated for all children) (KiB): 919420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.382
system time used= 0.577912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64569
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= 3933
involuntary context switches= 7383

runsolver used 0.169974 s user time and 0.437933 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Wed Jan 10 01:32:26 UTC 2007


IDJOB= 247464
IDBENCH= 11129
FILE ID= node2/247464-1168392746

PBS_JOBID= 3522792

Free space on /tmp= 66488 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247464-1168392746/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-247464-1168392746 -o ROOT/results/node2/solver-247464-1168392746 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247464-1168392746/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2edb97a8e449f03344d9a881313e99a5

RANDOM SEED= 888774222

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.259
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	: 5931.00
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.259
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:       1745296 kB
Buffers:         22052 kB
Cached:         185828 kB
SwapCached:        472 kB
Active:         189900 kB
Inactive:        67144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1745296 kB
SwapTotal:     4192956 kB
SwapFree:      4180528 kB
Dirty:           49188 kB
Writeback:           0 kB
Mapped:          60384 kB
Slab:            38436 kB
Committed_AS:  5510488 kB
PageTables:       2300 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= 66490 MiB



End job on node2 on Wed Jan 10 01:34:39 UTC 2007