Trace number 215094

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 35.6686 36.0262

DiagnosticValue
CHECKS11447392
NODES14856

General information on the benchmark

NamepseudoSeries/
ii/ii-32c2.xml
MD5SUMbc0c64bf742e7f793e769b75938abe34
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 benchmark2.04969
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables498
Number of constraints2431
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2431
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/215094-1168077819/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.45	     nbVariables=498  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.45	       =>  wckTime=0.14  cpuTime=0.12  mem=7M50
0.45	   
0.45	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
1.09	     nbConstraints=2431  nbConvertedConstraints=2169  nbConvertConstraintsChecks=16  nbExtensionStructures=2
1.09	     nbSharedExtensionStructures=2167  nbConflictsStructures=3  nbSharedConflictsStructures=2185
1.09	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=5  nbEvaluationManagers=2
1.09	     nbSharedEvaluationManagers=260  maxDegree=52  maxArity=32
1.09	       =>  wckTime=0.784  cpuTime=0.63  mem=45M82
1.17	   
1.17	   solver IterativeSystematicSolver being built... 
1.41	       =>  wckTime=1.101  cpuTime=0.82  mem=33M124
1.43	   
1.43	   preprocessing
1.43	     nbConstraintChecks=0  nbPropagations=498  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.43	     detectedInconsistency=no
1.43	       =>  wckTime=0.021  cpuTime=0.01  mem=34M97
1.67	   
1.67	   search
1.67	     run=0  nbConstraintChecks=23995  nbValidityChecks=89725  nbPropagations=1301  nbRevisions=55790
1.67	     nbUselessRevisions=55001  nbAssignments=150  nbFailedAssignments=1  nbBacktracks=15  nbVisitedNodes=158
1.67	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
1.67	       =>  wckTime=0.259  cpuTime=0.22  mem=35M71
1.86	   
1.86	   search
1.86	     run=1  nbConstraintChecks=59852  nbValidityChecks=192640  nbPropagations=4168  nbRevisions=181016
1.86	     nbUselessRevisions=177789  nbAssignments=326  nbFailedAssignments=3  nbBacktracks=43  nbVisitedNodes=347
1.86	     nbRestartNogoods=1  mapSize=18  nbInferences=0  nbTooLargeKeys=0
1.86	       =>  wckTime=0.447  cpuTime=0.4  mem=35M71
2.03	   
2.03	   search
2.03	     run=2  nbConstraintChecks=91594  nbValidityChecks=293828  nbPropagations=8347  nbRevisions=372150
2.03	     nbUselessRevisions=365189  nbAssignments=502  nbFailedAssignments=6  nbBacktracks=66  nbVisitedNodes=533
2.03	     nbRestartNogoods=2  mapSize=27  nbInferences=0  nbTooLargeKeys=0
2.03	       =>  wckTime=0.617  cpuTime=0.56  mem=35M71
2.28	   
2.28	   search
2.28	     run=3  nbConstraintChecks=155158  nbValidityChecks=404361  nbPropagations=15200  nbRevisions=651374
2.28	     nbUselessRevisions=637714  nbAssignments=663  nbFailedAssignments=9  nbBacktracks=106  nbVisitedNodes=715
2.28	     nbRestartNogoods=3  mapSize=47  nbInferences=0  nbTooLargeKeys=0
2.28	       =>  wckTime=0.867  cpuTime=0.8  mem=35M71
2.83	   
2.83	   search
2.83	     run=4  nbConstraintChecks=325240  nbValidityChecks=593652  nbPropagations=28952  nbRevisions=1111764
2.83	     nbUselessRevisions=1083021  nbAssignments=836  nbFailedAssignments=19  nbBacktracks=162  nbVisitedNodes=945
2.83	     nbRestartNogoods=4  mapSize=103  nbInferences=0  nbTooLargeKeys=0
2.83	       =>  wckTime=1.414  cpuTime=1.35  mem=35M71
3.00	   
3.00	   search
3.00	     run=5  nbConstraintChecks=361969  nbValidityChecks=659093  nbPropagations=44687  nbRevisions=1622153
3.00	     nbUselessRevisions=1576437  nbAssignments=989  nbFailedAssignments=27  nbBacktracks=240  nbVisitedNodes=1108
3.00	     nbRestartNogoods=5  mapSize=119  nbInferences=0  nbTooLargeKeys=0
3.00	       =>  wckTime=1.585  cpuTime=1.51  mem=35M71
3.54	   
3.54	   search
3.54	     run=6  nbConstraintChecks=520340  nbValidityChecks=900955  nbPropagations=67876  nbRevisions=2355377
3.54	     nbUselessRevisions=2284228  nbAssignments=1334  nbFailedAssignments=52  nbBacktracks=495  nbVisitedNodes=1511
3.54	     nbRestartNogoods=7  mapSize=189  nbInferences=0  nbTooLargeKeys=0
3.54	       =>  wckTime=2.134  cpuTime=2.05  mem=35M71
4.35	   
4.35	   search
4.35	     run=7  nbConstraintChecks=743474  nbValidityChecks=1222507  nbPropagations=100281  nbRevisions=3376720
4.35	     nbUselessRevisions=3268744  nbAssignments=1609  nbFailedAssignments=70  nbBacktracks=665  nbVisitedNodes=1873
4.35	     nbRestartNogoods=9  mapSize=275  nbInferences=0  nbTooLargeKeys=0
4.35	       =>  wckTime=2.937  cpuTime=2.84  mem=36M43
6.44	   
6.44	   search
6.44	     run=8  nbConstraintChecks=1306272  nbValidityChecks=1892497  nbPropagations=153182  nbRevisions=5010019
6.44	     nbUselessRevisions=4839605  nbAssignments=2012  nbFailedAssignments=102  nbBacktracks=957  nbVisitedNodes=2498
6.44	     nbRestartNogoods=11  mapSize=497  nbInferences=0  nbTooLargeKeys=0
6.44	       =>  wckTime=5.032  cpuTime=4.91  mem=36M43
8.33	   
8.33	   search
8.33	     run=9  nbConstraintChecks=1837344  nbValidityChecks=2537381  nbPropagations=227055  nbRevisions=7246314
8.33	     nbUselessRevisions=6987704  nbAssignments=2526  nbFailedAssignments=138  nbBacktracks=1344  nbVisitedNodes=3197
8.33	     nbRestartNogoods=13  mapSize=679  nbInferences=0  nbTooLargeKeys=0
8.33	       =>  wckTime=6.922  cpuTime=6.78  mem=36M43
11.15	   
11.15	   INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=36M43)
12.74	   
12.74	   search
12.74	     run=10  nbConstraintChecks=3351115  nbValidityChecks=3805274  nbPropagations=360057  nbRevisions=10858093
12.74	     nbUselessRevisions=10438558  nbAssignments=3259  nbFailedAssignments=196  nbBacktracks=1953  nbVisitedNodes=4492
12.74	     nbRestartNogoods=16
12.74	       =>  wckTime=11.333  cpuTime=11.14  mem=36M43
18.78	   
18.78	   search
18.78	     run=11  nbConstraintChecks=5444159  nbValidityChecks=5400136  nbPropagations=579992  nbRevisions=16303948
18.78	     nbUselessRevisions=15620760  nbAssignments=4314  nbFailedAssignments=288  nbBacktracks=2847  nbVisitedNodes=6338
18.78	     nbRestartNogoods=17
18.78	       =>  wckTime=17.367  cpuTime=17.11  mem=36M43
23.73	   
23.73	   search
23.73	     run=12  nbConstraintChecks=7262066  nbValidityChecks=6627724  nbPropagations=880768  nbRevisions=23285417
23.73	     nbUselessRevisions=22246477  nbAssignments=5929  nbFailedAssignments=507  nbBacktracks=4147  nbVisitedNodes=8772
23.73	     nbRestartNogoods=19
23.73	       =>  wckTime=22.315  cpuTime=22.02  mem=36M43
26.49	   
26.49	   search
26.49	     run=13  nbConstraintChecks=8345605  nbValidityChecks=7423482  nbPropagations=1245454  nbRevisions=31326064
26.49	     nbUselessRevisions=29864269  nbAssignments=8172  nbFailedAssignments=715  nbBacktracks=6095  nbVisitedNodes=11390
26.49	     nbRestartNogoods=22
26.49	       =>  wckTime=25.082  cpuTime=24.76  mem=36M43
29.58	   
29.58	   search
29.58	     run=14  nbConstraintChecks=9526253  nbValidityChecks=8272265  nbPropagations=1683989  nbRevisions=40503509
29.58	     nbUselessRevisions=38543978  nbAssignments=11475  nbFailedAssignments=1004  nbBacktracks=9017  nbVisitedNodes=15045
29.58	     nbRestartNogoods=25
29.58	       =>  wckTime=28.166  cpuTime=27.81  mem=36M43
35.99	   
35.99	   search
35.99	     run=15  nbConstraintChecks=11447392  nbValidityChecks=10285931  nbPropagations=2217944  nbRevisions=51810419
35.99	     nbUselessRevisions=49250181  nbAssignments=14856  nbFailedAssignments=1285  nbBacktracks=11619
35.99	     nbVisitedNodes=19129  nbRestartNogoods=31
35.99	       =>  wckTime=34.578  cpuTime=34.16  mem=36M43
35.99	   
35.99	   global
35.99	     nbConstraintChecks=11447392  nbValidityChecks=10285931  nbPropagations=2218442  nbRevisions=51810419
35.99	     nbUselessRevisions=49250181  nbRestartNogoods=31  solvingWckTime=34.579  solvingCpuTime=34.16  expiredTime=no
35.99	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=35.02
35.99	       =>  wckTime=35.683  cpuTime=34.98  mem=36M43
35.99	   
35.99	s SATISFIABLE
35.99	v 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 
35.99	d NODES 14856
35.99	d CHECKS 11447392
35.99	   
35.99	   totalWckTime=35.763  totalCpuTime=35.02

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node18/watcher-215094-1168077819 -o ROOT/results/node18/solver-215094-1168077819 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215094-1168077819/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.80 1.90 1.91 4/93 22560
/proc/meminfo: memFree=927952/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=906644 CPUtime=0.02
/proc/22559/stat : 22559 (java) S 22557 22559 22228 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 156176630 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 226661 1818 1036 14 0 214244 0
[pid=22559/tid=22561] ppid=22557 vsize=906644 CPUtime=0
/proc/22559/task/22561/stat : 22561 (java) R 22557 22559 22228 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156176633 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104672 s]
/proc/loadavg: 1.80 1.90 1.91 4/93 22560
/proc/meminfo: memFree=927952/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=914988 CPUtime=0.08
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 3019 0 1 0 7 1 0 0 20 0 8 0 156176630 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153581899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228747 2765 1435 14 0 215242 0
[pid=22559/tid=22561] ppid=22557 vsize=914988 CPUtime=0
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156176633 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516724 s]
/proc/loadavg: 1.80 1.90 1.91 4/93 22560
/proc/meminfo: memFree=927952/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915328 CPUtime=0.5
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 6845 0 1 0 46 4 0 0 22 0 8 0 156176630 937295872 6584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228832 6584 2144 14 0 215302 0
[pid=22559/tid=22561] ppid=22557 vsize=915328 CPUtime=0
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156176633 937295872 6584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34079 s]
/proc/loadavg: 1.80 1.90 1.91 4/100 22567
/proc/meminfo: memFree=874520/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915760 CPUtime=1.31
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 16808 0 1 0 112 19 0 0 25 0 8 0 156176630 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8320796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228940 16545 2510 14 0 215410 0
[pid=22559/tid=22561] ppid=22557 vsize=915760 CPUtime=0.06
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 693 0 0 0 6 0 0 0 17 0 8 0 156176633 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22562] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22562/stat : 22562 (java) S 22557 22559 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22563] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22563/stat : 22563 (java) S 22557 22559 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22564] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22564/stat : 22564 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156176638 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22565] ppid=22557 vsize=915760 CPUtime=0.23
/proc/22559/task/22565/stat : 22565 (java) S 22557 22559 22228 0 -1 64 455 0 0 0 22 1 0 0 16 0 8 0 156176638 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22566] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22566/stat : 22566 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156176638 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22567] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22567/stat : 22567 (java) S 22557 22559 22228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156176638 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915760

