Trace number 202638

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 ACUNSAT 129.111 129.287

DiagnosticValue
CHECKS901722206
NODES610489

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-3_ext.xml
MD5SUMda7a8729995b8c74ebc13bac43702b0f
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark44.2383
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints340
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension340
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/202638-1168072591/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.39	       =>  wckTime=0.096  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.60	     nbConstraints=340  nbRelationTypes=340  nbExtensionStructures=340  nbSharedExtensionStructures=0
0.60	     nbConflictsStructures=340  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2968  maxDegree=23
0.60	     maxArity=2
0.60	       =>  wckTime=0.306  cpuTime=0.23  mem=12M803
0.64	   
0.64	   solver IterativeSystematicSolver being built... 
0.79	       =>  wckTime=0.493  cpuTime=0.35  mem=13M926
0.80	   
0.80	   preprocessing
0.80	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.80	     detectedInconsistency=no
0.80	       =>  wckTime=0.0040  cpuTime=0.0  mem=13M926
0.84	   
0.84	   search
0.84	     run=0  nbConstraintChecks=31096  nbPropagations=446  nbRevisions=4762  nbUselessRevisions=3849  nbAssignments=21
0.84	     nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=33  nbRestartNogoods=0  mapSize=8  nbInferences=0
0.84	     nbTooLargeKeys=0
0.84	       =>  wckTime=0.049  cpuTime=0.03  mem=14M901
0.86	   
0.86	   search
0.86	     run=1  nbConstraintChecks=69116  nbPropagations=1457  nbRevisions=16101  nbUselessRevisions=13108  nbAssignments=53
0.86	     nbFailedAssignments=15  nbBacktracks=25  nbVisitedNodes=83  nbRestartNogoods=1  mapSize=21  nbInferences=0
0.86	     nbTooLargeKeys=0
0.86	       =>  wckTime=0.069  cpuTime=0.04  mem=14M901
0.88	   
0.88	   search
0.88	     run=2  nbConstraintChecks=137530  nbPropagations=3397  nbRevisions=39258  nbUselessRevisions=31922
0.88	     nbAssignments=102  nbFailedAssignments=33  nbBacktracks=49  nbVisitedNodes=166  nbRestartNogoods=3  mapSize=43
0.88	     nbInferences=0  nbTooLargeKeys=0
0.88	       =>  wckTime=0.092  cpuTime=0.05  mem=14M901
0.90	   
0.90	   search
0.90	     run=3  nbConstraintChecks=224588  nbPropagations=6486  nbRevisions=77070  nbUselessRevisions=62519
0.90	     nbAssignments=163  nbFailedAssignments=54  nbBacktracks=83  nbVisitedNodes=267  nbRestartNogoods=6  mapSize=71
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.11  cpuTime=0.08  mem=14M901
0.93	   
0.93	   search
0.93	     run=4  nbConstraintChecks=364129  nbPropagations=11418  nbRevisions=140729  nbUselessRevisions=114035
0.93	     nbAssignments=263  nbFailedAssignments=97  nbBacktracks=135  nbVisitedNodes=444  nbRestartNogoods=9  mapSize=116
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.138  cpuTime=0.1  mem=14M901
0.97	   
0.97	   search
0.97	     run=5  nbConstraintChecks=573968  nbPropagations=19013  nbRevisions=239810  nbUselessRevisions=193421
0.97	     nbAssignments=399  nbFailedAssignments=150  nbBacktracks=211  nbVisitedNodes=681  nbRestartNogoods=11  mapSize=182
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.177  cpuTime=0.14  mem=14M901
1.01	   
1.01	   search
1.01	     run=6  nbConstraintChecks=820777  nbPropagations=30076  nbRevisions=384566  nbUselessRevisions=309591
1.01	     nbAssignments=593  nbFailedAssignments=223  nbBacktracks=324  nbVisitedNodes=1016  nbRestartNogoods=15  mapSize=279
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.224  cpuTime=0.18  mem=14M901
1.09	   
1.09	   search
1.09	     run=7  nbConstraintChecks=1251781  nbPropagations=46674  nbRevisions=603520  nbUselessRevisions=484566
1.09	     nbAssignments=879  nbFailedAssignments=333  nbBacktracks=494  nbVisitedNodes=1515  nbRestartNogoods=20  mapSize=426
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.298  cpuTime=0.26  mem=14M901
1.20	   
1.20	   search
1.20	     run=8  nbConstraintChecks=1845067  nbPropagations=71245  nbRevisions=932367  nbUselessRevisions=747489
1.20	     nbAssignments=1316  nbFailedAssignments=507  nbBacktracks=753  nbVisitedNodes=2270  nbRestartNogoods=27
1.20	     mapSize=645  nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.406  cpuTime=0.36  mem=14M901
1.35	   
1.35	   search
1.35	     run=9  nbConstraintChecks=2688300  nbPropagations=107267  nbRevisions=1419018  nbUselessRevisions=1136846
1.35	     nbAssignments=1961  nbFailedAssignments=757  nbBacktracks=1140  nbVisitedNodes=3379  nbRestartNogoods=30
1.35	     mapSize=974  nbInferences=0  nbTooLargeKeys=0
1.35	       =>  wckTime=0.561  cpuTime=0.5  mem=14M901
1.38	   
1.38	   INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=14M901)
1.59	   
1.59	   search
1.59	     run=10  nbConstraintChecks=4220817  nbPropagations=162668  nbRevisions=2174062  nbUselessRevisions=1738635
1.59	     nbAssignments=2962  nbFailedAssignments=1173  nbBacktracks=1717  nbVisitedNodes=5141  nbRestartNogoods=38
1.59	       =>  wckTime=0.799  cpuTime=0.73  mem=14M901
1.91	   
1.91	   search
1.91	     run=11  nbConstraintChecks=6348944  nbPropagations=246602  nbRevisions=3328213  nbUselessRevisions=2661586
1.91	     nbAssignments=4496  nbFailedAssignments=1834  nbBacktracks=2584  nbVisitedNodes=7852  nbRestartNogoods=48
1.91	       =>  wckTime=1.117  cpuTime=1.04  mem=14M901
2.33	   
2.33	   search
2.33	     run=12  nbConstraintChecks=9256048  nbPropagations=369385  nbRevisions=5016427  nbUselessRevisions=4013332
2.33	     nbAssignments=6634  nbFailedAssignments=2670  nbBacktracks=3881  nbVisitedNodes=11571  nbRestartNogoods=55
2.33	       =>  wckTime=1.544  cpuTime=1.47  mem=14M901
3.02	   
3.02	   search
3.03	     run=13  nbConstraintChecks=14115557  nbPropagations=553911  nbRevisions=7562875  nbUselessRevisions=6053763
3.03	     nbAssignments=9941  nbFailedAssignments=4023  nbBacktracks=5828  nbVisitedNodes=17369  nbRestartNogoods=66
3.03	       =>  wckTime=2.234  cpuTime=2.16  mem=14M901
4.06	   
4.06	   search
4.06	     run=14  nbConstraintChecks=21183206  nbPropagations=831310  nbRevisions=11419581  nbUselessRevisions=9149341
4.06	     nbAssignments=14929  nbFailedAssignments=6086  nbBacktracks=8748  nbVisitedNodes=26164  nbRestartNogoods=74
4.06	       =>  wckTime=3.27  cpuTime=3.2  mem=14M901
5.53	   
5.54	   search
5.54	     run=15  nbConstraintChecks=31292580  nbPropagations=1242790  nbRevisions=17129760  nbUselessRevisions=13734111
5.54	     nbAssignments=22184  nbFailedAssignments=8957  nbBacktracks=13126  nbVisitedNodes=38825  nbRestartNogoods=81
5.54	       =>  wckTime=4.745  cpuTime=4.67  mem=14M901
7.80	   
7.80	   search
7.80	     run=16  nbConstraintChecks=47064658  nbPropagations=1857917  nbRevisions=25648657  nbUselessRevisions=20563947
7.80	     nbAssignments=33162  nbFailedAssignments=13359  nbBacktracks=19695  nbVisitedNodes=57962  nbRestartNogoods=88
7.80	       =>  wckTime=7.014  cpuTime=6.93  mem=14M901
11.09	   
11.09	   search
11.09	     run=17  nbConstraintChecks=69278238  nbPropagations=2775303  nbRevisions=38411667  nbUselessRevisions=30827147
11.09	     nbAssignments=49676  nbFailedAssignments=20014  nbBacktracks=29547  nbVisitedNodes=86855  nbRestartNogoods=97
11.09	       =>  wckTime=10.296  cpuTime=10.22  mem=14M901
16.31	   
16.31	   search
16.31	     run=18  nbConstraintChecks=106556771  nbPropagations=4159757  nbRevisions=57607456  nbUselessRevisions=46214784
16.31	     nbAssignments=74431  nbFailedAssignments=29986  nbBacktracks=44326  nbVisitedNodes=130127  nbRestartNogoods=105
16.31	       =>  wckTime=15.521  cpuTime=15.43  mem=14M901
23.75	   
23.75	   search
23.75	     run=19  nbConstraintChecks=156581073  nbPropagations=6224156  nbRevisions=86261450  nbUselessRevisions=69235559
23.75	     nbAssignments=111616  nbFailedAssignments=44996  nbBacktracks=66495  nbVisitedNodes=194999  nbRestartNogoods=114
23.75	       =>  wckTime=22.962  cpuTime=22.84  mem=14M901
34.82	   
34.82	   search
34.82	     run=20  nbConstraintChecks=232832861  nbPropagations=9295473  nbRevisions=128946634  nbUselessRevisions=103534886
34.82	     nbAssignments=166725  nbFailedAssignments=66847  nbBacktracks=99748  nbVisitedNodes=290791  nbRestartNogoods=130
34.82	       =>  wckTime=34.032  cpuTime=33.91  mem=14M901
51.91	   
51.91	   search
51.91	     run=21  nbConstraintChecks=353313260  nbPropagations=13892809  nbRevisions=192848157  nbUselessRevisions=154808666
51.91	     nbAssignments=249297  nbFailedAssignments=99535  nbBacktracks=149627  nbVisitedNodes=434112  nbRestartNogoods=136
51.91	       =>  wckTime=51.125  cpuTime=50.99  mem=14M901
78.43	   
78.43	   search
78.43	     run=22  nbConstraintChecks=540119348  nbPropagations=20863669  nbRevisions=289847720  nbUselessRevisions=232594397
78.43	     nbAssignments=374486  nbFailedAssignments=149900  nbBacktracks=224445  nbVisitedNodes=653213  nbRestartNogoods=144
78.43	       =>  wckTime=77.642  cpuTime=77.47  mem=14M901
119.05	   
119.05	   search
119.05	     run=23  nbConstraintChecks=829456032  nbPropagations=31435426  nbRevisions=437108691  nbUselessRevisions=350528948
119.05	     nbAssignments=563427  nbFailedAssignments=226608  nbBacktracks=336673  nbVisitedNodes=984131  nbRestartNogoods=160
119.05	       =>  wckTime=118.255  cpuTime=118.03  mem=14M901
129.26	   
129.26	   search
129.26	     run=24  nbConstraintChecks=901722206  nbPropagations=42913672  nbRevisions=597060199  nbUselessRevisions=478621189
129.26	     nbAssignments=610489  nbFailedAssignments=245597  nbBacktracks=364747  nbVisitedNodes=1066502  nbRestartNogoods=169
129.26	       =>  wckTime=128.467  cpuTime=128.24  mem=14M901
129.26	   
129.26	   global
129.26	     nbConstraintChecks=901722206  nbPropagations=42913712  nbRevisions=597060199  nbUselessRevisions=478621189
129.26	     nbRestartNogoods=169  solvingWckTime=128.469  solvingCpuTime=128.24  expiredTime=no  totalExploration=yes
129.26	     nbFoundSolutions=0  globalCpuTime=128.64
129.26	       =>  wckTime=128.965  cpuTime=128.59  mem=14M901
129.26	   
129.26	s UNSATISFIABLE
129.26	d NODES 610489
129.26	d CHECKS 901722206
129.26	   
129.26	   totalWckTime=129.042  totalCpuTime=128.64

