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/218290-1168079604/unknown.xml
0.38
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.69
0.69 constraints being loaded...
0.86 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
0.86 => wckTime=0.532 cpuTime=0.47 mem=42M548
0.93
0.94 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.787 cpuTime=0.6 mem=21M317
1.11
1.11 preprocessing
1.12 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.12 detectedInconsistency=no
1.12 => wckTime=0.0020 cpuTime=0.0 mem=21M317
1.23
1.23 search
1.23 run=0 nbConstraintChecks=22717 nbValidityChecks=44024 nbPropagations=333 nbRevisions=3457
1.23 nbUselessRevisions=2701 nbAssignments=31 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=53
1.23 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.112 cpuTime=0.06 mem=21M317
1.27
1.27 search
1.27 run=1 nbConstraintChecks=43968 nbValidityChecks=86661 nbPropagations=993 nbRevisions=10068
1.27 nbUselessRevisions=7850 nbAssignments=71 nbFailedAssignments=32 nbBacktracks=26 nbVisitedNodes=116
1.27 nbRestartNogoods=3 mapSize=16 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.156 cpuTime=0.1 mem=21M317
1.35
1.35 search
1.35 run=2 nbConstraintChecks=97579 nbValidityChecks=186320 nbPropagations=2173 nbRevisions=23250
1.35 nbUselessRevisions=18177 nbAssignments=133 nbFailedAssignments=67 nbBacktracks=49 nbVisitedNodes=228
1.35 nbRestartNogoods=10 mapSize=35 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.242 cpuTime=0.18 mem=21M317
1.45
1.45 search
1.45 run=3 nbConstraintChecks=154241 nbValidityChecks=293172 nbPropagations=4044 nbRevisions=44364
1.45 nbUselessRevisions=34683 nbAssignments=205 nbFailedAssignments=100 nbBacktracks=86 nbVisitedNodes=356
1.45 nbRestartNogoods=13 mapSize=64 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.334 cpuTime=0.26 mem=21M317
1.58
1.58 search
1.58 run=4 nbConstraintChecks=247389 nbValidityChecks=485890 nbPropagations=7364 nbRevisions=81950
1.58 nbUselessRevisions=64149 nbAssignments=332 nbFailedAssignments=172 nbBacktracks=136 nbVisitedNodes=591
1.58 nbRestartNogoods=14 mapSize=112 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.467 cpuTime=0.39 mem=21M317
1.76
1.76 search
1.76 run=5 nbConstraintChecks=378016 nbValidityChecks=738719 nbPropagations=12332 nbRevisions=137126
1.76 nbUselessRevisions=107368 nbAssignments=488 nbFailedAssignments=247 nbBacktracks=213 nbVisitedNodes=861
1.76 nbRestartNogoods=18 mapSize=170 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.648 cpuTime=0.56 mem=21M317
2.11
2.11 search
2.11 run=6 nbConstraintChecks=629178 nbValidityChecks=1242343 nbPropagations=20409 nbRevisions=228527
2.11 nbUselessRevisions=179242 nbAssignments=789 nbFailedAssignments=432 nbBacktracks=326 nbVisitedNodes=1426
2.11 nbRestartNogoods=22 mapSize=269 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=0.998 cpuTime=0.9 mem=21M317
2.56
2.56 search
2.56 run=7 nbConstraintChecks=958362 nbValidityChecks=1869399 nbPropagations=32574 nbRevisions=363077
2.56 nbUselessRevisions=284525 nbAssignments=1154 nbFailedAssignments=622 nbBacktracks=497 nbVisitedNodes=2084
2.56 nbRestartNogoods=30 mapSize=408 nbInferences=0 nbTooLargeKeys=0
2.56 => wckTime=1.448 cpuTime=1.34 mem=21M317
3.24
3.25 search
3.25 run=8 nbConstraintChecks=1439086 nbValidityChecks=2826368 nbPropagations=50443 nbRevisions=566922
3.25 nbUselessRevisions=444695 nbAssignments=1716 nbFailedAssignments=925 nbBacktracks=755 nbVisitedNodes=3121
3.25 nbRestartNogoods=33 mapSize=636 nbInferences=0 nbTooLargeKeys=0
3.25 => wckTime=2.132 cpuTime=2.0 mem=21M317
4.12
4.12 search
4.12 run=9 nbConstraintChecks=2105456 nbValidityChecks=4111691 nbPropagations=77114 nbRevisions=861767
4.12 nbUselessRevisions=675104 nbAssignments=2488 nbFailedAssignments=1309 nbBacktracks=1139 nbVisitedNodes=4494
4.12 nbRestartNogoods=35 mapSize=949 nbInferences=0 nbTooLargeKeys=0
4.12 => wckTime=3.008 cpuTime=2.86 mem=21M317
4.30
4.30 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=22M285)
5.97
5.97 search
5.97 run=10 nbConstraintChecks=3452464 nbValidityChecks=6889359 nbPropagations=121557 nbRevisions=1372723
5.97 nbUselessRevisions=1074581 nbAssignments=4136 nbFailedAssignments=2377 nbBacktracks=1715 nbVisitedNodes=7639
5.97 nbRestartNogoods=49
5.97 => wckTime=4.854 cpuTime=4.68 mem=22M285
7.79
7.79 search
7.79 run=11 nbConstraintChecks=4851988 nbValidityChecks=9651560 nbPropagations=184869 nbRevisions=2079398
7.79 nbUselessRevisions=1625569 nbAssignments=5784 nbFailedAssignments=3155 nbBacktracks=2579 nbVisitedNodes=10536
7.79 nbRestartNogoods=61
7.79 => wckTime=6.678 cpuTime=6.49 mem=22M285
10.76
10.76 search
10.76 run=12 nbConstraintChecks=7194329 nbValidityChecks=14037782 nbPropagations=276992 nbRevisions=3090683
10.76 nbUselessRevisions=2412015 nbAssignments=8308 nbFailedAssignments=4378 nbBacktracks=3876 nbVisitedNodes=15012
10.76 nbRestartNogoods=76
10.76 => wckTime=9.651 cpuTime=9.44 mem=22M285
16.32
16.32 search
16.33 run=13 nbConstraintChecks=11445951 nbValidityChecks=22631413 nbPropagations=421506 nbRevisions=4715006
16.33 nbUselessRevisions=3680617 nbAssignments=13158 nbFailedAssignments=7279 nbBacktracks=5823 nbVisitedNodes=24104
16.33 nbRestartNogoods=95
16.33 => wckTime=15.213 cpuTime=14.94 mem=22M285
23.42
23.42 search
23.42 run=14 nbConstraintChecks=16923814 nbValidityChecks=33542437 nbPropagations=638015 nbRevisions=7122100
23.42 nbUselessRevisions=5555038 nbAssignments=19386 nbFailedAssignments=10585 nbBacktracks=8743 nbVisitedNodes=35467
23.42 nbRestartNogoods=123
23.42 => wckTime=22.308 cpuTime=21.97 mem=22M285
31.01
31.01 search
31.01 run=15 nbConstraintChecks=22658170 nbValidityChecks=45223128 nbPropagations=930664 nbRevisions=10388731
31.01 nbUselessRevisions=8098209 nbAssignments=26041 nbFailedAssignments=14437 nbBacktracks=11526
31.01 nbVisitedNodes=47858 nbRestartNogoods=143
31.01 => wckTime=29.896 cpuTime=29.49 mem=22M285
31.01
31.01 global
31.01 nbConstraintChecks=22658170 nbValidityChecks=45223128 nbPropagations=930684 nbRevisions=10388731
31.01 nbUselessRevisions=8098209 nbRestartNogoods=143 solvingWckTime=29.897 solvingCpuTime=29.49 expiredTime=no
31.01 totalExploration=no nbFoundSolutions=1 globalCpuTime=30.16
31.01 => wckTime=30.687 cpuTime=30.1 mem=22M285
31.01
31.01 s SATISFIABLE
31.01 v 7 4 12 10 12 13 8 2 4 7 1 3 0 8 9 6 9 1 19 11
31.01 d NODES 26041
31.01 d CHECKS 22658170
31.01
31.01 totalWckTime=30.77 totalCpuTime=30.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-218290-1168079604 -o ROOT/results/node13/solver-218290-1168079604 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218290-1168079604/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: 2.00 2.00 2.00 4/93 5634
/proc/meminfo: memFree=511840/2055920 swapFree=4192812/4192956
[pid=5633] ppid=5631 vsize=18540 CPUtime=0
/proc/5633/stat : 5633 (runsolver) R 5631 5633 5392 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156355420 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5633/statm: 4635 279 244 17 0 2626 0
[startup+0.108004 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 5634
/proc/meminfo: memFree=511840/2055920 swapFree=4192812/4192956
[pid=5633] ppid=5631 vsize=914988 CPUtime=0.09
/proc/5633/stat : 5633 (java) D 5631 5633 5392 0 -1 0 2987 0 1 0 8 1 0 0 18 0 8 0 156355420 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5633/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516058 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 5634
/proc/meminfo: memFree=511840/2055920 swapFree=4192812/4192956
[pid=5633] ppid=5631 vsize=915328 CPUtime=0.49
/proc/5633/stat : 5633 (java) R 5631 5633 5392 0 -1 0 7440 0 1 0 46 3 0 0 18 0 8 0 156355420 937295872 7179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5633/statm: 228832 7179 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33917 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5641
/proc/meminfo: memFree=454376/2055920 swapFree=4192812/4192956
[pid=5633] ppid=5631 vsize=915460 CPUtime=1.31
/proc/5633/stat : 5633 (java) R 5631 5633 5392 0 -1 0 17076 0 1 0 123 8 0 0 24 0 8 0 156355420 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5633/statm: 228865 16813 2517 14 0 215335 0
[pid=5633/tid=5635] ppid=5631 vsize=915460 CPUtime=0.06
/proc/5633/task/5635/stat : 5635 (java) S 5631 5633 5392 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156355424 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5636] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5636/stat : 5636 (java) S 5631 5633 5392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156355425 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5637] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5637/stat : 5637 (java) S 5631 5633 5392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156355425 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5638] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5638/stat : 5638 (java) S 5631 5633 5392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156355428 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5639] ppid=5631 vsize=915460 CPUtime=0.18
/proc/5633/task/5639/stat : 5639 (java) S 5631 5633 5392 0 -1 64 356 0 0 0 18 0 0 0 15 0 8 0 156355428 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5640] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5640/stat : 5640 (java) S 5631 5633 5392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156355428 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5641] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5641/stat : 5641 (java) S 5631 5633 5392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156355428 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98439 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5641
/proc/meminfo: memFree=454248/2055920 swapFree=4192812/4192956
[pid=5633] ppid=5631 vsize=915460 CPUtime=2.93
/proc/5633/stat : 5633 (java) R 5631 5633 5392 0 -1 0 17093 0 1 0 285 8 0 0 25 0 8 0 156355420 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5633/statm: 228865 16829 2517 14 0 215335 0
[pid=5633/tid=5635] ppid=5631 vsize=915460 CPUtime=0.06
/proc/5633/task/5635/stat : 5635 (java) S 5631 5633 5392 0 -1 64 1793 0 0 0 6 0 0 0 17 0 8 0 156355424 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5636] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5636/stat : 5636 (java) S 5631 5633 5392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156355425 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5637] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5637/stat : 5637 (java) S 5631 5633 5392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156355425 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5638] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5638/stat : 5638 (java) S 5631 5633 5392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156355428 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5639] ppid=5631 vsize=915460 CPUtime=0.24
/proc/5633/task/5639/stat : 5639 (java) S 5631 5633 5392 0 -1 64 373 0 0 0 23 1 0 0 15 0 8 0 156355428 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5640] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5640/stat : 5640 (java) S 5631 5633 5392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156355428 937431040 16829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5641] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5641/stat : 5641 (java) S 5631 5633 5392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156355428 937431040 16829 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) 915460
[startup+6.19182 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5641
/proc/meminfo: memFree=453992/2055920 swapFree=4192812/4192956
[pid=5633] ppid=5631 vsize=915460 CPUtime=6.1
/proc/5633/stat : 5633 (java) R 5631 5633 5392 0 -1 0 17106 0 1 0 602 8 0 0 25 0 8 0 156355420 937431040 16840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5633/statm: 228865 16840 2517 14 0 215335 0
[pid=5633/tid=5635] ppid=5631 vsize=915460 CPUtime=0.06
/proc/5633/task/5635/stat : 5635 (java) S 5631 5633 5392 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156355424 937431040 16840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5636] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5636/stat : 5636 (java) S 5631 5633 5392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156355425 937431040 16840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5637] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5637/stat : 5637 (java) S 5631 5633 5392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156355425 937431040 16840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5638] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5638/stat : 5638 (java) S 5631 5633 5392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156355428 937431040 16840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5639] ppid=5631 vsize=915460 CPUtime=0.26
/proc/5633/task/5639/stat : 5639 (java) S 5631 5633 5392 0 -1 64 383 0 0 0 25 1 0 0 16 0 8 0 156355428 937431040 16840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5640] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5640/stat : 5640 (java) S 5631 5633 5392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156355428 937431040 16840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5641] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5641/stat : 5641 (java) S 5631 5633 5392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156355428 937431040 16840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915460
[startup+12.6657 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5641
/proc/meminfo: memFree=453992/2055920 swapFree=4192812/4192956
[pid=5633] ppid=5631 vsize=915460 CPUtime=12.52
/proc/5633/stat : 5633 (java) R 5631 5633 5392 0 -1 0 17107 0 1 0 1244 8 0 0 25 0 8 0 156355420 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5633/statm: 228865 16841 2517 14 0 215335 0
[pid=5633/tid=5635] ppid=5631 vsize=915460 CPUtime=0.06
/proc/5633/task/5635/stat : 5635 (java) S 5631 5633 5392 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156355424 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5636] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5636/stat : 5636 (java) S 5631 5633 5392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156355425 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5637] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5637/stat : 5637 (java) S 5631 5633 5392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156355425 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5638] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5638/stat : 5638 (java) S 5631 5633 5392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156355428 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5639] ppid=5631 vsize=915460 CPUtime=0.26
/proc/5633/task/5639/stat : 5639 (java) S 5631 5633 5392 0 -1 64 384 0 0 0 25 1 0 0 16 0 8 0 156355428 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5640] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5640/stat : 5640 (java) S 5631 5633 5392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156355428 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5641] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5641/stat : 5641 (java) S 5631 5633 5392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156355428 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915460
[startup+25.5294 s]
/proc/loadavg: 2.08 2.02 2.01 3/100 5641
/proc/meminfo: memFree=454184/2055920 swapFree=4192812/4192956
[pid=5633] ppid=5631 vsize=915460 CPUtime=25.27
/proc/5633/stat : 5633 (java) R 5631 5633 5392 0 -1 0 17108 0 1 0 2518 9 0 0 25 0 8 0 156355420 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5633/statm: 228865 16841 2517 14 0 215335 0
[pid=5633/tid=5635] ppid=5631 vsize=915460 CPUtime=0.06
/proc/5633/task/5635/stat : 5635 (java) S 5631 5633 5392 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156355424 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5636] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5636/stat : 5636 (java) S 5631 5633 5392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156355425 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5637] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5637/stat : 5637 (java) S 5631 5633 5392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156355425 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5638] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5638/stat : 5638 (java) S 5631 5633 5392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156355428 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5639] ppid=5631 vsize=915460 CPUtime=0.26
/proc/5633/task/5639/stat : 5639 (java) S 5631 5633 5392 0 -1 64 384 0 0 0 25 1 0 0 16 0 8 0 156355428 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5640] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5640/stat : 5640 (java) S 5631 5633 5392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156355428 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5633/tid=5641] ppid=5631 vsize=915460 CPUtime=0
/proc/5633/task/5641/stat : 5641 (java) S 5631 5633 5392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156355428 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 31.0759
CPU time (s): 30.7263
CPU user time (s): 30.6243
CPU system time (s): 0.101984
CPU usage (%): 98.8752
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.6243
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17115
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= 1688
involuntary context switches= 3072
runsolver used 0.050992 s user time and 0.098984 s system time
The end
Begin job on node13 on Sat Jan 6 10:33:24 UTC 2007
IDJOB= 218290
IDBENCH= 5223
FILE ID= node13/218290-1168079604
PBS_JOBID= 3475823
Free space on /tmp= 66312 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218290-1168079604/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-218290-1168079604 -o ROOT/results/node13/solver-218290-1168079604 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218290-1168079604/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1840635371b1f59e2c7afab36019d4cd
RANDOM SEED= 262207915
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.247
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.247
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: 512256 kB
Buffers: 71224 kB
Cached: 556688 kB
SwapCached: 0 kB
Active: 1151900 kB
Inactive: 295048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 512256 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2984 kB
Writeback: 0 kB
Mapped: 848072 kB
Slab: 79784 kB
Committed_AS: 4418180 kB
PageTables: 3944 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= 66312 MiB
End job on node13 on Sat Jan 6 10:33:55 UTC 2007