[startup+2.97795 s]
/proc/loadavg: 1.82 1.90 1.91 3/100 22567
/proc/meminfo: memFree=871256/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915760 CPUtime=2.93
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 16896 0 1 0 273 20 0 0 25 0 8 0 156176630 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074030038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228940 16631 2533 14 0 215410 0
[pid=22559/tid=22561] ppid=22557 vsize=915760 CPUtime=0.06
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 694 0 0 0 6 0 0 0 17 0 8 0 156176633 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22562] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22562/stat : 22562 (java) S 22557 22559 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22563] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22563/stat : 22563 (java) S 22557 22559 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22564] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22564/stat : 22564 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156176638 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22565] ppid=22557 vsize=915760 CPUtime=0.31
/proc/22559/task/22565/stat : 22565 (java) S 22557 22559 22228 0 -1 64 493 0 0 0 29 2 0 0 15 0 8 0 156176638 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22566] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22566/stat : 22566 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156176638 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22567] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22567/stat : 22567 (java) S 22557 22559 22228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156176638 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915760

[startup+6.26927 s]
/proc/loadavg: 1.82 1.90 1.91 3/100 22567
/proc/meminfo: memFree=871256/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915760 CPUtime=6.2
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 16906 0 1 0 599 21 0 0 25 0 8 0 156176630 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074035764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228940 16639 2533 14 0 215410 0
[pid=22559/tid=22561] ppid=22557 vsize=915760 CPUtime=0.06
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 694 0 0 0 6 0 0 0 16 0 8 0 156176633 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22562] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22562/stat : 22562 (java) S 22557 22559 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22563] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22563/stat : 22563 (java) S 22557 22559 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22564] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22564/stat : 22564 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156176638 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22565] ppid=22557 vsize=915760 CPUtime=0.33
/proc/22559/task/22565/stat : 22565 (java) S 22557 22559 22228 0 -1 64 502 0 0 0 31 2 0 0 15 0 8 0 156176638 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22566] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22566/stat : 22566 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156176638 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22567] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22567/stat : 22567 (java) S 22557 22559 22228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156176638 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915760