Verifier Data (download as text)

No possible verification on an UNSAT instance

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-202638-1168072591 -o ROOT/results/node2/solver-202638-1168072591 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202638-1168072591/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.83 1.92 1.97 4/93 3817
/proc/meminfo: memFree=1055968/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=292 CPUtime=0
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 229 0 0 0 0 0 0 0 18 0 1 0 155654778 299008 35 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10535716 0 0 4096 0 0 0 0 17 0 0 0
/proc/3816/statm: 73 35 27 14 0 5 0

[startup+0.108059 s]
/proc/loadavg: 1.83 1.92 1.97 4/93 3817
/proc/meminfo: memFree=1055968/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=914988 CPUtime=0.09
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 3080 0 1 0 7 2 0 0 22 0 8 0 155654778 936947712 2826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228747 2826 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.519132 s]
/proc/loadavg: 1.83 1.92 1.97 4/93 3817
/proc/meminfo: memFree=1055968/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915328 CPUtime=0.5
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 6985 0 1 0 46 4 0 0 25 0 8 0 155654778 937295872 6724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228832 6724 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34529 s]
/proc/loadavg: 1.83 1.92 1.97 3/100 3824
/proc/meminfo: memFree=1032616/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=1.32
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8645 0 1 0 126 6 0 0 25 0 8 0 155654778 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8383 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.2
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 155654785 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456

