Trace number 213859

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 ACSAT 80.6147 81.3767

DiagnosticValue
CHECKS26154634
NODES212172

General information on the benchmark

NamepseudoSeries/par/
par-16-2-c.xml
MD5SUMb4d2a5b19a1ec98e70988177619dc187
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 benchmark1.68074
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables698
Number of constraints1741
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1741
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=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/213859-1168077509/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.47	     nbVariables=698  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.48	       =>  wckTime=0.155  cpuTime=0.13  mem=8M25
0.48	   
0.48	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
0.92	     nbConstraints=1741  nbConvertedConstraints=471  nbConvertConstraintsChecks=56  nbExtensionStructures=2
0.92	     nbSharedExtensionStructures=469  nbConflictsStructures=8  nbSharedConflictsStructures=1733
0.92	     nbSharedBinaryRepresentations=5  nbEvaluationManagers=6  nbSharedEvaluationManagers=1264  maxDegree=43  maxArity=3
0.92	       =>  wckTime=0.598  cpuTime=0.45  mem=18M752
0.97	   
0.97	   solver IterativeSystematicSolver being built... 
1.21	       =>  wckTime=0.893  cpuTime=0.64  mem=24M340
1.23	   
1.24	   preprocessing
1.24	     nbConstraintChecks=0  nbPropagations=698  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.24	     detectedInconsistency=no
1.24	       =>  wckTime=0.017  cpuTime=0.01  mem=24M340
1.35	   
1.35	   search
1.35	     run=0  nbConstraintChecks=6681  nbValidityChecks=4147  nbPropagations=2911  nbRevisions=9335
1.35	     nbUselessRevisions=7113  nbAssignments=41  nbFailedAssignments=3  nbBacktracks=10  nbVisitedNodes=49
1.35	     nbRestartNogoods=0  mapSize=5  nbInferences=0  nbTooLargeKeys=0
1.35	       =>  wckTime=0.128  cpuTime=0.07  mem=25M348
1.38	   
1.38	   search
1.38	     run=1  nbConstraintChecks=13389  nbValidityChecks=10276  nbPropagations=8292  nbRevisions=29600
1.38	     nbUselessRevisions=22669  nbAssignments=84  nbFailedAssignments=6  nbBacktracks=26  nbVisitedNodes=100
1.38	     nbRestartNogoods=2  mapSize=11  nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.165  cpuTime=0.1  mem=25M348
1.42	   
1.42	   search
1.42	     run=2  nbConstraintChecks=23326  nbValidityChecks=19434  nbPropagations=17314  nbRevisions=65620
1.42	     nbUselessRevisions=50323  nbAssignments=141  nbFailedAssignments=13  nbBacktracks=48  nbVisitedNodes=170
1.42	     nbRestartNogoods=4  mapSize=20  nbInferences=0  nbTooLargeKeys=0
1.42	       =>  wckTime=0.201  cpuTime=0.14  mem=25M348
1.47	   
1.47	   search
1.47	     run=3  nbConstraintChecks=37067  nbValidityChecks=32009  nbPropagations=31308  nbRevisions=123225
1.47	     nbUselessRevisions=94555  nbAssignments=213  nbFailedAssignments=23  nbBacktracks=86  nbVisitedNodes=259
1.47	     nbRestartNogoods=8  mapSize=35  nbInferences=0  nbTooLargeKeys=0
1.47	       =>  wckTime=0.253  cpuTime=0.2  mem=25M348
1.54	   
1.54	   search
1.54	     run=4  nbConstraintChecks=58563  nbValidityChecks=51615  nbPropagations=53043  nbRevisions=214473
1.54	     nbUselessRevisions=164611  nbAssignments=308  nbFailedAssignments=37  nbBacktracks=138  nbVisitedNodes=381
1.54	     nbRestartNogoods=10  mapSize=59  nbInferences=0  nbTooLargeKeys=0
1.54	       =>  wckTime=0.325  cpuTime=0.27  mem=25M348
1.63	   
1.63	   search
1.63	     run=5  nbConstraintChecks=82144  nbValidityChecks=73114  nbPropagations=83269  nbRevisions=342511
1.63	     nbUselessRevisions=262885  nbAssignments=428  nbFailedAssignments=53  nbBacktracks=214  nbVisitedNodes=531
1.63	     nbRestartNogoods=13  mapSize=86  nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.413  cpuTime=0.35  mem=25M348
1.74	   
1.74	   search
1.74	     run=6  nbConstraintChecks=113270  nbValidityChecks=101130  nbPropagations=124604  nbRevisions=518848
1.74	     nbUselessRevisions=398211  nbAssignments=585  nbFailedAssignments=72  nbBacktracks=328  nbVisitedNodes=733
1.74	     nbRestartNogoods=16  mapSize=128  nbInferences=0  nbTooLargeKeys=0
1.74	       =>  wckTime=0.523  cpuTime=0.46  mem=25M348
1.87	   
1.87	   search
1.87	     run=7  nbConstraintChecks=140695  nbValidityChecks=124994  nbPropagations=175228  nbRevisions=738345
1.87	     nbUselessRevisions=567110  nbAssignments=827  nbFailedAssignments=108  nbBacktracks=516  nbVisitedNodes=1042
1.87	     nbRestartNogoods=19  mapSize=193  nbInferences=0  nbTooLargeKeys=0
1.87	       =>  wckTime=0.653  cpuTime=0.59  mem=25M348
2.10	   
2.10	   search
2.10	     run=8  nbConstraintChecks=202034  nbValidityChecks=182331  nbPropagations=247605  nbRevisions=1061212
2.10	     nbUselessRevisions=816485  nbAssignments=1164  nbFailedAssignments=168  nbBacktracks=773  nbVisitedNodes=1489
2.10	     nbRestartNogoods=21  mapSize=299  nbInferences=0  nbTooLargeKeys=0
2.10	       =>  wckTime=0.881  cpuTime=0.82  mem=25M348
2.44	   
2.44	   search
2.44	     run=9  nbConstraintChecks=283187  nbValidityChecks=257253  nbPropagations=348567  nbRevisions=1518692
2.44	     nbUselessRevisions=1170553  nbAssignments=1649  nbFailedAssignments=243  nbBacktracks=1159  nbVisitedNodes=2121
2.44	     nbRestartNogoods=25  mapSize=443  nbInferences=0  nbTooLargeKeys=0
2.44	       =>  wckTime=1.219  cpuTime=1.13  mem=25M348
2.95	   
2.95	   search
2.95	     run=10  nbConstraintChecks=414187  nbValidityChecks=380311  nbPropagations=494373  nbRevisions=2189569
2.95	     nbUselessRevisions=1691572  nbAssignments=2365  nbFailedAssignments=351  nbBacktracks=1747  nbVisitedNodes=3066
2.95	     nbRestartNogoods=28  mapSize=669  nbInferences=0  nbTooLargeKeys=0
2.95	       =>  wckTime=1.735  cpuTime=1.62  mem=25M348
3.65	   
3.65	   search
3.65	     run=11  nbConstraintChecks=602820  nbValidityChecks=563809  nbPropagations=708156  nbRevisions=3174470
3.65	     nbUselessRevisions=2456220  nbAssignments=3407  nbFailedAssignments=493  nbBacktracks=2622  nbVisitedNodes=4399
3.65	     nbRestartNogoods=31  mapSize=955  nbInferences=0  nbTooLargeKeys=0
3.65	       =>  wckTime=2.431  cpuTime=2.31  mem=26M323
3.75	   
3.75	   INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=26M323)
4.32	   
4.32	   search
4.32	     run=12  nbConstraintChecks=843760  nbValidityChecks=789214  nbPropagations=1007093  nbRevisions=4558134
4.32	     nbUselessRevisions=3530250  nbAssignments=4922  nbFailedAssignments=695  nbBacktracks=3921  nbVisitedNodes=6322
4.32	     nbRestartNogoods=36
4.32	       =>  wckTime=3.101  cpuTime=2.98  mem=26M323
5.31	   
5.31	   search
5.31	     run=13  nbConstraintChecks=1195306  nbValidityChecks=1129126  nbPropagations=1428817  nbRevisions=6528202
5.31	     nbUselessRevisions=5060814  nbAssignments=7209  nbFailedAssignments=998  nbBacktracks=5886  nbVisitedNodes=9209
5.31	     nbRestartNogoods=37
5.31	       =>  wckTime=4.094  cpuTime=3.96  mem=26M323
6.57	   
6.57	   search
6.57	     run=14  nbConstraintChecks=1581959  nbValidityChecks=1525654  nbPropagations=1988361  nbRevisions=9189905
6.57	     nbUselessRevisions=7135767  nbAssignments=10540  nbFailedAssignments=1360  nbBacktracks=8805  nbVisitedNodes=13345
6.57	     nbRestartNogoods=40
6.57	       =>  wckTime=5.35  cpuTime=5.2  mem=26M323
8.53	   
8.53	   search
8.53	     run=15  nbConstraintChecks=2174170  nbValidityChecks=2156137  nbPropagations=2752065  nbRevisions=12899100
8.53	     nbUselessRevisions=10035492  nbAssignments=15710  nbFailedAssignments=2117  nbBacktracks=13184
8.53	     nbVisitedNodes=20007  nbRestartNogoods=45
8.53	       =>  wckTime=7.318  cpuTime=7.15  mem=26M323
11.50	   
11.50	   search
11.50	     run=16  nbConstraintChecks=3181945  nbValidityChecks=3087913  nbPropagations=3867139  nbRevisions=18295752
11.50	     nbUselessRevisions=14252374  nbAssignments=23210  nbFailedAssignments=3019  nbBacktracks=19755
11.50	     nbVisitedNodes=29377  nbRestartNogoods=50
11.50	       =>  wckTime=10.279  cpuTime=10.08  mem=26M323
16.57	   
16.57	   search
16.57	     run=17  nbConstraintChecks=4976531  nbValidityChecks=4853279  nbPropagations=5605714  nbRevisions=26736649
16.57	     nbUselessRevisions=20850596  nbAssignments=34608  nbFailedAssignments=4529  nbBacktracks=29613
16.57	     nbVisitedNodes=43842  nbRestartNogoods=56
16.57	       =>  wckTime=15.357  cpuTime=15.11  mem=26M323
24.03	   
24.03	   search
24.03	     run=18  nbConstraintChecks=7685368  nbValidityChecks=7477346  nbPropagations=8316513  nbRevisions=39816811
24.03	     nbUselessRevisions=31061866  nbAssignments=51368  nbFailedAssignments=6474  nbBacktracks=44402
24.03	     nbVisitedNodes=64625  nbRestartNogoods=61
24.03	       =>  wckTime=22.812  cpuTime=22.5  mem=26M323
33.77	   
33.77	   search
33.77	     run=19  nbConstraintChecks=10944544  nbValidityChecks=10623053  nbPropagations=12193176  nbRevisions=58434886
33.77	     nbUselessRevisions=45577279  nbAssignments=75971  nbFailedAssignments=8849  nbBacktracks=66604
33.77	     nbVisitedNodes=94210  nbRestartNogoods=67
33.77	       =>  wckTime=32.557  cpuTime=32.16  mem=26M323
46.59	   
46.59	   search
46.59	     run=20  nbConstraintChecks=15056720  nbValidityChecks=14580965  nbPropagations=17592892  nbRevisions=84230060
46.59	     nbUselessRevisions=65652804  nbAssignments=112984  nbFailedAssignments=12581  nbBacktracks=99856
46.59	     nbVisitedNodes=138535  nbRestartNogoods=71
46.59	       =>  wckTime=45.375  cpuTime=44.85  mem=26M323
65.86	   
65.86	   search
65.86	     run=21  nbConstraintChecks=21072085  nbValidityChecks=20426854  nbPropagations=25160666  nbRevisions=120470035
65.86	     nbUselessRevisions=93852342  nbAssignments=168413  nbFailedAssignments=18085  nbBacktracks=149748
65.86	     nbVisitedNodes=205020  nbRestartNogoods=76
65.86	       =>  wckTime=64.639  cpuTime=63.94  mem=26M323
81.35	   
81.35	   search
81.35	     run=22  nbConstraintChecks=26154634  nbValidityChecks=25222519  nbPropagations=34564385  nbRevisions=165281175
81.35	     nbUselessRevisions=128679710  nbAssignments=212172  nbFailedAssignments=22389  nbBacktracks=188505
81.35	     nbVisitedNodes=257308  nbRestartNogoods=83
81.35	       =>  wckTime=80.133  cpuTime=79.29  mem=26M323
81.35	   
81.35	   global
81.35	     nbConstraintChecks=26154634  nbValidityChecks=25222519  nbPropagations=34565083  nbRevisions=165281175
81.35	     nbUselessRevisions=128679710  nbRestartNogoods=83  solvingWckTime=80.134  solvingCpuTime=79.29  expiredTime=no
81.35	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=79.98
81.35	       =>  wckTime=81.032  cpuTime=79.93  mem=26M323
81.35	   
81.35	s SATISFIABLE
81.36	v 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 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 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 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 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 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 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 
81.36	d NODES 212172
81.36	d CHECKS 26154634
81.36	   
81.36	   totalWckTime=81.115  totalCpuTime=79.98

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/node7/watcher-213859-1168077509 -o ROOT/results/node7/solver-213859-1168077509 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213859-1168077509/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.51 1.88 1.90 4/93 18660
/proc/meminfo: memFree=1176224/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=1784 CPUtime=0
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 156146456 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18659/statm: 446 140 106 14 0 91 0

