0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/226984-1168277119/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.104 cpuTime=0.1 mem=6M951
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.71 nbConstraints=751 nbRelationTypes=751 nbExtensionStructures=750 nbSharedExtensionStructures=1
0.71 nbConflictsStructures=750 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11867 maxDegree=39
0.71 maxArity=2
0.71 => wckTime=0.391 cpuTime=0.24 mem=11M848
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.6 cpuTime=0.38 mem=15M5
0.97
0.97 preprocessing
0.97 nbConstraintChecks=19254 nbPropagations=754 nbRevisions=4430 nbUselessRevisions=3540 nbSingletonTests=46
0.97 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.97 => wckTime=0.052 cpuTime=0.03 mem=15M5
1.00
1.00 search
1.00 run=0 nbConstraintChecks=10888 nbPropagations=1042 nbRevisions=7623 nbUselessRevisions=6236 nbAssignments=21
1.00 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=30 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.078 cpuTime=0.05 mem=15M5
1.02
1.02 search
1.02 run=1 nbConstraintChecks=24031 nbPropagations=2414 nbRevisions=19504 nbUselessRevisions=16161 nbAssignments=52
1.02 nbFailedAssignments=7 nbBacktracks=25 nbVisitedNodes=73 nbRestartNogoods=2 mapSize=15 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.094 cpuTime=0.06 mem=15M5
1.04
1.04 search
1.04 run=2 nbConstraintChecks=51051 nbPropagations=4382 nbRevisions=39617 nbUselessRevisions=33060 nbAssignments=98
1.04 nbFailedAssignments=21 nbBacktracks=50 nbVisitedNodes=144 nbRestartNogoods=5 mapSize=35 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.115 cpuTime=0.07 mem=15M5
1.05
1.05 search
1.05 run=3 nbConstraintChecks=90225 nbPropagations=7111 nbRevisions=71827 nbUselessRevisions=60212
1.05 nbAssignments=154 nbFailedAssignments=38 nbBacktracks=84 nbVisitedNodes=234 nbRestartNogoods=8 mapSize=64
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.131 cpuTime=0.09 mem=15M5
1.08
1.08 search
1.08 run=4 nbConstraintChecks=134646 nbPropagations=10804 nbRevisions=119243 nbUselessRevisions=100480
1.08 nbAssignments=235 nbFailedAssignments=58 nbBacktracks=138 nbVisitedNodes=361 nbRestartNogoods=10 mapSize=106
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.153 cpuTime=0.11 mem=15M5
1.11
1.11 search
1.11 run=5 nbConstraintChecks=209658 nbPropagations=16001 nbRevisions=190787 nbUselessRevisions=161326
1.11 nbAssignments=351 nbFailedAssignments=88 nbBacktracks=213 nbVisitedNodes=546 nbRestartNogoods=11 mapSize=168
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.191 cpuTime=0.14 mem=15M5
1.16
1.16 search
1.16 run=6 nbConstraintChecks=317704 nbPropagations=23306 nbRevisions=297864 nbUselessRevisions=252625
1.16 nbAssignments=525 nbFailedAssignments=141 nbBacktracks=328 nbVisitedNodes=824 nbRestartNogoods=14 mapSize=262
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.242 cpuTime=0.19 mem=15M5
1.23
1.23 search
1.23 run=7 nbConstraintChecks=475752 nbPropagations=33666 nbRevisions=457593 nbUselessRevisions=389155
1.23 nbAssignments=765 nbFailedAssignments=205 nbBacktracks=498 nbVisitedNodes=1212 nbRestartNogoods=16 mapSize=391
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.305 cpuTime=0.25 mem=15M5
1.33
1.33 search
1.33 run=8 nbConstraintChecks=745017 nbPropagations=49187 nbRevisions=705126 nbUselessRevisions=600389
1.33 nbAssignments=1145 nbFailedAssignments=323 nbBacktracks=756 nbVisitedNodes=1842 nbRestartNogoods=21
1.33 mapSize=615 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.408 cpuTime=0.35 mem=15M5
1.49
1.49 search
1.49 run=9 nbConstraintChecks=1129849 nbPropagations=71874 nbRevisions=1075444 nbUselessRevisions=915984
1.49 nbAssignments=1706 nbFailedAssignments=494 nbBacktracks=1142 nbVisitedNodes=2759 nbRestartNogoods=24
1.49 mapSize=929 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.567 cpuTime=0.49 mem=15M5
1.53
1.53 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=15M5)
1.68
1.68 search
1.68 run=10 nbConstraintChecks=1662472 nbPropagations=104796 nbRevisions=1622429 nbUselessRevisions=1382749
1.68 nbAssignments=2532 nbFailedAssignments=736 nbBacktracks=1718 nbVisitedNodes=4106 nbRestartNogoods=29
1.68 => wckTime=0.762 cpuTime=0.67 mem=15M5
1.96
1.96 search
1.96 run=11 nbConstraintChecks=2495427 nbPropagations=153376 nbRevisions=2443690 nbUselessRevisions=2084760
1.96 nbAssignments=3773 nbFailedAssignments=1106 nbBacktracks=2582 nbVisitedNodes=6131 nbRestartNogoods=33
1.96 => wckTime=1.036 cpuTime=0.93 mem=15M5
2.36
2.36 search
2.36 run=12 nbConstraintChecks=3721736 nbPropagations=225238 nbRevisions=3661647 nbUselessRevisions=3125257
2.36 nbAssignments=5621 nbFailedAssignments=1648 nbBacktracks=3881 nbVisitedNodes=9131 nbRestartNogoods=40
2.36 => wckTime=1.44 cpuTime=1.33 mem=15M5
2.94
2.94 search
2.94 run=13 nbConstraintChecks=5516539 nbPropagations=330593 nbRevisions=5472844 nbUselessRevisions=4676373
2.94 nbAssignments=8364 nbFailedAssignments=2437 nbBacktracks=5829 nbVisitedNodes=13545 nbRestartNogoods=45
2.94 => wckTime=2.021 cpuTime=1.92 mem=15M5
3.83
3.83 search
3.83 run=14 nbConstraintChecks=8281501 nbPropagations=487351 nbRevisions=8194900 nbUselessRevisions=7010676
3.83 nbAssignments=12485 nbFailedAssignments=3631 nbBacktracks=8750 nbVisitedNodes=20211 nbRestartNogoods=52
3.83 => wckTime=2.909 cpuTime=2.8 mem=15M5
5.18
5.18 search
5.18 run=15 nbConstraintChecks=12444502 nbPropagations=722325 nbRevisions=12295694 nbUselessRevisions=10528172
5.18 nbAssignments=18705 nbFailedAssignments=5460 nbBacktracks=13129 nbVisitedNodes=30292 nbRestartNogoods=58
5.18 => wckTime=4.255 cpuTime=4.13 mem=15M5
7.25
7.25 search
7.25 run=16 nbConstraintChecks=18909200 nbPropagations=1076980 nbRevisions=18509285 nbUselessRevisions=15858004
7.25 nbAssignments=28124 nbFailedAssignments=8285 nbBacktracks=19702 nbVisitedNodes=45689 nbRestartNogoods=68
7.25 => wckTime=6.332 cpuTime=6.18 mem=15M5
10.34
10.34 search
10.34 run=17 nbConstraintChecks=28351612 nbPropagations=1608442 nbRevisions=27811153 nbUselessRevisions=23836382
10.34 nbAssignments=42303 nbFailedAssignments=12606 nbBacktracks=29554 nbVisitedNodes=68752 nbRestartNogoods=78
10.34 => wckTime=9.414 cpuTime=9.23 mem=15M5
14.95
14.95 search
14.95 run=18 nbConstraintChecks=42584835 nbPropagations=2402975 nbRevisions=41810557 nbUselessRevisions=35856417
14.95 nbAssignments=63428 nbFailedAssignments=18945 nbBacktracks=44334 nbVisitedNodes=103144 nbRestartNogoods=86
14.95 => wckTime=14.026 cpuTime=13.8 mem=15M5
21.62
21.62 search
21.62 run=19 nbConstraintChecks=63321117 nbPropagations=3579392 nbRevisions=62551615 nbUselessRevisions=53646685
21.62 nbAssignments=93125 nbFailedAssignments=27866 nbBacktracks=65111 nbVisitedNodes=151673 nbRestartNogoods=97
21.62 => wckTime=20.7 cpuTime=20.41 mem=15M5
21.62
21.62 global
21.62 nbConstraintChecks=63340371 nbPropagations=3580146 nbRevisions=62556045 nbUselessRevisions=53650225
21.62 nbRestartNogoods=97 solvingWckTime=20.701 solvingCpuTime=20.42 expiredTime=no totalExploration=yes
21.62 nbFoundSolutions=0 globalCpuTime=20.86
21.62 => wckTime=21.303 cpuTime=20.81 mem=15M980
21.63
21.63 s UNSATISFIABLE
21.63 d NODES 93125
21.63 d CHECKS 63340371
21.63
21.63 totalWckTime=21.386 totalCpuTime=20.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-226984-1168277119 -o ROOT/results/node2/solver-226984-1168277119 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226984-1168277119/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.98 2.04 2.31 3/94 15685
/proc/meminfo: memFree=1124752/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=18540 CPUtime=0
/proc/15684/stat : 15684 (runsolver) R 15682 15684 15137 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 176107605 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15684/statm: 4635 279 244 17 0 2626 0
[startup+0.107627 s]
/proc/loadavg: 1.98 2.04 2.31 3/94 15685
/proc/meminfo: memFree=1124752/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=914988 CPUtime=0.08
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 2985 0 1 0 7 1 0 0 19 0 8 0 176107605 936947712 2731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228747 2731 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515698 s]
/proc/loadavg: 1.98 2.04 2.31 3/94 15685
/proc/meminfo: memFree=1124752/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=915328 CPUtime=0.49
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 6258 0 1 0 46 3 0 0 18 0 8 0 176107605 937295872 5997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228832 5997 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33885 s]
/proc/loadavg: 2.06 2.06 2.31 3/101 15692
/proc/meminfo: memFree=1100632/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=915584 CPUtime=1.3
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 8757 0 1 0 124 6 0 0 24 0 8 0 176107605 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073904713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228896 8495 2524 14 0 215366 0
[pid=15684/tid=15686] ppid=15682 vsize=915584 CPUtime=0.03
/proc/15684/task/15686/stat : 15686 (java) S 15682 15684 15137 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176107610 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15687] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15687/stat : 15687 (java) S 15682 15684 15137 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176107610 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15688] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15688/stat : 15688 (java) S 15682 15684 15137 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176107610 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15689] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15689/stat : 15689 (java) S 15682 15684 15137 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176107614 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15690] ppid=15682 vsize=915584 CPUtime=0.26
/proc/15684/task/15690/stat : 15690 (java) S 15682 15684 15137 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 176107614 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15691] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15691/stat : 15691 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176107614 937558016 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15692] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15692/stat : 15692 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176107614 937558016 8495 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.98215 s]
/proc/loadavg: 2.06 2.06 2.31 3/101 15692
/proc/meminfo: memFree=1100440/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=915584 CPUtime=2.92
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 8799 0 1 0 286 6 0 0 25 0 8 0 176107605 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073907808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228896 8536 2524 14 0 215366 0
[pid=15684/tid=15686] ppid=15682 vsize=915584 CPUtime=0.03
/proc/15684/task/15686/stat : 15686 (java) S 15682 15684 15137 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176107610 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15687] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15687/stat : 15687 (java) S 15682 15684 15137 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176107610 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15688] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15688/stat : 15688 (java) S 15682 15684 15137 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176107610 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15689] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15689/stat : 15689 (java) S 15682 15684 15137 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176107614 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15690] ppid=15682 vsize=915584 CPUtime=0.29
/proc/15684/task/15690/stat : 15690 (java) S 15682 15684 15137 0 -1 64 419 0 0 0 28 1 0 0 16 0 8 0 176107614 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15691] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15691/stat : 15691 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176107614 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15692] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15692/stat : 15692 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176107614 937558016 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915584
[startup+6.27175 s]
/proc/loadavg: 2.06 2.06 2.31 3/101 15692
/proc/meminfo: memFree=1100312/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=915584 CPUtime=6.19
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 8804 0 1 0 612 7 0 0 25 0 8 0 176107605 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228896 8541 2524 14 0 215366 0
[pid=15684/tid=15686] ppid=15682 vsize=915584 CPUtime=0.03
/proc/15684/task/15686/stat : 15686 (java) S 15682 15684 15137 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 176107610 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15687] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15687/stat : 15687 (java) S 15682 15684 15137 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176107610 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15688] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15688/stat : 15688 (java) S 15682 15684 15137 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176107610 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15689] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15689/stat : 15689 (java) S 15682 15684 15137 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176107614 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15690] ppid=15682 vsize=915584 CPUtime=0.29
/proc/15684/task/15690/stat : 15690 (java) S 15682 15684 15137 0 -1 64 419 0 0 0 28 1 0 0 15 0 8 0 176107614 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15691] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15691/stat : 15691 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176107614 937558016 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15692] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15692/stat : 15692 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176107614 937558016 8541 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.7559 s]
/proc/loadavg: 2.05 2.06 2.31 3/101 15692
/proc/meminfo: memFree=1100376/2055920 swapFree=4191880/4192956
[pid=15684] ppid=15682 vsize=915584 CPUtime=12.61
/proc/15684/stat : 15684 (java) R 15682 15684 15137 0 -1 0 8810 0 1 0 1254 7 0 0 25 0 8 0 176107605 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15684/statm: 228896 8546 2524 14 0 215366 0
[pid=15684/tid=15686] ppid=15682 vsize=915584 CPUtime=0.03
/proc/15684/task/15686/stat : 15686 (java) S 15682 15684 15137 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176107610 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15687] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15687/stat : 15687 (java) S 15682 15684 15137 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176107610 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15688] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15688/stat : 15688 (java) S 15682 15684 15137 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176107610 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15689] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15689/stat : 15689 (java) S 15682 15684 15137 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176107614 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15690] ppid=15682 vsize=915584 CPUtime=0.29
/proc/15684/task/15690/stat : 15690 (java) S 15682 15684 15137 0 -1 64 419 0 0 0 28 1 0 0 15 0 8 0 176107614 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15691] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15691/stat : 15691 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176107614 937558016 8546 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15684/tid=15692] ppid=15682 vsize=915584 CPUtime=0
/proc/15684/task/15692/stat : 15692 (java) S 15682 15684 15137 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176107614 937558016 8546 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): 21.6528
CPU time (s): 21.4167
CPU user time (s): 21.3358
CPU system time (s): 0.080987
CPU usage (%): 98.9097
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.3358
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= 8905
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= 1696
involuntary context switches= 2602
runsolver used 0.030995 s user time and 0.077988 s system time
The end
Begin job on node2 on Mon Jan 8 17:25:20 UTC 2007
IDJOB= 226984
IDBENCH= 6034
FILE ID= node2/226984-1168277119
PBS_JOBID= 3483077
Free space on /tmp= 66336 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226984-1168277119/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-226984-1168277119 -o ROOT/results/node2/solver-226984-1168277119 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226984-1168277119/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 35db91cf2a5416ba505693dda26a63fb
RANDOM SEED= 641948188
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.259
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.259
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: 1125232 kB
Buffers: 42120 kB
Cached: 157988 kB
SwapCached: 288 kB
Active: 801772 kB
Inactive: 78728 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1125232 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 705356 kB
Slab: 33520 kB
Committed_AS: 5221620 kB
PageTables: 3664 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= 66336 MiB
End job on node2 on Mon Jan 8 17:25:41 UTC 2007