0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/202966-1168155375/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.108 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.65 nbConstraints=348 nbRelationTypes=348 nbExtensionStructures=348 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=348 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3154 maxDegree=22
0.65 maxArity=2
0.65 => wckTime=0.335 cpuTime=0.24 mem=13M780
0.69
0.69 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.545 cpuTime=0.38 mem=15M28
0.91
0.92 preprocessing
0.92 nbConstraintChecks=62983 nbPropagations=869 nbRevisions=6867 nbUselessRevisions=5613 nbSingletonTests=48
0.92 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.052 cpuTime=0.03 mem=15M28
0.94
0.94 search
0.94 run=0 nbConstraintChecks=27985 nbPropagations=1250 nbRevisions=11001 nbUselessRevisions=9006 nbAssignments=25
0.94 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.075 cpuTime=0.05 mem=15M28
0.96
0.96 search
0.96 run=1 nbConstraintChecks=68491 nbPropagations=3140 nbRevisions=29731 nbUselessRevisions=24341 nbAssignments=57
0.96 nbFailedAssignments=14 nbBacktracks=27 nbVisitedNodes=88 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.097 cpuTime=0.06 mem=15M28
0.98
0.98 search
0.98 run=2 nbConstraintChecks=136407 nbPropagations=5892 nbRevisions=59895 nbUselessRevisions=48581
0.98 nbAssignments=99 nbFailedAssignments=29 nbBacktracks=50 nbVisitedNodes=160 nbRestartNogoods=6 mapSize=40
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.115 cpuTime=0.08 mem=15M28
0.99
0.99 search
0.99 run=3 nbConstraintChecks=206244 nbPropagations=9639 nbRevisions=103596 nbUselessRevisions=83761
0.99 nbAssignments=157 nbFailedAssignments=49 nbBacktracks=83 nbVisitedNodes=257 nbRestartNogoods=7 mapSize=67
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.132 cpuTime=0.09 mem=15M28
1.02
1.02 search
1.02 run=4 nbConstraintChecks=327190 nbPropagations=15071 nbRevisions=170768 nbUselessRevisions=137875
1.02 nbAssignments=254 nbFailedAssignments=89 nbBacktracks=133 nbVisitedNodes=420 nbRestartNogoods=8 mapSize=112
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.159 cpuTime=0.12 mem=15M28
1.06
1.06 search
1.06 run=5 nbConstraintChecks=498579 nbPropagations=22851 nbRevisions=270778 nbUselessRevisions=218692
1.06 nbAssignments=385 nbFailedAssignments=137 nbBacktracks=209 nbVisitedNodes=644 nbRestartNogoods=11 mapSize=175
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.199 cpuTime=0.16 mem=15M28
1.11
1.11 search
1.11 run=6 nbConstraintChecks=763133 nbPropagations=34257 nbRevisions=421943 nbUselessRevisions=340860
1.11 nbAssignments=575 nbFailedAssignments=206 nbBacktracks=322 nbVisitedNodes=974 nbRestartNogoods=14 mapSize=275
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.251 cpuTime=0.21 mem=15M28
1.20
1.20 search
1.20 run=7 nbConstraintChecks=1162991 nbPropagations=51141 nbRevisions=654925 nbUselessRevisions=530316
1.20 nbAssignments=883 nbFailedAssignments=335 nbBacktracks=493 nbVisitedNodes=1513 nbRestartNogoods=19 mapSize=425
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.336 cpuTime=0.28 mem=15M28
1.30
1.30 search
1.30 run=8 nbConstraintChecks=1663456 nbPropagations=74681 nbRevisions=976107 nbUselessRevisions=790021
1.30 nbAssignments=1279 nbFailedAssignments=468 nbBacktracks=750 nbVisitedNodes=2160 nbRestartNogoods=28
1.30 mapSize=621 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.435 cpuTime=0.38 mem=15M28
1.46
1.46 search
1.46 run=9 nbConstraintChecks=2452190 nbPropagations=109338 nbRevisions=1448537 nbUselessRevisions=1171580
1.46 nbAssignments=1927 nbFailedAssignments=715 nbBacktracks=1134 nbVisitedNodes=3259 nbRestartNogoods=34
1.46 mapSize=945 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.599 cpuTime=0.53 mem=15M28
1.51
1.51 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=15M28)
1.68
1.68 search
1.68 run=10 nbConstraintChecks=3707116 nbPropagations=159755 nbRevisions=2138725 nbUselessRevisions=1727710
1.68 nbAssignments=2848 nbFailedAssignments=1051 nbBacktracks=1713 nbVisitedNodes=4820 nbRestartNogoods=41
1.68 => wckTime=0.818 cpuTime=0.73 mem=15M28
1.99
1.99 search
1.99 run=11 nbConstraintChecks=5661614 nbPropagations=235506 nbRevisions=3173715 nbUselessRevisions=2557872
1.99 nbAssignments=4264 nbFailedAssignments=1594 nbBacktracks=2580 nbVisitedNodes=7241 nbRestartNogoods=46
1.99 => wckTime=1.133 cpuTime=1.04 mem=15M28
2.45
2.45 search
2.45 run=12 nbConstraintChecks=8503356 nbPropagations=347471 nbRevisions=4715649 nbUselessRevisions=3794943
2.45 nbAssignments=6341 nbFailedAssignments=2366 nbBacktracks=3881 nbVisitedNodes=10795 nbRestartNogoods=55
2.45 => wckTime=1.586 cpuTime=1.49 mem=15M28
3.12
3.12 search
3.12 run=13 nbConstraintChecks=12570214 nbPropagations=515500 nbRevisions=7039943 nbUselessRevisions=5663161
3.12 nbAssignments=9583 nbFailedAssignments=3658 nbBacktracks=5828 nbVisitedNodes=16414 nbRestartNogoods=60
3.12 => wckTime=2.262 cpuTime=2.16 mem=15M28
4.18
4.18 search
4.18 run=14 nbConstraintChecks=19088782 nbPropagations=768641 nbRevisions=10587983 nbUselessRevisions=8524210
4.18 nbAssignments=14427 nbFailedAssignments=5575 nbBacktracks=8748 nbVisitedNodes=24839 nbRestartNogoods=63
4.18 => wckTime=3.314 cpuTime=3.2 mem=15M28
5.68
5.68 search
5.68 run=15 nbConstraintChecks=28313164 nbPropagations=1145540 nbRevisions=15859482 nbUselessRevisions=12776030
5.68 nbAssignments=21466 nbFailedAssignments=8230 nbBacktracks=13127 nbVisitedNodes=36866 nbRestartNogoods=69
5.68 => wckTime=4.816 cpuTime=4.69 mem=15M28
7.99
7.99 search
7.99 run=16 nbConstraintChecks=42414345 nbPropagations=1710838 nbRevisions=23803978 nbUselessRevisions=19193605
7.99 nbAssignments=32292 nbFailedAssignments=12479 nbBacktracks=19695 nbVisitedNodes=55540 nbRestartNogoods=81
7.99 => wckTime=7.124 cpuTime=6.98 mem=15M28
11.45
11.45 search
11.45 run=17 nbConstraintChecks=63823143 nbPropagations=2561388 nbRevisions=35747616 nbUselessRevisions=28839336
11.45 nbAssignments=48292 nbFailedAssignments=18622 nbBacktracks=29547 nbVisitedNodes=83216 nbRestartNogoods=93
11.45 => wckTime=10.589 cpuTime=10.41 mem=16M4
17.03
17.03 search
17.03 run=18 nbConstraintChecks=98272575 nbPropagations=3868176 nbRevisions=54324693 nbUselessRevisions=43872333
17.03 nbAssignments=73497 nbFailedAssignments=29043 nbBacktracks=44326 nbVisitedNodes=127680 nbRestartNogoods=102
17.03 => wckTime=16.172 cpuTime=15.94 mem=16M4
24.52
24.52 search
24.52 run=19 nbConstraintChecks=144472687 nbPropagations=5792339 nbRevisions=81463046 nbUselessRevisions=65803066
24.52 nbAssignments=108818 nbFailedAssignments=42189 nbBacktracks=66494 nbVisitedNodes=187963 nbRestartNogoods=111
24.52 => wckTime=23.656 cpuTime=23.36 mem=16M4
36.15
36.15 search
36.15 run=20 nbConstraintChecks=216061213 nbPropagations=8671306 nbRevisions=122227602 nbUselessRevisions=98793247
36.15 nbAssignments=163016 nbFailedAssignments=63128 nbBacktracks=99748 nbVisitedNodes=281499 nbRestartNogoods=126
36.15 => wckTime=35.287 cpuTime=34.89 mem=16M4
54.03
54.03 search
54.04 run=21 nbConstraintChecks=328204041 nbPropagations=12998773 nbRevisions=183333000 nbUselessRevisions=148152929
54.04 nbAssignments=244408 nbFailedAssignments=94634 nbBacktracks=149626 nbVisitedNodes=421879 nbRestartNogoods=137
54.04 => wckTime=53.173 cpuTime=52.61 mem=16M4
70.18
70.18 search
70.18 run=22 nbConstraintChecks=427555658 nbPropagations=18656548 nbRevisions=262901253 nbUselessRevisions=212402316
70.18 nbAssignments=320664 nbFailedAssignments=123539 nbBacktracks=196937 nbVisitedNodes=552445 nbRestartNogoods=153
70.18 => wckTime=69.319 cpuTime=68.6 mem=16M4
70.18
70.18 global
70.18 nbConstraintChecks=427618641 nbPropagations=18657417 nbRevisions=262908120 nbUselessRevisions=212407929
70.18 nbRestartNogoods=153 solvingWckTime=69.32 solvingCpuTime=68.6 expiredTime=no totalExploration=no
70.18 nbFoundSolutions=1 globalCpuTime=69.03
70.18 => wckTime=69.869 cpuTime=68.98 mem=16M4
70.19
70.19 s SATISFIABLE
70.19 v 16 16 15 11 10 14 15 7 14 7 0 15 2 12 14 9 4 7 6 3 16 7 13 5 2 1 12 15 10 1 15 7 5 8 6 7 4 10 14 13
70.19 d NODES 320664
70.19 d CHECKS 427618641
70.19
70.19 totalWckTime=69.954 totalCpuTime=69.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-202966-1168155375 -o ROOT/results/node47/solver-202966-1168155375 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202966-1168155375/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.94 1.98 1.91 4/82 30294
/proc/meminfo: memFree=1413760/2055920 swapFree=4183928/4192956
[pid=30293] ppid=30291 vsize=907676 CPUtime=0.03
/proc/30293/stat : 30293 (java) S 30291 30293 29962 0 -1 0 2171 0 1 0 2 1 0 0 19 0 4 0 163936728 929460224 1920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/30293/statm: 226919 1920 1089 14 0 214502 0
[pid=30293/tid=30295] ppid=30291 vsize=907676 CPUtime=0
/proc/30293/task/30295/stat : 30295 (java) S 30291 30293 29962 0 -1 64 6 0 0 0 0 0 0 0 19 0 4 0 163936731 929460224 1920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=30293/tid=30296] ppid=30291 vsize=907676 CPUtime=0
/proc/30293/task/30296/stat : 30296 (java) S 30291 30293 29962 0 -1 64 10 0 0 0 0 0 0 0 19 0 4 0 163936732 929460224 1920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=30293/tid=30297] ppid=30291 vsize=907676 CPUtime=0
/proc/30293/task/30297/stat : 30297 (java) R 30291 30293 29962 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 163936732 929460224 1920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11366360 0 4 0 7368 0 0 0 -1 1 0 0
[startup+0.104055 s]
/proc/loadavg: 1.94 1.98 1.91 4/82 30294
/proc/meminfo: memFree=1413760/2055920 swapFree=4183928/4192956
[pid=30293] ppid=30291 vsize=914988 CPUtime=0.09
/proc/30293/stat : 30293 (java) R 30291 30293 29962 0 -1 0 3003 0 1 0 8 1 0 0 20 0 8 0 163936728 936947712 2749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30293/statm: 228747 2749 1430 14 0 215242 0
[pid=30293/tid=30295] ppid=30291 vsize=914988 CPUtime=0
/proc/30293/task/30295/stat : 30295 (java) S 30291 30293 29962 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 163936731 936947712 2749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30296] ppid=30291 vsize=914988 CPUtime=0
/proc/30293/task/30296/stat : 30296 (java) S 30291 30293 29962 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 163936732 936947712 2749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30297] ppid=30291 vsize=914988 CPUtime=0
/proc/30293/task/30297/stat : 30297 (java) S 30291 30293 29962 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 163936732 936947712 2749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512096 s]
/proc/loadavg: 1.94 1.98 1.91 4/82 30294
/proc/meminfo: memFree=1413760/2055920 swapFree=4183928/4192956
[pid=30293] ppid=30291 vsize=915328 CPUtime=0.49
/proc/30293/stat : 30293 (java) R 30291 30293 29962 0 -1 0 6733 0 1 0 45 4 0 0 18 0 8 0 163936728 937295872 6472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30293/statm: 228832 6472 2137 14 0 215302 0
[pid=30293/tid=30295] ppid=30291 vsize=915328 CPUtime=0
/proc/30293/task/30295/stat : 30295 (java) S 30291 30293 29962 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 163936731 937295872 6472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30296] ppid=30291 vsize=915328 CPUtime=0
/proc/30293/task/30296/stat : 30296 (java) S 30291 30293 29962 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 163936732 937295872 6472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30297] ppid=30291 vsize=915328 CPUtime=0
/proc/30293/task/30297/stat : 30297 (java) S 30291 30293 29962 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 163936732 937295872 6472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33518 s]
/proc/loadavg: 2.02 2.00 1.91 3/89 30301
/proc/meminfo: memFree=1389768/2055920 swapFree=4183928/4192956
[pid=30293] ppid=30291 vsize=915456 CPUtime=1.31
/proc/30293/stat : 30293 (java) R 30291 30293 29962 0 -1 0 8731 0 1 0 124 7 0 0 24 0 8 0 163936728 937426944 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802840 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30293/statm: 228864 8469 2524 14 0 215334 0
[pid=30293/tid=30295] ppid=30291 vsize=915456 CPUtime=0.03
/proc/30293/task/30295/stat : 30295 (java) S 30291 30293 29962 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163936731 937426944 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30296] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30296/stat : 30296 (java) S 30291 30293 29962 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163936732 937426944 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30297] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30297/stat : 30297 (java) S 30291 30293 29962 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163936732 937426944 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30298] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30298/stat : 30298 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163936735 937426944 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30299] ppid=30291 vsize=915456 CPUtime=0.21
/proc/30293/task/30299/stat : 30299 (java) S 30291 30293 29962 0 -1 64 378 0 0 0 20 1 0 0 15 0 8 0 163936735 937426944 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30300] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30300/stat : 30300 (java) S 30291 30293 29962 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163936735 937426944 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30301] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30301/stat : 30301 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163936735 937426944 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.98835 s]
/proc/loadavg: 2.02 2.00 1.91 3/89 30301
/proc/meminfo: memFree=1389448/2055920 swapFree=4183928/4192956
[pid=30293] ppid=30291 vsize=915456 CPUtime=2.94
/proc/30293/stat : 30293 (java) R 30291 30293 29962 0 -1 0 8774 0 1 0 287 7 0 0 25 0 8 0 163936728 937426944 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30293/statm: 228864 8511 2524 14 0 215334 0
[pid=30293/tid=30295] ppid=30291 vsize=915456 CPUtime=0.03
/proc/30293/task/30295/stat : 30295 (java) S 30291 30293 29962 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163936731 937426944 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30296] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30296/stat : 30296 (java) S 30291 30293 29962 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163936732 937426944 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30297] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30297/stat : 30297 (java) S 30291 30293 29962 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163936732 937426944 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30298] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30298/stat : 30298 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163936735 937426944 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30299] ppid=30291 vsize=915456 CPUtime=0.24
/proc/30293/task/30299/stat : 30299 (java) S 30291 30293 29962 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 163936735 937426944 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30300] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30300/stat : 30300 (java) S 30291 30293 29962 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163936735 937426944 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30301] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30301/stat : 30301 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163936735 937426944 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.2827 s]
/proc/loadavg: 2.02 2.00 1.91 3/89 30301
/proc/meminfo: memFree=1389464/2055920 swapFree=4183928/4192956
[pid=30293] ppid=30291 vsize=915456 CPUtime=6.2
/proc/30293/stat : 30293 (java) R 30291 30293 29962 0 -1 0 8783 0 1 0 613 7 0 0 25 0 8 0 163936728 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817174 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30293/statm: 228864 8520 2524 14 0 215334 0
[pid=30293/tid=30295] ppid=30291 vsize=915456 CPUtime=0.03
/proc/30293/task/30295/stat : 30295 (java) S 30291 30293 29962 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163936731 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30296] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30296/stat : 30296 (java) S 30291 30293 29962 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163936732 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30297] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30297/stat : 30297 (java) S 30291 30293 29962 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163936732 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30298] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30298/stat : 30298 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163936735 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30299] ppid=30291 vsize=915456 CPUtime=0.24
/proc/30293/task/30299/stat : 30299 (java) S 30291 30293 29962 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 163936735 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30300] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30300/stat : 30300 (java) S 30291 30293 29962 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163936735 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30301] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30301/stat : 30301 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163936735 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7754 s]
/proc/loadavg: 2.02 2.00 1.91 3/89 30301
/proc/meminfo: memFree=1389400/2055920 swapFree=4183928/4192956
[pid=30293] ppid=30291 vsize=915456 CPUtime=12.64
/proc/30293/stat : 30293 (java) R 30291 30293 29962 0 -1 0 8788 0 1 0 1257 7 0 0 25 0 8 0 163936728 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30293/statm: 228864 8524 2524 14 0 215334 0
[pid=30293/tid=30295] ppid=30291 vsize=915456 CPUtime=0.03
/proc/30293/task/30295/stat : 30295 (java) S 30291 30293 29962 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163936731 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30296] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30296/stat : 30296 (java) S 30291 30293 29962 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163936732 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30297] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30297/stat : 30297 (java) S 30291 30293 29962 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163936732 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30298] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30298/stat : 30298 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163936735 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30299] ppid=30291 vsize=915456 CPUtime=0.24
/proc/30293/task/30299/stat : 30299 (java) S 30291 30293 29962 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 163936735 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30300] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30300/stat : 30300 (java) S 30291 30293 29962 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163936735 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30301] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30301/stat : 30301 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163936735 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915456
[startup+25.6258 s]
/proc/loadavg: 2.10 2.02 1.92 3/89 30301
/proc/meminfo: memFree=1389400/2055920 swapFree=4183928/4192956
[pid=30293] ppid=30291 vsize=915456 CPUtime=25.37
/proc/30293/stat : 30293 (java) R 30291 30293 29962 0 -1 0 8793 0 1 0 2530 7 0 0 25 0 8 0 163936728 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30293/statm: 228864 8529 2524 14 0 215334 0
[pid=30293/tid=30295] ppid=30291 vsize=915456 CPUtime=0.03
/proc/30293/task/30295/stat : 30295 (java) S 30291 30293 29962 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163936731 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30296] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30296/stat : 30296 (java) S 30291 30293 29962 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163936732 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30297] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30297/stat : 30297 (java) S 30291 30293 29962 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163936732 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30298] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30298/stat : 30298 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163936735 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30299] ppid=30291 vsize=915456 CPUtime=0.24
/proc/30293/task/30299/stat : 30299 (java) S 30291 30293 29962 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 163936735 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30300] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30300/stat : 30300 (java) S 30291 30293 29962 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163936735 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30301] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30301/stat : 30301 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163936735 937426944 8529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915456
[startup+51.2335 s]
/proc/loadavg: 2.06 2.01 1.92 3/89 30301
/proc/meminfo: memFree=1389400/2055920 swapFree=4183928/4192956
[pid=30293] ppid=30291 vsize=915456 CPUtime=50.74
/proc/30293/stat : 30293 (java) R 30291 30293 29962 0 -1 0 8796 0 1 0 5067 7 0 0 25 0 8 0 163936728 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30293/statm: 228864 8532 2524 14 0 215334 0
[pid=30293/tid=30295] ppid=30291 vsize=915456 CPUtime=0.03
/proc/30293/task/30295/stat : 30295 (java) S 30291 30293 29962 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163936731 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30296] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30296/stat : 30296 (java) S 30291 30293 29962 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163936732 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30297] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30297/stat : 30297 (java) S 30291 30293 29962 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163936732 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30298] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30298/stat : 30298 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163936735 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30299] ppid=30291 vsize=915456 CPUtime=0.24
/proc/30293/task/30299/stat : 30299 (java) S 30291 30293 29962 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 163936735 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30300] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30300/stat : 30300 (java) S 30291 30293 29962 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163936735 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30293/tid=30301] ppid=30291 vsize=915456 CPUtime=0
/proc/30293/task/30301/stat : 30301 (java) S 30291 30293 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163936735 937426944 8532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 70.244
CPU time (s): 69.5434
CPU user time (s): 69.4584
CPU system time (s): 0.084987
CPU usage (%): 99.0026
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.4584
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8890
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= 2565
involuntary context switches= 5575
runsolver used 0.094985 s user time and 0.232964 s system time
The end
Begin job on node47 on Sun Jan 7 07:36:15 UTC 2007
IDJOB= 202966
IDBENCH= 3901
FILE ID= node47/202966-1168155375
PBS_JOBID= 3478492
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202966-1168155375/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-202966-1168155375 -o ROOT/results/node47/solver-202966-1168155375 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202966-1168155375/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4ccd1be1dd0074c2a5bbfd76bb3ecd0b
RANDOM SEED= 884107197
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.240
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.240
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: 1414176 kB
Buffers: 27192 kB
Cached: 468684 kB
SwapCached: 3720 kB
Active: 132228 kB
Inactive: 453400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1414176 kB
SwapTotal: 4192956 kB
SwapFree: 4183928 kB
Dirty: 5684 kB
Writeback: 0 kB
Mapped: 103708 kB
Slab: 41168 kB
Committed_AS: 3941100 kB
PageTables: 2084 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= 66549 MiB
End job on node47 on Sun Jan 7 07:37:25 UTC 2007