0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/228409-1168080880/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.40 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8211 maxDegree=27
0.58 maxArity=2
0.58 => wckTime=0.283 cpuTime=0.21 mem=10M852
0.62
0.62 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.47 cpuTime=0.34 mem=13M696
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0080 cpuTime=0.01 mem=13M696
0.82
0.82 search
0.82 run=0 nbConstraintChecks=19211 nbPropagations=405 nbRevisions=4259 nbUselessRevisions=3420 nbAssignments=24
0.82 nbFailedAssignments=8 nbBacktracks=12 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.044 cpuTime=0.03 mem=14M671
0.84
0.84 search
0.84 run=1 nbConstraintChecks=40524 nbPropagations=1239 nbRevisions=13822 nbUselessRevisions=11076 nbAssignments=52
0.84 nbFailedAssignments=16 nbBacktracks=29 nbVisitedNodes=80 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.065 cpuTime=0.04 mem=14M671
0.85
0.85 search
0.85 run=2 nbConstraintChecks=72365 nbPropagations=2717 nbRevisions=31961 nbUselessRevisions=25877 nbAssignments=92
0.85 nbFailedAssignments=25 nbBacktracks=51 nbVisitedNodes=145 nbRestartNogoods=3 mapSize=42 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.083 cpuTime=0.06 mem=14M671
0.87
0.87 search
0.87 run=3 nbConstraintChecks=119642 nbPropagations=5111 nbRevisions=63016 nbUselessRevisions=51487
0.87 nbAssignments=151 nbFailedAssignments=42 nbBacktracks=84 nbVisitedNodes=238 nbRestartNogoods=6 mapSize=67
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.1 cpuTime=0.07 mem=14M671
0.90
0.90 search
0.90 run=4 nbConstraintChecks=201989 nbPropagations=8980 nbRevisions=115558 nbUselessRevisions=94881
0.90 nbAssignments=243 nbFailedAssignments=74 nbBacktracks=136 nbVisitedNodes=396 nbRestartNogoods=12 mapSize=115
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.124 cpuTime=0.09 mem=14M671
0.93
0.93 search
0.93 run=5 nbConstraintChecks=295616 nbPropagations=14605 nbRevisions=193606 nbUselessRevisions=159388
0.93 nbAssignments=366 nbFailedAssignments=115 nbBacktracks=215 nbVisitedNodes=601 nbRestartNogoods=15 mapSize=180
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.155 cpuTime=0.12 mem=14M671
0.97
0.97 search
0.97 run=6 nbConstraintChecks=439880 nbPropagations=22949 nbRevisions=311254 nbUselessRevisions=256651
0.97 nbAssignments=548 nbFailedAssignments=175 nbBacktracks=330 nbVisitedNodes=905 nbRestartNogoods=16 mapSize=274
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.196 cpuTime=0.16 mem=14M671
1.03
1.03 search
1.03 run=7 nbConstraintChecks=674428 nbPropagations=35445 nbRevisions=491410 nbUselessRevisions=405742
1.03 nbAssignments=818 nbFailedAssignments=269 nbBacktracks=502 nbVisitedNodes=1355 nbRestartNogoods=22 mapSize=411
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.259 cpuTime=0.22 mem=14M671
1.13
1.13 search
1.13 run=8 nbConstraintChecks=1037599 nbPropagations=54354 nbRevisions=764039 nbUselessRevisions=631062
1.13 nbAssignments=1223 nbFailedAssignments=414 nbBacktracks=758 nbVisitedNodes=2039 nbRestartNogoods=24
1.13 mapSize=623 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.354 cpuTime=0.31 mem=14M671
1.27
1.27 search
1.27 run=9 nbConstraintChecks=1624739 nbPropagations=83278 nbRevisions=1187147 nbUselessRevisions=980529
1.27 nbAssignments=1849 nbFailedAssignments=648 nbBacktracks=1142 nbVisitedNodes=3117 nbRestartNogoods=28
1.27 mapSize=951 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.502 cpuTime=0.44 mem=14M671
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=14M671)
1.45
1.45 search
1.45 run=10 nbConstraintChecks=2413136 nbPropagations=126016 nbRevisions=1818388 nbUselessRevisions=1502591
1.45 nbAssignments=2736 nbFailedAssignments=950 nbBacktracks=1721 nbVisitedNodes=4622 nbRestartNogoods=32
1.45 => wckTime=0.676 cpuTime=0.61 mem=14M671
1.66
1.66 search
1.66 run=11 nbConstraintChecks=3474074 nbPropagations=187790 nbRevisions=2726291 nbUselessRevisions=2251957
1.66 nbAssignments=3995 nbFailedAssignments=1341 nbBacktracks=2585 nbVisitedNodes=6711 nbRestartNogoods=40
1.66 => wckTime=0.891 cpuTime=0.82 mem=14M671
2.03
2.03 search
2.03 run=12 nbConstraintChecks=5303760 nbPropagations=281870 nbRevisions=4107807 nbUselessRevisions=3390493
2.03 nbAssignments=6033 nbFailedAssignments=2076 nbBacktracks=3887 nbVisitedNodes=10188 nbRestartNogoods=46
2.03 => wckTime=1.255 cpuTime=1.18 mem=14M671
2.57
2.57 search
2.57 run=13 nbConstraintChecks=7942198 nbPropagations=422207 nbRevisions=6177577 nbUselessRevisions=5097268
2.57 nbAssignments=9016 nbFailedAssignments=3104 nbBacktracks=5834 nbVisitedNodes=15204 nbRestartNogoods=47
2.57 => wckTime=1.8 cpuTime=1.72 mem=14M671
3.43
3.43 search
3.43 run=14 nbConstraintChecks=12033427 nbPropagations=634375 nbRevisions=9311169 nbUselessRevisions=7680239
3.43 nbAssignments=13568 nbFailedAssignments=4730 nbBacktracks=8754 nbVisitedNodes=22932 nbRestartNogoods=54
3.43 => wckTime=2.655 cpuTime=2.57 mem=14M671
4.72
4.72 search
4.72 run=15 nbConstraintChecks=18263973 nbPropagations=954837 nbRevisions=14050272 nbUselessRevisions=11584459
4.72 nbAssignments=20368 nbFailedAssignments=7144 nbBacktracks=13133 nbVisitedNodes=34505 nbRestartNogoods=60
4.72 => wckTime=3.944 cpuTime=3.86 mem=14M671
6.62
6.62 search
6.62 run=16 nbConstraintChecks=27392825 nbPropagations=1433821 nbRevisions=21144977 nbUselessRevisions=17429838
6.62 nbAssignments=30389 nbFailedAssignments=10589 nbBacktracks=19704 nbVisitedNodes=51482 nbRestartNogoods=68
6.62 => wckTime=5.846 cpuTime=5.77 mem=14M671
9.56
9.56 search
9.56 run=17 nbConstraintChecks=41442619 nbPropagations=2157729 nbRevisions=31938932 nbUselessRevisions=26337228
9.56 nbAssignments=45695 nbFailedAssignments=16035 nbBacktracks=29559 nbVisitedNodes=77594 nbRestartNogoods=77
9.56 => wckTime=8.79 cpuTime=8.71 mem=14M671
13.89
13.89 search
13.89 run=18 nbConstraintChecks=62170248 nbPropagations=3242027 nbRevisions=48134661 nbUselessRevisions=39710176
13.89 nbAssignments=68368 nbFailedAssignments=23924 nbBacktracks=44337 nbVisitedNodes=116148 nbRestartNogoods=87
13.89 => wckTime=13.121 cpuTime=13.04 mem=14M671
20.54
20.54 search
20.54 run=19 nbConstraintChecks=94346689 nbPropagations=4880349 nbRevisions=72626492 nbUselessRevisions=59925401
20.54 nbAssignments=102761 nbFailedAssignments=36143 nbBacktracks=66506 nbVisitedNodes=174686 nbRestartNogoods=96
20.54 => wckTime=19.768 cpuTime=19.68 mem=14M671
20.99
20.99 search
20.99 run=20 nbConstraintChecks=96555340 nbPropagations=6556081 nbRevisions=97681136 nbUselessRevisions=80603641
20.99 nbAssignments=105048 nbFailedAssignments=36964 nbBacktracks=67973 nbVisitedNodes=178591 nbRestartNogoods=108
20.99 => wckTime=20.221 cpuTime=20.13 mem=14M671
20.99
20.99 global
20.99 nbConstraintChecks=96555340 nbPropagations=6556121 nbRevisions=97681136 nbUselessRevisions=80603641
20.99 nbRestartNogoods=108 solvingWckTime=20.222 solvingCpuTime=20.13 expiredTime=no totalExploration=yes
20.99 nbFoundSolutions=0 globalCpuTime=20.51
20.99 => wckTime=20.694 cpuTime=20.47 mem=14M671
21.00
21.00 s UNSATISFIABLE
21.00 d NODES 105048
21.00 d CHECKS 96555340
21.00
21.00 totalWckTime=20.768 totalCpuTime=20.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-228409-1168080880 -o ROOT/results/node60/solver-228409-1168080880 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228409-1168080880/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.15 0.48 0.75 4/68 13194
/proc/meminfo: memFree=1474976/2055920 swapFree=4192812/4192956
[pid=13193] ppid=13191 vsize=1500 CPUtime=0
/proc/13193/stat : 13193 (java) R 13191 13193 12620 0 -1 0 88 0 0 0 0 0 0 0 20 0 1 0 156487264 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5502646 0 0 4096 0 0 0 0 17 1 0 0
/proc/13193/statm: 363 61 46 14 0 8 0
[startup+0.107193 s]
/proc/loadavg: 0.15 0.48 0.75 4/68 13194
/proc/meminfo: memFree=1474976/2055920 swapFree=4192812/4192956
[pid=13193] ppid=13191 vsize=914988 CPUtime=0.08
/proc/13193/stat : 13193 (java) R 13191 13193 12620 0 -1 0 3047 0 1 0 7 1 0 0 17 0 8 0 156487264 936947712 2793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13193/statm: 228747 2793 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515229 s]
/proc/loadavg: 0.15 0.48 0.75 4/68 13194
/proc/meminfo: memFree=1474976/2055920 swapFree=4192812/4192956
[pid=13193] ppid=13191 vsize=915328 CPUtime=0.5
/proc/13193/stat : 13193 (java) R 13191 13193 12620 0 -1 0 6563 0 1 0 46 4 0 0 16 0 8 0 156487264 937295872 6302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13193/statm: 228832 6302 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33631 s]
/proc/loadavg: 0.15 0.48 0.75 2/75 13201
/proc/meminfo: memFree=1451816/2055920 swapFree=4192812/4192956
[pid=13193] ppid=13191 vsize=915456 CPUtime=1.33
/proc/13193/stat : 13193 (java) R 13191 13193 12620 0 -1 0 8581 0 1 0 127 6 0 0 17 0 8 0 156487264 937426944 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13193/statm: 228864 8319 2513 14 0 215334 0
[pid=13193/tid=13195] ppid=13191 vsize=915456 CPUtime=0.03
/proc/13193/task/13195/stat : 13195 (java) S 13191 13193 12620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156487268 937426944 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13193/tid=13196] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13196/stat : 13196 (java) S 13191 13193 12620 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156487268 937426944 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13197] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13197/stat : 13197 (java) S 13191 13193 12620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487268 937426944 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13198] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13198/stat : 13198 (java) S 13191 13193 12620 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156487271 937426944 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13199] ppid=13191 vsize=915456 CPUtime=0.21
/proc/13193/task/13199/stat : 13199 (java) S 13191 13193 12620 0 -1 64 386 0 0 0 20 1 0 0 16 0 8 0 156487271 937426944 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13193/tid=13200] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13200/stat : 13200 (java) S 13191 13193 12620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156487271 937426944 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13201] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13201/stat : 13201 (java) S 13191 13193 12620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487271 937426944 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915456
[startup+2.98847 s]
/proc/loadavg: 0.15 0.48 0.75 2/75 13201
/proc/meminfo: memFree=1451560/2055920 swapFree=4192812/4192956
[pid=13193] ppid=13191 vsize=915456 CPUtime=2.97
/proc/13193/stat : 13193 (java) R 13191 13193 12620 0 -1 0 8596 0 1 0 291 6 0 0 18 0 8 0 156487264 937426944 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13193/statm: 228864 8333 2513 14 0 215334 0
[pid=13193/tid=13195] ppid=13191 vsize=915456 CPUtime=0.03
/proc/13193/task/13195/stat : 13195 (java) S 13191 13193 12620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156487268 937426944 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13193/tid=13196] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13196/stat : 13196 (java) S 13191 13193 12620 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156487268 937426944 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13197] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13197/stat : 13197 (java) S 13191 13193 12620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487268 937426944 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13198] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13198/stat : 13198 (java) S 13191 13193 12620 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156487271 937426944 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13199] ppid=13191 vsize=915456 CPUtime=0.22
/proc/13193/task/13199/stat : 13199 (java) S 13191 13193 12620 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156487271 937426944 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13193/tid=13200] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13200/stat : 13200 (java) S 13191 13193 12620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156487271 937426944 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13201] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13201/stat : 13201 (java) S 13191 13193 12620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487271 937426944 8333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915456
[startup+6.28079 s]
/proc/loadavg: 0.21 0.49 0.75 2/75 13201
/proc/meminfo: memFree=1451560/2055920 swapFree=4192812/4192956
[pid=13193] ppid=13191 vsize=915456 CPUtime=6.26
/proc/13193/stat : 13193 (java) R 13191 13193 12620 0 -1 0 8602 0 1 0 620 6 0 0 25 0 8 0 156487264 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804844 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13193/statm: 228864 8338 2513 14 0 215334 0
[pid=13193/tid=13195] ppid=13191 vsize=915456 CPUtime=0.03
/proc/13193/task/13195/stat : 13195 (java) S 13191 13193 12620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156487268 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13193/tid=13196] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13196/stat : 13196 (java) S 13191 13193 12620 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156487268 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13197] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13197/stat : 13197 (java) S 13191 13193 12620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487268 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13198] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13198/stat : 13198 (java) S 13191 13193 12620 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156487271 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13199] ppid=13191 vsize=915456 CPUtime=0.22
/proc/13193/task/13199/stat : 13199 (java) S 13191 13193 12620 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156487271 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13193/tid=13200] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13200/stat : 13200 (java) S 13191 13193 12620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156487271 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13201] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13201/stat : 13201 (java) S 13191 13193 12620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487271 937426944 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915456
[startup+12.7564 s]
/proc/loadavg: 0.28 0.50 0.75 2/75 13201
/proc/meminfo: memFree=1451560/2055920 swapFree=4192812/4192956
[pid=13193] ppid=13191 vsize=915456 CPUtime=12.73
/proc/13193/stat : 13193 (java) R 13191 13193 12620 0 -1 0 8607 0 1 0 1267 6 0 0 25 0 8 0 156487264 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13193/statm: 228864 8343 2513 14 0 215334 0
[pid=13193/tid=13195] ppid=13191 vsize=915456 CPUtime=0.03
/proc/13193/task/13195/stat : 13195 (java) S 13191 13193 12620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156487268 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13193/tid=13196] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13196/stat : 13196 (java) S 13191 13193 12620 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156487268 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13197] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13197/stat : 13197 (java) S 13191 13193 12620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487268 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13198] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13198/stat : 13198 (java) S 13191 13193 12620 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156487271 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13199] ppid=13191 vsize=915456 CPUtime=0.22
/proc/13193/task/13199/stat : 13199 (java) S 13191 13193 12620 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 156487271 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13193/tid=13200] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13200/stat : 13200 (java) S 13191 13193 12620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156487271 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13193/tid=13201] ppid=13191 vsize=915456 CPUtime=0
/proc/13193/task/13201/stat : 13201 (java) S 13191 13193 12620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487271 937426944 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 21.1195
CPU time (s): 20.9918
CPU user time (s): 20.9178
CPU system time (s): 0.073988
CPU usage (%): 99.3952
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.9178
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= 8702
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= 1265
involuntary context switches= 569
runsolver used 0.025996 s user time and 0.06099 s system time
The end
Begin job on node60 on Sat Jan 6 10:54:44 UTC 2007
IDJOB= 228409
IDBENCH= 6189
FILE ID= node60/228409-1168080880
PBS_JOBID= 3476169
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228409-1168080880/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-228409-1168080880 -o ROOT/results/node60/solver-228409-1168080880 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228409-1168080880/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 065b3bd2bdb0aaa1ace96af46f71b4cd
RANDOM SEED= 984393897
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.236
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.236
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: 1475520 kB
Buffers: 48236 kB
Cached: 437692 kB
SwapCached: 0 kB
Active: 66128 kB
Inactive: 440072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1475520 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1856 kB
Writeback: 0 kB
Mapped: 30472 kB
Slab: 59856 kB
Committed_AS: 3298352 kB
PageTables: 1684 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 node60 on Sat Jan 6 10:55:17 UTC 2007