0.42
0.42 Abscon 109 (November, 2006)
0.42
0.42 configuration
0.42 name=mac.xml
0.46
0.46 instance
0.46 name=/tmp/evaluation/223650-1168080448/unknown.xml
0.49
0.49 domains being loaded...
0.49
0.49 variables being loaded...
0.52 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.52 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.52
0.52 relations being loaded...
0.62
0.62 constraints being loaded...
0.72 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=15 maxArity=2
0.72 => wckTime=0.291 cpuTime=0.22 mem=13M811
0.76
0.76 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.477 cpuTime=0.34 mem=13M749
0.91
0.91 preprocessing
0.91 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.91 detectedInconsistency=no
0.91 => wckTime=0.0020 cpuTime=0.01 mem=13M749
0.96
0.96 search
0.96 run=0 nbConstraintChecks=30862 nbPropagations=540 nbRevisions=3869 nbUselessRevisions=2857 nbAssignments=28
0.96 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.049 cpuTime=0.05 mem=14M724
0.97
0.98 search
0.98 run=1 nbConstraintChecks=79684 nbPropagations=1861 nbRevisions=13510 nbUselessRevisions=9827 nbAssignments=65
0.98 nbFailedAssignments=23 nbBacktracks=27 nbVisitedNodes=104 nbRestartNogoods=3 mapSize=20 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.068 cpuTime=0.06 mem=14M724
0.99
0.99 search
0.99 run=2 nbConstraintChecks=144163 nbPropagations=4187 nbRevisions=31050 nbUselessRevisions=22331
0.99 nbAssignments=110 nbFailedAssignments=40 nbBacktracks=50 nbVisitedNodes=181 nbRestartNogoods=5 mapSize=39
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.086 cpuTime=0.07 mem=14M724
1.02
1.02 search
1.02 run=3 nbConstraintChecks=247340 nbPropagations=8154 nbRevisions=61905 nbUselessRevisions=44175
1.02 nbAssignments=185 nbFailedAssignments=76 nbBacktracks=83 nbVisitedNodes=314 nbRestartNogoods=9 mapSize=68
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.108 cpuTime=0.09 mem=14M724
1.04
1.04 search
1.04 run=4 nbConstraintChecks=375979 nbPropagations=14189 nbRevisions=109016 nbUselessRevisions=77172
1.04 nbAssignments=290 nbFailedAssignments=124 nbBacktracks=137 nbVisitedNodes=498 nbRestartNogoods=13 mapSize=117
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.131 cpuTime=0.11 mem=14M724
1.07
1.07 search
1.07 run=5 nbConstraintChecks=535981 nbPropagations=22831 nbRevisions=176708 nbUselessRevisions=124630
1.07 nbAssignments=426 nbFailedAssignments=178 nbBacktracks=216 nbVisitedNodes=731 nbRestartNogoods=14 mapSize=178
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.162 cpuTime=0.14 mem=14M724
1.12
1.12 search
1.12 run=6 nbConstraintChecks=802834 nbPropagations=35930 nbRevisions=279018 nbUselessRevisions=196089
1.12 nbAssignments=635 nbFailedAssignments=268 nbBacktracks=329 nbVisitedNodes=1094 nbRestartNogoods=16 mapSize=272
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.208 cpuTime=0.18 mem=14M724
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1253300 nbPropagations=56576 nbRevisions=441435 nbUselessRevisions=309246
1.19 nbAssignments=988 nbFailedAssignments=444 nbBacktracks=501 nbVisitedNodes=1730 nbRestartNogoods=22 mapSize=432
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.285 cpuTime=0.26 mem=14M724
1.29
1.29 search
1.29 run=8 nbConstraintChecks=1818211 nbPropagations=86810 nbRevisions=679780 nbUselessRevisions=475262
1.29 nbAssignments=1453 nbFailedAssignments=648 nbBacktracks=757 nbVisitedNodes=2545 nbRestartNogoods=29
1.29 mapSize=643 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.379 cpuTime=0.35 mem=14M724
1.44
1.44 search
1.44 run=9 nbConstraintChecks=2717094 nbPropagations=132237 nbRevisions=1040097 nbUselessRevisions=726919
1.44 nbAssignments=2161 nbFailedAssignments=966 nbBacktracks=1142 nbVisitedNodes=3815 nbRestartNogoods=38
1.44 mapSize=974 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.527 cpuTime=0.48 mem=14M724
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=14M724)
1.63
1.63 search
1.63 run=10 nbConstraintChecks=4094669 nbPropagations=199939 nbRevisions=1576005 nbUselessRevisions=1099647
1.63 nbAssignments=3228 nbFailedAssignments=1452 nbBacktracks=1718 nbVisitedNodes=5709 nbRestartNogoods=44
1.63 => wckTime=0.723 cpuTime=0.67 mem=14M724
1.91
1.91 search
1.91 run=11 nbConstraintChecks=6143495 nbPropagations=302501 nbRevisions=2390907 nbUselessRevisions=1667592
1.91 nbAssignments=4833 nbFailedAssignments=2190 nbBacktracks=2582 nbVisitedNodes=8588 nbRestartNogoods=52
1.91 => wckTime=1.007 cpuTime=0.95 mem=14M724
2.31
2.31 search
2.31 run=12 nbConstraintChecks=9121281 nbPropagations=453997 nbRevisions=3601959 nbUselessRevisions=2511696
2.31 nbAssignments=7231 nbFailedAssignments=3284 nbBacktracks=3881 nbVisitedNodes=12821 nbRestartNogoods=57
2.31 => wckTime=1.407 cpuTime=1.35 mem=14M724
2.94
2.94 search
2.94 run=13 nbConstraintChecks=13707257 nbPropagations=684540 nbRevisions=5442315 nbUselessRevisions=3796402
2.94 nbAssignments=10964 nbFailedAssignments=5066 nbBacktracks=5829 nbVisitedNodes=19569 nbRestartNogoods=67
2.94 => wckTime=2.033 cpuTime=1.98 mem=14M724
3.90
3.90 search
3.90 run=14 nbConstraintChecks=21027764 nbPropagations=1031033 nbRevisions=8205939 nbUselessRevisions=5717821
3.90 nbAssignments=16458 nbFailedAssignments=7637 nbBacktracks=8748 nbVisitedNodes=29321 nbRestartNogoods=71
3.90 => wckTime=2.992 cpuTime=2.94 mem=14M724
5.32
5.32 search
5.32 run=15 nbConstraintChecks=31390488 nbPropagations=1557020 nbRevisions=12405521 nbUselessRevisions=8645334
5.32 nbAssignments=24720 nbFailedAssignments=11516 nbBacktracks=13126 nbVisitedNodes=44197 nbRestartNogoods=85
5.32 => wckTime=4.417 cpuTime=4.36 mem=14M724
7.32
7.32 search
7.32 run=16 nbConstraintChecks=45954526 nbPropagations=2334199 nbRevisions=18602221 nbUselessRevisions=12969854
7.32 nbAssignments=36843 nbFailedAssignments=17064 nbBacktracks=19695 nbVisitedNodes=65699 nbRestartNogoods=96
7.32 => wckTime=6.412 cpuTime=6.36 mem=14M724
10.42
10.42 search
10.42 run=17 nbConstraintChecks=68788051 nbPropagations=3499111 nbRevisions=27908709 nbUselessRevisions=19475323
10.42 nbAssignments=55097 nbFailedAssignments=25458 nbBacktracks=29548 nbVisitedNodes=98411 nbRestartNogoods=112
10.42 => wckTime=9.51 cpuTime=9.45 mem=14M724
15.10
15.10 search
15.10 run=18 nbConstraintChecks=103352396 nbPropagations=5255163 nbRevisions=41969470 nbUselessRevisions=29308912
15.10 nbAssignments=83103 nbFailedAssignments=38678 nbBacktracks=44329 nbVisitedNodes=148636 nbRestartNogoods=128
15.10 => wckTime=14.196 cpuTime=14.14 mem=14M724
22.41
22.41 search
22.41 run=19 nbConstraintChecks=157398667 nbPropagations=7926925 nbRevisions=63453902 nbUselessRevisions=44344646
22.41 nbAssignments=126113 nbFailedAssignments=59515 nbBacktracks=66498 nbVisitedNodes=226248 nbRestartNogoods=136
22.41 => wckTime=21.503 cpuTime=21.44 mem=14M724
33.02
33.02 search
33.02 run=20 nbConstraintChecks=236121779 nbPropagations=11921659 nbRevisions=95524449 nbUselessRevisions=66770934
33.02 nbAssignments=187987 nbFailedAssignments=88133 nbBacktracks=99751 nbVisitedNodes=336926 nbRestartNogoods=144
33.02 => wckTime=32.113 cpuTime=32.05 mem=14M724
49.11
49.11 search
49.11 run=21 nbConstraintChecks=356252488 nbPropagations=17924571 nbRevisions=143686455 nbUselessRevisions=100420932
49.11 nbAssignments=281487 nbFailedAssignments=131750 nbBacktracks=149629 nbVisitedNodes=504031 nbRestartNogoods=156
49.11 => wckTime=48.203 cpuTime=48.13 mem=14M724
59.13
59.13 search
59.13 run=22 nbConstraintChecks=431794356 nbPropagations=25171084 nbRevisions=201837132 nbUselessRevisions=141025393
59.13 nbAssignments=339054 nbFailedAssignments=158476 nbBacktracks=180471 nbVisitedNodes=606991 nbRestartNogoods=171
59.13 => wckTime=58.22 cpuTime=58.15 mem=14M724
59.13
59.13 global
59.13 nbConstraintChecks=431794356 nbPropagations=25171124 nbRevisions=201837132 nbUselessRevisions=141025393
59.13 nbRestartNogoods=171 solvingWckTime=58.222 solvingCpuTime=58.15 expiredTime=no totalExploration=yes
59.13 nbFoundSolutions=0 globalCpuTime=58.54
59.13 => wckTime=58.702 cpuTime=58.49 mem=14M724
59.13
59.13 s UNSATISFIABLE
59.13 d NODES 339054
59.13 d CHECKS 431794356
59.13
59.13 totalWckTime=58.779 totalCpuTime=58.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-223650-1168080448 -o ROOT/results/node25/solver-223650-1168080448 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223650-1168080448/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.72 0.94 1.04 2/78 30826
/proc/meminfo: memFree=1664192/2055920 swapFree=4192812/4192956
[pid=30825] ppid=30823 vsize=308 CPUtime=0
/proc/30825/stat : 30825 (java) R 30823 30825 30243 0 -1 0 56 0 0 0 0 0 0 0 19 0 1 0 156437734 315392 40 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 3765085 0 0 4096 0 0 0 0 17 1 0 0
/proc/30825/statm: 77 40 31 14 0 5 0
[startup+0.102477 s]
/proc/loadavg: 0.72 0.94 1.04 2/78 30826
/proc/meminfo: memFree=1664192/2055920 swapFree=4192812/4192956
[pid=30825] ppid=30823 vsize=907808 CPUtime=0.04
/proc/30825/stat : 30825 (java) R 30823 30825 30243 0 -1 0 2423 0 1 0 3 1 0 0 18 0 4 0 156437734 929595392 2170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155171001 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/30825/statm: 226952 2170 1199 14 0 214535 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907808
[startup+0.510522 s]
/proc/loadavg: 0.72 0.94 1.04 2/78 30826
/proc/meminfo: memFree=1664192/2055920 swapFree=4192812/4192956
[pid=30825] ppid=30823 vsize=915328 CPUtime=0.36
/proc/30825/stat : 30825 (java) R 30823 30825 30243 0 -1 0 5998 0 1 0 33 3 0 0 17 0 8 0 156437734 937295872 5737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072945485 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30825/statm: 228832 5737 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 915328
[startup+1.33266 s]
/proc/loadavg: 0.72 0.94 1.04 2/85 30833
/proc/meminfo: memFree=1640472/2055920 swapFree=4192812/4192956
[pid=30825] ppid=30823 vsize=915452 CPUtime=1.19
/proc/30825/stat : 30825 (java) R 30823 30825 30243 0 -1 0 8644 0 1 0 113 6 0 0 16 0 8 0 156437734 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30825/statm: 228863 8382 2513 14 0 215333 0
[pid=30825/tid=30827] ppid=30823 vsize=915452 CPUtime=0.03
/proc/30825/task/30827/stat : 30827 (java) S 30823 30825 30243 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156437741 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30825/tid=30828] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30828/stat : 30828 (java) S 30823 30825 30243 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30829] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30829/stat : 30829 (java) S 30823 30825 30243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30830] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30830/stat : 30830 (java) S 30823 30825 30243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156437754 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30831] ppid=30823 vsize=915452 CPUtime=0.19
/proc/30825/task/30831/stat : 30831 (java) S 30823 30825 30243 0 -1 64 381 0 0 0 18 1 0 0 16 0 8 0 156437754 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30832] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30832/stat : 30832 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156437754 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30833] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30833/stat : 30833 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156437754 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915452
[startup+2.97793 s]
/proc/loadavg: 0.72 0.94 1.04 2/85 30833
/proc/meminfo: memFree=1640344/2055920 swapFree=4192812/4192956
[pid=30825] ppid=30823 vsize=915452 CPUtime=2.83
/proc/30825/stat : 30825 (java) R 30823 30825 30243 0 -1 0 8650 0 1 0 277 6 0 0 18 0 8 0 156437734 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30825/statm: 228863 8387 2513 14 0 215333 0
[pid=30825/tid=30827] ppid=30823 vsize=915452 CPUtime=0.03
/proc/30825/task/30827/stat : 30827 (java) S 30823 30825 30243 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156437741 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30825/tid=30828] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30828/stat : 30828 (java) S 30823 30825 30243 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30829] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30829/stat : 30829 (java) S 30823 30825 30243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30830] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30830/stat : 30830 (java) S 30823 30825 30243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30831] ppid=30823 vsize=915452 CPUtime=0.2
/proc/30825/task/30831/stat : 30831 (java) S 30823 30825 30243 0 -1 64 386 0 0 0 19 1 0 0 15 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30832] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30832/stat : 30832 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30833] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30833/stat : 30833 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 915452
[startup+6.26049 s]
/proc/loadavg: 0.74 0.94 1.04 2/85 30833
/proc/meminfo: memFree=1640344/2055920 swapFree=4192812/4192956
[pid=30825] ppid=30823 vsize=915452 CPUtime=6.12
/proc/30825/stat : 30825 (java) R 30823 30825 30243 0 -1 0 8651 0 1 0 606 6 0 0 21 0 8 0 156437734 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30825/statm: 228863 8387 2513 14 0 215333 0
[pid=30825/tid=30827] ppid=30823 vsize=915452 CPUtime=0.03
/proc/30825/task/30827/stat : 30827 (java) S 30823 30825 30243 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156437741 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30825/tid=30828] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30828/stat : 30828 (java) S 30823 30825 30243 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30829] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30829/stat : 30829 (java) S 30823 30825 30243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30830] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30830/stat : 30830 (java) S 30823 30825 30243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30831] ppid=30823 vsize=915452 CPUtime=0.21
/proc/30825/task/30831/stat : 30831 (java) S 30823 30825 30243 0 -1 64 386 0 0 0 20 1 0 0 16 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30832] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30832/stat : 30832 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30833] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30833/stat : 30833 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915452
[startup+12.7396 s]
/proc/loadavg: 0.76 0.94 1.04 2/85 30833
/proc/meminfo: memFree=1640344/2055920 swapFree=4192812/4192956
[pid=30825] ppid=30823 vsize=915452 CPUtime=12.59
/proc/30825/stat : 30825 (java) R 30823 30825 30243 0 -1 0 8651 0 1 0 1253 6 0 0 25 0 8 0 156437734 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30825/statm: 228863 8387 2513 14 0 215333 0
[pid=30825/tid=30827] ppid=30823 vsize=915452 CPUtime=0.03
/proc/30825/task/30827/stat : 30827 (java) S 30823 30825 30243 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156437741 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30825/tid=30828] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30828/stat : 30828 (java) S 30823 30825 30243 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30829] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30829/stat : 30829 (java) S 30823 30825 30243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30830] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30830/stat : 30830 (java) S 30823 30825 30243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30831] ppid=30823 vsize=915452 CPUtime=0.21
/proc/30825/task/30831/stat : 30831 (java) S 30823 30825 30243 0 -1 64 386 0 0 0 20 1 0 0 16 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30832] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30832/stat : 30832 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30833] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30833/stat : 30833 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915452
[startup+25.5698 s]
/proc/loadavg: 0.81 0.94 1.04 2/85 30833
/proc/meminfo: memFree=1640280/2055920 swapFree=4192812/4192956
[pid=30825] ppid=30823 vsize=915452 CPUtime=25.42
/proc/30825/stat : 30825 (java) R 30823 30825 30243 0 -1 0 8651 0 1 0 2536 6 0 0 21 0 8 0 156437734 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30825/statm: 228863 8387 2513 14 0 215333 0
[pid=30825/tid=30827] ppid=30823 vsize=915452 CPUtime=0.03
/proc/30825/task/30827/stat : 30827 (java) S 30823 30825 30243 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156437741 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30825/tid=30828] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30828/stat : 30828 (java) S 30823 30825 30243 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30829] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30829/stat : 30829 (java) S 30823 30825 30243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30830] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30830/stat : 30830 (java) S 30823 30825 30243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30831] ppid=30823 vsize=915452 CPUtime=0.21
/proc/30825/task/30831/stat : 30831 (java) S 30823 30825 30243 0 -1 64 386 0 0 0 20 1 0 0 16 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30832] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30832/stat : 30832 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30833] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30833/stat : 30833 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915452
[startup+51.2531 s]
/proc/loadavg: 0.87 0.95 1.04 2/85 30833
/proc/meminfo: memFree=1640344/2055920 swapFree=4192812/4192956
[pid=30825] ppid=30823 vsize=915452 CPUtime=51.09
/proc/30825/stat : 30825 (java) R 30823 30825 30243 0 -1 0 8651 0 1 0 5103 6 0 0 25 0 8 0 156437734 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30825/statm: 228863 8387 2513 14 0 215333 0
[pid=30825/tid=30827] ppid=30823 vsize=915452 CPUtime=0.03
/proc/30825/task/30827/stat : 30827 (java) S 30823 30825 30243 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156437741 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30825/tid=30828] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30828/stat : 30828 (java) S 30823 30825 30243 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30829] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30829/stat : 30829 (java) S 30823 30825 30243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156437742 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30830] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30830/stat : 30830 (java) S 30823 30825 30243 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30831] ppid=30823 vsize=915452 CPUtime=0.21
/proc/30825/task/30831/stat : 30831 (java) S 30823 30825 30243 0 -1 64 386 0 0 0 20 1 0 0 16 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30832] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30832/stat : 30832 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30825/tid=30833] ppid=30823 vsize=915452 CPUtime=0
/proc/30825/task/30833/stat : 30833 (java) S 30823 30825 30243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156437754 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 59.1544
CPU time (s): 58.995
CPU user time (s): 58.92
CPU system time (s): 0.074988
CPU usage (%): 99.7306
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.92
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8739
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= 2000
involuntary context switches= 1399
runsolver used 0.06399 s user time and 0.157975 s system time
The end
Begin job on node25 on Sat Jan 6 10:47:30 UTC 2007
IDJOB= 223650
IDBENCH= 5661
FILE ID= node25/223650-1168080448
PBS_JOBID= 3476085
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223650-1168080448/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-223650-1168080448 -o ROOT/results/node25/solver-223650-1168080448 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223650-1168080448/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0da2491e964a6fb21598906e2adbb760
RANDOM SEED= 906995093
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.279
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.279
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: 1664608 kB
Buffers: 43812 kB
Cached: 232744 kB
SwapCached: 0 kB
Active: 73408 kB
Inactive: 247248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1664608 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2088 kB
Writeback: 0 kB
Mapped: 63056 kB
Slab: 55968 kB
Committed_AS: 2862092 kB
PageTables: 1936 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= 66549 MiB
End job on node25 on Sat Jan 6 10:48:33 UTC 2007