[startup+0.104939 s]
/proc/loadavg: 1.51 1.88 1.90 4/93 18660
/proc/meminfo: memFree=1176224/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=914988 CPUtime=0.09
/proc/18659/stat : 18659 (java) S 18657 18659 18536 0 -1 0 2998 0 1 0 7 2 0 0 17 0 8 0 156146456 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51298 s]
/proc/loadavg: 1.51 1.88 1.90 4/93 18660
/proc/meminfo: memFree=1176224/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915328 CPUtime=0.49
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 6354 0 1 0 45 4 0 0 18 0 8 0 156146456 937295872 6093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072943724 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228832 6093 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33407 s]
/proc/loadavg: 1.51 1.88 1.90 4/100 18667
/proc/meminfo: memFree=1147176/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=1.3
/proc/18659/stat : 18659 (java) S 18657 18659 18536 0 -1 0 11184 0 1 0 115 15 0 0 17 0 8 0 156146456 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 10922 2530 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 426 0 0 0 4 0 0 0 17 0 8 0 156146460 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.29
/proc/18659/task/18665/stat : 18665 (java) R 18657 18659 18536 0 -1 64 480 0 0 0 28 1 0 0 20 0 8 0 156146464 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153940584 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915764

[startup+2.97224 s]
/proc/loadavg: 1.63 1.89 1.90 3/100 18667
/proc/meminfo: memFree=1141864/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=2.92
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 11390 0 1 0 276 16 0 0 25 0 8 0 156146456 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 11126 2533 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 427 0 0 0 4 0 0 0 17 0 8 0 156146460 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.34
/proc/18659/task/18665/stat : 18665 (java) S 18657 18659 18536 0 -1 64 505 0 0 0 33 1 0 0 16 0 8 0 156146464 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915764

