0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/202788-1168154232/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.45 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.45
0.45 relations being loaded...
0.56
0.56 constraints being loaded...
0.68 nbConstraints=342 nbRelationTypes=342 nbExtensionStructures=342 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=342 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3068 maxDegree=24
0.68 maxArity=2
0.68 => wckTime=0.326 cpuTime=0.24 mem=12M811
0.72
0.72 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.53 cpuTime=0.37 mem=15M18
0.94
0.94 preprocessing
0.94 nbConstraintChecks=66349 nbPropagations=907 nbRevisions=6998 nbUselessRevisions=5698 nbSingletonTests=49
0.94 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.052 cpuTime=0.03 mem=15M18
0.96
0.96 search
0.96 run=0 nbConstraintChecks=28897 nbPropagations=1298 nbRevisions=11281 nbUselessRevisions=9118 nbAssignments=22
0.96 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.073 cpuTime=0.04 mem=15M18
0.98
0.98 search
0.98 run=1 nbConstraintChecks=88956 nbPropagations=3387 nbRevisions=32731 nbUselessRevisions=26294 nbAssignments=59
0.98 nbFailedAssignments=19 nbBacktracks=28 nbVisitedNodes=101 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.098 cpuTime=0.06 mem=15M18
1.00
1.00 search
1.00 run=2 nbConstraintChecks=163631 nbPropagations=6487 nbRevisions=65622 nbUselessRevisions=52856
1.00 nbAssignments=118 nbFailedAssignments=31 nbBacktracks=51 nbVisitedNodes=169 nbRestartNogoods=7 mapSize=40
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.118 cpuTime=0.07 mem=15M18
1.02
1.02 search
1.02 run=3 nbConstraintChecks=249131 nbPropagations=10851 nbRevisions=115908 nbUselessRevisions=93557
1.02 nbAssignments=192 nbFailedAssignments=64 nbBacktracks=87 nbVisitedNodes=296 nbRestartNogoods=10 mapSize=73
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.138 cpuTime=0.09 mem=15M18
1.05
1.05 search
1.05 run=4 nbConstraintChecks=381650 nbPropagations=16910 nbRevisions=188245 nbUselessRevisions=151601
1.05 nbAssignments=285 nbFailedAssignments=98 nbBacktracks=140 nbVisitedNodes=452 nbRestartNogoods=11 mapSize=117
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.165 cpuTime=0.12 mem=15M18
1.10
1.10 search
1.10 run=5 nbConstraintChecks=596139 nbPropagations=25743 nbRevisions=297216 nbUselessRevisions=238655
1.10 nbAssignments=429 nbFailedAssignments=159 nbBacktracks=217 nbVisitedNodes=705 nbRestartNogoods=16 mapSize=187
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.214 cpuTime=0.16 mem=15M18
1.16
1.16 search
1.16 run=6 nbConstraintChecks=857073 nbPropagations=37934 nbRevisions=452055 nbUselessRevisions=362328
1.16 nbAssignments=628 nbFailedAssignments=237 nbBacktracks=331 nbVisitedNodes=1039 nbRestartNogoods=24 mapSize=279
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.27 cpuTime=0.21 mem=15M18
1.24
1.24 search
1.24 run=7 nbConstraintChecks=1324670 nbPropagations=56122 nbRevisions=688017 nbUselessRevisions=549838
1.24 nbAssignments=930 nbFailedAssignments=362 nbBacktracks=502 nbVisitedNodes=1566 nbRestartNogoods=29 mapSize=427
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.356 cpuTime=0.29 mem=15M18
1.35
1.35 search
1.35 run=8 nbConstraintChecks=1859639 nbPropagations=81545 nbRevisions=1018136 nbUselessRevisions=812331
1.35 nbAssignments=1349 nbFailedAssignments=517 nbBacktracks=761 nbVisitedNodes=2270 nbRestartNogoods=34
1.35 mapSize=641 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.46 cpuTime=0.39 mem=15M18
1.52
1.52 search
1.52 run=9 nbConstraintChecks=2813100 nbPropagations=119218 nbRevisions=1513529 nbUselessRevisions=1205575
1.52 nbAssignments=2025 nbFailedAssignments=803 nbBacktracks=1146 nbVisitedNodes=3447 nbRestartNogoods=39
1.52 mapSize=962 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.638 cpuTime=0.55 mem=15M18
1.55
1.55 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=15M18)
1.76
1.76 search
1.76 run=10 nbConstraintChecks=4191648 nbPropagations=175552 nbRevisions=2268430 nbUselessRevisions=1807255
1.76 nbAssignments=3025 nbFailedAssignments=1218 nbBacktracks=1725 nbVisitedNodes=5207 nbRestartNogoods=48
1.76 => wckTime=0.877 cpuTime=0.78 mem=15M18
2.11
2.11 search
2.11 run=11 nbConstraintChecks=6417267 nbPropagations=260440 nbRevisions=3428112 nbUselessRevisions=2734252
2.11 nbAssignments=4536 nbFailedAssignments=1854 nbBacktracks=2594 nbVisitedNodes=7870 nbRestartNogoods=58
2.11 => wckTime=1.225 cpuTime=1.13 mem=15M18
2.60
2.60 search
2.60 run=12 nbConstraintChecks=9559664 nbPropagations=385281 nbRevisions=5128968 nbUselessRevisions=4090593
2.60 nbAssignments=6693 nbFailedAssignments=2706 nbBacktracks=3893 nbVisitedNodes=11605 nbRestartNogoods=63
2.60 => wckTime=1.716 cpuTime=1.61 mem=15M18
3.29
3.29 search
3.29 run=13 nbConstraintChecks=13919193 nbPropagations=568558 nbRevisions=7632792 nbUselessRevisions=6090580
3.29 nbAssignments=9872 nbFailedAssignments=3933 nbBacktracks=5842 nbVisitedNodes=17110 nbRestartNogoods=73
3.29 => wckTime=2.405 cpuTime=2.29 mem=15M18
4.38
4.38 search
4.38 run=14 nbConstraintChecks=20859168 nbPropagations=842682 nbRevisions=11420799 nbUselessRevisions=9124014
4.38 nbAssignments=14796 nbFailedAssignments=5930 nbBacktracks=8761 nbVisitedNodes=25719 nbRestartNogoods=83
4.38 => wckTime=3.494 cpuTime=3.37 mem=15M18
5.98
5.98 search
5.98 run=15 nbConstraintChecks=31064182 nbPropagations=1252251 nbRevisions=17068111 nbUselessRevisions=13647002
5.98 nbAssignments=22039 nbFailedAssignments=8787 nbBacktracks=13142 nbVisitedNodes=38274 nbRestartNogoods=92
5.98 => wckTime=5.095 cpuTime=4.95 mem=15M18
8.39
8.39 search
8.39 run=16 nbConstraintChecks=46396953 nbPropagations=1861405 nbRevisions=25587632 nbUselessRevisions=20486729
8.39 nbAssignments=33057 nbFailedAssignments=13230 nbBacktracks=19712 nbVisitedNodes=57481 nbRestartNogoods=97
8.39 => wckTime=7.502 cpuTime=7.33 mem=15M18
12.18
12.18 search
12.18 run=17 nbConstraintChecks=71024015 nbPropagations=2789397 nbRevisions=38537721 nbUselessRevisions=30868737
12.18 nbAssignments=49938 nbFailedAssignments=20253 nbBacktracks=29564 nbVisitedNodes=87092 nbRestartNogoods=105
12.18 => wckTime=11.298 cpuTime=11.11 mem=15M993
17.86
17.86 search
17.86 run=18 nbConstraintChecks=107475439 nbPropagations=4186544 nbRevisions=58153388 nbUselessRevisions=46607934
17.86 nbAssignments=75035 nbFailedAssignments=30566 nbBacktracks=44345 nbVisitedNodes=131164 nbRestartNogoods=121
17.86 => wckTime=16.973 cpuTime=16.73 mem=15M993
26.17
26.17 search
26.17 run=19 nbConstraintChecks=160646270 nbPropagations=6271126 nbRevisions=87487150 nbUselessRevisions=70157650
26.17 nbAssignments=112397 nbFailedAssignments=45754 nbBacktracks=66515 nbVisitedNodes=196270 nbRestartNogoods=129
26.17 => wckTime=25.284 cpuTime=24.96 mem=15M993
39.37
39.37 search
39.37 run=20 nbConstraintChecks=246634240 nbPropagations=9447280 nbRevisions=132303921 nbUselessRevisions=106133534
39.37 nbAssignments=169767 nbFailedAssignments=69867 nbBacktracks=99767 nbVisitedNodes=297428 nbRestartNogoods=135
39.37 => wckTime=38.484 cpuTime=38.05 mem=15M993
58.94
58.94 search
58.94 run=21 nbConstraintChecks=374133059 nbPropagations=14243095 nbRevisions=199784324 nbUselessRevisions=160238123
58.94 nbAssignments=254468 nbFailedAssignments=104679 nbBacktracks=149646 nbVisitedNodes=446052 nbRestartNogoods=141
58.94 => wckTime=58.058 cpuTime=57.43 mem=15M993
77.68
77.68 search
77.68 run=22 nbConstraintChecks=496166160 nbPropagations=20594094 nbRevisions=289015155 nbUselessRevisions=231749774
77.68 nbAssignments=335360 nbFailedAssignments=137496 nbBacktracks=197722 nbVisitedNodes=587538 nbRestartNogoods=153
77.68 => wckTime=76.793 cpuTime=76.01 mem=15M993
77.68
77.68 global
77.68 nbConstraintChecks=496232509 nbPropagations=20595001 nbRevisions=289022153 nbUselessRevisions=231755472
77.68 nbRestartNogoods=153 solvingWckTime=76.794 solvingCpuTime=76.01 expiredTime=no totalExploration=yes
77.68 nbFoundSolutions=0 globalCpuTime=76.44
77.68 => wckTime=77.328 cpuTime=76.38 mem=15M993
77.68
77.68 s UNSATISFIABLE
77.68 d NODES 335360
77.68 d CHECKS 496232509
77.68
77.68 totalWckTime=77.41 totalCpuTime=76.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-202788-1168154232 -o ROOT/results/node2/solver-202788-1168154232 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202788-1168154232/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.92 2.00 1.99 2/88 1512
/proc/meminfo: memFree=1273136/2055920 swapFree=4191880/4192956
[pid=1511] ppid=1509 vsize=18540 CPUtime=0
/proc/1511/stat : 1511 (runsolver) R 1509 1511 1078 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 163818908 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1511/statm: 4635 279 244 17 0 2626 0
[startup+0.102413 s]
/proc/loadavg: 1.92 2.00 1.99 2/88 1512
/proc/meminfo: memFree=1273136/2055920 swapFree=4191880/4192956
[pid=1511] ppid=1509 vsize=907808 CPUtime=0.05
/proc/1511/stat : 1511 (java) R 1509 1511 1078 0 -1 0 2425 0 1 0 4 1 0 0 16 0 4 0 163818908 929595392 2172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582179 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/1511/statm: 226952 2172 1199 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.514488 s]
/proc/loadavg: 1.92 2.00 1.99 2/88 1512
/proc/meminfo: memFree=1273136/2055920 swapFree=4191880/4192956
[pid=1511] ppid=1509 vsize=915328 CPUtime=0.46
/proc/1511/stat : 1511 (java) R 1509 1511 1078 0 -1 0 6419 0 1 0 42 4 0 0 18 0 8 0 163818908 937295872 6158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11001442 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1511/statm: 228832 6158 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33764 s]
/proc/loadavg: 1.92 2.00 1.99 3/95 1519
/proc/meminfo: memFree=1249144/2055920 swapFree=4191880/4192956
[pid=1511] ppid=1509 vsize=915456 CPUtime=1.27
/proc/1511/stat : 1511 (java) R 1509 1511 1078 0 -1 0 8724 0 1 0 121 6 0 0 24 0 8 0 163818908 937426944 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1511/statm: 228864 8462 2524 14 0 215334 0
[pid=1511/tid=1513] ppid=1509 vsize=915456 CPUtime=0.03
/proc/1511/task/1513/stat : 1513 (java) S 1509 1511 1078 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 163818916 937426944 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1514] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1514/stat : 1514 (java) S 1509 1511 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163818916 937426944 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1515] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1515/stat : 1515 (java) S 1509 1511 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163818916 937426944 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1516] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1516/stat : 1516 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163818920 937426944 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1517] ppid=1509 vsize=915456 CPUtime=0.21
/proc/1511/task/1517/stat : 1517 (java) S 1509 1511 1078 0 -1 64 379 0 0 0 20 1 0 0 15 0 8 0 163818920 937426944 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1518] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1518/stat : 1518 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163818920 937426944 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1519] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1519/stat : 1519 (java) S 1509 1511 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163818920 937426944 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915456
[startup+2.97494 s]
/proc/loadavg: 1.92 2.00 1.99 3/95 1519
/proc/meminfo: memFree=1248824/2055920 swapFree=4191880/4192956
[pid=1511] ppid=1509 vsize=915456 CPUtime=2.89
/proc/1511/stat : 1511 (java) R 1509 1511 1078 0 -1 0 8773 0 1 0 283 6 0 0 25 0 8 0 163818908 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1511/statm: 228864 8510 2524 14 0 215334 0
[pid=1511/tid=1513] ppid=1509 vsize=915456 CPUtime=0.03
/proc/1511/task/1513/stat : 1513 (java) S 1509 1511 1078 0 -1 64 289 0 0 0 3 0 0 0 17 0 8 0 163818916 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1514] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1514/stat : 1514 (java) S 1509 1511 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163818916 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1515] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1515/stat : 1515 (java) S 1509 1511 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163818916 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1516] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1516/stat : 1516 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163818920 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1517] ppid=1509 vsize=915456 CPUtime=0.24
/proc/1511/task/1517/stat : 1517 (java) S 1509 1511 1078 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 163818920 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1518] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1518/stat : 1518 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163818920 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1519] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1519/stat : 1519 (java) S 1509 1511 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163818920 937426944 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915456
[startup+6.27454 s]
/proc/loadavg: 1.93 2.00 1.99 3/95 1519
/proc/meminfo: memFree=1248760/2055920 swapFree=4191880/4192956
[pid=1511] ppid=1509 vsize=915456 CPUtime=6.16
/proc/1511/stat : 1511 (java) R 1509 1511 1078 0 -1 0 8783 0 1 0 610 6 0 0 25 0 8 0 163818908 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1511/statm: 228864 8518 2524 14 0 215334 0
[pid=1511/tid=1513] ppid=1509 vsize=915456 CPUtime=0.03
/proc/1511/task/1513/stat : 1513 (java) S 1509 1511 1078 0 -1 64 289 0 0 0 3 0 0 0 17 0 8 0 163818916 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1514] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1514/stat : 1514 (java) S 1509 1511 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163818916 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1515] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1515/stat : 1515 (java) S 1509 1511 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163818916 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1516] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1516/stat : 1516 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163818920 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1517] ppid=1509 vsize=915456 CPUtime=0.24
/proc/1511/task/1517/stat : 1517 (java) S 1509 1511 1078 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 163818920 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1518] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1518/stat : 1518 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163818920 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1519] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1519/stat : 1519 (java) S 1509 1511 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163818920 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915456
[startup+12.7487 s]
/proc/loadavg: 1.93 2.00 1.99 3/95 1519
/proc/meminfo: memFree=1248696/2055920 swapFree=4191880/4192956
[pid=1511] ppid=1509 vsize=915456 CPUtime=12.57
/proc/1511/stat : 1511 (java) R 1509 1511 1078 0 -1 0 8788 0 1 0 1251 6 0 0 25 0 8 0 163818908 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1511/statm: 228864 8523 2524 14 0 215334 0
[pid=1511/tid=1513] ppid=1509 vsize=915456 CPUtime=0.03
/proc/1511/task/1513/stat : 1513 (java) S 1509 1511 1078 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 163818916 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1514] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1514/stat : 1514 (java) S 1509 1511 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163818916 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1515] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1515/stat : 1515 (java) S 1509 1511 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163818916 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1516] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1516/stat : 1516 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163818920 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1517] ppid=1509 vsize=915456 CPUtime=0.24
/proc/1511/task/1517/stat : 1517 (java) S 1509 1511 1078 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 163818920 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1518] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1518/stat : 1518 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163818920 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1519] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1519/stat : 1519 (java) S 1509 1511 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163818920 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915456
[startup+25.6051 s]
/proc/loadavg: 1.95 2.00 1.99 3/95 1519
/proc/meminfo: memFree=1248760/2055920 swapFree=4191880/4192956
[pid=1511] ppid=1509 vsize=915456 CPUtime=25.31
/proc/1511/stat : 1511 (java) R 1509 1511 1078 0 -1 0 8790 0 1 0 2525 6 0 0 25 0 8 0 163818908 937426944 8525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1511/statm: 228864 8525 2524 14 0 215334 0
[pid=1511/tid=1513] ppid=1509 vsize=915456 CPUtime=0.03
/proc/1511/task/1513/stat : 1513 (java) S 1509 1511 1078 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 163818916 937426944 8525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1514] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1514/stat : 1514 (java) S 1509 1511 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163818916 937426944 8525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1515] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1515/stat : 1515 (java) S 1509 1511 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163818916 937426944 8525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1516] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1516/stat : 1516 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163818920 937426944 8525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1517] ppid=1509 vsize=915456 CPUtime=0.24
/proc/1511/task/1517/stat : 1517 (java) S 1509 1511 1078 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 163818920 937426944 8525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1518] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1518/stat : 1518 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163818920 937426944 8525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1519] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1519/stat : 1519 (java) S 1509 1511 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163818920 937426944 8525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915456
[startup+51.2158 s]
/proc/loadavg: 1.96 2.00 1.99 3/95 1519
/proc/meminfo: memFree=1248824/2055920 swapFree=4191880/4192956
[pid=1511] ppid=1509 vsize=915456 CPUtime=50.69
/proc/1511/stat : 1511 (java) R 1509 1511 1078 0 -1 0 8795 0 1 0 5063 6 0 0 25 0 8 0 163818908 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1511/statm: 228864 8530 2524 14 0 215334 0
[pid=1511/tid=1513] ppid=1509 vsize=915456 CPUtime=0.03
/proc/1511/task/1513/stat : 1513 (java) S 1509 1511 1078 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 163818916 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1514] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1514/stat : 1514 (java) S 1509 1511 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163818916 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1515] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1515/stat : 1515 (java) S 1509 1511 1078 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163818916 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1516] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1516/stat : 1516 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163818920 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1517] ppid=1509 vsize=915456 CPUtime=0.24
/proc/1511/task/1517/stat : 1517 (java) S 1509 1511 1078 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 163818920 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1518] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1518/stat : 1518 (java) S 1509 1511 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163818920 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1511/tid=1519] ppid=1509 vsize=915456 CPUtime=0
/proc/1511/task/1519/stat : 1519 (java) S 1509 1511 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163818920 937426944 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 77.7226
CPU time (s): 76.9503
CPU user time (s): 76.8713
CPU system time (s): 0.078987
CPU usage (%): 99.0064
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.8713
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8888
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= 2697
involuntary context switches= 4278
runsolver used 0.089986 s user time and 0.265959 s system time
The end
Begin job on node2 on Sun Jan 7 07:17:13 UTC 2007
IDJOB= 202788
IDBENCH= 3883
FILE ID= node2/202788-1168154232
PBS_JOBID= 3478243
Free space on /tmp= 66333 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202788-1168154232/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-202788-1168154232 -o ROOT/results/node2/solver-202788-1168154232 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202788-1168154232/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2034b20f95b4ca3ea3b257a685963d8c
RANDOM SEED= 572001974
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: 1273616 kB
Buffers: 74664 kB
Cached: 574696 kB
SwapCached: 448 kB
Active: 354352 kB
Inactive: 359160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1273616 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1888 kB
Writeback: 0 kB
Mapped: 83888 kB
Slab: 53424 kB
Committed_AS: 3885844 kB
PageTables: 2416 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= 66333 MiB
End job on node2 on Sun Jan 7 07:18:31 UTC 2007