0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/202637-1168152947/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=340 nbRelationTypes=340 nbExtensionStructures=340 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=340 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2968 maxDegree=23
0.63 maxArity=2
0.63 => wckTime=0.319 cpuTime=0.24 mem=12M803
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.52 cpuTime=0.37 mem=15M17
0.89
0.89 preprocessing
0.89 nbConstraintChecks=60123 nbPropagations=826 nbRevisions=6488 nbUselessRevisions=5425 nbSingletonTests=46
0.89 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.049 cpuTime=0.03 mem=15M17
0.91
0.91 search
0.91 run=0 nbConstraintChecks=39540 nbPropagations=1342 nbRevisions=12616 nbUselessRevisions=10382 nbAssignments=26
0.91 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.073 cpuTime=0.04 mem=15M17
0.93
0.93 search
0.93 run=1 nbConstraintChecks=76409 nbPropagations=3221 nbRevisions=31470 nbUselessRevisions=25856 nbAssignments=57
0.93 nbFailedAssignments=19 nbBacktracks=26 nbVisitedNodes=90 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.093 cpuTime=0.05 mem=15M17
0.95
0.95 search
0.95 run=2 nbConstraintChecks=139666 nbPropagations=5958 nbRevisions=61169 nbUselessRevisions=50051
0.95 nbAssignments=104 nbFailedAssignments=37 nbBacktracks=48 nbVisitedNodes=169 nbRestartNogoods=3 mapSize=43
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.111 cpuTime=0.07 mem=15M17
0.97
0.97 search
0.97 run=3 nbConstraintChecks=227929 nbPropagations=9850 nbRevisions=105856 nbUselessRevisions=86242
0.97 nbAssignments=170 nbFailedAssignments=61 nbBacktracks=82 nbVisitedNodes=280 nbRestartNogoods=5 mapSize=72
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.129 cpuTime=0.08 mem=15M17
0.99
0.99 search
0.99 run=4 nbConstraintChecks=338755 nbPropagations=15385 nbRevisions=171581 nbUselessRevisions=139377
0.99 nbAssignments=265 nbFailedAssignments=96 nbBacktracks=135 nbVisitedNodes=433 nbRestartNogoods=9 mapSize=111
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.154 cpuTime=0.11 mem=15M17
1.04
1.04 search
1.04 run=5 nbConstraintChecks=569362 nbPropagations=23877 nbRevisions=280702 nbUselessRevisions=227775
1.04 nbAssignments=423 nbFailedAssignments=171 nbBacktracks=211 nbVisitedNodes=723 nbRestartNogoods=12 mapSize=183
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.202 cpuTime=0.15 mem=15M17
1.10
1.10 search
1.10 run=6 nbConstraintChecks=878591 nbPropagations=36264 nbRevisions=441818 nbUselessRevisions=356924
1.10 nbAssignments=630 nbFailedAssignments=258 nbBacktracks=324 nbVisitedNodes=1087 nbRestartNogoods=15 mapSize=280
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.258 cpuTime=0.21 mem=15M17
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1271089 nbPropagations=53886 nbRevisions=675899 nbUselessRevisions=545305
1.18 nbAssignments=918 nbFailedAssignments=367 nbBacktracks=496 nbVisitedNodes=1584 nbRestartNogoods=22 mapSize=421
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.338 cpuTime=0.28 mem=15M17
1.29
1.29 search
1.29 run=8 nbConstraintChecks=1884917 nbPropagations=79555 nbRevisions=1014458 nbUselessRevisions=816879
1.29 nbAssignments=1358 nbFailedAssignments=518 nbBacktracks=753 nbVisitedNodes=2289 nbRestartNogoods=29
1.29 mapSize=624 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.451 cpuTime=0.39 mem=15M17
1.46
1.46 search
1.47 run=9 nbConstraintChecks=2864109 nbPropagations=117516 nbRevisions=1522731 nbUselessRevisions=1223658
1.47 nbAssignments=2033 nbFailedAssignments=804 nbBacktracks=1139 nbVisitedNodes=3478 nbRestartNogoods=34
1.47 mapSize=962 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.627 cpuTime=0.55 mem=15M17
1.50
1.50 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=15M17)
1.71
1.71 search
1.71 run=10 nbConstraintChecks=4366570 nbPropagations=174440 nbRevisions=2288099 nbUselessRevisions=1833657
1.71 nbAssignments=2999 nbFailedAssignments=1184 nbBacktracks=1716 nbVisitedNodes=5167 nbRestartNogoods=37
1.71 => wckTime=0.874 cpuTime=0.78 mem=15M17
2.03
2.03 search
2.03 run=11 nbConstraintChecks=6360204 nbPropagations=258330 nbRevisions=3429974 nbUselessRevisions=2747054
2.03 nbAssignments=4484 nbFailedAssignments=1798 nbBacktracks=2580 nbVisitedNodes=7772 nbRestartNogoods=46
2.03 => wckTime=1.195 cpuTime=1.1 mem=15M17
2.55
2.55 search
2.55 run=12 nbConstraintChecks=9686268 nbPropagations=384826 nbRevisions=5161500 nbUselessRevisions=4130541
2.55 nbAssignments=6692 nbFailedAssignments=2701 nbBacktracks=3879 nbVisitedNodes=11668 nbRestartNogoods=53
2.55 => wckTime=1.711 cpuTime=1.61 mem=15M17
3.28
3.28 search
3.28 run=13 nbConstraintChecks=14494596 nbPropagations=572210 nbRevisions=7723008 nbUselessRevisions=6173137
3.28 nbAssignments=9922 nbFailedAssignments=3980 nbBacktracks=5827 nbVisitedNodes=17299 nbRestartNogoods=58
3.28 => wckTime=2.447 cpuTime=2.35 mem=15M17
4.41
4.41 search
4.41 run=14 nbConstraintChecks=21489489 nbPropagations=853396 nbRevisions=11624104 nbUselessRevisions=9300494
4.41 nbAssignments=15014 nbFailedAssignments=6143 nbBacktracks=8749 nbVisitedNodes=26299 nbRestartNogoods=67
4.41 => wckTime=3.575 cpuTime=3.47 mem=15M17
6.03
6.03 search
6.03 run=15 nbConstraintChecks=31878606 nbPropagations=1268165 nbRevisions=17364354 nbUselessRevisions=13893437
6.03 nbAssignments=22275 nbFailedAssignments=9016 nbBacktracks=13130 nbVisitedNodes=38861 nbRestartNogoods=72
6.03 => wckTime=5.195 cpuTime=5.09 mem=15M17
8.53
8.53 search
8.53 run=16 nbConstraintChecks=47844494 nbPropagations=1890262 nbRevisions=26025420 nbUselessRevisions=20839893
8.53 nbAssignments=33336 nbFailedAssignments=13504 nbBacktracks=19698 nbVisitedNodes=58242 nbRestartNogoods=86
8.53 => wckTime=7.692 cpuTime=7.57 mem=15M17
12.42
12.42 search
12.42 run=17 nbConstraintChecks=73435889 nbPropagations=2831458 nbRevisions=39097818 nbUselessRevisions=31298183
12.42 nbAssignments=50063 nbFailedAssignments=20374 nbBacktracks=29550 nbVisitedNodes=87664 nbRestartNogoods=89
12.42 => wckTime=11.581 cpuTime=11.45 mem=15M992
17.79
17.79 search
17.79 run=18 nbConstraintChecks=107101410 nbPropagations=4230694 nbRevisions=58555413 nbUselessRevisions=46913661
17.79 nbAssignments=74956 nbFailedAssignments=30481 nbBacktracks=44328 nbVisitedNodes=131211 nbRestartNogoods=102
17.79 => wckTime=16.957 cpuTime=16.79 mem=15M992
25.72
25.72 search
25.72 run=19 nbConstraintChecks=157423890 nbPropagations=6297370 nbRevisions=87274719 nbUselessRevisions=69962828
25.72 nbAssignments=111540 nbFailedAssignments=44892 nbBacktracks=66496 nbVisitedNodes=194791 nbRestartNogoods=115
25.72 => wckTime=24.887 cpuTime=24.69 mem=15M992
38.14
38.14 search
38.14 run=20 nbConstraintChecks=238128904 nbPropagations=9391351 nbRevisions=130289447 nbUselessRevisions=104456945
38.14 nbAssignments=166856 nbFailedAssignments=66950 nbBacktracks=99748 nbVisitedNodes=291093 nbRestartNogoods=127
38.14 => wckTime=37.302 cpuTime=37.04 mem=15M992
56.98
56.98 search
56.98 run=21 nbConstraintChecks=358172578 nbPropagations=14060768 nbRevisions=195468476 nbUselessRevisions=156806989
56.98 nbAssignments=250847 nbFailedAssignments=101054 nbBacktracks=149629 nbVisitedNodes=438737 nbRestartNogoods=139
56.98 => wckTime=56.147 cpuTime=55.79 mem=15M992
85.67
85.67 search
85.67 run=22 nbConstraintChecks=545558381 nbPropagations=21099409 nbRevisions=293901307 nbUselessRevisions=235829682
85.67 nbAssignments=376377 nbFailedAssignments=151759 nbBacktracks=224449 nbVisitedNodes=658391 nbRestartNogoods=150
85.67 => wckTime=84.828 cpuTime=84.34 mem=15M992
127.68
127.68 search
127.68 run=23 nbConstraintChecks=834569952 nbPropagations=31763113 nbRevisions=443811876 nbUselessRevisions=356261993
127.68 nbAssignments=566849 nbFailedAssignments=229997 nbBacktracks=336676 nbVisitedNodes=993128 nbRestartNogoods=161
127.68 => wckTime=126.843 cpuTime=126.25 mem=15M992
157.21
157.21 search
157.21 run=24 nbConstraintChecks=1048496956 nbPropagations=45012790 nbRevisions=629986918 nbUselessRevisions=505615996
157.21 nbAssignments=701425 nbFailedAssignments=285119 nbBacktracks=416131 nbVisitedNodes=1229090 nbRestartNogoods=172
157.21 => wckTime=156.374 cpuTime=155.74 mem=15M992
157.21
157.21 global
157.21 nbConstraintChecks=1048557079 nbPropagations=45013616 nbRevisions=629993406 nbUselessRevisions=505621421
157.21 nbRestartNogoods=172 solvingWckTime=156.375 solvingCpuTime=155.74 expiredTime=no totalExploration=yes
157.21 nbFoundSolutions=0 globalCpuTime=156.17
157.21 => wckTime=156.899 cpuTime=156.12 mem=15M992
157.22
157.22 s UNSATISFIABLE
157.22 d NODES 701425
157.22 d CHECKS 1048557079
157.22
157.22 totalWckTime=156.979 totalCpuTime=156.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-202637-1168152947 -o ROOT/results/node21/solver-202637-1168152947 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202637-1168152947/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.95 1.54 1.24 4/86 9021
/proc/meminfo: memFree=1712576/2055920 swapFree=4156304/4192956
[pid=9020] ppid=9018 vsize=18540 CPUtime=0
/proc/9020/stat : 9020 (runsolver) R 9018 9020 8481 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 163689255 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9020/statm: 4635 279 244 17 0 2626 0
[startup+0.107719 s]
/proc/loadavg: 1.95 1.54 1.24 4/86 9021
/proc/meminfo: memFree=1712576/2055920 swapFree=4156304/4192956
[pid=9020] ppid=9018 vsize=914988 CPUtime=0.08
/proc/9020/stat : 9020 (java) R 9018 9020 8481 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 163689255 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9020/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517797 s]
/proc/loadavg: 1.95 1.54 1.24 4/86 9021
/proc/meminfo: memFree=1712576/2055920 swapFree=4156304/4192956
[pid=9020] ppid=9018 vsize=915328 CPUtime=0.49
/proc/9020/stat : 9020 (java) R 9018 9020 8481 0 -1 0 6885 0 1 0 44 5 0 0 18 0 8 0 163689255 937295872 6624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9020/statm: 228832 6624 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34395 s]
/proc/loadavg: 1.95 1.54 1.24 3/93 9028
/proc/meminfo: memFree=1688584/2055920 swapFree=4156304/4192956
[pid=9020] ppid=9018 vsize=915456 CPUtime=1.31
/proc/9020/stat : 9020 (java) R 9018 9020 8481 0 -1 0 8732 0 1 0 124 7 0 0 24 0 8 0 163689255 937426944 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9020/statm: 228864 8470 2524 14 0 215334 0
[pid=9020/tid=9022] ppid=9018 vsize=915456 CPUtime=0.03
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 8481 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163689260 937426944 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9023] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 8481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163689260 937426944 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9024] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 8481 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163689260 937426944 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9025] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 8481 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163689264 937426944 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9026] ppid=9018 vsize=915456 CPUtime=0.21
/proc/9020/task/9026/stat : 9026 (java) R 9018 9020 8481 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 163689264 937426944 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153953398 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9027] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163689264 937426944 8470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9028] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163689264 937426944 8470 18446744073709551615 134512640 134570532 4294956480 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) 915456
[startup+2.98125 s]
/proc/loadavg: 1.95 1.54 1.24 3/93 9028
/proc/meminfo: memFree=1688264/2055920 swapFree=4156304/4192956
[pid=9020] ppid=9018 vsize=915456 CPUtime=2.94
/proc/9020/stat : 9020 (java) R 9018 9020 8481 0 -1 0 8769 0 1 0 287 7 0 0 25 0 8 0 163689255 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9020/statm: 228864 8506 2524 14 0 215334 0
[pid=9020/tid=9022] ppid=9018 vsize=915456 CPUtime=0.03
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 8481 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 163689260 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9023] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 8481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163689260 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9024] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 8481 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163689260 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9025] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 8481 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163689264 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9026] ppid=9018 vsize=915456 CPUtime=0.23
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 8481 0 -1 64 392 0 0 0 22 1 0 0 15 0 8 0 163689264 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9027] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163689264 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9028] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163689264 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.27888 s]
/proc/loadavg: 1.95 1.55 1.24 3/93 9028
/proc/meminfo: memFree=1688136/2055920 swapFree=4156304/4192956
[pid=9020] ppid=9018 vsize=915456 CPUtime=6.22
/proc/9020/stat : 9020 (java) R 9018 9020 8481 0 -1 0 8779 0 1 0 615 7 0 0 25 0 8 0 163689255 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9020/statm: 228864 8514 2524 14 0 215334 0
[pid=9020/tid=9022] ppid=9018 vsize=915456 CPUtime=0.03
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 8481 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163689260 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9023] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 8481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163689260 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9024] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 8481 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163689260 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9025] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 8481 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163689264 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9026] ppid=9018 vsize=915456 CPUtime=0.23
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 8481 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 163689264 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9027] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163689264 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9028] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163689264 937426944 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915456
[startup+12.7551 s]
/proc/loadavg: 1.95 1.56 1.25 3/93 9028
/proc/meminfo: memFree=1688264/2055920 swapFree=4156304/4192956
[pid=9020] ppid=9018 vsize=915456 CPUtime=12.66
/proc/9020/stat : 9020 (java) R 9018 9020 8481 0 -1 0 8784 0 1 0 1259 7 0 0 25 0 8 0 163689255 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9020/statm: 228864 8519 2524 14 0 215334 0
[pid=9020/tid=9022] ppid=9018 vsize=915456 CPUtime=0.03
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 8481 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163689260 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9023] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 8481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163689260 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9024] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 8481 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163689260 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9025] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 8481 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163689264 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9026] ppid=9018 vsize=915456 CPUtime=0.23
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 8481 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 163689264 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9027] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163689264 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9028] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163689264 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456
[startup+25.6085 s]
/proc/loadavg: 1.96 1.58 1.26 4/93 9028
/proc/meminfo: memFree=1688400/2055920 swapFree=4156304/4192956
[pid=9020] ppid=9018 vsize=915456 CPUtime=25.46
/proc/9020/stat : 9020 (java) R 9018 9020 8481 0 -1 0 8787 0 1 0 2539 7 0 0 25 0 8 0 163689255 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843155 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9020/statm: 228864 8522 2524 14 0 215334 0
[pid=9020/tid=9022] ppid=9018 vsize=915456 CPUtime=0.03
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 8481 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163689260 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9023] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 8481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163689260 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9024] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 8481 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163689260 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9025] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 8481 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163689264 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9026] ppid=9018 vsize=915456 CPUtime=0.23
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 8481 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 163689264 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9027] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163689264 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9028] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163689264 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915456
[startup+51.2194 s]
/proc/loadavg: 1.98 1.61 1.28 3/93 9028
/proc/meminfo: memFree=1688336/2055920 swapFree=4156304/4192956
[pid=9020] ppid=9018 vsize=915456 CPUtime=50.94
/proc/9020/stat : 9020 (java) R 9018 9020 8481 0 -1 0 8792 0 1 0 5087 7 0 0 25 0 8 0 163689255 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9020/statm: 228864 8527 2524 14 0 215334 0
[pid=9020/tid=9022] ppid=9018 vsize=915456 CPUtime=0.03
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 8481 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163689260 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9023] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 8481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163689260 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9024] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 8481 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163689260 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9025] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 8481 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163689264 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9026] ppid=9018 vsize=915456 CPUtime=0.23
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 8481 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 163689264 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9027] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163689264 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9028] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163689264 937426944 8527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915456
[startup+102.433 s]
/proc/loadavg: 1.99 1.67 1.31 3/93 9028
/proc/meminfo: memFree=1688336/2055920 swapFree=4156304/4192956
[pid=9020] ppid=9018 vsize=915456 CPUtime=101.91
/proc/9020/stat : 9020 (java) R 9018 9020 8481 0 -1 0 8796 0 1 0 10183 8 0 0 25 0 8 0 163689255 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841545 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9020/statm: 228864 8531 2524 14 0 215334 0
[pid=9020/tid=9022] ppid=9018 vsize=915456 CPUtime=0.03
/proc/9020/task/9022/stat : 9022 (java) S 9018 9020 8481 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 163689260 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9023] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9023/stat : 9023 (java) S 9018 9020 8481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163689260 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9024] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9024/stat : 9024 (java) S 9018 9020 8481 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163689260 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9025] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9025/stat : 9025 (java) S 9018 9020 8481 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163689264 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9026] ppid=9018 vsize=915456 CPUtime=0.23
/proc/9020/task/9026/stat : 9026 (java) S 9018 9020 8481 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 163689264 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9027] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9027/stat : 9027 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163689264 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9020/tid=9028] ppid=9018 vsize=915456 CPUtime=0
/proc/9020/task/9028/stat : 9028 (java) S 9018 9020 8481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163689264 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 157.263
CPU time (s): 156.658
CPU user time (s): 156.558
CPU system time (s): 0.099984
CPU usage (%): 99.6156
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.558
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8890
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= 4295
involuntary context switches= 6896
runsolver used 0.181972 s user time and 0.528919 s system time
The end
Begin job on node21 on Sun Jan 7 06:55:47 UTC 2007
IDJOB= 202637
IDBENCH= 3872
FILE ID= node21/202637-1168152947
PBS_JOBID= 3478488
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202637-1168152947/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-202637-1168152947 -o ROOT/results/node21/solver-202637-1168152947 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202637-1168152947/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= da7a8729995b8c74ebc13bac43702b0f
RANDOM SEED= 134721072
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 : 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.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: 1712992 kB
Buffers: 58300 kB
Cached: 189936 kB
SwapCached: 2956 kB
Active: 138952 kB
Inactive: 140192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1712992 kB
SwapTotal: 4192956 kB
SwapFree: 4156304 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 42516 kB
Slab: 48584 kB
Committed_AS: 3164624 kB
PageTables: 2108 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= 66560 MiB
End job on node21 on Sun Jan 7 06:58:25 UTC 2007