0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/224253-1168080505/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.43 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.63 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=2
0.63 => wckTime=0.307 cpuTime=0.23 mem=13M828
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.507 cpuTime=0.35 mem=13M748
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0030 cpuTime=0.0 mem=13M748
0.89
0.89 search
0.89 run=0 nbConstraintChecks=33758 nbPropagations=576 nbRevisions=3811 nbUselessRevisions=2719 nbAssignments=24
0.89 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.049 cpuTime=0.03 mem=14M724
0.90
0.90 search
0.90 run=1 nbConstraintChecks=68896 nbPropagations=1747 nbRevisions=11841 nbUselessRevisions=8462 nbAssignments=59
0.90 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=90 nbRestartNogoods=3 mapSize=17 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.065 cpuTime=0.04 mem=14M724
0.92
0.92 search
0.92 run=2 nbConstraintChecks=152519 nbPropagations=4206 nbRevisions=30319 nbUselessRevisions=21613
0.92 nbAssignments=121 nbFailedAssignments=50 nbBacktracks=49 nbVisitedNodes=203 nbRestartNogoods=5 mapSize=39
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.087 cpuTime=0.06 mem=14M724
0.94
0.94 search
0.94 run=3 nbConstraintChecks=219233 nbPropagations=7801 nbRevisions=56981 nbUselessRevisions=40451
0.94 nbAssignments=182 nbFailedAssignments=70 nbBacktracks=85 nbVisitedNodes=304 nbRestartNogoods=8 mapSize=64
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.102 cpuTime=0.07 mem=14M724
0.96
0.96 search
0.96 run=4 nbConstraintChecks=322573 nbPropagations=13206 nbRevisions=96885 nbUselessRevisions=68614
0.96 nbAssignments=272 nbFailedAssignments=105 nbBacktracks=135 nbVisitedNodes=457 nbRestartNogoods=12 mapSize=106
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.12 cpuTime=0.08 mem=14M724
0.99
0.99 search
0.99 run=5 nbConstraintChecks=478874 nbPropagations=21379 nbRevisions=157838 nbUselessRevisions=111495
0.99 nbAssignments=412 nbFailedAssignments=162 nbBacktracks=210 nbVisitedNodes=691 nbRestartNogoods=15 mapSize=162
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.149 cpuTime=0.11 mem=14M724
1.03
1.03 search
1.03 run=6 nbConstraintChecks=736768 nbPropagations=34218 nbRevisions=253751 nbUselessRevisions=178766
1.03 nbAssignments=638 nbFailedAssignments=268 nbBacktracks=324 nbVisitedNodes=1092 nbRestartNogoods=20 mapSize=262
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.192 cpuTime=0.15 mem=14M724
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1254790 nbPropagations=54947 nbRevisions=413624 nbUselessRevisions=290402
1.10 nbAssignments=998 nbFailedAssignments=452 nbBacktracks=496 nbVisitedNodes=1753 nbRestartNogoods=23 mapSize=420
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.268 cpuTime=0.23 mem=14M724
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1823365 nbPropagations=85255 nbRevisions=644755 nbUselessRevisions=450981
1.19 nbAssignments=1446 nbFailedAssignments=637 nbBacktracks=754 nbVisitedNodes=2523 nbRestartNogoods=30
1.19 mapSize=627 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.357 cpuTime=0.31 mem=14M724
1.35
1.35 search
1.35 run=9 nbConstraintChecks=2760860 nbPropagations=130852 nbRevisions=992672 nbUselessRevisions=691985
1.35 nbAssignments=2162 nbFailedAssignments=962 nbBacktracks=1138 nbVisitedNodes=3794 nbRestartNogoods=33
1.35 mapSize=953 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.511 cpuTime=0.45 mem=14M724
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=14M724)
1.51
1.51 search
1.51 run=10 nbConstraintChecks=3887142 nbPropagations=195988 nbRevisions=1485567 nbUselessRevisions=1032461
1.51 nbAssignments=3132 nbFailedAssignments=1347 nbBacktracks=1716 nbVisitedNodes=5449 nbRestartNogoods=38
1.51 => wckTime=0.677 cpuTime=0.6 mem=14M724
1.85
1.85 search
1.85 run=11 nbConstraintChecks=6456367 nbPropagations=300257 nbRevisions=2290488 nbUselessRevisions=1586739
1.85 nbAssignments=4836 nbFailedAssignments=2183 nbBacktracks=2580 nbVisitedNodes=8562 nbRestartNogoods=45
1.85 => wckTime=1.012 cpuTime=0.94 mem=14M724
2.22
2.22 search
2.22 run=12 nbConstraintChecks=9176159 nbPropagations=451551 nbRevisions=3453229 nbUselessRevisions=2387411
2.22 nbAssignments=7173 nbFailedAssignments=3217 nbBacktracks=3878 nbVisitedNodes=12674 nbRestartNogoods=61
2.22 => wckTime=1.383 cpuTime=1.31 mem=14M724
2.75
2.75 search
2.75 run=13 nbConstraintChecks=13315550 nbPropagations=673598 nbRevisions=5152675 nbUselessRevisions=3554322
2.75 nbAssignments=10543 nbFailedAssignments=4635 nbBacktracks=5824 nbVisitedNodes=18542 nbRestartNogoods=69
2.75 => wckTime=1.913 cpuTime=1.83 mem=14M724
3.61
3.61 search
3.61 run=14 nbConstraintChecks=20375192 nbPropagations=1011475 nbRevisions=7766081 nbUselessRevisions=5355179
3.61 nbAssignments=15934 nbFailedAssignments=7097 nbBacktracks=8748 nbVisitedNodes=28163 nbRestartNogoods=79
3.61 => wckTime=2.775 cpuTime=2.69 mem=14M724
4.74
4.74 search
4.74 run=15 nbConstraintChecks=29383946 nbPropagations=1504296 nbRevisions=11559184 nbUselessRevisions=7971302
4.74 nbAssignments=23371 nbFailedAssignments=10151 nbBacktracks=13126 nbVisitedNodes=41030 nbRestartNogoods=89
4.74 => wckTime=3.903 cpuTime=3.82 mem=14M724
6.67
6.67 search
6.67 run=16 nbConstraintChecks=45327996 nbPropagations=2254423 nbRevisions=17365148 nbUselessRevisions=11972050
6.67 nbAssignments=35334 nbFailedAssignments=15540 nbBacktracks=19694 nbVisitedNodes=62262 nbRestartNogoods=96
6.67 => wckTime=5.836 cpuTime=5.76 mem=14M724
9.20
9.20 search
9.20 run=17 nbConstraintChecks=65400100 nbPropagations=3349743 nbRevisions=25797675 nbUselessRevisions=17785843
9.20 nbAssignments=52102 nbFailedAssignments=22450 nbBacktracks=29548 nbVisitedNodes=91352 nbRestartNogoods=110
9.20 => wckTime=8.361 cpuTime=8.28 mem=14M724
13.07
13.07 search
13.07 run=18 nbConstraintChecks=96022321 nbPropagations=4975516 nbRevisions=38272865 nbUselessRevisions=26395928
13.07 nbAssignments=77620 nbFailedAssignments=33184 nbBacktracks=44326 nbVisitedNodes=135783 nbRestartNogoods=121
13.07 => wckTime=12.232 cpuTime=12.15 mem=14M724
19.16
19.16 search
19.16 run=19 nbConstraintChecks=144901544 nbPropagations=7426527 nbRevisions=57089091 nbUselessRevisions=39377266
19.16 nbAssignments=117234 nbFailedAssignments=50626 nbBacktracks=66494 nbVisitedNodes=205663 nbRestartNogoods=134
19.16 => wckTime=18.321 cpuTime=18.24 mem=14M724
27.89
27.89 search
27.89 run=20 nbConstraintChecks=213890024 nbPropagations=11069721 nbRevisions=84946763 nbUselessRevisions=58603883
27.89 nbAssignments=174734 nbFailedAssignments=74869 nbBacktracks=99748 nbVisitedNodes=305717 nbRestartNogoods=145
27.89 => wckTime=27.055 cpuTime=26.95 mem=14M724
34.08
34.08 search
34.08 run=21 nbConstraintChecks=263340181 nbPropagations=15547852 nbRevisions=119154036 nbUselessRevisions=82205010
34.08 nbAssignments=214428 nbFailedAssignments=91690 nbBacktracks=122622 nbVisitedNodes=375016 nbRestartNogoods=149
34.08 => wckTime=33.24 cpuTime=33.13 mem=14M724
34.08
34.08 global
34.08 nbConstraintChecks=263340181 nbPropagations=15547892 nbRevisions=119154036 nbUselessRevisions=82205010
34.08 nbRestartNogoods=149 solvingWckTime=33.241 solvingCpuTime=33.14 expiredTime=no totalExploration=yes
34.08 nbFoundSolutions=0 globalCpuTime=33.54
34.08 => wckTime=33.752 cpuTime=33.49 mem=14M724
34.08
34.08 s UNSATISFIABLE
34.08 d NODES 214428
34.08 d CHECKS 263340181
34.08
34.08 totalWckTime=33.833 totalCpuTime=33.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-224253-1168080505 -o ROOT/results/node20/solver-224253-1168080505 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224253-1168080505/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: 0.85 1.06 1.38 4/93 23935
/proc/meminfo: memFree=1726000/2055920 swapFree=4170284/4192956
[pid=23934] ppid=23932 vsize=18540 CPUtime=0
/proc/23934/stat : 23934 (runsolver) R 23932 23934 23567 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156445813 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23934/statm: 4635 279 244 17 0 2626 0
[startup+0.102838 s]
/proc/loadavg: 0.85 1.06 1.38 4/93 23935
/proc/meminfo: memFree=1726000/2055920 swapFree=4170284/4192956
[pid=23934] ppid=23932 vsize=912760 CPUtime=0.08
/proc/23934/stat : 23934 (java) S 23932 23934 23567 0 -1 0 2785 0 1 0 6 2 0 0 17 0 8 0 156445813 934666240 2531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23934/statm: 228190 2531 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912760
[startup+0.510885 s]
/proc/loadavg: 0.85 1.06 1.38 4/93 23935
/proc/meminfo: memFree=1726000/2055920 swapFree=4170284/4192956
[pid=23934] ppid=23932 vsize=915328 CPUtime=0.48
/proc/23934/stat : 23934 (java) R 23932 23934 23567 0 -1 0 6940 0 1 0 43 5 0 0 18 0 8 0 156445813 937295872 6679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073555122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23934/statm: 228832 6679 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33298 s]
/proc/loadavg: 0.85 1.06 1.38 2/88 23942
/proc/meminfo: memFree=1726680/2055920 swapFree=4170284/4192956
[pid=23934] ppid=23932 vsize=915452 CPUtime=1.29
/proc/23934/stat : 23934 (java) R 23932 23934 23567 0 -1 0 8643 0 1 0 122 7 0 0 16 0 8 0 156445813 937422848 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786937 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23934/statm: 228863 8381 2513 14 0 215333 0
[pid=23934/tid=23936] ppid=23932 vsize=915452 CPUtime=0.03
/proc/23934/task/23936/stat : 23936 (java) S 23932 23934 23567 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156445818 937422848 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23937] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23937/stat : 23937 (java) S 23932 23934 23567 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156445818 937422848 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23938] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23938/stat : 23938 (java) S 23932 23934 23567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156445818 937422848 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23939] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23939/stat : 23939 (java) S 23932 23934 23567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156445821 937422848 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23940] ppid=23932 vsize=915452 CPUtime=0.21
/proc/23934/task/23940/stat : 23940 (java) S 23932 23934 23567 0 -1 64 381 0 0 0 20 1 0 0 16 0 8 0 156445821 937422848 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23934/tid=23941] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23941/stat : 23941 (java) S 23932 23934 23567 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156445822 937422848 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23942] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23942/stat : 23942 (java) S 23932 23934 23567 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156445822 937422848 8381 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) 915452
[startup+2.98517 s]
/proc/loadavg: 0.85 1.06 1.38 2/88 23942
/proc/meminfo: memFree=1726624/2055920 swapFree=4170284/4192956
[pid=23934] ppid=23932 vsize=915452 CPUtime=2.94
/proc/23934/stat : 23934 (java) R 23932 23934 23567 0 -1 0 8650 0 1 0 287 7 0 0 19 0 8 0 156445813 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23934/statm: 228863 8386 2513 14 0 215333 0
[pid=23934/tid=23936] ppid=23932 vsize=915452 CPUtime=0.03
/proc/23934/task/23936/stat : 23936 (java) S 23932 23934 23567 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23937] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23937/stat : 23937 (java) S 23932 23934 23567 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23938] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23938/stat : 23938 (java) S 23932 23934 23567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23939] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23939/stat : 23939 (java) S 23932 23934 23567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156445821 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23940] ppid=23932 vsize=915452 CPUtime=0.21
/proc/23934/task/23940/stat : 23940 (java) S 23932 23934 23567 0 -1 64 386 0 0 0 20 1 0 0 15 0 8 0 156445821 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23934/tid=23941] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23941/stat : 23941 (java) S 23932 23934 23567 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156445822 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23942] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23942/stat : 23942 (java) S 23932 23934 23567 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156445822 937422848 8386 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) 915452
[startup+6.27757 s]
/proc/loadavg: 0.87 1.06 1.38 2/88 23950
/proc/meminfo: memFree=1726496/2055920 swapFree=4170284/4192956
[pid=23934] ppid=23932 vsize=915452 CPUtime=6.23
/proc/23934/stat : 23934 (java) R 23932 23934 23567 0 -1 0 8650 0 1 0 616 7 0 0 25 0 8 0 156445813 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786801 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23934/statm: 228863 8386 2513 14 0 215333 0
[pid=23934/tid=23936] ppid=23932 vsize=915452 CPUtime=0.03
/proc/23934/task/23936/stat : 23936 (java) S 23932 23934 23567 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23937] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23937/stat : 23937 (java) S 23932 23934 23567 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23938] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23938/stat : 23938 (java) S 23932 23934 23567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23939] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23939/stat : 23939 (java) S 23932 23934 23567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156445821 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23940] ppid=23932 vsize=915452 CPUtime=0.21
/proc/23934/task/23940/stat : 23940 (java) S 23932 23934 23567 0 -1 64 386 0 0 0 20 1 0 0 15 0 8 0 156445821 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23934/tid=23941] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23941/stat : 23941 (java) S 23932 23934 23567 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156445822 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23942] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23942/stat : 23942 (java) S 23932 23934 23567 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156445822 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915452
[startup+12.7623 s]
/proc/loadavg: 0.88 1.06 1.38 2/88 23951
/proc/meminfo: memFree=1728424/2055920 swapFree=4170284/4192956
[pid=23934] ppid=23932 vsize=915452 CPUtime=12.71
/proc/23934/stat : 23934 (java) R 23932 23934 23567 0 -1 0 8650 0 1 0 1264 7 0 0 25 0 8 0 156445813 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795729 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23934/statm: 228863 8386 2513 14 0 215333 0
[pid=23934/tid=23936] ppid=23932 vsize=915452 CPUtime=0.03
/proc/23934/task/23936/stat : 23936 (java) S 23932 23934 23567 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23937] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23937/stat : 23937 (java) S 23932 23934 23567 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23938] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23938/stat : 23938 (java) S 23932 23934 23567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23939] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23939/stat : 23939 (java) S 23932 23934 23567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156445821 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23940] ppid=23932 vsize=915452 CPUtime=0.21
/proc/23934/task/23940/stat : 23940 (java) S 23932 23934 23567 0 -1 64 386 0 0 0 20 1 0 0 15 0 8 0 156445821 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23934/tid=23941] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23941/stat : 23941 (java) S 23932 23934 23567 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156445822 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23942] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23942/stat : 23942 (java) S 23932 23934 23567 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156445822 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915452
[startup+25.5979 s]
/proc/loadavg: 0.90 1.06 1.37 2/88 23953
/proc/meminfo: memFree=1728488/2055920 swapFree=4170284/4192956
[pid=23934] ppid=23932 vsize=915452 CPUtime=25.54
/proc/23934/stat : 23934 (java) R 23932 23934 23567 0 -1 0 8650 0 1 0 2546 8 0 0 25 0 8 0 156445813 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820327 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23934/statm: 228863 8386 2513 14 0 215333 0
[pid=23934/tid=23936] ppid=23932 vsize=915452 CPUtime=0.03
/proc/23934/task/23936/stat : 23936 (java) S 23932 23934 23567 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23937] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23937/stat : 23937 (java) S 23932 23934 23567 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23938] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23938/stat : 23938 (java) S 23932 23934 23567 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156445818 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23939] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23939/stat : 23939 (java) S 23932 23934 23567 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156445821 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23940] ppid=23932 vsize=915452 CPUtime=0.21
/proc/23934/task/23940/stat : 23940 (java) S 23932 23934 23567 0 -1 64 386 0 0 0 20 1 0 0 15 0 8 0 156445821 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23934/tid=23941] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23941/stat : 23941 (java) S 23932 23934 23567 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156445822 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23934/tid=23942] ppid=23932 vsize=915452 CPUtime=0
/proc/23934/task/23942/stat : 23942 (java) S 23932 23934 23567 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156445822 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 34.1356
CPU time (s): 34.0228
CPU user time (s): 33.9258
CPU system time (s): 0.096985
CPU usage (%): 99.6696
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.9258
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= 8741
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= 1611
involuntary context switches= 1614
runsolver used 0.030995 s user time and 0.114982 s system time
The end
Begin job on node20 on Sat Jan 6 10:48:29 UTC 2007
IDJOB= 224253
IDBENCH= 5730
FILE ID= node20/224253-1168080505
PBS_JOBID= 3476100
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-53_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224253-1168080505/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-224253-1168080505 -o ROOT/results/node20/solver-224253-1168080505 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224253-1168080505/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f86594c53a3ca65acac73f8c1ca7ed85
RANDOM SEED= 995957656
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.216
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.216
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: 1726480 kB
Buffers: 40108 kB
Cached: 165300 kB
SwapCached: 4236 kB
Active: 109612 kB
Inactive: 150544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1726480 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 4076 kB
Writeback: 0 kB
Mapped: 78568 kB
Slab: 53820 kB
Committed_AS: 3686020 kB
PageTables: 2484 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= 66543 MiB
End job on node20 on Sat Jan 6 10:49:08 UTC 2007