[startup+2.98259 s]
/proc/loadavg: 1.85 1.92 1.97 3/100 3824
/proc/meminfo: memFree=1032360/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=2.96
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8668 0 1 0 289 7 0 0 25 0 8 0 155654778 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8405 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915456

[startup+6.18418 s]
/proc/loadavg: 1.85 1.92 1.97 3/100 3824
/proc/meminfo: memFree=1032296/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=6.16
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8676 0 1 0 609 7 0 0 25 0 8 0 155654778 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8412 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915456

[startup+12.6634 s]
/proc/loadavg: 1.87 1.92 1.97 3/100 3824
/proc/meminfo: memFree=1032296/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=12.64
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8681 0 1 0 1257 7 0 0 25 0 8 0 155654778 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8417 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915456

[startup+25.5287 s]
/proc/loadavg: 1.89 1.92 1.97 3/100 3824
/proc/meminfo: memFree=1032296/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=25.47
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8686 0 1 0 2540 7 0 0 25 0 8 0 155654778 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820763 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8422 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915456

[startup+51.1615 s]
/proc/loadavg: 1.93 1.93 1.97 3/100 3824
/proc/meminfo: memFree=1032360/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=51.09
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8688 0 1 0 5102 7 0 0 25 0 8 0 155654778 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816149 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8424 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915456

[startup+102.421 s]
/proc/loadavg: 1.97 1.94 1.97 3/100 3824
/proc/meminfo: memFree=1032360/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=102.29
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8693 0 1 0 10222 7 0 0 25 0 8 0 155654778 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8429 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 129.287
CPU time (s): 129.111
CPU user time (s): 129.027
CPU system time (s): 0.083987
CPU usage (%): 99.8641
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.027
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8789
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= 3756
involuntary context switches= 7372

runsolver used 0.131979 s user time and 0.45593 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat Jan  6 08:36:31 UTC 2007


IDJOB= 202638
IDBENCH= 3872
FILE ID= node2/202638-1168072591

PBS_JOBID= 3475753

Free space on /tmp= 66321 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  da7a8729995b8c74ebc13bac43702b0f

RANDOM SEED= 178630253

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:       1056448 kB
Buffers:         73588 kB
Cached:         683868 kB
SwapCached:        268 kB
Active:         380656 kB
Inactive:       521384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1056448 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1996 kB
Writeback:           0 kB
Mapped:         172892 kB
Slab:            81724 kB
Committed_AS:  4261176 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:38:41 UTC 2007