0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/227201-1168080768/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.43 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.71 nbConstraints=752 nbRelationTypes=753 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11902 maxDegree=39
0.71 maxArity=2
0.71 => wckTime=0.385 cpuTime=0.26 mem=11M844
0.75
0.75 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.586 cpuTime=0.39 mem=14M15
0.92
0.92 preprocessing
0.93 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.93 detectedInconsistency=no
0.93 => wckTime=0.012 cpuTime=0.0 mem=14M15
0.96
0.96 search
0.97 run=0 nbConstraintChecks=15819 nbPropagations=400 nbRevisions=4546 nbUselessRevisions=3742 nbAssignments=24
0.97 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.052 cpuTime=0.03 mem=15M7
0.99
0.99 search
0.99 run=1 nbConstraintChecks=34846 nbPropagations=1229 nbRevisions=15003 nbUselessRevisions=12480 nbAssignments=60
0.99 nbFailedAssignments=17 nbBacktracks=30 nbVisitedNodes=91 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.081 cpuTime=0.05 mem=15M7
1.01
1.01 search
1.01 run=2 nbConstraintChecks=58901 nbPropagations=2546 nbRevisions=33416 nbUselessRevisions=28084 nbAssignments=96
1.01 nbFailedAssignments=25 nbBacktracks=53 nbVisitedNodes=147 nbRestartNogoods=4 mapSize=42 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.098 cpuTime=0.06 mem=15M7
1.03
1.03 search
1.03 run=3 nbConstraintChecks=103025 nbPropagations=4731 nbRevisions=66143 nbUselessRevisions=55936
1.03 nbAssignments=161 nbFailedAssignments=45 nbBacktracks=90 nbVisitedNodes=251 nbRestartNogoods=6 mapSize=72
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.12 cpuTime=0.08 mem=15M7
1.06
1.06 search
1.06 run=4 nbConstraintChecks=156182 nbPropagations=7945 nbRevisions=116380 nbUselessRevisions=98801
1.06 nbAssignments=240 nbFailedAssignments=68 nbBacktracks=140 nbVisitedNodes=379 nbRestartNogoods=10 mapSize=114
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.144 cpuTime=0.1 mem=15M7
1.09
1.09 search
1.09 run=5 nbConstraintChecks=223530 nbPropagations=12493 nbRevisions=187811 nbUselessRevisions=159658
1.09 nbAssignments=353 nbFailedAssignments=97 nbBacktracks=216 nbVisitedNodes=557 nbRestartNogoods=14 mapSize=170
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.177 cpuTime=0.13 mem=15M7
1.14
1.14 search
1.14 run=6 nbConstraintChecks=348255 nbPropagations=19356 nbRevisions=298405 nbUselessRevisions=253427
1.14 nbAssignments=526 nbFailedAssignments=148 nbBacktracks=331 nbVisitedNodes=840 nbRestartNogoods=20 mapSize=265
1.14 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.233 cpuTime=0.18 mem=15M7
1.21
1.21 search
1.21 run=7 nbConstraintChecks=531092 nbPropagations=29643 nbRevisions=469550 nbUselessRevisions=399275
1.21 nbAssignments=775 nbFailedAssignments=220 nbBacktracks=503 nbVisitedNodes=1248 nbRestartNogoods=23 mapSize=402
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.302 cpuTime=0.25 mem=15M7
1.31
1.31 search
1.31 run=8 nbConstraintChecks=788588 nbPropagations=44680 nbRevisions=726487 nbUselessRevisions=619077
1.31 nbAssignments=1145 nbFailedAssignments=326 nbBacktracks=761 nbVisitedNodes=1849 nbRestartNogoods=28
1.31 mapSize=606 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.402 cpuTime=0.34 mem=15M7
1.49
1.49 search
1.49 run=9 nbConstraintChecks=1177024 nbPropagations=67083 nbRevisions=1109838 nbUselessRevisions=946859
1.49 nbAssignments=1713 nbFailedAssignments=502 nbBacktracks=1148 nbVisitedNodes=2777 nbRestartNogoods=35
1.49 mapSize=917 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.574 cpuTime=0.49 mem=15M7
1.53
1.53 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=15M7)
1.69
1.69 search
1.69 run=10 nbConstraintChecks=1754918 nbPropagations=100362 nbRevisions=1680430 nbUselessRevisions=1434421
1.69 nbAssignments=2544 nbFailedAssignments=748 nbBacktracks=1725 nbVisitedNodes=4148 nbRestartNogoods=39
1.69 => wckTime=0.779 cpuTime=0.68 mem=15M7
1.95
1.95 search
1.95 run=11 nbConstraintChecks=2554751 nbPropagations=148712 nbRevisions=2520297 nbUselessRevisions=2153950
1.95 nbAssignments=3751 nbFailedAssignments=1083 nbBacktracks=2592 nbVisitedNodes=6122 nbRestartNogoods=44
1.95 => wckTime=1.039 cpuTime=0.94 mem=15M7
2.39
2.39 search
2.39 run=12 nbConstraintChecks=3916105 nbPropagations=222298 nbRevisions=3803042 nbUselessRevisions=3252305
2.39 nbAssignments=5625 nbFailedAssignments=1651 nbBacktracks=3892 nbVisitedNodes=9219 nbRestartNogoods=48
2.39 => wckTime=1.483 cpuTime=1.38 mem=15M7
3.06
3.06 search
3.06 run=13 nbConstraintChecks=5983939 nbPropagations=334096 nbRevisions=5752424 nbUselessRevisions=4918724
3.06 nbAssignments=8467 nbFailedAssignments=2540 nbBacktracks=5840 nbVisitedNodes=13931 nbRestartNogoods=53
3.06 => wckTime=2.147 cpuTime=2.04 mem=15M7
3.99
3.99 search
3.99 run=14 nbConstraintChecks=8852380 nbPropagations=499268 nbRevisions=8645574 nbUselessRevisions=7394309
3.99 nbAssignments=12627 nbFailedAssignments=3773 nbBacktracks=8761 nbVisitedNodes=20723 nbRestartNogoods=59
3.99 => wckTime=3.076 cpuTime=2.95 mem=15M7
5.40
5.40 search
5.40 run=15 nbConstraintChecks=13261391 nbPropagations=746294 nbRevisions=12957194 nbUselessRevisions=11081954
5.40 nbAssignments=18919 nbFailedAssignments=5683 nbBacktracks=13139 nbVisitedNodes=30984 nbRestartNogoods=68
5.40 => wckTime=4.491 cpuTime=4.36 mem=15M7
7.53
7.53 search
7.53 run=16 nbConstraintChecks=19884545 nbPropagations=1116056 nbRevisions=19433127 nbUselessRevisions=16623025
7.53 nbAssignments=28325 nbFailedAssignments=8513 nbBacktracks=19709 nbVisitedNodes=46464 nbRestartNogoods=77
7.53 => wckTime=6.623 cpuTime=6.47 mem=15M7
10.80
10.80 search
10.80 run=17 nbConstraintChecks=30124100 nbPropagations=1674181 nbRevisions=29199414 nbUselessRevisions=24972246
10.80 nbAssignments=42571 nbFailedAssignments=12900 nbBacktracks=29562 nbVisitedNodes=69843 nbRestartNogoods=84
10.80 => wckTime=9.884 cpuTime=9.7 mem=15M7
13.18
13.18 search
13.18 run=18 nbConstraintChecks=37651974 nbPropagations=2371012 nbRevisions=41385657 nbUselessRevisions=35386632
13.18 nbAssignments=52938 nbFailedAssignments=16092 nbBacktracks=36738 nbVisitedNodes=86947 nbRestartNogoods=93
13.18 => wckTime=12.272 cpuTime=12.06 mem=15M7
13.19
13.19 global
13.19 nbConstraintChecks=37651974 nbPropagations=2371052 nbRevisions=41385657 nbUselessRevisions=35386632
13.19 nbRestartNogoods=93 solvingWckTime=12.273 solvingCpuTime=12.06 expiredTime=no totalExploration=yes
13.19 nbFoundSolutions=0 globalCpuTime=12.5
13.19 => wckTime=12.861 cpuTime=12.45 mem=15M7
13.19
13.19 s UNSATISFIABLE
13.19 d NODES 52938
13.19 d CHECKS 37651974
13.19
13.19 totalWckTime=12.947 totalCpuTime=12.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-227201-1168080768 -o ROOT/results/node11/solver-227201-1168080768 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227201-1168080768/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.17 1.48 1.76 4/93 30402
/proc/meminfo: memFree=1591352/2055920 swapFree=4192812/4192956
[pid=30401] ppid=30399 vsize=18540 CPUtime=0
/proc/30401/stat : 30401 (runsolver) R 30399 30401 30222 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156472314 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30401/statm: 4635 279 244 17 0 2626 0
[startup+0.107915 s]
/proc/loadavg: 1.17 1.48 1.76 4/93 30402
/proc/meminfo: memFree=1591352/2055920 swapFree=4192812/4192956
[pid=30401] ppid=30399 vsize=914988 CPUtime=0.08
/proc/30401/stat : 30401 (java) R 30399 30401 30222 0 -1 0 2986 0 1 0 7 1 0 0 19 0 8 0 156472314 936947712 2732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155070855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30401/statm: 228747 2732 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518994 s]
/proc/loadavg: 1.17 1.48 1.76 4/93 30402
/proc/meminfo: memFree=1591352/2055920 swapFree=4192812/4192956
[pid=30401] ppid=30399 vsize=915328 CPUtime=0.49
/proc/30401/stat : 30401 (java) R 30399 30401 30222 0 -1 0 6275 0 1 0 45 4 0 0 18 0 8 0 156472314 937295872 6014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30401/statm: 228832 6014 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34616 s]
/proc/loadavg: 1.17 1.48 1.76 3/100 30409
/proc/meminfo: memFree=1567680/2055920 swapFree=4192812/4192956
[pid=30401] ppid=30399 vsize=915584 CPUtime=1.3
/proc/30401/stat : 30401 (java) R 30399 30401 30222 0 -1 0 8658 0 1 0 124 6 0 0 24 0 8 0 156472314 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30401/statm: 228896 8396 2513 14 0 215366 0
[pid=30401/tid=30403] ppid=30399 vsize=915584 CPUtime=0.03
/proc/30401/task/30403/stat : 30403 (java) S 30399 30401 30222 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156472318 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30404] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30404/stat : 30404 (java) S 30399 30401 30222 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156472319 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30405] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30405/stat : 30405 (java) S 30399 30401 30222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156472319 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30406] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30406/stat : 30406 (java) S 30399 30401 30222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156472322 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30407] ppid=30399 vsize=915584 CPUtime=0.25
/proc/30401/task/30407/stat : 30407 (java) S 30399 30401 30222 0 -1 64 404 0 0 0 24 1 0 0 15 0 8 0 156472322 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30408] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30408/stat : 30408 (java) S 30399 30401 30222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156472322 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30409] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30409/stat : 30409 (java) S 30399 30401 30222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156472322 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915584
[startup+2.98348 s]
/proc/loadavg: 1.17 1.48 1.76 3/100 30409
/proc/meminfo: memFree=1567360/2055920 swapFree=4192812/4192956
[pid=30401] ppid=30399 vsize=915584 CPUtime=2.93
/proc/30401/stat : 30401 (java) R 30399 30401 30222 0 -1 0 8695 0 1 0 286 7 0 0 25 0 8 0 156472314 937558016 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073931075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30401/statm: 228896 8432 2513 14 0 215366 0
[pid=30401/tid=30403] ppid=30399 vsize=915584 CPUtime=0.03
/proc/30401/task/30403/stat : 30403 (java) S 30399 30401 30222 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156472318 937558016 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30404] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30404/stat : 30404 (java) S 30399 30401 30222 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156472319 937558016 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30405] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30405/stat : 30405 (java) S 30399 30401 30222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156472319 937558016 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30406] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30406/stat : 30406 (java) S 30399 30401 30222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156472322 937558016 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30407] ppid=30399 vsize=915584 CPUtime=0.28
/proc/30401/task/30407/stat : 30407 (java) S 30399 30401 30222 0 -1 64 418 0 0 0 27 1 0 0 16 0 8 0 156472322 937558016 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30408] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30408/stat : 30408 (java) S 30399 30401 30222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156472322 937558016 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30409] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30409/stat : 30409 (java) S 30399 30401 30222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156472322 937558016 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915584
[startup+6.28113 s]
/proc/loadavg: 1.24 1.49 1.77 3/100 30409
/proc/meminfo: memFree=1567296/2055920 swapFree=4192812/4192956
[pid=30401] ppid=30399 vsize=915584 CPUtime=6.19
/proc/30401/stat : 30401 (java) R 30399 30401 30222 0 -1 0 8703 0 1 0 612 7 0 0 25 0 8 0 156472314 937558016 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073946080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30401/statm: 228896 8439 2513 14 0 215366 0
[pid=30401/tid=30403] ppid=30399 vsize=915584 CPUtime=0.03
/proc/30401/task/30403/stat : 30403 (java) S 30399 30401 30222 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156472318 937558016 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30404] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30404/stat : 30404 (java) S 30399 30401 30222 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156472319 937558016 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30405] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30405/stat : 30405 (java) S 30399 30401 30222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156472319 937558016 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30406] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30406/stat : 30406 (java) S 30399 30401 30222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156472322 937558016 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30407] ppid=30399 vsize=915584 CPUtime=0.28
/proc/30401/task/30407/stat : 30407 (java) S 30399 30401 30222 0 -1 64 418 0 0 0 27 1 0 0 16 0 8 0 156472322 937558016 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30408] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30408/stat : 30408 (java) S 30399 30401 30222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156472322 937558016 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30409] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30409/stat : 30409 (java) S 30399 30401 30222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156472322 937558016 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915584
[startup+12.7574 s]
/proc/loadavg: 1.30 1.50 1.77 3/100 30409
/proc/meminfo: memFree=1567360/2055920 swapFree=4192812/4192956
[pid=30401] ppid=30399 vsize=915584 CPUtime=12.61
/proc/30401/stat : 30401 (java) R 30399 30401 30222 0 -1 0 8708 0 1 0 1254 7 0 0 25 0 8 0 156472314 937558016 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30401/statm: 228896 8444 2513 14 0 215366 0
[pid=30401/tid=30403] ppid=30399 vsize=915584 CPUtime=0.03
/proc/30401/task/30403/stat : 30403 (java) S 30399 30401 30222 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156472318 937558016 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30404] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30404/stat : 30404 (java) S 30399 30401 30222 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156472319 937558016 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30405] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30405/stat : 30405 (java) S 30399 30401 30222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156472319 937558016 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30406] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30406/stat : 30406 (java) S 30399 30401 30222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156472322 937558016 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30407] ppid=30399 vsize=915584 CPUtime=0.28
/proc/30401/task/30407/stat : 30407 (java) S 30399 30401 30222 0 -1 64 418 0 0 0 27 1 0 0 16 0 8 0 156472322 937558016 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30408] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30408/stat : 30408 (java) S 30399 30401 30222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156472322 937558016 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30401/tid=30409] ppid=30399 vsize=915584 CPUtime=0
/proc/30401/task/30409/stat : 30409 (java) S 30399 30401 30222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156472322 937558016 8444 18446744073709551615 134512640 134570532 4294956464 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) 915584
Child status: 0
Real time (s): 13.23
CPU time (s): 13.058
CPU user time (s): 12.977
CPU system time (s): 0.080987
CPU usage (%): 98.6998
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.977
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8802
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= 1509
involuntary context switches= 2257
runsolver used 0.013997 s user time and 0.053991 s system time
The end
Begin job on node11 on Sat Jan 6 10:52:50 UTC 2007
IDJOB= 227201
IDBENCH= 6058
FILE ID= node11/227201-1168080768
PBS_JOBID= 3475869
Free space on /tmp= 66319 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227201-1168080768/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-227201-1168080768 -o ROOT/results/node11/solver-227201-1168080768 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227201-1168080768/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7f03dca00e396705a664a8eb512a15b4
RANDOM SEED= 493777845
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.261
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 : 5931.00
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.261
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: 1591832 kB
Buffers: 40896 kB
Cached: 250212 kB
SwapCached: 0 kB
Active: 163300 kB
Inactive: 216820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1591832 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1812 kB
Writeback: 0 kB
Mapped: 118004 kB
Slab: 68380 kB
Committed_AS: 5151232 kB
PageTables: 2480 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= 66319 MiB
End job on node11 on Sat Jan 6 10:53:11 UTC 2007