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/224074-1168267685/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.40 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.59 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=2
0.59 => wckTime=0.293 cpuTime=0.23 mem=13M811
0.63
0.63 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.485 cpuTime=0.35 mem=14M839
0.83
0.83 preprocessing
0.83 nbConstraintChecks=65230 nbPropagations=751 nbRevisions=4707 nbUselessRevisions=3535 nbSingletonTests=47
0.83 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.83 => wckTime=0.044 cpuTime=0.02 mem=14M839
0.85
0.85 search
0.85 run=0 nbConstraintChecks=27688 nbPropagations=1344 nbRevisions=8483 nbUselessRevisions=6188 nbAssignments=29
0.85 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.065 cpuTime=0.04 mem=14M839
0.87
0.87 search
0.87 run=1 nbConstraintChecks=83023 nbPropagations=3594 nbRevisions=22982 nbUselessRevisions=16763 nbAssignments=74
0.87 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=99 nbRestartNogoods=3 mapSize=21 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.083 cpuTime=0.05 mem=14M839
0.89
0.89 search
0.89 run=2 nbConstraintChecks=154133 nbPropagations=7093 nbRevisions=46346 nbUselessRevisions=33730
0.89 nbAssignments=139 nbFailedAssignments=43 nbBacktracks=49 nbVisitedNodes=189 nbRestartNogoods=7 mapSize=38
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.102 cpuTime=0.06 mem=14M839
0.91
0.91 search
0.91 run=3 nbConstraintChecks=233893 nbPropagations=11931 nbRevisions=79582 nbUselessRevisions=57663
0.91 nbAssignments=213 nbFailedAssignments=71 nbBacktracks=83 nbVisitedNodes=299 nbRestartNogoods=12 mapSize=64
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.117 cpuTime=0.08 mem=14M839
0.93
0.93 search
0.93 run=4 nbConstraintChecks=350514 nbPropagations=18838 nbRevisions=128761 nbUselessRevisions=92774
0.93 nbAssignments=314 nbFailedAssignments=114 nbBacktracks=134 nbVisitedNodes=469 nbRestartNogoods=14 mapSize=104
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.141 cpuTime=0.1 mem=14M839
0.96
0.96 search
0.96 run=5 nbConstraintChecks=501986 nbPropagations=28612 nbRevisions=199960 nbUselessRevisions=143523
0.96 nbAssignments=475 nbFailedAssignments=184 nbBacktracks=212 nbVisitedNodes=735 nbRestartNogoods=21 mapSize=167
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.17 cpuTime=0.13 mem=14M839
1.00
1.00 search
1.00 run=6 nbConstraintChecks=748653 nbPropagations=42870 nbRevisions=306191 nbUselessRevisions=218826
1.00 nbAssignments=678 nbFailedAssignments=265 nbBacktracks=328 nbVisitedNodes=1090 nbRestartNogoods=24 mapSize=266
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.212 cpuTime=0.17 mem=14M839
1.06
1.06 search
1.06 run=7 nbConstraintChecks=1088178 nbPropagations=63663 nbRevisions=461424 nbUselessRevisions=328472
1.06 nbAssignments=986 nbFailedAssignments=385 nbBacktracks=499 nbVisitedNodes=1613 nbRestartNogoods=31 mapSize=408
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.272 cpuTime=0.23 mem=14M839
1.16
1.16 search
1.16 run=8 nbConstraintChecks=1668497 nbPropagations=94352 nbRevisions=696170 nbUselessRevisions=493617
1.16 nbAssignments=1497 nbFailedAssignments=633 nbBacktracks=757 nbVisitedNodes=2528 nbRestartNogoods=38
1.16 mapSize=617 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.373 cpuTime=0.32 mem=14M839
1.29
1.29 search
1.29 run=9 nbConstraintChecks=2368533 nbPropagations=138423 nbRevisions=1032699 nbUselessRevisions=730332
1.29 nbAssignments=2134 nbFailedAssignments=880 nbBacktracks=1141 nbVisitedNodes=3615 nbRestartNogoods=44
1.29 mapSize=928 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.498 cpuTime=0.43 mem=14M839
1.32
1.32 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=14M839)
1.48
1.48 search
1.48 run=10 nbConstraintChecks=3626611 nbPropagations=205497 nbRevisions=1549442 nbUselessRevisions=1093188
1.48 nbAssignments=3181 nbFailedAssignments=1346 nbBacktracks=1719 nbVisitedNodes=5476 nbRestartNogoods=53
1.48 => wckTime=0.689 cpuTime=0.62 mem=14M839
1.74
1.74 search
1.74 run=11 nbConstraintChecks=5352820 nbPropagations=306895 nbRevisions=2337140 nbUselessRevisions=1647039
1.74 nbAssignments=4839 nbFailedAssignments=2131 nbBacktracks=2583 nbVisitedNodes=8446 nbRestartNogoods=60
1.74 => wckTime=0.951 cpuTime=0.88 mem=14M839
2.05
2.05 search
2.05 run=12 nbConstraintChecks=7377058 nbPropagations=452463 nbRevisions=3448385 nbUselessRevisions=2425817
2.05 nbAssignments=7039 nbFailedAssignments=3025 nbBacktracks=3881 nbVisitedNodes=12267 nbRestartNogoods=69
2.05 => wckTime=1.265 cpuTime=1.19 mem=15M815
2.61
2.61 search
2.61 run=13 nbConstraintChecks=11374001 nbPropagations=670453 nbRevisions=5121582 nbUselessRevisions=3594612
2.61 nbAssignments=10432 nbFailedAssignments=4464 nbBacktracks=5828 nbVisitedNodes=18221 nbRestartNogoods=80
2.61 => wckTime=1.822 cpuTime=1.75 mem=15M815
3.60
3.60 search
3.60 run=14 nbConstraintChecks=18564851 nbPropagations=1014455 nbRevisions=7817972 nbUselessRevisions=5479886
3.60 nbAssignments=16205 nbFailedAssignments=7312 nbBacktracks=8748 nbVisitedNodes=28721 nbRestartNogoods=85
3.60 => wckTime=2.815 cpuTime=2.74 mem=15M815
4.76
4.76 search
4.76 run=15 nbConstraintChecks=26543320 nbPropagations=1512173 nbRevisions=11684696 nbUselessRevisions=8178981
4.76 nbAssignments=23625 nbFailedAssignments=10342 nbBacktracks=13131 nbVisitedNodes=41636 nbRestartNogoods=97
4.76 => wckTime=3.967 cpuTime=3.89 mem=15M815
6.59
6.59 search
6.59 run=16 nbConstraintChecks=39221436 nbPropagations=2255469 nbRevisions=17436661 nbUselessRevisions=12193063
6.59 nbAssignments=35284 nbFailedAssignments=15428 nbBacktracks=19699 nbVisitedNodes=62202 nbRestartNogoods=101
6.59 => wckTime=5.803 cpuTime=5.73 mem=15M815
9.40
9.40 search
9.40 run=17 nbConstraintChecks=58603278 nbPropagations=3371726 nbRevisions=26070424 nbUselessRevisions=18219673
9.40 nbAssignments=52836 nbFailedAssignments=23120 nbBacktracks=29551 nbVisitedNodes=93245 nbRestartNogoods=106
9.40 => wckTime=8.608 cpuTime=8.53 mem=15M815
12.94
12.94 search
12.94 run=18 nbConstraintChecks=82220851 nbPropagations=4964330 nbRevisions=38320138 nbUselessRevisions=26771519
12.94 nbAssignments=75916 nbFailedAssignments=32554 nbBacktracks=43157 nbVisitedNodes=133361 nbRestartNogoods=120
12.94 => wckTime=12.151 cpuTime=12.07 mem=15M815
12.94
12.94 global
12.94 nbConstraintChecks=82286081 nbPropagations=4965081 nbRevisions=38324845 nbUselessRevisions=26775054
12.94 nbRestartNogoods=120 solvingWckTime=12.152 solvingCpuTime=12.07 expiredTime=no totalExploration=no
12.94 nbFoundSolutions=1 globalCpuTime=12.47
12.94 => wckTime=12.64 cpuTime=12.42 mem=15M815
12.94
12.94 s SATISFIABLE
12.94 v 12 2 7 2 14 7 5 17 18 4 11 5 11 1 11 22 21 15 19 13 13 2 9 11 8 3 24 4 22 17 19 12 8 23 18 21 18 15 5 8
12.94 d NODES 75916
12.94 d CHECKS 82286081
12.94
12.94 totalWckTime=12.717 totalCpuTime=12.48
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-224074-1168267685 -o ROOT/results/node3/solver-224074-1168267685 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224074-1168267685/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.85 1.99 1.79 2/83 4486
/proc/meminfo: memFree=1750264/2055920 swapFree=4192812/4192956
[pid=4485] ppid=4479 vsize=1784 CPUtime=0
/proc/4485/stat : 4485 (java) R 4479 4485 3939 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 175164435 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/4485/statm: 446 136 102 14 0 91 0
[startup+0.102639 s]
/proc/loadavg: 1.85 1.99 1.79 2/83 4486
/proc/meminfo: memFree=1750264/2055920 swapFree=4192812/4192956
[pid=4485] ppid=4479 vsize=914988 CPUtime=0.07
/proc/4485/stat : 4485 (java) R 4479 4485 3939 0 -1 0 2986 0 1 0 6 1 0 0 23 0 8 0 175164435 936947712 2732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609876 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4485/statm: 228747 2732 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.51069 s]
/proc/loadavg: 1.85 1.99 1.79 2/83 4486
/proc/meminfo: memFree=1750264/2055920 swapFree=4192812/4192956
[pid=4485] ppid=4479 vsize=915328 CPUtime=0.47
/proc/4485/stat : 4485 (java) R 4479 4485 3939 0 -1 0 7338 0 1 0 43 4 0 0 16 0 8 0 175164435 937295872 7077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073606639 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4485/statm: 228832 7078 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33182 s]
/proc/loadavg: 1.85 1.99 1.79 3/88 4493
/proc/meminfo: memFree=1727632/2055920 swapFree=4192812/4192956
[pid=4485] ppid=4479 vsize=915452 CPUtime=1.3
/proc/4485/stat : 4485 (java) R 4479 4485 3939 0 -1 0 8720 0 1 0 124 6 0 0 17 0 8 0 175164435 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4485/statm: 228863 8458 2524 14 0 215333 0
[pid=4485/tid=4487] ppid=4479 vsize=915452 CPUtime=0.02
/proc/4485/task/4487/stat : 4487 (java) S 4479 4485 3939 0 -1 64 244 0 0 0 2 0 0 0 17 0 8 0 175164439 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4488] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4488/stat : 4488 (java) S 4479 4485 3939 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175164439 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4489] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4489/stat : 4489 (java) S 4479 4485 3939 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175164439 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4490] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4490/stat : 4490 (java) S 4479 4485 3939 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175164443 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4491] ppid=4479 vsize=915452 CPUtime=0.2
/proc/4485/task/4491/stat : 4491 (java) S 4479 4485 3939 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 175164443 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4492] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4492/stat : 4492 (java) S 4479 4485 3939 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 175164443 937422848 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4493] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4493/stat : 4493 (java) R 4479 4485 3939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175164443 937422848 8458 18446744073709551615 134512640 134570532 4294956480 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) 915452
[startup+2.96909 s]
/proc/loadavg: 1.85 1.99 1.79 2/88 4493
/proc/meminfo: memFree=1727376/2055920 swapFree=4192812/4192956
[pid=4485] ppid=4479 vsize=915452 CPUtime=2.94
/proc/4485/stat : 4485 (java) R 4479 4485 3939 0 -1 0 8735 0 1 0 288 6 0 0 18 0 8 0 175164435 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4485/statm: 228863 8472 2524 14 0 215333 0
[pid=4485/tid=4487] ppid=4479 vsize=915452 CPUtime=0.02
/proc/4485/task/4487/stat : 4487 (java) S 4479 4485 3939 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175164439 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4488] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4488/stat : 4488 (java) S 4479 4485 3939 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175164439 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4489] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4489/stat : 4489 (java) S 4479 4485 3939 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175164439 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4490] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4490/stat : 4490 (java) S 4479 4485 3939 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175164443 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4491] ppid=4479 vsize=915452 CPUtime=0.21
/proc/4485/task/4491/stat : 4491 (java) S 4479 4485 3939 0 -1 64 387 0 0 0 20 1 0 0 15 0 8 0 175164443 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4485/tid=4492] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4492/stat : 4492 (java) S 4479 4485 3939 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 175164443 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4493] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4493/stat : 4493 (java) S 4479 4485 3939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175164443 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.27063 s]
/proc/loadavg: 1.78 1.97 1.79 4/104 4536
/proc/meminfo: memFree=1713872/2055920 swapFree=4192812/4192956
[pid=4485] ppid=4479 vsize=915452 CPUtime=6.24
/proc/4485/stat : 4485 (java) R 4479 4485 3939 0 -1 0 8741 0 1 0 618 6 0 0 18 0 8 0 175164435 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780813 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4485/statm: 228863 8477 2524 14 0 215333 0
[pid=4485/tid=4487] ppid=4479 vsize=915452 CPUtime=0.02
/proc/4485/task/4487/stat : 4487 (java) S 4479 4485 3939 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175164439 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4488] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4488/stat : 4488 (java) S 4479 4485 3939 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175164439 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4489] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4489/stat : 4489 (java) S 4479 4485 3939 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175164439 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4490] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4490/stat : 4490 (java) S 4479 4485 3939 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175164443 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4491] ppid=4479 vsize=915452 CPUtime=0.21
/proc/4485/task/4491/stat : 4491 (java) S 4479 4485 3939 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 175164443 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4485/tid=4492] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4492/stat : 4492 (java) S 4479 4485 3939 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 175164443 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4493] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4493/stat : 4493 (java) S 4479 4485 3939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175164443 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915452
[startup+12.7697 s]
/proc/loadavg: 1.80 1.97 1.79 3/105 4537
/proc/meminfo: memFree=1646024/2055920 swapFree=4192812/4192956
[pid=4485] ppid=4479 vsize=915452 CPUtime=12.73
/proc/4485/stat : 4485 (java) R 4479 4485 3939 0 -1 0 8746 0 1 0 1267 6 0 0 25 0 8 0 175164435 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4485/statm: 228863 8482 2524 14 0 215333 0
[pid=4485/tid=4487] ppid=4479 vsize=915452 CPUtime=0.02
/proc/4485/task/4487/stat : 4487 (java) S 4479 4485 3939 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175164439 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4488] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4488/stat : 4488 (java) S 4479 4485 3939 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175164439 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4489] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4489/stat : 4489 (java) S 4479 4485 3939 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175164439 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4490] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4490/stat : 4490 (java) S 4479 4485 3939 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175164443 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4491] ppid=4479 vsize=915452 CPUtime=0.21
/proc/4485/task/4491/stat : 4491 (java) S 4479 4485 3939 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 175164443 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4485/tid=4492] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4492/stat : 4492 (java) S 4479 4485 3939 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 175164443 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4485/tid=4493] ppid=4479 vsize=915452 CPUtime=0
/proc/4485/task/4493/stat : 4493 (java) S 4479 4485 3939 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175164443 937422848 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 12.998
CPU time (s): 12.931
CPU user time (s): 12.857
CPU system time (s): 0.073988
CPU usage (%): 99.4845
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.857
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8838
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= 1083
involuntary context switches= 231
runsolver used 0.025996 s user time and 0.046992 s system time
The end
Begin job on node3 on Mon Jan 8 14:48:07 UTC 2007
IDJOB= 224074
IDBENCH= 5707
FILE ID= node3/224074-1168267685
PBS_JOBID= 3482812
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224074-1168267685/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-224074-1168267685 -o ROOT/results/node3/solver-224074-1168267685 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224074-1168267685/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8adeb187df414c3e46090bb41f063968
RANDOM SEED= 246784184
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.279
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.279
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: 1749760 kB
Buffers: 44292 kB
Cached: 140804 kB
SwapCached: 0 kB
Active: 161916 kB
Inactive: 82264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1749760 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1976 kB
Writeback: 0 kB
Mapped: 81532 kB
Slab: 47120 kB
Committed_AS: 4889956 kB
PageTables: 2016 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= 66557 MiB
End job on node3 on Mon Jan 8 14:48:21 UTC 2007