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/207962-1168183938/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.53
0.53 constraints being loaded...
0.65 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=924 maxDegree=25
0.65 maxArity=2
0.65 => wckTime=0.341 cpuTime=0.27 mem=14M786
0.70
0.70 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.544 cpuTime=0.4 mem=15M258
0.91
0.91 preprocessing
0.91 nbConstraintChecks=63422 nbPropagations=747 nbRevisions=7865 nbUselessRevisions=6936 nbSingletonTests=35
0.91 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.91 => wckTime=0.048 cpuTime=0.03 mem=15M258
0.93
0.93 search
0.93 run=0 nbConstraintChecks=43721 nbPropagations=1225 nbRevisions=16309 nbUselessRevisions=14315 nbAssignments=26
0.93 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.074 cpuTime=0.05 mem=15M258
0.95
0.95 search
0.95 run=1 nbConstraintChecks=94717 nbPropagations=3025 nbRevisions=43130 nbUselessRevisions=37867 nbAssignments=62
0.95 nbFailedAssignments=23 nbBacktracks=27 nbVisitedNodes=106 nbRestartNogoods=3 mapSize=27 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.091 cpuTime=0.07 mem=15M258
0.97
0.97 search
0.97 run=2 nbConstraintChecks=176939 nbPropagations=5727 nbRevisions=87541 nbUselessRevisions=76707
0.97 nbAssignments=116 nbFailedAssignments=48 nbBacktracks=50 nbVisitedNodes=203 nbRestartNogoods=6 mapSize=49
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.114 cpuTime=0.09 mem=15M258
1.00
1.00 search
1.00 run=3 nbConstraintChecks=293318 nbPropagations=9619 nbRevisions=155873 nbUselessRevisions=136336
1.00 nbAssignments=190 nbFailedAssignments=83 nbBacktracks=83 nbVisitedNodes=336 nbRestartNogoods=9 mapSize=81
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.141 cpuTime=0.11 mem=15M258
1.03
1.03 search
1.03 run=4 nbConstraintChecks=439407 nbPropagations=15159 nbRevisions=257773 nbUselessRevisions=225338
1.03 nbAssignments=299 nbFailedAssignments=135 nbBacktracks=133 nbVisitedNodes=534 nbRestartNogoods=11 mapSize=130
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.171 cpuTime=0.14 mem=15M258
1.08
1.08 search
1.08 run=5 nbConstraintChecks=663633 nbPropagations=23065 nbRevisions=407873 nbUselessRevisions=356264
1.08 nbAssignments=449 nbFailedAssignments=205 nbBacktracks=208 nbVisitedNodes=812 nbRestartNogoods=17 mapSize=204
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.218 cpuTime=0.18 mem=15M258
1.15
1.15 search
1.15 run=6 nbConstraintChecks=1039674 nbPropagations=34900 nbRevisions=639562 nbUselessRevisions=558237
1.15 nbAssignments=700 nbFailedAssignments=325 nbBacktracks=322 nbVisitedNodes=1259 nbRestartNogoods=22 mapSize=317
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.294 cpuTime=0.25 mem=15M258
1.24
1.24 search
1.25 run=7 nbConstraintChecks=1535152 nbPropagations=52080 nbRevisions=984017 nbUselessRevisions=858720
1.25 nbAssignments=1042 nbFailedAssignments=491 nbBacktracks=493 nbVisitedNodes=1896 nbRestartNogoods=29
1.25 mapSize=487 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.386 cpuTime=0.34 mem=15M258
1.38
1.38 search
1.38 run=8 nbConstraintChecks=2206094 nbPropagations=76496 nbRevisions=1479409 nbUselessRevisions=1291362
1.38 nbAssignments=1516 nbFailedAssignments=702 nbBacktracks=750 nbVisitedNodes=2763 nbRestartNogoods=37
1.38 mapSize=738 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.522 cpuTime=0.46 mem=15M258
1.53
1.53 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M258)
1.57
1.57 search
1.57 run=9 nbConstraintChecks=3304007 nbPropagations=112408 nbRevisions=2221597 nbUselessRevisions=1939832
1.57 nbAssignments=2272 nbFailedAssignments=1068 nbBacktracks=1137 nbVisitedNodes=4164 nbRestartNogoods=47
1.57 => wckTime=0.71 cpuTime=0.64 mem=15M258
1.85
1.85 search
1.85 run=10 nbConstraintChecks=5006572 nbPropagations=165844 nbRevisions=3342281 nbUselessRevisions=2918840
1.85 nbAssignments=3415 nbFailedAssignments=1629 nbBacktracks=1713 nbVisitedNodes=6279 nbRestartNogoods=50
1.85 => wckTime=0.987 cpuTime=0.9 mem=15M258
2.24
2.24 search
2.24 run=11 nbConstraintChecks=7598882 nbPropagations=245708 nbRevisions=5033865 nbUselessRevisions=4396747
2.24 nbAssignments=5113 nbFailedAssignments=2456 nbBacktracks=2579 nbVisitedNodes=9439 nbRestartNogoods=59
2.24 => wckTime=1.382 cpuTime=1.3 mem=15M258
2.83
2.83 search
2.83 run=12 nbConstraintChecks=11384118 nbPropagations=364609 nbRevisions=7574822 nbUselessRevisions=6618433
2.83 nbAssignments=7656 nbFailedAssignments=3696 nbBacktracks=3877 nbVisitedNodes=14158 nbRestartNogoods=67
2.83 => wckTime=1.97 cpuTime=1.88 mem=15M258
3.69
3.69 search
3.69 run=13 nbConstraintChecks=16853243 nbPropagations=541749 nbRevisions=11363497 nbUselessRevisions=9932805
3.69 nbAssignments=11474 nbFailedAssignments=5561 nbBacktracks=5826 nbVisitedNodes=21255 nbRestartNogoods=74
3.69 => wckTime=2.827 cpuTime=2.73 mem=15M258
4.98
4.99 search
4.99 run=14 nbConstraintChecks=25344474 nbPropagations=806345 nbRevisions=17037634 nbUselessRevisions=14895352
4.99 nbAssignments=17127 nbFailedAssignments=8289 nbBacktracks=8746 nbVisitedNodes=31773 nbRestartNogoods=84
4.99 => wckTime=4.126 cpuTime=4.02 mem=15M258
6.96
6.96 search
6.96 run=15 nbConstraintChecks=38369486 nbPropagations=1203676 nbRevisions=25615457 nbUselessRevisions=22402256
6.96 nbAssignments=25635 nbFailedAssignments=12415 nbBacktracks=13124 nbVisitedNodes=47578 nbRestartNogoods=104
6.96 => wckTime=6.104 cpuTime=5.99 mem=15M258
9.96
9.96 search
9.96 run=16 nbConstraintChecks=58280247 nbPropagations=1802052 nbRevisions=38591489 nbUselessRevisions=33758615
9.96 nbAssignments=38519 nbFailedAssignments=18726 nbBacktracks=19692 nbVisitedNodes=71522 nbRestartNogoods=116
9.96 => wckTime=9.097 cpuTime=8.97 mem=15M258
14.38
14.38 search
14.38 run=17 nbConstraintChecks=87573934 nbPropagations=2698928 nbRevisions=58062115 nbUselessRevisions=50798285
14.38 nbAssignments=57631 nbFailedAssignments=27982 nbBacktracks=29544 nbVisitedNodes=107040 nbRestartNogoods=131
14.38 => wckTime=13.519 cpuTime=13.37 mem=15M258
20.85
20.85 search
20.85 run=18 nbConstraintChecks=129454286 nbPropagations=4034096 nbRevisions=86942038 nbUselessRevisions=76071819
20.85 nbAssignments=86066 nbFailedAssignments=41633 nbBacktracks=44322 nbVisitedNodes=159872 nbRestartNogoods=136
20.85 => wckTime=19.995 cpuTime=19.81 mem=15M258
30.93
30.93 search
30.93 run=19 nbConstraintChecks=194415251 nbPropagations=6036051 nbRevisions=130345645 nbUselessRevisions=114065812
30.93 nbAssignments=129035 nbFailedAssignments=62428 nbBacktracks=66490 nbVisitedNodes=239773 nbRestartNogoods=150
30.93 => wckTime=30.067 cpuTime=29.67 mem=15M258
45.34
45.34 search
45.34 run=20 nbConstraintChecks=291018428 nbPropagations=9036383 nbRevisions=195415146 nbUselessRevisions=171039067
45.34 nbAssignments=193386 nbFailedAssignments=93508 nbBacktracks=99744 nbVisitedNodes=359233 nbRestartNogoods=170
45.34 => wckTime=44.476 cpuTime=43.62 mem=15M258
67.57
67.57 search
67.57 run=21 nbConstraintChecks=436759205 nbPropagations=13537957 nbRevisions=293164476 nbUselessRevisions=256662154
67.57 nbAssignments=289821 nbFailedAssignments=140058 nbBacktracks=149622 nbVisitedNodes=538404 nbRestartNogoods=184
67.57 => wckTime=66.708 cpuTime=65.49 mem=15M258
101.54
101.54 search
101.54 run=22 nbConstraintChecks=660850734 nbPropagations=20316871 nbRevisions=440727104 nbUselessRevisions=385916374
101.54 nbAssignments=435488 nbFailedAssignments=210900 nbBacktracks=224440 nbVisitedNodes=809343 nbRestartNogoods=202
101.54 => wckTime=100.681 cpuTime=98.31 mem=15M258
151.55
151.55 search
151.55 run=23 nbConstraintChecks=995022576 nbPropagations=30495556 nbRevisions=662605377 nbUselessRevisions=580269200
151.55 nbAssignments=653337 nbFailedAssignments=316516 nbBacktracks=336667 nbVisitedNodes=1214403 nbRestartNogoods=220
151.55 => wckTime=150.694 cpuTime=147.94 mem=15M258
160.17
160.17 search
160.17 run=24 nbConstraintChecks=1050047591 nbPropagations=41245405 nbRevisions=896842769 nbUselessRevisions=785445726
160.17 nbAssignments=690303 nbFailedAssignments=334285 nbBacktracks=355838 nbVisitedNodes=1283100 nbRestartNogoods=244
160.17 => wckTime=159.308 cpuTime=156.47 mem=15M258
160.17
160.17 global
160.17 nbConstraintChecks=1050111013 nbPropagations=41246152 nbRevisions=896850634 nbUselessRevisions=785452662
160.17 nbRestartNogoods=244 solvingWckTime=159.309 solvingCpuTime=156.48 expiredTime=no totalExploration=no
160.17 nbFoundSolutions=1 globalCpuTime=156.92
160.17 => wckTime=159.856 cpuTime=156.88 mem=15M258
160.17
160.17 s SATISFIABLE
160.17 v 23 7 13 19 2 4 25 0 3 11 14 14 10 17 20 24 5 0 2 12 9 21 1 19 17 7
160.17 d NODES 690303
160.17 d CHECKS 1050111013
160.17
160.17 totalWckTime=159.936 totalCpuTime=156.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-207962-1168183938 -o ROOT/results/node55/solver-207962-1168183938 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207962-1168183938/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.22 1.05 1.01 4/84 14374
/proc/meminfo: memFree=1140272/2055920 swapFree=4192812/4192956
[pid=14373] ppid=14371 vsize=1784 CPUtime=0
/proc/14373/stat : 14373 (java) R 14371 14373 14036 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 166792230 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/14373/statm: 446 140 106 14 0 91 0
[startup+0.105016 s]
/proc/loadavg: 1.22 1.05 1.01 4/84 14374
/proc/meminfo: memFree=1140272/2055920 swapFree=4192812/4192956
[pid=14373] ppid=14371 vsize=914988 CPUtime=0.09
/proc/14373/stat : 14373 (java) R 14371 14373 14036 0 -1 0 3000 0 1 0 7 2 0 0 17 0 8 0 166792230 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14373/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513098 s]
/proc/loadavg: 1.22 1.05 1.01 4/84 14374
/proc/meminfo: memFree=1140272/2055920 swapFree=4192812/4192956
[pid=14373] ppid=14371 vsize=915328 CPUtime=0.49
/proc/14373/stat : 14373 (java) R 14371 14373 14036 0 -1 0 7039 0 1 0 45 4 0 0 18 0 8 0 166792230 937295872 6778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073564545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14373/statm: 228832 6778 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33414 s]
/proc/loadavg: 1.22 1.05 1.01 4/91 14381
/proc/meminfo: memFree=1115128/2055920 swapFree=4192812/4192956
[pid=14373] ppid=14371 vsize=915456 CPUtime=1.31
/proc/14373/stat : 14373 (java) R 14371 14373 14036 0 -1 0 8983 0 1 0 124 7 0 0 20 0 8 0 166792230 937426944 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14373/statm: 228864 8721 2524 14 0 215334 0
[pid=14373/tid=14375] ppid=14371 vsize=915456 CPUtime=0.03
/proc/14373/task/14375/stat : 14375 (java) S 14371 14373 14036 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166792234 937426944 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14376] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14376/stat : 14376 (java) S 14371 14373 14036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166792234 937426944 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14377] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14377/stat : 14377 (java) S 14371 14373 14036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166792234 937426944 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14378] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14378/stat : 14378 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166792238 937426944 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14379] ppid=14371 vsize=915456 CPUtime=0.2
/proc/14373/task/14379/stat : 14379 (java) S 14371 14373 14036 0 -1 64 376 0 0 0 19 1 0 0 19 0 8 0 166792238 937426944 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14380] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14380/stat : 14380 (java) S 14371 14373 14036 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166792238 937426944 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14381] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14381/stat : 14381 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166792238 937426944 8721 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.97329 s]
/proc/loadavg: 1.22 1.05 1.01 3/91 14381
/proc/meminfo: memFree=1115000/2055920 swapFree=4192812/4192956
[pid=14373] ppid=14371 vsize=915456 CPUtime=2.94
/proc/14373/stat : 14373 (java) R 14371 14373 14036 0 -1 0 9000 0 1 0 287 7 0 0 25 0 8 0 166792230 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14373/statm: 228864 8736 2524 14 0 215334 0
[pid=14373/tid=14375] ppid=14371 vsize=915456 CPUtime=0.03
/proc/14373/task/14375/stat : 14375 (java) S 14371 14373 14036 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14376] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14376/stat : 14376 (java) S 14371 14373 14036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14377] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14377/stat : 14377 (java) S 14371 14373 14036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14378] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14378/stat : 14378 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14379] ppid=14371 vsize=915456 CPUtime=0.23
/proc/14373/task/14379/stat : 14379 (java) S 14371 14373 14036 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14380] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14380/stat : 14380 (java) S 14371 14373 14036 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14381] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14381/stat : 14381 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166792238 937426944 8736 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.1786 s]
/proc/loadavg: 1.29 1.07 1.02 3/91 14381
/proc/meminfo: memFree=1115000/2055920 swapFree=4192812/4192956
[pid=14373] ppid=14371 vsize=915456 CPUtime=6.13
/proc/14373/stat : 14373 (java) R 14371 14373 14036 0 -1 0 9000 0 1 0 606 7 0 0 25 0 8 0 166792230 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820283 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14373/statm: 228864 8736 2524 14 0 215334 0
[pid=14373/tid=14375] ppid=14371 vsize=915456 CPUtime=0.03
/proc/14373/task/14375/stat : 14375 (java) S 14371 14373 14036 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14376] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14376/stat : 14376 (java) S 14371 14373 14036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14377] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14377/stat : 14377 (java) S 14371 14373 14036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14378] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14378/stat : 14378 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14379] ppid=14371 vsize=915456 CPUtime=0.23
/proc/14373/task/14379/stat : 14379 (java) S 14371 14373 14036 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14380] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14380/stat : 14380 (java) S 14371 14373 14036 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14381] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14381/stat : 14381 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915456
[startup+12.6472 s]
/proc/loadavg: 1.34 1.08 1.02 3/91 14381
/proc/meminfo: memFree=1115000/2055920 swapFree=4192812/4192956
[pid=14373] ppid=14371 vsize=915456 CPUtime=12.57
/proc/14373/stat : 14373 (java) R 14371 14373 14036 0 -1 0 9000 0 1 0 1250 7 0 0 25 0 8 0 166792230 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14373/statm: 228864 8736 2524 14 0 215334 0
[pid=14373/tid=14375] ppid=14371 vsize=915456 CPUtime=0.03
/proc/14373/task/14375/stat : 14375 (java) S 14371 14373 14036 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14376] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14376/stat : 14376 (java) S 14371 14373 14036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14377] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14377/stat : 14377 (java) S 14371 14373 14036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14378] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14378/stat : 14378 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14379] ppid=14371 vsize=915456 CPUtime=0.23
/proc/14373/task/14379/stat : 14379 (java) S 14371 14373 14036 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14380] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14380/stat : 14380 (java) S 14371 14373 14036 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14381] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14381/stat : 14381 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 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.5065 s]
/proc/loadavg: 1.49 1.13 1.04 3/91 14381
/proc/meminfo: memFree=1115128/2055920 swapFree=4192812/4192956
[pid=14373] ppid=14371 vsize=915456 CPUtime=25.36
/proc/14373/stat : 14373 (java) R 14371 14373 14036 0 -1 0 9001 0 1 0 2529 7 0 0 25 0 8 0 166792230 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14373/statm: 228864 8736 2524 14 0 215334 0
[pid=14373/tid=14375] ppid=14371 vsize=915456 CPUtime=0.03
/proc/14373/task/14375/stat : 14375 (java) S 14371 14373 14036 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14376] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14376/stat : 14376 (java) S 14371 14373 14036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14377] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14377/stat : 14377 (java) S 14371 14373 14036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166792234 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14378] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14378/stat : 14378 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14379] ppid=14371 vsize=915456 CPUtime=0.23
/proc/14373/task/14379/stat : 14379 (java) S 14371 14373 14036 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14380] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14380/stat : 14380 (java) S 14371 14373 14036 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14381] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14381/stat : 14381 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166792238 937426944 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915456
[startup+51.1199 s]
/proc/loadavg: 1.66 1.20 1.06 3/91 14381
/proc/meminfo: memFree=1028600/2055920 swapFree=4192812/4192956
[pid=14373] ppid=14371 vsize=915456 CPUtime=50.23
/proc/14373/stat : 14373 (java) R 14371 14373 14036 0 -1 0 9002 0 1 0 5016 7 0 0 25 0 8 0 166792230 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14373/statm: 228864 8737 2524 14 0 215334 0
[pid=14373/tid=14375] ppid=14371 vsize=915456 CPUtime=0.03
/proc/14373/task/14375/stat : 14375 (java) S 14371 14373 14036 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166792234 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14376] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14376/stat : 14376 (java) S 14371 14373 14036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166792234 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14377] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14377/stat : 14377 (java) S 14371 14373 14036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166792234 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14378] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14378/stat : 14378 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166792238 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14379] ppid=14371 vsize=915456 CPUtime=0.23
/proc/14373/task/14379/stat : 14379 (java) S 14371 14373 14036 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 166792238 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14380] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14380/stat : 14380 (java) S 14371 14373 14036 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166792238 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14381] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14381/stat : 14381 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166792238 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.23
Current children cumulated vsize (KiB) 915456
[startup+102.334 s]
/proc/loadavg: 1.93 1.35 1.12 3/91 14381
/proc/meminfo: memFree=816312/2055920 swapFree=4192812/4192956
[pid=14373] ppid=14371 vsize=915456 CPUtime=100.02
/proc/14373/stat : 14373 (java) R 14371 14373 14036 0 -1 0 9002 0 1 0 9994 8 0 0 25 0 8 0 166792230 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14373/statm: 228864 8737 2524 14 0 215334 0
[pid=14373/tid=14375] ppid=14371 vsize=915456 CPUtime=0.03
/proc/14373/task/14375/stat : 14375 (java) S 14371 14373 14036 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 166792234 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14376] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14376/stat : 14376 (java) S 14371 14373 14036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166792234 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14377] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14377/stat : 14377 (java) S 14371 14373 14036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166792234 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14378] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14378/stat : 14378 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166792238 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14379] ppid=14371 vsize=915456 CPUtime=0.23
/proc/14373/task/14379/stat : 14379 (java) S 14371 14373 14036 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 166792238 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14380] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14380/stat : 14380 (java) S 14371 14373 14036 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 166792238 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14373/tid=14381] ppid=14371 vsize=915456 CPUtime=0
/proc/14373/task/14381/stat : 14381 (java) S 14371 14373 14036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166792238 937426944 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 160.223
CPU time (s): 157.415
CPU user time (s): 157.318
CPU system time (s): 0.096985
CPU usage (%): 98.2473
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.318
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9010
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= 4075
involuntary context switches= 6906
runsolver used 0.209968 s user time and 0.514921 s system time
The end
Begin job on node55 on Sun Jan 7 15:32:20 UTC 2007
IDJOB= 207962
IDBENCH= 4347
FILE ID= node55/207962-1168183938
PBS_JOBID= 3479209
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-55021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207962-1168183938/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-207962-1168183938 -o ROOT/results/node55/solver-207962-1168183938 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207962-1168183938/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3fadc4432521f448d097fca64192cc6c
RANDOM SEED= 536221021
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.218
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.218
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: 1140752 kB
Buffers: 32980 kB
Cached: 399228 kB
SwapCached: 0 kB
Active: 528368 kB
Inactive: 329956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1140752 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4560 kB
Writeback: 0 kB
Mapped: 446256 kB
Slab: 41460 kB
Committed_AS: 4250748 kB
PageTables: 2588 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= 66554 MiB
End job on node55 on Sun Jan 7 15:35:00 UTC 2007