0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/202656-1168153043/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.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=330 nbRelationTypes=330 nbExtensionStructures=330 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=330 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2692 maxDegree=22
0.64 maxArity=2
0.64 => wckTime=0.321 cpuTime=0.24 mem=12M803
0.68
0.68 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.526 cpuTime=0.38 mem=15M3
0.90
0.90 preprocessing
0.90 nbConstraintChecks=58450 nbPropagations=822 nbRevisions=5954 nbUselessRevisions=4805 nbSingletonTests=49
0.90 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.05 cpuTime=0.02 mem=15M3
0.92
0.92 search
0.92 run=0 nbConstraintChecks=28348 nbPropagations=1235 nbRevisions=10421 nbUselessRevisions=8412 nbAssignments=22
0.92 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.072 cpuTime=0.04 mem=15M3
0.94
0.94 search
0.94 run=1 nbConstraintChecks=72750 nbPropagations=3040 nbRevisions=27654 nbUselessRevisions=22219 nbAssignments=55
0.94 nbFailedAssignments=18 nbBacktracks=27 nbVisitedNodes=86 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.094 cpuTime=0.06 mem=15M3
0.96
0.96 search
0.96 run=2 nbConstraintChecks=130189 nbPropagations=5696 nbRevisions=54794 nbUselessRevisions=43903
0.96 nbAssignments=96 nbFailedAssignments=31 nbBacktracks=49 nbVisitedNodes=154 nbRestartNogoods=5 mapSize=38
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.111 cpuTime=0.07 mem=15M3
0.98
0.98 search
0.98 run=3 nbConstraintChecks=229026 nbPropagations=9637 nbRevisions=98151 nbUselessRevisions=78419
0.98 nbAssignments=162 nbFailedAssignments=57 nbBacktracks=83 nbVisitedNodes=266 nbRestartNogoods=8 mapSize=68
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.131 cpuTime=0.09 mem=15M3
1.00
1.00 search
1.00 run=4 nbConstraintChecks=341264 nbPropagations=15132 nbRevisions=162837 nbUselessRevisions=130064
1.00 nbAssignments=252 nbFailedAssignments=89 nbBacktracks=134 nbVisitedNodes=416 nbRestartNogoods=12 mapSize=108
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.156 cpuTime=0.11 mem=15M3
1.04
1.04 search
1.04 run=5 nbConstraintChecks=495816 nbPropagations=22846 nbRevisions=257436 nbUselessRevisions=205932
1.04 nbAssignments=376 nbFailedAssignments=130 nbBacktracks=211 nbVisitedNodes=622 nbRestartNogoods=15 mapSize=167
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.193 cpuTime=0.15 mem=15M3
1.10
1.10 search
1.10 run=6 nbConstraintChecks=777462 nbPropagations=34278 nbRevisions=402233 nbUselessRevisions=322107
1.10 nbAssignments=575 nbFailedAssignments=208 nbBacktracks=325 nbVisitedNodes=973 nbRestartNogoods=21 mapSize=264
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.251 cpuTime=0.2 mem=15M3
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1126266 nbPropagations=50837 nbRevisions=617637 nbUselessRevisions=495774
1.18 nbAssignments=869 nbFailedAssignments=325 nbBacktracks=495 nbVisitedNodes=1468 nbRestartNogoods=28 mapSize=400
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.328 cpuTime=0.27 mem=15M3
1.30
1.30 search
1.30 run=8 nbConstraintChecks=1763846 nbPropagations=76110 nbRevisions=948686 nbUselessRevisions=761818
1.30 nbAssignments=1316 nbFailedAssignments=510 nbBacktracks=754 nbVisitedNodes=2254 nbRestartNogoods=34
1.30 mapSize=631 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.451 cpuTime=0.39 mem=15M3
1.47
1.47 search
1.47 run=9 nbConstraintChecks=2590375 nbPropagations=113519 nbRevisions=1445245 nbUselessRevisions=1160658
1.47 nbAssignments=1989 nbFailedAssignments=791 nbBacktracks=1139 nbVisitedNodes=3421 nbRestartNogoods=37
1.47 mapSize=947 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.62 cpuTime=0.54 mem=15M3
1.51
1.52 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=15M3)
1.69
1.69 search
1.69 run=10 nbConstraintChecks=3835551 nbPropagations=168165 nbRevisions=2181036 nbUselessRevisions=1753872
1.69 nbAssignments=2964 nbFailedAssignments=1167 nbBacktracks=1719 nbVisitedNodes=5055 nbRestartNogoods=44
1.69 => wckTime=0.842 cpuTime=0.75 mem=15M3
2.00
2.00 search
2.00 run=11 nbConstraintChecks=5693237 nbPropagations=249139 nbRevisions=3274504 nbUselessRevisions=2634614
2.00 nbAssignments=4408 nbFailedAssignments=1739 nbBacktracks=2586 nbVisitedNodes=7547 nbRestartNogoods=51
2.00 => wckTime=1.152 cpuTime=1.06 mem=15M3
2.45
2.45 search
2.45 run=12 nbConstraintChecks=8333983 nbPropagations=366945 nbRevisions=4873561 nbUselessRevisions=3921236
2.45 nbAssignments=6532 nbFailedAssignments=2542 nbBacktracks=3883 nbVisitedNodes=11168 nbRestartNogoods=58
2.45 => wckTime=1.599 cpuTime=1.49 mem=15M3
3.16
3.16 search
3.16 run=13 nbConstraintChecks=12635625 nbPropagations=546400 nbRevisions=7317198 nbUselessRevisions=5889000
3.16 nbAssignments=9872 nbFailedAssignments=3926 nbBacktracks=5830 nbVisitedNodes=17035 nbRestartNogoods=67
3.16 => wckTime=2.314 cpuTime=2.21 mem=15M3
4.26
4.26 search
4.26 run=14 nbConstraintChecks=19510936 nbPropagations=817196 nbRevisions=11011190 nbUselessRevisions=8857426
4.26 nbAssignments=14803 nbFailedAssignments=5921 nbBacktracks=8749 nbVisitedNodes=25619 nbRestartNogoods=74
4.26 => wckTime=3.413 cpuTime=3.29 mem=15M3
5.81
5.81 search
5.81 run=15 nbConstraintChecks=28799706 nbPropagations=1220661 nbRevisions=16513290 nbUselessRevisions=13281009
5.81 nbAssignments=22083 nbFailedAssignments=8818 nbBacktracks=13128 nbVisitedNodes=38210 nbRestartNogoods=81
5.81 => wckTime=4.961 cpuTime=4.82 mem=15M3
8.28
8.28 search
8.28 run=16 nbConstraintChecks=44528373 nbPropagations=1827976 nbRevisions=24899033 nbUselessRevisions=20023589
8.28 nbAssignments=33152 nbFailedAssignments=13314 nbBacktracks=19696 nbVisitedNodes=57515 nbRestartNogoods=87
8.28 => wckTime=7.433 cpuTime=7.27 mem=15M3
11.70
11.70 search
11.70 run=17 nbConstraintChecks=65186773 nbPropagations=2731519 nbRevisions=37289607 nbUselessRevisions=29980016
11.70 nbAssignments=49547 nbFailedAssignments=19849 nbBacktracks=29548 nbVisitedNodes=85729 nbRestartNogoods=94
11.70 => wckTime=10.856 cpuTime=10.67 mem=15M978
17.14
17.14 search
17.14 run=18 nbConstraintChecks=99004641 nbPropagations=4090966 nbRevisions=55947562 nbUselessRevisions=44966715
17.14 nbAssignments=74452 nbFailedAssignments=29958 nbBacktracks=44326 nbVisitedNodes=129049 nbRestartNogoods=109
17.14 => wckTime=16.292 cpuTime=16.05 mem=15M978
24.78
24.78 search
24.78 run=19 nbConstraintChecks=145801412 nbPropagations=6095931 nbRevisions=83489547 nbUselessRevisions=67106341
24.78 nbAssignments=110106 nbFailedAssignments=43437 nbBacktracks=66495 nbVisitedNodes=190213 nbRestartNogoods=122
24.78 => wckTime=23.935 cpuTime=23.64 mem=15M978
31.46
31.46 search
31.46 run=20 nbConstraintChecks=188147187 nbPropagations=8651707 nbRevisions=118868028 nbUselessRevisions=95575274
31.46 nbAssignments=139656 nbFailedAssignments=55334 nbBacktracks=84108 nbVisitedNodes=241592 nbRestartNogoods=132
31.46 => wckTime=30.613 cpuTime=30.26 mem=15M978
31.46
31.46 global
31.46 nbConstraintChecks=188205637 nbPropagations=8652529 nbRevisions=118873982 nbUselessRevisions=95580079
31.46 nbRestartNogoods=132 solvingWckTime=30.614 solvingCpuTime=30.26 expiredTime=no totalExploration=no
31.46 nbFoundSolutions=1 globalCpuTime=30.7
31.46 => wckTime=31.143 cpuTime=30.65 mem=15M978
31.46
31.47 s SATISFIABLE
31.47 v 5 2 14 12 16 7 18 15 0 18 14 18 14 12 0 4 13 10 14 2 16 2 2 0 3 11 15 14 18 10 7 14 18 15 10 11 0 12 16 15
31.47 d NODES 139656
31.47 d CHECKS 188205637
31.47
31.47 totalWckTime=31.225 totalCpuTime=30.7
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-202656-1168153043 -o ROOT/results/node40/solver-202656-1168153043 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202656-1168153043/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.92 1.98 1.94 4/75 17991
/proc/meminfo: memFree=1847536/2055920 swapFree=4192812/4192956
[pid=17990] ppid=17988 vsize=18540 CPUtime=0
/proc/17990/stat : 17990 (runsolver) R 17988 17990 17059 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 163703684 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17990/statm: 4635 279 244 17 0 2626 0
[startup+0.107842 s]
/proc/loadavg: 1.92 1.98 1.94 4/75 17991
/proc/meminfo: memFree=1847536/2055920 swapFree=4192812/4192956
[pid=17990] ppid=17988 vsize=914988 CPUtime=0.08
/proc/17990/stat : 17990 (java) R 17988 17990 17059 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 163703684 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17990/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515892 s]
/proc/loadavg: 1.92 1.98 1.94 4/75 17991
/proc/meminfo: memFree=1847536/2055920 swapFree=4192812/4192956
[pid=17990] ppid=17988 vsize=915328 CPUtime=0.48
/proc/17990/stat : 17990 (java) R 17988 17990 17059 0 -1 0 6786 0 1 0 45 3 0 0 18 0 8 0 163703684 937295872 6525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17990/statm: 228832 6525 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.337 s]
/proc/loadavg: 1.92 1.98 1.94 4/82 17998
/proc/meminfo: memFree=1823608/2055920 swapFree=4192812/4192956
[pid=17990] ppid=17988 vsize=915456 CPUtime=1.29
/proc/17990/stat : 17990 (java) R 17988 17990 17059 0 -1 0 8726 0 1 0 124 5 0 0 24 0 8 0 163703684 937426944 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798541 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17990/statm: 228864 8464 2524 14 0 215334 0
[pid=17990/tid=17992] ppid=17988 vsize=915456 CPUtime=0.03
/proc/17990/task/17992/stat : 17992 (java) S 17988 17990 17059 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 163703689 937426944 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17993] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17993/stat : 17993 (java) S 17988 17990 17059 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163703689 937426944 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17994] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17994/stat : 17994 (java) S 17988 17990 17059 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163703689 937426944 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17995] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17995/stat : 17995 (java) S 17988 17990 17059 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163703693 937426944 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17996] ppid=17988 vsize=915456 CPUtime=0.19
/proc/17990/task/17996/stat : 17996 (java) S 17988 17990 17059 0 -1 64 379 0 0 0 19 0 0 0 15 0 8 0 163703693 937426944 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17997] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17997/stat : 17997 (java) S 17988 17990 17059 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163703693 937426944 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17998] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17998/stat : 17998 (java) S 17988 17990 17059 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163703693 937426944 8464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.97421 s]
/proc/loadavg: 1.92 1.98 1.94 3/82 17998
/proc/meminfo: memFree=1823352/2055920 swapFree=4192812/4192956
[pid=17990] ppid=17988 vsize=915456 CPUtime=2.92
/proc/17990/stat : 17990 (java) R 17988 17990 17059 0 -1 0 8770 0 1 0 287 5 0 0 25 0 8 0 163703684 937426944 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17990/statm: 228864 8507 2524 14 0 215334 0
[pid=17990/tid=17992] ppid=17988 vsize=915456 CPUtime=0.03
/proc/17990/task/17992/stat : 17992 (java) S 17988 17990 17059 0 -1 64 285 0 0 0 3 0 0 0 17 0 8 0 163703689 937426944 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17993] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17993/stat : 17993 (java) S 17988 17990 17059 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163703689 937426944 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17994] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17994/stat : 17994 (java) S 17988 17990 17059 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163703689 937426944 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17995] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17995/stat : 17995 (java) S 17988 17990 17059 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163703693 937426944 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17996] ppid=17988 vsize=915456 CPUtime=0.22
/proc/17990/task/17996/stat : 17996 (java) S 17988 17990 17059 0 -1 64 393 0 0 0 22 0 0 0 15 0 8 0 163703693 937426944 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17997] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17997/stat : 17997 (java) S 17988 17990 17059 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163703693 937426944 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17998] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17998/stat : 17998 (java) S 17988 17990 17059 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163703693 937426944 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.27263 s]
/proc/loadavg: 1.93 1.98 1.94 3/82 17998
/proc/meminfo: memFree=1823160/2055920 swapFree=4192812/4192956
[pid=17990] ppid=17988 vsize=915456 CPUtime=6.18
/proc/17990/stat : 17990 (java) R 17988 17990 17059 0 -1 0 8780 0 1 0 613 5 0 0 25 0 8 0 163703684 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17990/statm: 228864 8515 2524 14 0 215334 0
[pid=17990/tid=17992] ppid=17988 vsize=915456 CPUtime=0.03
/proc/17990/task/17992/stat : 17992 (java) S 17988 17990 17059 0 -1 64 285 0 0 0 3 0 0 0 17 0 8 0 163703689 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17993] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17993/stat : 17993 (java) S 17988 17990 17059 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163703689 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17994] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17994/stat : 17994 (java) S 17988 17990 17059 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163703689 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17995] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17995/stat : 17995 (java) S 17988 17990 17059 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163703693 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17996] ppid=17988 vsize=915456 CPUtime=0.22
/proc/17990/task/17996/stat : 17996 (java) S 17988 17990 17059 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 163703693 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17997] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17997/stat : 17997 (java) S 17988 17990 17059 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163703693 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17998] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17998/stat : 17998 (java) S 17988 17990 17059 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163703693 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915456
[startup+12.7435 s]
/proc/loadavg: 1.93 1.98 1.94 3/82 17998
/proc/meminfo: memFree=1823096/2055920 swapFree=4192812/4192956
[pid=17990] ppid=17988 vsize=915456 CPUtime=12.61
/proc/17990/stat : 17990 (java) R 17988 17990 17059 0 -1 0 8785 0 1 0 1255 6 0 0 25 0 8 0 163703684 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17990/statm: 228864 8520 2524 14 0 215334 0
[pid=17990/tid=17992] ppid=17988 vsize=915456 CPUtime=0.03
/proc/17990/task/17992/stat : 17992 (java) S 17988 17990 17059 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 163703689 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17993] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17993/stat : 17993 (java) S 17988 17990 17059 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163703689 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17994] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17994/stat : 17994 (java) S 17988 17990 17059 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163703689 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17995] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17995/stat : 17995 (java) S 17988 17990 17059 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163703693 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17996] ppid=17988 vsize=915456 CPUtime=0.22
/proc/17990/task/17996/stat : 17996 (java) S 17988 17990 17059 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 163703693 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17997] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17997/stat : 17997 (java) S 17988 17990 17059 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163703693 937426944 8520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17998] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17998/stat : 17998 (java) S 17988 17990 17059 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163703693 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) 12.61
Current children cumulated vsize (KiB) 915456
[startup+25.6111 s]
/proc/loadavg: 1.95 1.98 1.94 3/82 17998
/proc/meminfo: memFree=1823160/2055920 swapFree=4192812/4192956
[pid=17990] ppid=17988 vsize=915456 CPUtime=25.36
/proc/17990/stat : 17990 (java) R 17988 17990 17059 0 -1 0 8790 0 1 0 2530 6 0 0 25 0 8 0 163703684 937426944 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073876167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17990/statm: 228864 8525 2524 14 0 215334 0
[pid=17990/tid=17992] ppid=17988 vsize=915456 CPUtime=0.03
/proc/17990/task/17992/stat : 17992 (java) S 17988 17990 17059 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 163703689 937426944 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17993] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17993/stat : 17993 (java) S 17988 17990 17059 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163703689 937426944 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17994] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17994/stat : 17994 (java) S 17988 17990 17059 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163703689 937426944 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17995] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17995/stat : 17995 (java) S 17988 17990 17059 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163703693 937426944 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17996] ppid=17988 vsize=915456 CPUtime=0.22
/proc/17990/task/17996/stat : 17996 (java) S 17988 17990 17059 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 163703693 937426944 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17997] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17997/stat : 17997 (java) S 17988 17990 17059 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163703693 937426944 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17990/tid=17998] ppid=17988 vsize=915456 CPUtime=0
/proc/17990/task/17998/stat : 17998 (java) S 17988 17990 17059 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163703693 937426944 8525 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
Child status: 0
Real time (s): 31.4848
CPU time (s): 31.1863
CPU user time (s): 31.1203
CPU system time (s): 0.065989
CPU usage (%): 99.0519
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.1203
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8882
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= 1756
involuntary context switches= 2494
runsolver used 0.048992 s user time and 0.100984 s system time
The end
Begin job on node40 on Sun Jan 7 06:57:24 UTC 2007
IDJOB= 202656
IDBENCH= 3874
FILE ID= node40/202656-1168153043
PBS_JOBID= 3478409
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202656-1168153043/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-202656-1168153043 -o ROOT/results/node40/solver-202656-1168153043 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202656-1168153043/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4c2847ddad0559921e4234b810d1d3ea
RANDOM SEED= 648511427
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.239
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.239
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: 1848016 kB
Buffers: 11296 kB
Cached: 119332 kB
SwapCached: 0 kB
Active: 95388 kB
Inactive: 59172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1848016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 35668 kB
Slab: 38756 kB
Committed_AS: 3236284 kB
PageTables: 1808 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= 66552 MiB
End job on node40 on Sun Jan 7 06:57:55 UTC 2007