Trace number 199638

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 88.2686 89.1405

DiagnosticValue
CHECKS557724450
NODES419676

General information on the benchmark

Namerandom/rand-2-23/
rand-23-23-253-131-48021_ext.xml
MD5SUM5ac92d33b0665a202bbb2fa978351295
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.9706
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables23
Number of constraints253
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension253
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.36	     name=/tmp/evaluation/199638-1168071495/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=23  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.42	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.63	     nbConstraints=253  nbRelationTypes=253  nbExtensionStructures=253  nbSharedExtensionStructures=0
0.63	     nbConflictsStructures=253  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=833  maxDegree=22
0.63	     maxArity=2
0.63	       =>  wckTime=0.303  cpuTime=0.22  mem=12M803
0.67	   
0.67	   solver IterativeSystematicSolver being built... 
0.83	       =>  wckTime=0.5  cpuTime=0.35  mem=13M899
0.83	   
0.83	   preprocessing
0.83	     nbConstraintChecks=0  nbPropagations=23  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.83	     detectedInconsistency=no
0.83	       =>  wckTime=0.0030  cpuTime=0.0  mem=13M899
0.88	   
0.88	   search
0.88	     run=0  nbConstraintChecks=34717  nbPropagations=428  nbRevisions=6573  nbUselessRevisions=5621  nbAssignments=27
0.88	     nbFailedAssignments=12  nbBacktracks=10  nbVisitedNodes=48  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.88	     nbTooLargeKeys=0
0.88	       =>  wckTime=0.051  cpuTime=0.02  mem=14M924
0.90	   
0.90	   search
0.90	     run=1  nbConstraintChecks=76252  nbPropagations=1407  nbRevisions=22252  nbUselessRevisions=19087  nbAssignments=65
0.90	     nbFailedAssignments=28  nbBacktracks=26  nbVisitedNodes=115  nbRestartNogoods=3  mapSize=26  nbInferences=0
0.90	     nbTooLargeKeys=0
0.90	       =>  wckTime=0.069  cpuTime=0.04  mem=14M924
0.92	   
0.92	   search
0.92	     run=2  nbConstraintChecks=131517  nbPropagations=3080  nbRevisions=50210  nbUselessRevisions=43090
0.92	     nbAssignments=113  nbFailedAssignments=49  nbBacktracks=50  nbVisitedNodes=201  nbRestartNogoods=8  mapSize=48
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.094  cpuTime=0.05  mem=14M924
0.95	   
0.95	   search
0.95	     run=3  nbConstraintChecks=230716  nbPropagations=5936  nbRevisions=99591  nbUselessRevisions=85532
0.95	     nbAssignments=185  nbFailedAssignments=82  nbBacktracks=85  nbVisitedNodes=333  nbRestartNogoods=9  mapSize=83
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.12  cpuTime=0.08  mem=14M924
0.98	   
0.98	   search
0.98	     run=4  nbConstraintChecks=367081  nbPropagations=10369  nbRevisions=178083  nbUselessRevisions=153018
0.98	     nbAssignments=290  nbFailedAssignments=133  nbBacktracks=135  nbVisitedNodes=525  nbRestartNogoods=13  mapSize=133
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.147  cpuTime=0.11  mem=14M924
1.02	   
1.02	   search
1.02	     run=5  nbConstraintChecks=565729  nbPropagations=17224  nbRevisions=301839  nbUselessRevisions=259402
1.02	     nbAssignments=455  nbFailedAssignments=217  nbBacktracks=211  nbVisitedNodes=830  nbRestartNogoods=17  mapSize=208
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.191  cpuTime=0.15  mem=14M924
1.08	   
1.08	   search
1.08	     run=6  nbConstraintChecks=835826  nbPropagations=27369  nbRevisions=487376  nbUselessRevisions=419169
1.08	     nbAssignments=679  nbFailedAssignments=323  nbBacktracks=325  nbVisitedNodes=1247  nbRestartNogoods=25  mapSize=319
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.248  cpuTime=0.2  mem=14M924
1.17	   
1.17	   search
1.17	     run=7  nbConstraintChecks=1260556  nbPropagations=42699  nbRevisions=769031  nbUselessRevisions=661824
1.17	     nbAssignments=1023  nbFailedAssignments=494  nbBacktracks=495  nbVisitedNodes=1894  nbRestartNogoods=33
1.17	     mapSize=488  nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.338  cpuTime=0.28  mem=14M924
1.30	   
1.30	   search
1.30	     run=8  nbConstraintChecks=1886426  nbPropagations=65528  nbRevisions=1189329  nbUselessRevisions=1023894
1.30	     nbAssignments=1535  nbFailedAssignments=745  nbBacktracks=752  nbVisitedNodes=2837  nbRestartNogoods=39
1.30	     mapSize=740  nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.468  cpuTime=0.4  mem=14M924
1.43	   
1.43	   INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M924)
1.47	   
1.47	   search
1.47	     run=9  nbConstraintChecks=2885528  nbPropagations=99915  nbRevisions=1828223  nbUselessRevisions=1574315
1.47	     nbAssignments=2302  nbFailedAssignments=1123  nbBacktracks=1138  nbVisitedNodes=4264  nbRestartNogoods=46
1.47	       =>  wckTime=0.645  cpuTime=0.56  mem=14M924
1.72	   
1.72	   search
1.72	     run=10  nbConstraintChecks=4350498  nbPropagations=151472  nbRevisions=2791730  nbUselessRevisions=2404349
1.72	     nbAssignments=3451  nbFailedAssignments=1691  nbBacktracks=1715  nbVisitedNodes=6421  nbRestartNogoods=52
1.72	       =>  wckTime=0.892  cpuTime=0.8  mem=14M924
2.07	   
2.07	   search
2.07	     run=11  nbConstraintChecks=6531577  nbPropagations=228981  nbRevisions=4245496  nbUselessRevisions=3656888
2.07	     nbAssignments=5214  nbFailedAssignments=2583  nbBacktracks=2580  nbVisitedNodes=9728  nbRestartNogoods=63
2.07	       =>  wckTime=1.241  cpuTime=1.14  mem=14M924
2.62	   
2.62	   search
2.62	     run=12  nbConstraintChecks=9956924  nbPropagations=345854  nbRevisions=6456702  nbUselessRevisions=5562578
2.62	     nbAssignments=7813  nbFailedAssignments=3880  nbBacktracks=3877  nbVisitedNodes=14612  nbRestartNogoods=73
2.62	       =>  wckTime=1.789  cpuTime=1.68  mem=14M924
3.42	   
3.42	   search
3.42	     run=13  nbConstraintChecks=14965025  nbPropagations=520949  nbRevisions=9779258  nbUselessRevisions=8426367
3.42	     nbAssignments=11705  nbFailedAssignments=5822  nbBacktracks=5823  nbVisitedNodes=21897  nbRestartNogoods=84
3.42	       =>  wckTime=2.587  cpuTime=2.47  mem=14M924
4.59	   
4.59	   search
4.59	     run=14  nbConstraintChecks=22249691  nbPropagations=781775  nbRevisions=14721247  nbUselessRevisions=12684623
4.59	     nbAssignments=17486  nbFailedAssignments=8680  nbBacktracks=8742  nbVisitedNodes=32699  nbRestartNogoods=100
4.59	       =>  wckTime=3.761  cpuTime=3.64  mem=14M924
6.40	   
6.40	   search
6.40	     run=15  nbConstraintChecks=33507197  nbPropagations=1174310  nbRevisions=22182033  nbUselessRevisions=19116522
6.40	     nbAssignments=26274  nbFailedAssignments=13083  nbBacktracks=13121  nbVisitedNodes=49193  nbRestartNogoods=111
6.40	       =>  wckTime=5.573  cpuTime=5.43  mem=14M924
9.15	   
9.15	   search
9.15	     run=16  nbConstraintChecks=50666280  nbPropagations=1765160  nbRevisions=33462956  nbUselessRevisions=28847274
9.15	     nbAssignments=39490  nbFailedAssignments=19727  nbBacktracks=19690  nbVisitedNodes=73985  nbRestartNogoods=125
9.15	       =>  wckTime=8.322  cpuTime=8.15  mem=14M924
13.35	   
13.35	   search
13.35	     run=17  nbConstraintChecks=77132610  nbPropagations=2657441  nbRevisions=50609992  nbUselessRevisions=43641629
13.35	     nbAssignments=59463  nbFailedAssignments=29844  nbBacktracks=29542  nbVisitedNodes=111476  nbRestartNogoods=142
13.35	       =>  wckTime=12.524  cpuTime=12.32  mem=14M924
19.53	   
19.53	   search
19.53	     run=18  nbConstraintChecks=116304474  nbPropagations=3997068  nbRevisions=76407561  nbUselessRevisions=65900955
19.53	     nbAssignments=89288  nbFailedAssignments=44885  nbBacktracks=44321  nbVisitedNodes=167405  nbRestartNogoods=164
19.53	       =>  wckTime=18.701  cpuTime=18.43  mem=14M924
28.81	   
28.81	   search
28.81	     run=19  nbConstraintChecks=174812093  nbPropagations=6006095  nbRevisions=115172966  nbUselessRevisions=99353100
28.81	     nbAssignments=133874  nbFailedAssignments=67299  nbBacktracks=66489  nbVisitedNodes=250990  nbRestartNogoods=177
28.81	       =>  wckTime=27.979  cpuTime=27.62  mem=14M924
42.67	   
42.67	   search
42.67	     run=20  nbConstraintChecks=262467047  nbPropagations=9018882  nbRevisions=173370453  nbUselessRevisions=149588074
42.67	     nbAssignments=200649  nbFailedAssignments=100816  nbBacktracks=99742  nbVisitedNodes=376181  nbRestartNogoods=191
42.67	       =>  wckTime=41.839  cpuTime=41.36  mem=14M924
63.90	   
63.90	   search
63.90	     run=21  nbConstraintChecks=396761581  nbPropagations=13557844  nbRevisions=261397440  nbUselessRevisions=225598134
63.90	     nbAssignments=301605  nbFailedAssignments=151891  nbBacktracks=149620  nbVisitedNodes=565686  nbRestartNogoods=198
63.90	       =>  wckTime=63.068  cpuTime=62.4  mem=14M924
89.09	   
89.09	   search
89.09	     run=22  nbConstraintChecks=557724450  nbPropagations=19895170  nbRevisions=384770572  nbUselessRevisions=332145817
89.09	     nbAssignments=419676  nbFailedAssignments=211607  nbBacktracks=207952  nbVisitedNodes=787299  nbRestartNogoods=209
89.09	       =>  wckTime=88.258  cpuTime=87.35  mem=14M924
89.09	   
89.09	   global
89.09	     nbConstraintChecks=557724450  nbPropagations=19895193  nbRevisions=384770572  nbUselessRevisions=332145817
89.09	     nbRestartNogoods=209  solvingWckTime=88.259  solvingCpuTime=87.36  expiredTime=no  totalExploration=no
89.09	     nbFoundSolutions=1  globalCpuTime=87.76
89.09	       =>  wckTime=88.763  cpuTime=87.71  mem=14M924
89.09	   
89.09	s SATISFIABLE
89.09	v 17 8 5 14 1 1 9 1 8 17 4 6 2 7 3 4 5 5 13 22 16 1 11 
89.09	d NODES 419676
89.09	d CHECKS 557724450
89.09	   
89.09	   totalWckTime=88.852  totalCpuTime=87.76

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-199638-1168071495 -o ROOT/results/node2/solver-199638-1168071495 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199638-1168071495/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: 2.02 2.01 2.00 3/93 3443
/proc/meminfo: memFree=1072928/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=18540 CPUtime=0
/proc/3442/stat : 3442 (runsolver) R 3440 3442 2676 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 155545162 18984960 280 18446744073709551615 4194304 4267372 548682068864 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3442/statm: 4635 280 244 17 0 2626 0

