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/229642-1168080990/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.40 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1397 maxDegree=19
0.58 maxArity=2
0.58 => wckTime=0.276 cpuTime=0.19 mem=11M893
0.62
0.62 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.465 cpuTime=0.32 mem=13M734
0.77
0.77 preprocessing
0.77 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77 detectedInconsistency=no
0.78 => wckTime=0.0030 cpuTime=0.0 mem=13M734
0.82
0.82 search
0.82 run=0 nbConstraintChecks=29214 nbPropagations=607 nbRevisions=5436 nbUselessRevisions=4158 nbAssignments=27
0.82 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.05 cpuTime=0.03 mem=14M709
0.84
0.84 search
0.84 run=1 nbConstraintChecks=62419 nbPropagations=1832 nbRevisions=16996 nbUselessRevisions=13118 nbAssignments=57
0.84 nbFailedAssignments=21 nbBacktracks=25 nbVisitedNodes=95 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.067 cpuTime=0.04 mem=14M709
0.85
0.85 search
0.85 run=2 nbConstraintChecks=99323 nbPropagations=3792 nbRevisions=35407 nbUselessRevisions=27352 nbAssignments=99
0.86 nbFailedAssignments=33 nbBacktracks=48 nbVisitedNodes=161 nbRestartNogoods=4 mapSize=41 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.084 cpuTime=0.05 mem=14M709
0.87
0.87 search
0.87 run=3 nbConstraintChecks=177267 nbPropagations=7099 nbRevisions=68382 nbUselessRevisions=52774
0.87 nbAssignments=163 nbFailedAssignments=58 nbBacktracks=82 nbVisitedNodes=274 nbRestartNogoods=7 mapSize=72
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.103 cpuTime=0.07 mem=14M709
0.89
0.89 search
0.89 run=4 nbConstraintChecks=249868 nbPropagations=11826 nbRevisions=115551 nbUselessRevisions=89030
0.89 nbAssignments=246 nbFailedAssignments=87 nbBacktracks=132 nbVisitedNodes=412 nbRestartNogoods=9 mapSize=110
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.122 cpuTime=0.08 mem=14M709
0.93
0.93 search
0.93 run=5 nbConstraintChecks=386912 nbPropagations=19186 nbRevisions=190611 nbUselessRevisions=146961
0.93 nbAssignments=378 nbFailedAssignments=138 nbBacktracks=208 nbVisitedNodes=638 nbRestartNogoods=12 mapSize=170
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.154 cpuTime=0.11 mem=14M709
0.97
0.97 search
0.97 run=6 nbConstraintChecks=616275 nbPropagations=30644 nbRevisions=310731 nbUselessRevisions=239551
0.97 nbAssignments=592 nbFailedAssignments=233 nbBacktracks=321 nbVisitedNodes=1018 nbRestartNogoods=15 mapSize=275
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.201 cpuTime=0.16 mem=14M709
1.03
1.03 search
1.03 run=7 nbConstraintChecks=884523 nbPropagations=47161 nbRevisions=484580 nbUselessRevisions=373133
1.03 nbAssignments=875 nbFailedAssignments=341 nbBacktracks=492 nbVisitedNodes=1499 nbRestartNogoods=19 mapSize=410
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.258 cpuTime=0.21 mem=14M709
1.14
1.14 search
1.14 run=8 nbConstraintChecks=1418312 nbPropagations=73055 nbRevisions=763715 nbUselessRevisions=586938
1.14 nbAssignments=1379 nbFailedAssignments=584 nbBacktracks=748 nbVisitedNodes=2406 nbRestartNogoods=23
1.14 mapSize=636 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.367 cpuTime=0.31 mem=14M709
1.27
1.27 search
1.27 run=9 nbConstraintChecks=1996071 nbPropagations=110306 nbRevisions=1160693 nbUselessRevisions=890654
1.27 nbAssignments=2016 nbFailedAssignments=832 nbBacktracks=1133 nbVisitedNodes=3495 nbRestartNogoods=26
1.27 mapSize=955 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.494 cpuTime=0.43 mem=14M709
1.29
1.29 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=14M709)
1.47
1.47 search
1.47 run=10 nbConstraintChecks=3131712 nbPropagations=167179 nbRevisions=1776881 nbUselessRevisions=1362594
1.47 nbAssignments=3054 nbFailedAssignments=1290 nbBacktracks=1709 nbVisitedNodes=5332 nbRestartNogoods=33
1.47 => wckTime=0.695 cpuTime=0.62 mem=14M709
1.70
1.70 search
1.70 run=11 nbConstraintChecks=4471904 nbPropagations=250072 nbRevisions=2661639 nbUselessRevisions=2039948
1.70 nbAssignments=4453 nbFailedAssignments=1818 nbBacktracks=2574 nbVisitedNodes=7728 nbRestartNogoods=41
1.70 => wckTime=0.93 cpuTime=0.85 mem=14M709
2.02
2.02 search
2.02 run=12 nbConstraintChecks=6342257 nbPropagations=369725 nbRevisions=3927537 nbUselessRevisions=3009276
2.02 nbAssignments=6557 nbFailedAssignments=2617 nbBacktracks=3872 nbVisitedNodes=11313 nbRestartNogoods=46
2.02 => wckTime=1.249 cpuTime=1.17 mem=14M709
2.60
2.60 search
2.60 run=13 nbConstraintChecks=9931582 nbPropagations=553733 nbRevisions=5900645 nbUselessRevisions=4522251
2.60 nbAssignments=9985 nbFailedAssignments=4092 nbBacktracks=5820 nbVisitedNodes=17394 nbRestartNogoods=55
2.60 => wckTime=1.833 cpuTime=1.75 mem=14M709
3.39
3.39 search
3.39 run=14 nbConstraintChecks=14629205 nbPropagations=826424 nbRevisions=8815025 nbUselessRevisions=6757212
3.39 nbAssignments=14787 nbFailedAssignments=5970 nbBacktracks=8739 nbVisitedNodes=25704 nbRestartNogoods=60
3.39 => wckTime=2.616 cpuTime=2.54 mem=14M709
4.69
4.69 search
4.69 run=15 nbConstraintChecks=22581394 nbPropagations=1242858 nbRevisions=13295462 nbUselessRevisions=10196236
4.69 nbAssignments=22463 nbFailedAssignments=9262 nbBacktracks=13117 nbVisitedNodes=39196 nbRestartNogoods=68
4.69 => wckTime=3.918 cpuTime=3.84 mem=14M709
6.39
6.39 search
6.39 run=16 nbConstraintChecks=32719244 nbPropagations=1852949 nbRevisions=19799018 nbUselessRevisions=15181759
6.39 nbAssignments=33153 nbFailedAssignments=13376 nbBacktracks=19686 nbVisitedNodes=57514 nbRestartNogoods=76
6.39 => wckTime=5.619 cpuTime=5.54 mem=14M709
9.12
9.12 search
9.12 run=17 nbConstraintChecks=49444198 nbPropagations=2768102 nbRevisions=29562624 nbUselessRevisions=22663701
9.12 nbAssignments=49380 nbFailedAssignments=19744 nbBacktracks=29538 nbVisitedNodes=85653 nbRestartNogoods=88
9.13 => wckTime=8.354 cpuTime=8.28 mem=14M709
13.17
13.17 search
13.17 run=18 nbConstraintChecks=73924489 nbPropagations=4137011 nbRevisions=44184971 nbUselessRevisions=33879930
13.17 nbAssignments=73590 nbFailedAssignments=29169 nbBacktracks=44316 nbVisitedNodes=127572 nbRestartNogoods=99
13.17 => wckTime=12.403 cpuTime=12.33 mem=14M709
15.56
15.56 search
15.56 run=19 nbConstraintChecks=88492439 nbPropagations=5766142 nbRevisions=61644831 nbUselessRevisions=47273900
15.56 nbAssignments=87578 nbFailedAssignments=34715 nbBacktracks=52718 nbVisitedNodes=151873 nbRestartNogoods=107
15.56 => wckTime=14.785 cpuTime=14.71 mem=14M709
15.56
15.56 global
15.56 nbConstraintChecks=88492439 nbPropagations=5766182 nbRevisions=61644831 nbUselessRevisions=47273900
15.56 nbRestartNogoods=107 solvingWckTime=14.786 solvingCpuTime=14.71 expiredTime=no totalExploration=no
15.56 nbFoundSolutions=1 globalCpuTime=15.08
15.56 => wckTime=15.254 cpuTime=15.03 mem=14M709
15.56
15.56 s SATISFIABLE
15.56 v 13 3 5 5 9 3 5 5 4 2 15 11 1 2 0 11 0 2 6 2 12 0 1 14 12 7 12 10 5 7 3 10 15 14 9 5 8 4 10 11
15.56 d NODES 87578
15.56 d CHECKS 88492439
15.56
15.56 totalWckTime=15.33 totalCpuTime=15.08
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-229642-1168080990 -o ROOT/results/node1/solver-229642-1168080990 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229642-1168080990/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.19 0.89 1.47 3/81 18079
/proc/meminfo: memFree=1208400/2055920 swapFree=4165584/4192956
[pid=18078] ppid=18076 vsize=1500 CPUtime=0
/proc/18078/stat : 18078 (java) R 18076 18078 17482 0 -1 0 87 0 0 0 0 0 0 0 19 0 1 0 156496822 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5800544 0 0 4096 0 0 0 0 17 1 0 0
/proc/18078/statm: 375 69 55 14 0 8 0
[startup+0.103665 s]
/proc/loadavg: 0.19 0.89 1.47 3/81 18079
/proc/meminfo: memFree=1208400/2055920 swapFree=4165584/4192956
[pid=18078] ppid=18076 vsize=914988 CPUtime=0.07
/proc/18078/stat : 18078 (java) S 18076 18078 17482 0 -1 0 2998 0 1 0 6 1 0 0 17 0 8 0 156496822 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.511711 s]
/proc/loadavg: 0.19 0.89 1.47 3/81 18079
/proc/meminfo: memFree=1208400/2055920 swapFree=4165584/4192956
[pid=18078] ppid=18076 vsize=915328 CPUtime=0.48
/proc/18078/stat : 18078 (java) S 18076 18078 17482 0 -1 0 6698 0 1 0 45 3 0 0 16 0 8 0 156496822 937295872 6437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228832 6437 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3328 s]
/proc/loadavg: 0.19 0.89 1.47 2/88 18086
/proc/meminfo: memFree=1185048/2055920 swapFree=4165584/4192956
[pid=18078] ppid=18076 vsize=915452 CPUtime=1.3
/proc/18078/stat : 18078 (java) R 18076 18078 17482 0 -1 0 8592 0 1 0 125 5 0 0 17 0 8 0 156496822 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073342293 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228863 8330 2513 14 0 215333 0
[pid=18078/tid=18080] ppid=18076 vsize=915452 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17482 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156496826 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17482 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496827 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496827 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496830 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915452 CPUtime=0.21
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17482 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156496830 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156496830 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17482 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496830 937422848 8330 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.96999 s]
/proc/loadavg: 0.26 0.89 1.46 2/88 18086
/proc/meminfo: memFree=1184792/2055920 swapFree=4165584/4192956
[pid=18078] ppid=18076 vsize=915452 CPUtime=2.94
/proc/18078/stat : 18078 (java) R 18076 18078 17482 0 -1 0 8607 0 1 0 289 5 0 0 18 0 8 0 156496822 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228863 8344 2513 14 0 215333 0
[pid=18078/tid=18080] ppid=18076 vsize=915452 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17482 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156496826 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17482 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496827 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496827 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496830 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915452 CPUtime=0.21
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17482 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156496830 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156496830 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17482 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496830 937422848 8344 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.17237 s]
/proc/loadavg: 0.26 0.89 1.46 3/88 18086
/proc/meminfo: memFree=1184728/2055920 swapFree=4165584/4192956
[pid=18078] ppid=18076 vsize=915452 CPUtime=6.14
/proc/18078/stat : 18078 (java) R 18076 18078 17482 0 -1 0 8613 0 1 0 609 5 0 0 20 0 8 0 156496822 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228863 8349 2513 14 0 215333 0
[pid=18078/tid=18080] ppid=18076 vsize=915452 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17482 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156496826 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17482 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496827 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496827 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496830 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915452 CPUtime=0.22
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17482 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 156496830 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156496830 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17482 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496830 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915452
[startup+12.6331 s]
/proc/loadavg: 0.37 0.89 1.46 2/88 18086
/proc/meminfo: memFree=1184728/2055920 swapFree=4165584/4192956
[pid=18078] ppid=18076 vsize=915452 CPUtime=12.6
/proc/18078/stat : 18078 (java) R 18076 18078 17482 0 -1 0 8617 0 1 0 1255 5 0 0 25 0 8 0 156496822 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228863 8353 2513 14 0 215333 0
[pid=18078/tid=18080] ppid=18076 vsize=915452 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17482 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156496826 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17482 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496827 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496827 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496830 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915452 CPUtime=0.22
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17482 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 156496830 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156496830 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915452 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17482 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496830 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 15.5957
CPU time (s): 15.5486
CPU user time (s): 15.4856
CPU system time (s): 0.06299
CPU usage (%): 99.6983
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4856
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8712
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= 1131
involuntary context switches= 118
runsolver used 0.012998 s user time and 0.049992 s system time
The end
Begin job on node1 on Sat Jan 6 10:56:41 UTC 2007
IDJOB= 229642
IDBENCH= 6331
FILE ID= node1/229642-1168080990
PBS_JOBID= 3475829
Free space on /tmp= 66304 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229642-1168080990/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-229642-1168080990 -o ROOT/results/node1/solver-229642-1168080990 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229642-1168080990/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4a0308fc76b9a1ffabf9d472ee025271
RANDOM SEED= 847005066
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.234
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.234
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: 1208880 kB
Buffers: 70136 kB
Cached: 640784 kB
SwapCached: 3692 kB
Active: 371412 kB
Inactive: 378896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1208880 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 1864 kB
Writeback: 0 kB
Mapped: 49264 kB
Slab: 81800 kB
Committed_AS: 4161788 kB
PageTables: 2172 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= 66304 MiB
End job on node1 on Sat Jan 6 10:57:08 UTC 2007