[startup+12.7529 s]
/proc/loadavg: 1.85 1.90 1.91 3/100 22567
/proc/meminfo: memFree=871320/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915760 CPUtime=12.62
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 16914 0 1 0 1241 21 0 0 25 0 8 0 156176630 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074046757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228940 16644 2533 14 0 215410 0
[pid=22559/tid=22561] ppid=22557 vsize=915760 CPUtime=0.06
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 694 0 0 0 6 0 0 0 16 0 8 0 156176633 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22562] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22562/stat : 22562 (java) S 22557 22559 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22563] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22563/stat : 22563 (java) S 22557 22559 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22564] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22564/stat : 22564 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156176638 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22565] ppid=22557 vsize=915760 CPUtime=0.34
/proc/22559/task/22565/stat : 22565 (java) S 22557 22559 22228 0 -1 64 507 0 0 0 32 2 0 0 17 0 8 0 156176638 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22566] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22566/stat : 22566 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156176638 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22567] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22567/stat : 22567 (java) S 22557 22559 22228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156176638 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915760

[startup+25.6331 s]
/proc/loadavg: 1.87 1.90 1.91 3/100 22567
/proc/meminfo: memFree=871320/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915760 CPUtime=25.38
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 16916 0 1 0 2517 21 0 0 25 0 8 0 156176630 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074035665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228940 16645 2533 14 0 215410 0
[pid=22559/tid=22561] ppid=22557 vsize=915760 CPUtime=0.06
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 694 0 0 0 6 0 0 0 16 0 8 0 156176633 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22562] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22562/stat : 22562 (java) S 22557 22559 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22563] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22563/stat : 22563 (java) S 22557 22559 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22564] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22564/stat : 22564 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156176638 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22565] ppid=22557 vsize=915760 CPUtime=0.34
/proc/22559/task/22565/stat : 22565 (java) S 22557 22559 22228 0 -1 64 508 0 0 0 32 2 0 0 16 0 8 0 156176638 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22566] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22566/stat : 22566 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156176638 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22567] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22567/stat : 22567 (java) S 22557 22559 22228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156176638 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915760

Child status: 0
Real time (s): 36.0262
CPU time (s): 35.6686
CPU user time (s): 35.4406
CPU system time (s): 0.227965
CPU usage (%): 99.0073
Max. virtual memory (cumulated for all children) (KiB): 915760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.4406
system time used= 0.227965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16925
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= 2244
involuntary context switches= 3207

runsolver used 0.047992 s user time and 0.12698 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sat Jan  6 10:03:39 UTC 2007


IDJOB= 215094
IDBENCH= 4975
FILE ID= node18/215094-1168077819

PBS_JOBID= 3475822

Free space on /tmp= 66283 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32c2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215094-1168077819/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-215094-1168077819 -o ROOT/results/node18/solver-215094-1168077819 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215094-1168077819/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bc0c64bf742e7f793e769b75938abe34

RANDOM SEED= 931943395

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        928432 kB
Buffers:         69584 kB
Cached:         692696 kB
SwapCached:          0 kB
Active:         633532 kB
Inactive:       394648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        928432 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2228 kB
Writeback:           0 kB
Mapped:         294892 kB
Slab:            83656 kB
Committed_AS:  4798768 kB
PageTables:       2520 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= 66283 MiB



End job on node18 on Sat Jan  6 10:04:16 UTC 2007