0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/231636-1168318278/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.40 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.52
0.52 constraints being loaded...
0.65 nbConstraints=451 nbRelationTypes=451 nbExtensionStructures=451 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=451 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4261 maxDegree=31
0.65 maxArity=2
0.65 => wckTime=0.345 cpuTime=0.26 mem=14M818
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.549 cpuTime=0.39 mem=15M416
0.91
0.91 preprocessing
0.91 nbConstraintChecks=91037 nbPropagations=1151 nbRevisions=9774 nbUselessRevisions=8153 nbSingletonTests=69
0.91 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.91 => wckTime=0.056 cpuTime=0.03 mem=15M416
0.94
0.94 search
0.94 run=0 nbConstraintChecks=51918 nbPropagations=1704 nbRevisions=18307 nbUselessRevisions=15227 nbAssignments=27
0.94 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.084 cpuTime=0.05 mem=15M416
0.96
0.96 search
0.96 run=1 nbConstraintChecks=124317 nbPropagations=4149 nbRevisions=48302 nbUselessRevisions=40157
0.96 nbAssignments=64 nbFailedAssignments=30 nbBacktracks=25 nbVisitedNodes=112 nbRestartNogoods=4 mapSize=25
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.106 cpuTime=0.07 mem=15M416
0.98
0.98 search
0.98 run=2 nbConstraintChecks=226401 nbPropagations=7616 nbRevisions=94148 nbUselessRevisions=78197
0.98 nbAssignments=112 nbFailedAssignments=50 nbBacktracks=48 nbVisitedNodes=197 nbRestartNogoods=7 mapSize=48
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.124 cpuTime=0.09 mem=15M416
1.00
1.00 search
1.00 run=3 nbConstraintChecks=358903 nbPropagations=12376 nbRevisions=161183 nbUselessRevisions=133899
1.00 nbAssignments=178 nbFailedAssignments=79 nbBacktracks=81 nbVisitedNodes=315 nbRestartNogoods=10 mapSize=78
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.147 cpuTime=0.11 mem=15M416
1.03
1.03 search
1.03 run=4 nbConstraintChecks=531795 nbPropagations=18862 nbRevisions=256721 nbUselessRevisions=213139
1.03 nbAssignments=276 nbFailedAssignments=123 nbBacktracks=131 nbVisitedNodes=488 nbRestartNogoods=15 mapSize=123
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.177 cpuTime=0.14 mem=15M416
1.08
1.08 search
1.08 run=5 nbConstraintChecks=814425 nbPropagations=28224 nbRevisions=400647 nbUselessRevisions=332616
1.08 nbAssignments=431 nbFailedAssignments=197 nbBacktracks=206 nbVisitedNodes=771 nbRestartNogoods=20 mapSize=194
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.228 cpuTime=0.18 mem=15M416
1.16
1.16 search
1.16 run=6 nbConstraintChecks=1246221 nbPropagations=41875 nbRevisions=616057 nbUselessRevisions=511176
1.16 nbAssignments=647 nbFailedAssignments=294 nbBacktracks=319 nbVisitedNodes=1165 nbRestartNogoods=25 mapSize=305
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.303 cpuTime=0.25 mem=15M416
1.26
1.26 search
1.26 run=7 nbConstraintChecks=1966889 nbPropagations=62207 nbRevisions=947890 nbUselessRevisions=786720
1.26 nbAssignments=995 nbFailedAssignments=459 nbBacktracks=490 nbVisitedNodes=1792 nbRestartNogoods=29 mapSize=473
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.41 cpuTime=0.36 mem=15M416
1.42
1.42 search
1.42 run=8 nbConstraintChecks=2929299 nbPropagations=91689 nbRevisions=1437526 nbUselessRevisions=1192621
1.42 nbAssignments=1487 nbFailedAssignments=690 nbBacktracks=747 nbVisitedNodes=2685 nbRestartNogoods=35
1.42 mapSize=714 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.563 cpuTime=0.5 mem=15M416
1.59
1.59 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=15M416)
1.63
1.63 search
1.63 run=9 nbConstraintChecks=4360472 nbPropagations=134753 nbRevisions=2159766 nbUselessRevisions=1791110
1.63 nbAssignments=2218 nbFailedAssignments=1033 nbBacktracks=1131 nbVisitedNodes=4035 nbRestartNogoods=44
1.63 => wckTime=0.778 cpuTime=0.7 mem=15M416
1.94
1.94 search
1.94 run=10 nbConstraintChecks=6583320 nbPropagations=198827 nbRevisions=3252417 nbUselessRevisions=2698458
1.94 nbAssignments=3351 nbFailedAssignments=1584 nbBacktracks=1710 nbVisitedNodes=6137 nbRestartNogoods=48
1.94 => wckTime=1.088 cpuTime=1.0 mem=15M416
2.37
2.37 search
2.37 run=11 nbConstraintChecks=9740248 nbPropagations=292810 nbRevisions=4860842 nbUselessRevisions=4034283
2.37 nbAssignments=4966 nbFailedAssignments=2330 nbBacktracks=2574 nbVisitedNodes=9087 nbRestartNogoods=54
2.37 => wckTime=1.511 cpuTime=1.42 mem=15M416
3.03
3.03 search
3.03 run=12 nbConstraintChecks=14756927 nbPropagations=434252 nbRevisions=7278278 nbUselessRevisions=6036529
3.03 nbAssignments=7387 nbFailedAssignments=3449 nbBacktracks=3871 nbVisitedNodes=13540 nbRestartNogoods=67
3.03 => wckTime=2.178 cpuTime=2.08 mem=15M416
4.05
4.05 search
4.05 run=13 nbConstraintChecks=22524102 nbPropagations=648064 nbRevisions=10957041 nbUselessRevisions=9085423
4.05 nbAssignments=11118 nbFailedAssignments=5229 nbBacktracks=5818 nbVisitedNodes=20435 nbRestartNogoods=81
4.05 => wckTime=3.197 cpuTime=3.09 mem=15M416
5.56
5.56 search
5.56 run=14 nbConstraintChecks=33749011 nbPropagations=970943 nbRevisions=16606213 nbUselessRevisions=13786710
5.56 nbAssignments=16876 nbFailedAssignments=8063 nbBacktracks=8737 nbVisitedNodes=31147 nbRestartNogoods=88
5.56 => wckTime=4.703 cpuTime=4.58 mem=15M416
7.72
7.72 search
7.72 run=15 nbConstraintChecks=50210202 nbPropagations=1448101 nbRevisions=24947124 nbUselessRevisions=20723349
7.72 nbAssignments=25131 nbFailedAssignments=11927 nbBacktracks=13115 nbVisitedNodes=46357 nbRestartNogoods=102
7.72 => wckTime=6.864 cpuTime=6.72 mem=15M416
10.99
10.99 search
10.99 run=16 nbConstraintChecks=75128875 nbPropagations=2159873 nbRevisions=37443189 nbUselessRevisions=31130796
10.99 nbAssignments=37804 nbFailedAssignments=18026 nbBacktracks=19686 nbVisitedNodes=69727 nbRestartNogoods=121
10.99 => wckTime=10.137 cpuTime=9.97 mem=15M416
16.13
16.13 search
16.13 run=17 nbConstraintChecks=114522713 nbPropagations=3235281 nbRevisions=56318513 nbUselessRevisions=46832862
16.13 nbAssignments=56774 nbFailedAssignments=27140 nbBacktracks=29538 nbVisitedNodes=104835 nbRestartNogoods=137
16.13 => wckTime=15.272 cpuTime=15.06 mem=15M416
23.79
23.79 search
23.79 run=18 nbConstraintChecks=172226195 nbPropagations=4853878 nbRevisions=84832059 nbUselessRevisions=70577029
23.79 nbAssignments=85428 nbFailedAssignments=41011 nbBacktracks=44316 nbVisitedNodes=157839 nbRestartNogoods=148
23.79 => wckTime=22.932 cpuTime=22.64 mem=15M416
35.27
35.27 search
35.27 run=19 nbConstraintChecks=260215225 nbPropagations=7284605 nbRevisions=127815260 nbUselessRevisions=106381000
35.27 nbAssignments=128564 nbFailedAssignments=61975 nbBacktracks=66484 nbVisitedNodes=237770 nbRestartNogoods=156
35.27 => wckTime=34.415 cpuTime=34.01 mem=15M416
52.83
52.83 search
52.83 run=20 nbConstraintChecks=395275546 nbPropagations=10950089 nbRevisions=192735610 nbUselessRevisions=160457839
52.83 nbAssignments=193430 nbFailedAssignments=93585 nbBacktracks=99738 nbVisitedNodes=357981 nbRestartNogoods=158
52.83 => wckTime=51.973 cpuTime=51.41 mem=15M416
53.08
53.08 search
53.08 run=21 nbConstraintChecks=397231924 nbPropagations=14632936 nbRevisions=257972887 nbUselessRevisions=214799094
53.08 nbAssignments=194377 nbFailedAssignments=94074 nbBacktracks=100197 nbVisitedNodes=359743 nbRestartNogoods=165
53.08 => wckTime=52.223 cpuTime=51.66 mem=15M416
53.08
53.08 global
53.08 nbConstraintChecks=397322961 nbPropagations=14634087 nbRevisions=257982661 nbUselessRevisions=214807247
53.08 nbRestartNogoods=165 solvingWckTime=52.224 solvingCpuTime=51.66 expiredTime=no totalExploration=yes
53.08 nbFoundSolutions=0 globalCpuTime=52.1
53.08 => wckTime=52.776 cpuTime=52.05 mem=15M416
53.08
53.08 s UNSATISFIABLE
53.08 d NODES 194377
53.08 d CHECKS 397322961
53.08
53.08 totalWckTime=52.853 totalCpuTime=52.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-231636-1168318278 -o ROOT/results/node18/solver-231636-1168318278 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231636-1168318278/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.10 1.27 1.49 4/88 16531
/proc/meminfo: memFree=1444856/2055920 swapFree=4192812/4192956
[pid=16530] ppid=16528 vsize=18540 CPUtime=0
/proc/16530/stat : 16530 (runsolver) R 16528 16530 16463 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 180223315 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16530/statm: 4635 279 244 17 0 2626 0
[startup+0.108177 s]
/proc/loadavg: 1.10 1.27 1.49 4/88 16531
/proc/meminfo: memFree=1444856/2055920 swapFree=4192812/4192956
[pid=16530] ppid=16528 vsize=914988 CPUtime=0.08
/proc/16530/stat : 16530 (java) R 16528 16530 16463 0 -1 0 3000 0 1 0 7 1 0 0 24 0 8 0 180223315 936947712 2746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925086 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16530/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.520218 s]
/proc/loadavg: 1.10 1.27 1.49 4/88 16531
/proc/meminfo: memFree=1444856/2055920 swapFree=4192812/4192956
[pid=16530] ppid=16528 vsize=915328 CPUtime=0.49
/proc/16530/stat : 16530 (java) R 16528 16530 16463 0 -1 0 7019 0 1 0 45 4 0 0 25 0 8 0 180223315 937295872 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445387 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16530/statm: 228832 6758 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3453 s]
/proc/loadavg: 1.17 1.28 1.49 3/95 16538
/proc/meminfo: memFree=1419456/2055920 swapFree=4192812/4192956
[pid=16530] ppid=16528 vsize=915460 CPUtime=1.3
/proc/16530/stat : 16530 (java) R 16528 16530 16463 0 -1 0 9053 0 1 0 125 5 0 0 25 0 8 0 180223315 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16530/statm: 228865 8791 2524 14 0 215335 0
[pid=16530/tid=16532] ppid=16528 vsize=915460 CPUtime=0.03
/proc/16530/task/16532/stat : 16532 (java) S 16528 16530 16463 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 180223320 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16533] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16533/stat : 16533 (java) S 16528 16530 16463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180223320 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16534] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16534/stat : 16534 (java) S 16528 16530 16463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180223320 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16535] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16535/stat : 16535 (java) S 16528 16530 16463 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180223323 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16536] ppid=16528 vsize=915460 CPUtime=0.19
/proc/16530/task/16536/stat : 16536 (java) S 16528 16530 16463 0 -1 64 381 0 0 0 19 0 0 0 15 0 8 0 180223323 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16537] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16537/stat : 16537 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180223323 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16538] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16538/stat : 16538 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180223323 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98245 s]
/proc/loadavg: 1.17 1.28 1.49 3/95 16538
/proc/meminfo: memFree=1419392/2055920 swapFree=4192812/4192956
[pid=16530] ppid=16528 vsize=915460 CPUtime=2.93
/proc/16530/stat : 16530 (java) R 16528 16530 16463 0 -1 0 9068 0 1 0 288 5 0 0 25 0 8 0 180223315 937431040 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810612 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16530/statm: 228865 8805 2524 14 0 215335 0
[pid=16530/tid=16532] ppid=16528 vsize=915460 CPUtime=0.03
/proc/16530/task/16532/stat : 16532 (java) S 16528 16530 16463 0 -1 64 368 0 0 0 3 0 0 0 17 0 8 0 180223320 937431040 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16533] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16533/stat : 16533 (java) S 16528 16530 16463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180223320 937431040 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16534] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16534/stat : 16534 (java) S 16528 16530 16463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180223320 937431040 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16535] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16535/stat : 16535 (java) S 16528 16530 16463 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180223323 937431040 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16536] ppid=16528 vsize=915460 CPUtime=0.23
/proc/16530/task/16536/stat : 16536 (java) S 16528 16530 16463 0 -1 64 396 0 0 0 22 1 0 0 15 0 8 0 180223323 937431040 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16537] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16537/stat : 16537 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180223323 937431040 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16538] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16538/stat : 16538 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180223323 937431040 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26177 s]
/proc/loadavg: 1.24 1.29 1.49 3/95 16538
/proc/meminfo: memFree=1419392/2055920 swapFree=4192812/4192956
[pid=16530] ppid=16528 vsize=915460 CPUtime=6.18
/proc/16530/stat : 16530 (java) R 16528 16530 16463 0 -1 0 9072 0 1 0 613 5 0 0 25 0 8 0 180223315 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16530/statm: 228865 8807 2524 14 0 215335 0
[pid=16530/tid=16532] ppid=16528 vsize=915460 CPUtime=0.03
/proc/16530/task/16532/stat : 16532 (java) S 16528 16530 16463 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16533] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16533/stat : 16533 (java) S 16528 16530 16463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16534] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16534/stat : 16534 (java) S 16528 16530 16463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16535] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16535/stat : 16535 (java) S 16528 16530 16463 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16536] ppid=16528 vsize=915460 CPUtime=0.23
/proc/16530/task/16536/stat : 16536 (java) S 16528 16530 16463 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16537] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16537/stat : 16537 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16538] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16538/stat : 16538 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7484 s]
/proc/loadavg: 1.30 1.30 1.50 3/95 16538
/proc/meminfo: memFree=1419392/2055920 swapFree=4192812/4192956
[pid=16530] ppid=16528 vsize=915460 CPUtime=12.61
/proc/16530/stat : 16530 (java) R 16528 16530 16463 0 -1 0 9072 0 1 0 1256 5 0 0 25 0 8 0 180223315 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16530/statm: 228865 8807 2524 14 0 215335 0
[pid=16530/tid=16532] ppid=16528 vsize=915460 CPUtime=0.03
/proc/16530/task/16532/stat : 16532 (java) S 16528 16530 16463 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16533] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16533/stat : 16533 (java) S 16528 16530 16463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16534] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16534/stat : 16534 (java) S 16528 16530 16463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16535] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16535/stat : 16535 (java) S 16528 16530 16463 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16536] ppid=16528 vsize=915460 CPUtime=0.23
/proc/16530/task/16536/stat : 16536 (java) S 16528 16530 16463 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16537] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16537/stat : 16537 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16538] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16538/stat : 16538 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.6046 s]
/proc/loadavg: 1.41 1.33 1.50 3/95 16538
/proc/meminfo: memFree=1419392/2055920 swapFree=4192812/4192956
[pid=16530] ppid=16528 vsize=915460 CPUtime=25.35
/proc/16530/stat : 16530 (java) R 16528 16530 16463 0 -1 0 9072 0 1 0 2530 5 0 0 25 0 8 0 180223315 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802607 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16530/statm: 228865 8807 2524 14 0 215335 0
[pid=16530/tid=16532] ppid=16528 vsize=915460 CPUtime=0.03
/proc/16530/task/16532/stat : 16532 (java) S 16528 16530 16463 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16533] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16533/stat : 16533 (java) S 16528 16530 16463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16534] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16534/stat : 16534 (java) S 16528 16530 16463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16535] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16535/stat : 16535 (java) S 16528 16530 16463 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16536] ppid=16528 vsize=915460 CPUtime=0.23
/proc/16530/task/16536/stat : 16536 (java) S 16528 16530 16463 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16537] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16537/stat : 16537 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16538] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16538/stat : 16538 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.3051 s]
/proc/loadavg: 1.64 1.39 1.52 3/95 16538
/proc/meminfo: memFree=1419520/2055920 swapFree=4192812/4192956
[pid=16530] ppid=16528 vsize=915460 CPUtime=50.81
/proc/16530/stat : 16530 (java) R 16528 16530 16463 0 -1 0 9072 0 1 0 5075 6 0 0 25 0 8 0 180223315 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805580 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16530/statm: 228865 8807 2524 14 0 215335 0
[pid=16530/tid=16532] ppid=16528 vsize=915460 CPUtime=0.03
/proc/16530/task/16532/stat : 16532 (java) S 16528 16530 16463 0 -1 64 368 0 0 0 3 0 0 0 16 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16533] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16533/stat : 16533 (java) S 16528 16530 16463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16534] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16534/stat : 16534 (java) S 16528 16530 16463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180223320 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16535] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16535/stat : 16535 (java) S 16528 16530 16463 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16536] ppid=16528 vsize=915460 CPUtime=0.23
/proc/16530/task/16536/stat : 16536 (java) S 16528 16530 16463 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16537] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16537/stat : 16537 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16530/tid=16538] ppid=16528 vsize=915460 CPUtime=0
/proc/16530/task/16538/stat : 16538 (java) S 16528 16530 16463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180223323 937431040 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 53.1181
CPU time (s): 52.59
CPU user time (s): 52.524
CPU system time (s): 0.065989
CPU usage (%): 99.0058
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.524
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9082
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= 2281
involuntary context switches= 3791
runsolver used 0.067989 s user time and 0.179972 s system time
The end
Begin job on node18 on Tue Jan 9 04:51:22 UTC 2007
IDJOB= 231636
IDBENCH= 6477
FILE ID= node18/231636-1168318278
PBS_JOBID= 3502639
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-70_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231636-1168318278/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-231636-1168318278 -o ROOT/results/node18/solver-231636-1168318278 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231636-1168318278/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3ff044f75ae42272ea5545f60b6b7319
RANDOM SEED= 480149333
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1445464 kB
Buffers: 99124 kB
Cached: 386328 kB
SwapCached: 0 kB
Active: 348380 kB
Inactive: 200824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1445464 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2120 kB
Writeback: 0 kB
Mapped: 84360 kB
Slab: 46248 kB
Committed_AS: 5400944 kB
PageTables: 2096 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= 66550 MiB
End job on node18 on Tue Jan 9 04:52:21 UTC 2007