[startup+6.17858 s]
/proc/loadavg: 1.63 1.89 1.90 3/100 18667
/proc/meminfo: memFree=1141160/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=6.1
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 11470 0 1 0 594 16 0 0 25 0 8 0 156146456 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073987683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 11204 2533 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 427 0 0 0 4 0 0 0 17 0 8 0 156146460 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.35
/proc/18659/task/18665/stat : 18665 (java) S 18657 18659 18536 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 156146464 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915764

[startup+12.6533 s]
/proc/loadavg: 1.69 1.90 1.91 3/100 18667
/proc/meminfo: memFree=1141096/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=12.51
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 11481 0 1 0 1235 16 0 0 25 0 8 0 156146456 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073983533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 11214 2533 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 427 0 0 0 4 0 0 0 16 0 8 0 156146460 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.35
/proc/18659/task/18665/stat : 18665 (java) S 18657 18659 18536 0 -1 64 509 0 0 0 33 2 0 0 17 0 8 0 156146464 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915764

[startup+25.5236 s]
/proc/loadavg: 1.74 1.90 1.91 3/100 18667
/proc/meminfo: memFree=1141224/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=25.27
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 11486 0 1 0 2510 17 0 0 25 0 8 0 156146456 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 11219 2533 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 427 0 0 0 4 0 0 0 16 0 8 0 156146460 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.35
/proc/18659/task/18665/stat : 18665 (java) S 18657 18659 18536 0 -1 64 509 0 0 0 33 2 0 0 17 0 8 0 156146464 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915764

