0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/199580-1168135043/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=829 maxDegree=22
0.62 maxArity=2
0.62 => wckTime=0.304 cpuTime=0.22 mem=12M803
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.507 cpuTime=0.35 mem=14M974
0.87
0.87 preprocessing
0.87 nbConstraintChecks=42232 nbPropagations=563 nbRevisions=5325 nbUselessRevisions=4598 nbSingletonTests=30
0.87 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.87 => wckTime=0.044 cpuTime=0.04 mem=14M974
0.89
0.89 search
0.89 run=0 nbConstraintChecks=36977 nbPropagations=1042 nbRevisions=13267 nbUselessRevisions=11471 nbAssignments=31
0.89 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=56 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.067 cpuTime=0.06 mem=14M974
0.91
0.91 search
0.91 run=1 nbConstraintChecks=83574 nbPropagations=2661 nbRevisions=36229 nbUselessRevisions=31295 nbAssignments=69
0.91 nbFailedAssignments=31 nbBacktracks=26 nbVisitedNodes=122 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.087 cpuTime=0.07 mem=14M974
0.93
0.93 search
0.93 run=2 nbConstraintChecks=160969 nbPropagations=5246 nbRevisions=73926 nbUselessRevisions=63678
0.93 nbAssignments=129 nbFailedAssignments=52 nbBacktracks=48 nbVisitedNodes=212 nbRestartNogoods=7 mapSize=48
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.108 cpuTime=0.09 mem=14M974
0.96
0.96 search
0.96 run=3 nbConstraintChecks=275058 nbPropagations=9213 nbRevisions=134457 nbUselessRevisions=115689
0.96 nbAssignments=216 nbFailedAssignments=88 nbBacktracks=83 nbVisitedNodes=350 nbRestartNogoods=14 mapSize=83
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.135 cpuTime=0.11 mem=14M974
0.99
0.99 search
0.99 run=4 nbConstraintChecks=417722 nbPropagations=14846 nbRevisions=225729 nbUselessRevisions=194147
0.99 nbAssignments=324 nbFailedAssignments=142 nbBacktracks=133 nbVisitedNodes=552 nbRestartNogoods=15 mapSize=133
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.162 cpuTime=0.14 mem=14M974
1.03
1.03 search
1.03 run=5 nbConstraintChecks=601508 nbPropagations=22755 nbRevisions=358536 nbUselessRevisions=308419
1.03 nbAssignments=477 nbFailedAssignments=215 nbBacktracks=208 nbVisitedNodes=838 nbRestartNogoods=19 mapSize=208
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.207 cpuTime=0.17 mem=14M974
1.09
1.09 search
1.09 run=6 nbConstraintChecks=910143 nbPropagations=34220 nbRevisions=557976 nbUselessRevisions=479899
1.09 nbAssignments=719 nbFailedAssignments=339 nbBacktracks=322 nbVisitedNodes=1287 nbRestartNogoods=24 mapSize=321
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.263 cpuTime=0.23 mem=14M974
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1361535 nbPropagations=50998 nbRevisions=857717 nbUselessRevisions=737670
1.18 nbAssignments=1085 nbFailedAssignments=530 nbBacktracks=493 nbVisitedNodes=1975 nbRestartNogoods=31
1.18 mapSize=488 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.353 cpuTime=0.3 mem=14M974
1.31
1.31 search
1.31 run=8 nbConstraintChecks=2010643 nbPropagations=75468 nbRevisions=1302493 nbUselessRevisions=1120367
1.31 nbAssignments=1592 nbFailedAssignments=777 nbBacktracks=749 nbVisitedNodes=2925 nbRestartNogoods=40
1.31 mapSize=740 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.482 cpuTime=0.42 mem=14M974
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M974)
1.47
1.47 search
1.47 run=9 nbConstraintChecks=3016590 nbPropagations=111446 nbRevisions=1969148 nbUselessRevisions=1694381
1.47 nbAssignments=2372 nbFailedAssignments=1168 nbBacktracks=1134 nbVisitedNodes=4381 nbRestartNogoods=48
1.47 => wckTime=0.645 cpuTime=0.57 mem=14M974
1.71
1.71 search
1.71 run=10 nbConstraintChecks=4472114 nbPropagations=164630 nbRevisions=2965229 nbUselessRevisions=2552694
1.71 nbAssignments=3528 nbFailedAssignments=1742 nbBacktracks=1712 nbVisitedNodes=6546 nbRestartNogoods=54
1.71 => wckTime=0.879 cpuTime=0.8 mem=14M974
2.03
2.03 search
2.03 run=11 nbConstraintChecks=6560605 nbPropagations=242924 nbRevisions=4436968 nbUselessRevisions=3821544
2.03 nbAssignments=5259 nbFailedAssignments=2604 nbBacktracks=2577 nbVisitedNodes=9769 nbRestartNogoods=62
2.03 => wckTime=1.199 cpuTime=1.11 mem=14M974
2.51
2.51 search
2.51 run=12 nbConstraintChecks=9722417 nbPropagations=358865 nbRevisions=6617088 nbUselessRevisions=5701073
2.51 nbAssignments=7830 nbFailedAssignments=3875 nbBacktracks=3874 nbVisitedNodes=14558 nbRestartNogoods=71
2.51 => wckTime=1.686 cpuTime=1.59 mem=14M974
3.26
3.26 search
3.26 run=13 nbConstraintChecks=14719125 nbPropagations=532779 nbRevisions=9911687 nbUselessRevisions=8541290
3.26 nbAssignments=11757 nbFailedAssignments=5853 nbBacktracks=5820 nbVisitedNodes=21903 nbRestartNogoods=82
3.26 => wckTime=2.433 cpuTime=2.34 mem=14M974
4.42
4.42 search
4.42 run=14 nbConstraintChecks=22492493 nbPropagations=795321 nbRevisions=14924133 nbUselessRevisions=12863921
4.42 nbAssignments=17605 nbFailedAssignments=8778 nbBacktracks=8739 nbVisitedNodes=32879 nbRestartNogoods=91
4.42 => wckTime=3.593 cpuTime=3.48 mem=14M974
6.12
6.12 search
6.12 run=15 nbConstraintChecks=33857205 nbPropagations=1188784 nbRevisions=22446908 nbUselessRevisions=19351032
6.12 nbAssignments=26311 nbFailedAssignments=13103 nbBacktracks=13117 nbVisitedNodes=49187 nbRestartNogoods=104
6.12 => wckTime=5.291 cpuTime=5.17 mem=14M974
8.69
8.69 search
8.69 run=16 nbConstraintChecks=50885771 nbPropagations=1780087 nbRevisions=33780795 nbUselessRevisions=29127175
8.70 nbAssignments=39507 nbFailedAssignments=19726 nbBacktracks=19686 nbVisitedNodes=73953 nbRestartNogoods=117
8.70 => wckTime=7.868 cpuTime=7.72 mem=14M974
12.51
12.51 search
12.51 run=17 nbConstraintChecks=76084462 nbPropagations=2663859 nbRevisions=50733979 nbUselessRevisions=43754020
12.51 nbAssignments=59158 nbFailedAssignments=29520 nbBacktracks=29538 nbVisitedNodes=110748 nbRestartNogoods=132
12.51 => wckTime=11.682 cpuTime=11.5 mem=14M974
18.30
18.30 search
18.30 run=18 nbConstraintChecks=115007961 nbPropagations=3991928 nbRevisions=76291871 nbUselessRevisions=65810442
18.30 nbAssignments=88845 nbFailedAssignments=44425 nbBacktracks=44316 nbVisitedNodes=166352 nbRestartNogoods=151
18.30 => wckTime=17.473 cpuTime=17.25 mem=14M974
26.84
26.84 search
26.84 run=19 nbConstraintChecks=171752600 nbPropagations=5980699 nbRevisions=114566109 nbUselessRevisions=98848286
26.84 nbAssignments=133389 nbFailedAssignments=66796 nbBacktracks=66485 nbVisitedNodes=249705 nbRestartNogoods=165
26.84 => wckTime=26.012 cpuTime=25.72 mem=14M974
40.14
40.14 search
40.14 run=20 nbConstraintChecks=261240335 nbPropagations=8982982 nbRevisions=172591514 nbUselessRevisions=148947115
40.14 nbAssignments=200603 nbFailedAssignments=100753 nbBacktracks=99739 nbVisitedNodes=375882 nbRestartNogoods=188
40.14 => wckTime=39.316 cpuTime=38.91 mem=14M974
59.98
59.98 search
59.98 run=21 nbConstraintChecks=394385217 nbPropagations=13501956 nbRevisions=260170340 nbUselessRevisions=224580613
59.98 nbAssignments=301152 nbFailedAssignments=151419 nbBacktracks=149619 nbVisitedNodes=564560 nbRestartNogoods=196
59.98 => wckTime=59.158 cpuTime=58.58 mem=14M974
90.14
90.14 search
90.14 run=22 nbConstraintChecks=598949757 nbPropagations=20313642 nbRevisions=392794639 nbUselessRevisions=339143426
90.14 nbAssignments=451966 nbFailedAssignments=227412 nbBacktracks=224437 nbVisitedNodes=847598 nbRestartNogoods=210
90.14 => wckTime=89.317 cpuTime=88.49 mem=14M974
97.92
97.92 search
97.92 run=23 nbConstraintChecks=651504094 nbPropagations=27713825 nbRevisions=537071168 nbUselessRevisions=463788738
97.92 nbAssignments=490572 nbFailedAssignments=246842 nbBacktracks=243614 nbVisitedNodes=920048 nbRestartNogoods=225
97.92 => wckTime=97.09 cpuTime=96.2 mem=14M974
97.92
97.92 global
97.92 nbConstraintChecks=651546326 nbPropagations=27714388 nbRevisions=537076493 nbUselessRevisions=463793336
97.92 nbRestartNogoods=225 solvingWckTime=97.091 solvingCpuTime=96.2 expiredTime=no totalExploration=yes
97.92 nbFoundSolutions=0 globalCpuTime=96.6
97.92 => wckTime=97.601 cpuTime=96.55 mem=14M974
97.92
97.92 s UNSATISFIABLE
97.92 d NODES 490572
97.92 d CHECKS 651546326
97.92
97.92 totalWckTime=97.684 totalCpuTime=96.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-199580-1168135043 -o ROOT/results/node5/solver-199580-1168135043 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199580-1168135043/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.99 1.98 2.08 3/86 28581
/proc/meminfo: memFree=1829296/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=18540 CPUtime=0
/proc/28580/stat : 28580 (runsolver) R 28578 28580 28020 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 142118735 18984960 280 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28580/statm: 4635 280 244 17 0 2626 0
[startup+0.108494 s]
/proc/loadavg: 1.99 1.98 2.08 3/86 28581
/proc/meminfo: memFree=1829296/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=914988 CPUtime=0.08
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 142118735 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934701 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516541 s]
/proc/loadavg: 1.99 1.98 2.08 3/86 28581
/proc/meminfo: memFree=1829296/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915328 CPUtime=0.49
/proc/28580/stat : 28580 (java) S 28578 28580 28020 0 -1 0 6872 0 1 0 45 4 0 0 18 0 8 0 142118735 937295872 6611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228832 6611 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33963 s]
/proc/loadavg: 1.99 1.98 2.08 4/93 28588
/proc/meminfo: memFree=1805496/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=1.3
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8678 0 1 0 123 7 0 0 20 0 8 0 142118735 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8416 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 142118740 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.22
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 142118743 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8416 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) 915452
[startup+2.98782 s]
/proc/loadavg: 1.99 1.98 2.08 3/93 28588
/proc/meminfo: memFree=1805304/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=2.94
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8702 0 1 0 287 7 0 0 25 0 8 0 142118735 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8439 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 17 0 8 0 142118740 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.24
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 142118743 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8439 18446744073709551615 134512640 134570532 4294956464 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.26719 s]
/proc/loadavg: 1.99 1.98 2.08 3/93 28588
/proc/meminfo: memFree=1805176/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=6.19
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8711 0 1 0 612 7 0 0 25 0 8 0 142118735 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8446 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 17 0 8 0 142118740 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.24
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 142118743 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452
[startup+12.7539 s]
/proc/loadavg: 1.99 1.98 2.08 3/93 28588
/proc/meminfo: memFree=1805240/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=12.62
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8718 0 1 0 1255 7 0 0 25 0 8 0 142118735 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805333 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8453 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 142118740 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.24
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 142118743 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915452
[startup+25.5974 s]
/proc/loadavg: 1.99 1.98 2.08 3/93 28588
/proc/meminfo: memFree=1805240/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=25.36
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8720 0 1 0 2529 7 0 0 25 0 8 0 142118735 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8455 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 142118740 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.24
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 142118743 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915452
[startup+51.2023 s]
/proc/loadavg: 1.99 1.98 2.08 3/93 28588
/proc/meminfo: memFree=1805240/2055920 swapFree=4192812/4192956
[pid=28580] ppid=28578 vsize=915452 CPUtime=50.74
/proc/28580/stat : 28580 (java) R 28578 28580 28020 0 -1 0 8725 0 1 0 5067 7 0 0 25 0 8 0 142118735 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28580/statm: 228863 8460 2524 14 0 215333 0
[pid=28580/tid=28582] ppid=28578 vsize=915452 CPUtime=0.02
/proc/28580/task/28582/stat : 28582 (java) S 28578 28580 28020 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 142118740 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28583] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28583/stat : 28583 (java) S 28578 28580 28020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 142118740 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28584] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28584/stat : 28584 (java) S 28578 28580 28020 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 142118740 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28585] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28585/stat : 28585 (java) S 28578 28580 28020 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 142118743 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28586] ppid=28578 vsize=915452 CPUtime=0.24
/proc/28580/task/28586/stat : 28586 (java) S 28578 28580 28020 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 142118743 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28587] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28587/stat : 28587 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 142118743 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28580/tid=28588] ppid=28578 vsize=915452 CPUtime=0
/proc/28580/task/28588/stat : 28588 (java) S 28578 28580 28020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 142118744 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 97.9431
CPU time (s): 97.0972
CPU user time (s): 97.0083
CPU system time (s): 0.088986
CPU usage (%): 99.1363
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.0083
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8822
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= 2858
involuntary context switches= 3124
runsolver used 0.093985 s user time and 0.352946 s system time
The end
Begin job on node5 on Sun Jan 7 01:57:23 UTC 2007
IDJOB= 199580
IDBENCH= 3627
FILE ID= node5/199580-1168135043
PBS_JOBID= 3477774
Free space on /tmp= 66330 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-47021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199580-1168135043/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-199580-1168135043 -o ROOT/results/node5/solver-199580-1168135043 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199580-1168135043/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 91689171d947c8c08ebb7b0d8380a5b4
RANDOM SEED= 667223662
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: 1829776 kB
Buffers: 37408 kB
Cached: 81592 kB
SwapCached: 0 kB
Active: 103184 kB
Inactive: 66864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1829776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1864 kB
Writeback: 0 kB
Mapped: 73388 kB
Slab: 40968 kB
Committed_AS: 3481796 kB
PageTables: 2132 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= 66330 MiB
End job on node5 on Sun Jan 7 01:59:01 UTC 2007