[startup+0.107274 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 3443
/proc/meminfo: memFree=1072928/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=914988 CPUtime=0.09
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 2980 0 1 0 7 2 0 0 19 0 8 0 155545162 936947712 2726 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4154108496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51535 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 3443
/proc/meminfo: memFree=1072928/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915328 CPUtime=0.5
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 6819 0 1 0 45 5 0 0 18 0 8 0 155545162 937295872 6558 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072926664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228832 6558 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.3365 s]
/proc/loadavg: 2.02 2.01 2.00 4/100 3450
/proc/meminfo: memFree=1049512/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=1.31
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8580 0 1 0 124 7 0 0 24 0 8 0 155545162 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073798777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8318 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.23
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 383 0 0 0 23 0 0 0 16 0 8 0 155545170 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8318 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8318 18446744073709551615 134512640 134570532 4294956384 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) 915452

[startup+2.9738 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 3450
/proc/meminfo: memFree=1049320/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=2.92
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8602 0 1 0 285 7 0 0 25 0 8 0 155545162 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073811393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8339 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.24
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 388 0 0 0 24 0 0 0 15 0 8 0 155545170 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8339 18446744073709551615 134512640 134570532 4294956384 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) 915452

[startup+6.27141 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 3450
/proc/meminfo: memFree=1049192/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=6.19
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8608 0 1 0 612 7 0 0 25 0 8 0 155545162 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073797869 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8345 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.25
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 389 0 0 0 25 0 0 0 16 0 8 0 155545170 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8345 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452

[startup+12.7476 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 3450
/proc/meminfo: memFree=1049192/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=12.6
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8614 0 1 0 1253 7 0 0 25 0 8 0 155545162 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073791808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8350 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.25
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 389 0 0 0 25 0 0 0 16 0 8 0 155545170 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8350 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915452

[startup+25.61 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 3452
/proc/meminfo: memFree=1049000/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=25.35
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8619 0 1 0 2528 7 0 0 25 0 8 0 155545162 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073798641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8355 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.25
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 389 0 0 0 25 0 0 0 16 0 8 0 155545170 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915452

[startup+51.2187 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 3452
/proc/meminfo: memFree=1049000/2055920 swapFree=4191880/4192956
[pid=3442] ppid=3440 vsize=915452 CPUtime=50.72
/proc/3442/stat : 3442 (java) R 3440 3442 2676 0 -1 0 8624 0 1 0 5064 8 0 0 25 0 8 0 155545162 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073798777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3442/statm: 228863 8360 2513 14 0 215333 0
[pid=3442/tid=3444] ppid=3440 vsize=915452 CPUtime=0.03
/proc/3442/task/3444/stat : 3444 (java) S 3440 3442 2676 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155545166 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3445] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3445/stat : 3445 (java) S 3440 3442 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545167 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3446] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3446/stat : 3446 (java) S 3440 3442 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545167 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3447] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3447/stat : 3447 (java) S 3440 3442 2676 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155545170 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3448] ppid=3440 vsize=915452 CPUtime=0.25
/proc/3442/task/3448/stat : 3448 (java) S 3440 3442 2676 0 -1 64 389 0 0 0 25 0 0 0 16 0 8 0 155545170 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3449] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3449/stat : 3449 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155545170 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3442/tid=3450] ppid=3440 vsize=915452 CPUtime=0
/proc/3442/task/3450/stat : 3450 (java) S 3440 3442 2676 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155545170 937422848 8360 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 89.1405
CPU time (s): 88.2686
CPU user time (s): 88.1786
CPU system time (s): 0.089986
CPU usage (%): 99.0219
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.1786
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8719
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= 2889
involuntary context switches= 7755

runsolver used 0.110983 s user time and 0.292955 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat Jan  6 08:18:15 UTC 2007


IDJOB= 199638
IDBENCH= 3630
FILE ID= node2/199638-1168071495

PBS_JOBID= 3475427

Free space on /tmp= 66321 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-48021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199638-1168071495/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-199638-1168071495 -o ROOT/results/node2/solver-199638-1168071495 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199638-1168071495/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5ac92d33b0665a202bbb2fa978351295

RANDOM SEED= 64698300

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:       1073408 kB
Buffers:         73480 kB
Cached:         667860 kB
SwapCached:        268 kB
Active:         369868 kB
Inactive:       515488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1073408 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1868 kB
Writeback:           0 kB
Mapped:         172324 kB
Slab:            81632 kB
Committed_AS:  4247832 kB
PageTables:       2592 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= 66321 MiB



End job on node2 on Sat Jan  6 08:19:44 UTC 2007