0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/208368-1168187234/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.40 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=338 nbRelationTypes=338 nbExtensionStructures=338 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=338 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2948 maxDegree=23
0.61 maxArity=2
0.61 => wckTime=0.302 cpuTime=0.23 mem=12M803
0.65
0.65 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.493 cpuTime=0.35 mem=15M13
0.85
0.85 preprocessing
0.85 nbConstraintChecks=63265 nbPropagations=901 nbRevisions=7318 nbUselessRevisions=6188 nbSingletonTests=49
0.85 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.85 => wckTime=0.048 cpuTime=0.03 mem=15M13
0.87
0.87 search
0.87 run=0 nbConstraintChecks=24344 nbPropagations=1294 nbRevisions=11464 nbUselessRevisions=9647 nbAssignments=23
0.87 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=35 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.067 cpuTime=0.04 mem=15M13
0.89
0.89 search
0.89 run=1 nbConstraintChecks=65117 nbPropagations=3197 nbRevisions=30225 nbUselessRevisions=25212 nbAssignments=52
0.89 nbFailedAssignments=13 nbBacktracks=26 nbVisitedNodes=80 nbRestartNogoods=1 mapSize=21 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.087 cpuTime=0.06 mem=15M13
0.90
0.90 search
0.90 run=2 nbConstraintChecks=125267 nbPropagations=5926 nbRevisions=59789 nbUselessRevisions=49509
0.90 nbAssignments=97 nbFailedAssignments=29 nbBacktracks=48 nbVisitedNodes=154 nbRestartNogoods=2 mapSize=40
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.103 cpuTime=0.07 mem=15M13
0.92
0.92 search
0.92 run=3 nbConstraintChecks=210203 nbPropagations=9950 nbRevisions=105619 nbUselessRevisions=87009
0.92 nbAssignments=167 nbFailedAssignments=56 nbBacktracks=81 nbVisitedNodes=273 nbRestartNogoods=5 mapSize=69
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.121 cpuTime=0.08 mem=15M13
0.95
0.95 search
0.95 run=4 nbConstraintChecks=338275 nbPropagations=15717 nbRevisions=175647 nbUselessRevisions=144253
0.95 nbAssignments=261 nbFailedAssignments=92 nbBacktracks=132 nbVisitedNodes=432 nbRestartNogoods=10 mapSize=110
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.146 cpuTime=0.11 mem=15M13
0.98
0.98 search
0.98 run=5 nbConstraintChecks=498530 nbPropagations=23950 nbRevisions=278719 nbUselessRevisions=228447
0.98 nbAssignments=397 nbFailedAssignments=145 nbBacktracks=208 nbVisitedNodes=665 nbRestartNogoods=15 mapSize=174
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.182 cpuTime=0.14 mem=15M13
1.03
1.03 search
1.03 run=6 nbConstraintChecks=811401 nbPropagations=36041 nbRevisions=435840 nbUselessRevisions=356119
1.03 nbAssignments=597 nbFailedAssignments=225 nbBacktracks=321 nbVisitedNodes=1014 nbRestartNogoods=21 mapSize=272
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.233 cpuTime=0.2 mem=15M13
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1179370 nbPropagations=53530 nbRevisions=664995 nbUselessRevisions=542163
1.10 nbAssignments=885 nbFailedAssignments=334 nbBacktracks=492 nbVisitedNodes=1519 nbRestartNogoods=24 mapSize=423
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.299 cpuTime=0.26 mem=15M13
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1779823 nbPropagations=79134 nbRevisions=1015241 nbUselessRevisions=827828
1.21 nbAssignments=1337 nbFailedAssignments=523 nbBacktracks=748 nbVisitedNodes=2305 nbRestartNogoods=31
1.21 mapSize=645 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.407 cpuTime=0.36 mem=15M13
1.37
1.37 search
1.37 run=9 nbConstraintChecks=2701870 nbPropagations=117300 nbRevisions=1536368 nbUselessRevisions=1250924
1.37 nbAssignments=1996 nbFailedAssignments=792 nbBacktracks=1134 nbVisitedNodes=3454 nbRestartNogoods=39
1.37 mapSize=976 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.568 cpuTime=0.51 mem=15M13
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M13)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=3909452 nbPropagations=172650 nbRevisions=2296447 nbUselessRevisions=1867951
1.57 nbAssignments=2947 nbFailedAssignments=1157 nbBacktracks=1710 nbVisitedNodes=5082 nbRestartNogoods=44
1.57 => wckTime=0.768 cpuTime=0.7 mem=15M13
1.88
1.88 search
1.88 run=11 nbConstraintChecks=6023325 nbPropagations=256442 nbRevisions=3446059 nbUselessRevisions=2798793
1.88 nbAssignments=4436 nbFailedAssignments=1774 nbBacktracks=2574 nbVisitedNodes=7692 nbRestartNogoods=56
1.88 => wckTime=1.077 cpuTime=1.01 mem=15M13
2.30
2.30 search
2.30 run=12 nbConstraintChecks=8861533 nbPropagations=378993 nbRevisions=5151638 nbUselessRevisions=4181439
2.30 nbAssignments=6613 nbFailedAssignments=2646 nbBacktracks=3872 nbVisitedNodes=11463 nbRestartNogoods=66
2.30 => wckTime=1.5 cpuTime=1.43 mem=15M13
2.94
2.94 search
2.94 run=13 nbConstraintChecks=13169092 nbPropagations=561276 nbRevisions=7693728 nbUselessRevisions=6239128
2.94 nbAssignments=9906 nbFailedAssignments=3986 nbBacktracks=5818 nbVisitedNodes=17185 nbRestartNogoods=76
2.94 => wckTime=2.144 cpuTime=2.07 mem=15M13
3.88
3.88 search
3.88 run=14 nbConstraintChecks=19388119 nbPropagations=832576 nbRevisions=11458062 nbUselessRevisions=9282751
3.88 nbAssignments=14886 nbFailedAssignments=6040 nbBacktracks=8739 nbVisitedNodes=25886 nbRestartNogoods=86
3.88 => wckTime=3.078 cpuTime=3.01 mem=15M13
5.40
5.40 search
5.40 run=15 nbConstraintChecks=29658278 nbPropagations=1240575 nbRevisions=17207688 nbUselessRevisions=13938873
5.40 nbAssignments=22297 nbFailedAssignments=9064 nbBacktracks=13119 nbVisitedNodes=38817 nbRestartNogoods=95
5.40 => wckTime=4.603 cpuTime=4.51 mem=15M13
7.48
7.48 search
7.48 run=16 nbConstraintChecks=43277094 nbPropagations=1848834 nbRevisions=25756516 nbUselessRevisions=20875946
7.48 nbAssignments=33380 nbFailedAssignments=13570 nbBacktracks=19689 nbVisitedNodes=58172 nbRestartNogoods=103
7.48 => wckTime=6.684 cpuTime=6.59 mem=15M13
10.68
10.68 search
10.68 run=17 nbConstraintChecks=64885529 nbPropagations=2752623 nbRevisions=38507527 nbUselessRevisions=31227066
10.68 nbAssignments=49702 nbFailedAssignments=20034 nbBacktracks=29541 nbVisitedNodes=86533 nbRestartNogoods=114
10.68 => wckTime=9.882 cpuTime=9.78 mem=15M989
15.34
15.34 search
15.34 run=18 nbConstraintChecks=95931240 nbPropagations=4092903 nbRevisions=57311462 nbUselessRevisions=46475000
15.34 nbAssignments=73975 nbFailedAssignments=29522 nbBacktracks=44320 nbVisitedNodes=128489 nbRestartNogoods=125
15.34 => wckTime=14.543 cpuTime=14.44 mem=15M989
22.87
22.87 search
22.87 run=19 nbConstraintChecks=146386045 nbPropagations=6121682 nbRevisions=86192721 nbUselessRevisions=69967368
22.87 nbAssignments=111649 nbFailedAssignments=45020 nbBacktracks=66488 nbVisitedNodes=194568 nbRestartNogoods=136
22.87 => wckTime=22.073 cpuTime=21.96 mem=15M989
33.67
33.67 search
33.67 run=20 nbConstraintChecks=218937018 nbPropagations=9169291 nbRevisions=129367592 nbUselessRevisions=105068707
33.67 nbAssignments=167019 nbFailedAssignments=67130 nbBacktracks=99741 nbVisitedNodes=290978 nbRestartNogoods=156
33.67 => wckTime=32.867 cpuTime=32.75 mem=15M989
50.37
50.37 search
50.37 run=21 nbConstraintChecks=332614604 nbPropagations=13746642 nbRevisions=194485110 nbUselessRevisions=158034858
50.37 nbAssignments=249637 nbFailedAssignments=99864 nbBacktracks=149621 nbVisitedNodes=434993 nbRestartNogoods=168
50.37 => wckTime=49.568 cpuTime=49.42 mem=15M989
75.96
75.96 search
75.96 run=22 nbConstraintChecks=505256405 nbPropagations=20660451 nbRevisions=293411964 nbUselessRevisions=238558133
75.96 nbAssignments=377301 nbFailedAssignments=152701 nbBacktracks=224439 nbVisitedNodes=658785 nbRestartNogoods=178
75.96 => wckTime=75.157 cpuTime=74.99 mem=15M989
94.43
94.43 search
94.43 run=23 nbConstraintChecks=632513630 nbPropagations=29278056 nbRevisions=416379831 nbUselessRevisions=338577056
94.43 nbAssignments=468967 nbFailedAssignments=190407 nbBacktracks=278342 nbVisitedNodes=819190 nbRestartNogoods=191
94.43 => wckTime=93.628 cpuTime=93.44 mem=15M989
94.43
94.43 global
94.43 nbConstraintChecks=632576895 nbPropagations=29278957 nbRevisions=416387149 nbUselessRevisions=338583244
94.43 nbRestartNogoods=191 solvingWckTime=93.629 solvingCpuTime=93.44 expiredTime=no totalExploration=no
94.43 nbFoundSolutions=1 globalCpuTime=93.84
94.43 => wckTime=94.125 cpuTime=93.79 mem=15M989
94.43
94.43 s SATISFIABLE
94.43 v 9 16 2 6 7 18 5 3 4 14 1 6 11 17 1 11 13 15 16 13 12 9 4 9 2 5 8 6 1 3 10 5 3 8 1 12 9 10 2 2
94.43 d NODES 468967
94.43 d CHECKS 632576895
94.43
94.43 totalWckTime=94.202 totalCpuTime=93.84
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-208368-1168187234 -o ROOT/results/node4/solver-208368-1168187234 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208368-1168187234/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.01 1.99 1.99 4/88 22480
/proc/meminfo: memFree=1650600/2055920 swapFree=4182144/4192956
[pid=22479] ppid=22477 vsize=906644 CPUtime=0.02
/proc/22479/stat : 22479 (java) S 22477 22479 22412 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 167118926 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/22479/statm: 226661 1818 1036 14 0 214244 0
[pid=22479/tid=22481] ppid=22477 vsize=906644 CPUtime=0
/proc/22479/task/22481/stat : 22481 (java) R 22477 22479 22412 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 167118930 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102709 s]
/proc/loadavg: 2.01 1.99 1.99 4/88 22480
/proc/meminfo: memFree=1650600/2055920 swapFree=4182144/4192956
[pid=22479] ppid=22477 vsize=913228 CPUtime=0.08
/proc/22479/stat : 22479 (java) D 22477 22479 22412 0 -1 0 2920 0 1 0 6 2 0 0 17 0 8 0 167118926 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22479/statm: 228307 2666 1396 14 0 215208 0
[pid=22479/tid=22481] ppid=22477 vsize=913228 CPUtime=0
/proc/22479/task/22481/stat : 22481 (java) S 22477 22479 22412 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 167118930 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.510742 s]
/proc/loadavg: 2.01 1.99 1.99 4/88 22480
/proc/meminfo: memFree=1650600/2055920 swapFree=4182144/4192956
[pid=22479] ppid=22477 vsize=915328 CPUtime=0.48
/proc/22479/stat : 22479 (java) R 22477 22479 22412 0 -1 0 6917 0 1 0 44 4 0 0 20 0 8 0 167118926 937295872 6656 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22479/statm: 228832 6656 2138 14 0 215302 0
[pid=22479/tid=22481] ppid=22477 vsize=915328 CPUtime=0
/proc/22479/task/22481/stat : 22481 (java) S 22477 22479 22412 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 167118930 937295872 6656 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33182 s]
/proc/loadavg: 2.09 2.00 1.99 4/95 22487
/proc/meminfo: memFree=1626608/2055920 swapFree=4182144/4192956
[pid=22479] ppid=22477 vsize=915456 CPUtime=1.3
/proc/22479/stat : 22479 (java) R 22477 22479 22412 0 -1 0 8744 0 1 0 123 7 0 0 25 0 8 0 167118926 937426944 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809946 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22479/statm: 228864 8482 2524 14 0 215334 0
[pid=22479/tid=22481] ppid=22477 vsize=915456 CPUtime=0.03
/proc/22479/task/22481/stat : 22481 (java) S 22477 22479 22412 0 -1 64 289 0 0 0 3 0 0 0 17 0 8 0 167118930 937426944 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22482] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22482/stat : 22482 (java) S 22477 22479 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22483] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22483/stat : 22483 (java) S 22477 22479 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22484] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22484/stat : 22484 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167118934 937426944 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22485] ppid=22477 vsize=915456 CPUtime=0.2
/proc/22479/task/22485/stat : 22485 (java) S 22477 22479 22412 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 167118934 937426944 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22486] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22486/stat : 22486 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167118934 937426944 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22487] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22487/stat : 22487 (java) S 22477 22479 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167118934 937426944 8482 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) 915456
[startup+2.96898 s]
/proc/loadavg: 2.09 2.00 1.99 3/95 22487
/proc/meminfo: memFree=1626416/2055920 swapFree=4182144/4192956
[pid=22479] ppid=22477 vsize=915456 CPUtime=2.93
/proc/22479/stat : 22479 (java) R 22477 22479 22412 0 -1 0 8774 0 1 0 286 7 0 0 25 0 8 0 167118926 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812251 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22479/statm: 228864 8511 2524 14 0 215334 0
[pid=22479/tid=22481] ppid=22477 vsize=915456 CPUtime=0.03
/proc/22479/task/22481/stat : 22481 (java) S 22477 22479 22412 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 167118930 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22482] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22482/stat : 22482 (java) S 22477 22479 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22483] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22483/stat : 22483 (java) S 22477 22479 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22484] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22484/stat : 22484 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167118934 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22485] ppid=22477 vsize=915456 CPUtime=0.21
/proc/22479/task/22485/stat : 22485 (java) S 22477 22479 22412 0 -1 64 394 0 0 0 20 1 0 0 15 0 8 0 167118934 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22486] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22486/stat : 22486 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167118934 937426944 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22487] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22487/stat : 22487 (java) S 22477 22479 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167118934 937426944 8511 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) 915456
[startup+6.17929 s]
/proc/loadavg: 2.08 2.00 1.99 5/95 22487
/proc/meminfo: memFree=1626352/2055920 swapFree=4182144/4192956
[pid=22479] ppid=22477 vsize=915456 CPUtime=6.12
/proc/22479/stat : 22479 (java) R 22477 22479 22412 0 -1 0 8778 0 1 0 605 7 0 0 25 0 8 0 167118926 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22479/statm: 228864 8515 2524 14 0 215334 0
[pid=22479/tid=22481] ppid=22477 vsize=915456 CPUtime=0.03
/proc/22479/task/22481/stat : 22481 (java) S 22477 22479 22412 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 167118930 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22482] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22482/stat : 22482 (java) S 22477 22479 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22483] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22483/stat : 22483 (java) S 22477 22479 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22484] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22484/stat : 22484 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167118934 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22485] ppid=22477 vsize=915456 CPUtime=0.21
/proc/22479/task/22485/stat : 22485 (java) S 22477 22479 22412 0 -1 64 394 0 0 0 20 1 0 0 15 0 8 0 167118934 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22486] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22486/stat : 22486 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167118934 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22487] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22487/stat : 22487 (java) S 22477 22479 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167118934 937426944 8515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915456
[startup+12.6499 s]
/proc/loadavg: 2.07 2.00 1.99 3/95 22487
/proc/meminfo: memFree=1626352/2055920 swapFree=4182144/4192956
[pid=22479] ppid=22477 vsize=915456 CPUtime=12.59
/proc/22479/stat : 22479 (java) R 22477 22479 22412 0 -1 0 8785 0 1 0 1252 7 0 0 25 0 8 0 167118926 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803630 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22479/statm: 228864 8521 2524 14 0 215334 0
[pid=22479/tid=22481] ppid=22477 vsize=915456 CPUtime=0.03
/proc/22479/task/22481/stat : 22481 (java) S 22477 22479 22412 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 167118930 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22482] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22482/stat : 22482 (java) S 22477 22479 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22483] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22483/stat : 22483 (java) S 22477 22479 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22484] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22484/stat : 22484 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167118934 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22485] ppid=22477 vsize=915456 CPUtime=0.21
/proc/22479/task/22485/stat : 22485 (java) S 22477 22479 22412 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 167118934 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22486] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22486/stat : 22486 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167118934 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22487] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22487/stat : 22487 (java) S 22477 22479 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167118934 937426944 8521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915456
[startup+25.5251 s]
/proc/loadavg: 2.06 2.00 1.99 3/95 22487
/proc/meminfo: memFree=1626352/2055920 swapFree=4182144/4192956
[pid=22479] ppid=22477 vsize=915456 CPUtime=25.45
/proc/22479/stat : 22479 (java) R 22477 22479 22412 0 -1 0 8790 0 1 0 2538 7 0 0 25 0 8 0 167118926 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22479/statm: 228864 8526 2524 14 0 215334 0
[pid=22479/tid=22481] ppid=22477 vsize=915456 CPUtime=0.03
/proc/22479/task/22481/stat : 22481 (java) S 22477 22479 22412 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 167118930 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22482] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22482/stat : 22482 (java) S 22477 22479 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22483] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22483/stat : 22483 (java) S 22477 22479 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22484] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22484/stat : 22484 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167118934 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22485] ppid=22477 vsize=915456 CPUtime=0.21
/proc/22479/task/22485/stat : 22485 (java) S 22477 22479 22412 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 167118934 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22486] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22486/stat : 22486 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167118934 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22487] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22487/stat : 22487 (java) S 22477 22479 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167118934 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915456
[startup+51.1506 s]
/proc/loadavg: 2.04 2.00 1.99 3/95 22487
/proc/meminfo: memFree=1626352/2055920 swapFree=4182144/4192956
[pid=22479] ppid=22477 vsize=915456 CPUtime=51.04
/proc/22479/stat : 22479 (java) R 22477 22479 22412 0 -1 0 8795 0 1 0 5097 7 0 0 25 0 8 0 167118926 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22479/statm: 228864 8531 2524 14 0 215334 0
[pid=22479/tid=22481] ppid=22477 vsize=915456 CPUtime=0.03
/proc/22479/task/22481/stat : 22481 (java) S 22477 22479 22412 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 167118930 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22482] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22482/stat : 22482 (java) S 22477 22479 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22483] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22483/stat : 22483 (java) S 22477 22479 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167118931 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22484] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22484/stat : 22484 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167118934 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22485] ppid=22477 vsize=915456 CPUtime=0.21
/proc/22479/task/22485/stat : 22485 (java) S 22477 22479 22412 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 167118934 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22479/tid=22486] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22486/stat : 22486 (java) S 22477 22479 22412 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167118934 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22479/tid=22487] ppid=22477 vsize=915456 CPUtime=0
/proc/22479/task/22487/stat : 22487 (java) S 22477 22479 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167118934 937426944 8531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 94.4461
CPU time (s): 94.2967
CPU user time (s): 94.2157
CPU system time (s): 0.080987
CPU usage (%): 99.8418
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.2157
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= 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= 3089
involuntary context switches= 3897
runsolver used 0.103984 s user time and 0.330949 s system time
The end
Begin job on node4 on Sun Jan 7 16:27:14 UTC 2007
IDJOB= 208368
IDBENCH= 4380
FILE ID= node4/208368-1168187234
PBS_JOBID= 3478966
Free space on /tmp= 66307 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208368-1168187234/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-208368-1168187234 -o ROOT/results/node4/solver-208368-1168187234 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208368-1168187234/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d9ec0477b2343e605f5c70743854cfeb
RANDOM SEED= 350606040
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.223
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.223
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: 1651080 kB
Buffers: 52672 kB
Cached: 253528 kB
SwapCached: 2520 kB
Active: 142372 kB
Inactive: 208896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1651080 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 2020 kB
Writeback: 0 kB
Mapped: 56144 kB
Slab: 38148 kB
Committed_AS: 4351408 kB
PageTables: 2432 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= 66307 MiB
End job on node4 on Sun Jan 7 16:28:48 UTC 2007