[startup+51.1493 s]
/proc/loadavg: 1.83 1.91 1.91 3/100 18667
/proc/meminfo: memFree=1141160/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=50.65
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 11491 0 1 0 5048 17 0 0 25 0 8 0 156146456 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 11224 2533 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 427 0 0 0 4 0 0 0 16 0 8 0 156146460 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.35
/proc/18659/task/18665/stat : 18665 (java) S 18657 18659 18536 0 -1 64 509 0 0 0 33 2 0 0 16 0 8 0 156146464 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915764

Child status: 0
Real time (s): 81.3767
CPU time (s): 80.6147
CPU user time (s): 80.4248
CPU system time (s): 0.189971
CPU usage (%): 99.0637
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.4248
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11588
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= 2765
involuntary context switches= 4872

runsolver used 0.122981 s user time and 0.246962 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Sat Jan  6 09:58:29 UTC 2007


IDJOB= 213859
IDBENCH= 4880
FILE ID= node7/213859-1168077509

PBS_JOBID= 3475818

Free space on /tmp= 66545 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-2-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213859-1168077509/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-213859-1168077509 -o ROOT/results/node7/solver-213859-1168077509 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213859-1168077509/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b4d2a5b19a1ec98e70988177619dc187

RANDOM SEED= 443035344

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.220
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.220
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:       1176640 kB
Buffers:         78808 kB
Cached:         427860 kB
SwapCached:          0 kB
Active:         526216 kB
Inactive:       249724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1176640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2228 kB
Writeback:           0 kB
Mapped:         297384 kB
Slab:            87568 kB
Committed_AS:  5069624 kB
PageTables:       2812 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= 66545 MiB



End job on node7 on Sat Jan  6 09:59:52 UTC 2007