0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=esac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/203050-1168155774/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.48 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.48 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.48
0.48 relations being loaded...
0.58
0.58 constraints being loaded...
0.71 nbConstraints=333 nbRelationTypes=333 nbExtensionStructures=333 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=333 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2864 maxDegree=23
0.71 maxArity=2
0.71 => wckTime=0.331 cpuTime=0.24 mem=12M803
0.75
0.75 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.542 cpuTime=0.37 mem=15M5
0.97
0.97 preprocessing
0.97 nbConstraintChecks=67681 nbPropagations=918 nbRevisions=7013 nbUselessRevisions=5839 nbSingletonTests=51
0.97 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.97 => wckTime=0.055 cpuTime=0.04 mem=15M5
1.00
1.00 search
1.00 run=0 nbConstraintChecks=32812 nbPropagations=1407 nbRevisions=12531 nbUselessRevisions=10343 nbAssignments=24
1.00 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.078 cpuTime=0.05 mem=15M5
1.02
1.02 search
1.02 run=1 nbConstraintChecks=75958 nbPropagations=3462 nbRevisions=32660 nbUselessRevisions=26758 nbAssignments=58
1.02 nbFailedAssignments=18 nbBacktracks=27 nbVisitedNodes=91 nbRestartNogoods=3 mapSize=18 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.1 cpuTime=0.07 mem=15M5
1.04
1.04 search
1.04 run=2 nbConstraintChecks=158345 nbPropagations=6664 nbRevisions=66798 nbUselessRevisions=54413
1.04 nbAssignments=116 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=172 nbRestartNogoods=6 mapSize=39
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.122 cpuTime=0.08 mem=15M5
1.07
1.07 search
1.07 run=3 nbConstraintChecks=280879 nbPropagations=11458 nbRevisions=121584 nbUselessRevisions=98648
1.07 nbAssignments=198 nbFailedAssignments=66 nbBacktracks=83 nbVisitedNodes=296 nbRestartNogoods=10 mapSize=70
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.146 cpuTime=0.11 mem=15M5
1.09
1.09 search
1.09 run=4 nbConstraintChecks=385290 nbPropagations=17712 nbRevisions=196177 nbUselessRevisions=159025
1.09 nbAssignments=288 nbFailedAssignments=97 nbBacktracks=133 nbVisitedNodes=440 nbRestartNogoods=13 mapSize=105
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.173 cpuTime=0.13 mem=15M5
1.14
1.14 search
1.14 run=5 nbConstraintChecks=585081 nbPropagations=26724 nbRevisions=305810 nbUselessRevisions=247626
1.14 nbAssignments=439 nbFailedAssignments=150 nbBacktracks=209 nbVisitedNodes=674 nbRestartNogoods=18 mapSize=171
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.221 cpuTime=0.17 mem=15M5
1.19
1.19 search
1.19 run=6 nbConstraintChecks=839217 nbPropagations=39220 nbRevisions=462684 nbUselessRevisions=374254
1.19 nbAssignments=632 nbFailedAssignments=222 nbBacktracks=323 nbVisitedNodes=1006 nbRestartNogoods=24 mapSize=261
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.272 cpuTime=0.22 mem=15M5
1.26
1.26 search
1.26 run=7 nbConstraintChecks=1197597 nbPropagations=56737 nbRevisions=685488 nbUselessRevisions=553829
1.26 nbAssignments=917 nbFailedAssignments=318 nbBacktracks=494 nbVisitedNodes=1466 nbRestartNogoods=27 mapSize=392
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.343 cpuTime=0.29 mem=15M5
1.38
1.38 search
1.38 run=8 nbConstraintChecks=1780355 nbPropagations=82643 nbRevisions=1029563 nbUselessRevisions=832566
1.38 nbAssignments=1386 nbFailedAssignments=523 nbBacktracks=750 nbVisitedNodes=2297 nbRestartNogoods=32
1.38 mapSize=622 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.464 cpuTime=0.4 mem=15M5
1.59
1.59 search
1.59 run=9 nbConstraintChecks=2854402 nbPropagations=122525 nbRevisions=1567721 nbUselessRevisions=1265798
1.59 nbAssignments=2106 nbFailedAssignments=853 nbBacktracks=1134 nbVisitedNodes=3591 nbRestartNogoods=38
1.59 mapSize=968 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.668 cpuTime=0.59 mem=15M5
1.62
1.62 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=15M5)
1.83
1.83 search
1.83 run=10 nbConstraintChecks=4224296 nbPropagations=180955 nbRevisions=2363430 nbUselessRevisions=1906116
1.83 nbAssignments=3062 nbFailedAssignments=1231 nbBacktracks=1710 nbVisitedNodes=5273 nbRestartNogoods=46
1.83 => wckTime=0.913 cpuTime=0.82 mem=15M5
2.16
2.16 search
2.16 run=11 nbConstraintChecks=6145342 nbPropagations=266664 nbRevisions=3543303 nbUselessRevisions=2858594
2.16 nbAssignments=4532 nbFailedAssignments=1831 nbBacktracks=2574 nbVisitedNodes=7841 nbRestartNogoods=48
2.16 => wckTime=1.239 cpuTime=1.14 mem=15M5
2.65
2.65 search
2.65 run=12 nbConstraintChecks=9080385 nbPropagations=392858 nbRevisions=5280320 nbUselessRevisions=4259607
2.65 nbAssignments=6682 nbFailedAssignments=2674 nbBacktracks=3871 nbVisitedNodes=11575 nbRestartNogoods=56
2.65 => wckTime=1.728 cpuTime=1.63 mem=15M5
3.41
3.41 search
3.41 run=13 nbConstraintChecks=13730731 nbPropagations=581707 nbRevisions=7879433 nbUselessRevisions=6353319
3.41 nbAssignments=10045 nbFailedAssignments=4065 nbBacktracks=5818 nbVisitedNodes=17450 nbRestartNogoods=64
3.41 => wckTime=2.488 cpuTime=2.38 mem=15M5
4.53
4.53 search
4.53 run=14 nbConstraintChecks=20534351 nbPropagations=863018 nbRevisions=11788063 nbUselessRevisions=9506105
4.53 nbAssignments=14950 nbFailedAssignments=6026 nbBacktracks=8741 nbVisitedNodes=26017 nbRestartNogoods=76
4.53 => wckTime=3.611 cpuTime=3.49 mem=15M5
6.31
6.31 search
6.31 run=15 nbConstraintChecks=31599705 nbPropagations=1288858 nbRevisions=17731326 nbUselessRevisions=14293849
6.31 nbAssignments=22587 nbFailedAssignments=9278 nbBacktracks=13119 nbVisitedNodes=39548 nbRestartNogoods=89
6.31 => wckTime=5.389 cpuTime=5.25 mem=15M5
8.68
8.68 search
8.68 run=16 nbConstraintChecks=45918681 nbPropagations=1912580 nbRevisions=26408186 nbUselessRevisions=21283506
8.68 nbAssignments=33242 nbFailedAssignments=13343 nbBacktracks=19691 nbVisitedNodes=57883 nbRestartNogoods=99
8.68 => wckTime=7.761 cpuTime=7.6 mem=15M5
12.55
12.55 search
12.55 run=17 nbConstraintChecks=70010316 nbPropagations=2855045 nbRevisions=39542513 nbUselessRevisions=31857743
12.55 nbAssignments=50256 nbFailedAssignments=20501 nbBacktracks=29545 nbVisitedNodes=87840 nbRestartNogoods=108
12.55 => wckTime=11.633 cpuTime=11.44 mem=15M980
13.70
13.70 search
13.70 run=18 nbConstraintChecks=77141276 nbPropagations=3892963 nbRevisions=54018062 nbUselessRevisions=43512782
13.70 nbAssignments=55339 nbFailedAssignments=22505 nbBacktracks=32584 nbVisitedNodes=96728 nbRestartNogoods=113
13.70 => wckTime=12.785 cpuTime=12.58 mem=15M980
13.71
13.71 global
13.71 nbConstraintChecks=77208957 nbPropagations=3893881 nbRevisions=54025075 nbUselessRevisions=43518621
13.71 nbRestartNogoods=113 solvingWckTime=12.786 solvingCpuTime=12.59 expiredTime=no totalExploration=no
13.71 nbFoundSolutions=1 globalCpuTime=13.02
13.71 => wckTime=13.331 cpuTime=12.96 mem=15M980
13.71
13.71 s SATISFIABLE
13.71 v 8 5 6 18 12 3 1 12 12 11 18 6 17 6 6 0 10 5 2 12 14 1 15 13 6 16 0 8 11 9 10 17 16 7 10 6 1 9 12 9
13.71 d NODES 55339
13.71 d CHECKS 77208957
13.71
13.71 totalWckTime=13.414 totalCpuTime=13.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-203050-1168155774 -o ROOT/results/node19/solver-203050-1168155774 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203050-1168155774/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.07 2.02 2.00 4/98 17005
/proc/meminfo: memFree=1311848/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=9748 CPUtime=0
/proc/17004/stat : 17004 (java) D 17002 17004 16937 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 163972054 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484196 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/17004/statm: 2437 412 333 14 0 1140 0
[startup+0.103066 s]
/proc/loadavg: 2.07 2.02 2.00 4/98 17005
/proc/meminfo: memFree=1311848/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=907808 CPUtime=0.06
/proc/17004/stat : 17004 (java) D 17002 17004 16937 0 -1 0 2507 0 1 0 4 2 0 0 17 0 4 0 163972054 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.512145 s]
/proc/loadavg: 2.07 2.02 2.00 4/98 17005
/proc/meminfo: memFree=1311848/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=915328 CPUtime=0.43
/proc/17004/stat : 17004 (java) R 17002 17004 16937 0 -1 0 6188 0 1 0 39 4 0 0 18 0 8 0 163972054 937295872 5927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 228832 5927 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.3403 s]
/proc/loadavg: 2.06 2.02 2.00 3/105 17012
/proc/meminfo: memFree=1288056/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=915456 CPUtime=1.24
/proc/17004/stat : 17004 (java) R 17002 17004 16937 0 -1 0 8713 0 1 0 117 7 0 0 24 0 8 0 163972054 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 228864 8451 2524 14 0 215334 0
[pid=17004/tid=17006] ppid=17002 vsize=915456 CPUtime=0.03
/proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16937 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 163972058 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17007] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163972059 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17008] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163972059 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17009] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163972068 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17010] ppid=17002 vsize=915456 CPUtime=0.21
/proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16937 0 -1 64 377 0 0 0 19 2 0 0 15 0 8 0 163972068 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17011] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163972068 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17012] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163972068 937426944 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915456
[startup+2.9776 s]
/proc/loadavg: 2.06 2.02 2.00 3/105 17012
/proc/meminfo: memFree=1287736/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=915456 CPUtime=2.87
/proc/17004/stat : 17004 (java) R 17002 17004 16937 0 -1 0 8766 0 1 0 279 8 0 0 25 0 8 0 163972054 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 228864 8503 2524 14 0 215334 0
[pid=17004/tid=17006] ppid=17002 vsize=915456 CPUtime=0.03
/proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16937 0 -1 64 285 0 0 0 3 0 0 0 17 0 8 0 163972058 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17007] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163972059 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17008] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163972059 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17009] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163972068 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17010] ppid=17002 vsize=915456 CPUtime=0.24
/proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16937 0 -1 64 392 0 0 0 22 2 0 0 15 0 8 0 163972068 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17011] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163972068 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17012] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163972068 937426944 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915456
[startup+6.27423 s]
/proc/loadavg: 2.06 2.01 2.00 3/105 17012
/proc/meminfo: memFree=1287608/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=915456 CPUtime=6.14
/proc/17004/stat : 17004 (java) R 17002 17004 16937 0 -1 0 8773 0 1 0 606 8 0 0 25 0 8 0 163972054 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802663 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 228864 8509 2524 14 0 215334 0
[pid=17004/tid=17006] ppid=17002 vsize=915456 CPUtime=0.03
/proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16937 0 -1 64 285 0 0 0 3 0 0 0 17 0 8 0 163972058 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17007] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163972059 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17008] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163972059 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17009] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163972068 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17010] ppid=17002 vsize=915456 CPUtime=0.24
/proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16937 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 163972068 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17011] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163972068 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17012] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163972068 937426944 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915456
[startup+12.7504 s]
/proc/loadavg: 2.05 2.01 2.00 3/105 17012
/proc/meminfo: memFree=1287616/2055920 swapFree=4171244/4192956
[pid=17004] ppid=17002 vsize=915456 CPUtime=12.56
/proc/17004/stat : 17004 (java) R 17002 17004 16937 0 -1 0 8781 0 1 0 1248 8 0 0 25 0 8 0 163972054 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17004/statm: 228864 8516 2524 14 0 215334 0
[pid=17004/tid=17006] ppid=17002 vsize=915456 CPUtime=0.03
/proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16937 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 163972058 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17007] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163972059 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17008] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163972059 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17009] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163972068 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17010] ppid=17002 vsize=915456 CPUtime=0.24
/proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16937 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 163972068 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17011] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163972068 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17004/tid=17012] ppid=17002 vsize=915456 CPUtime=0
/proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163972068 937426944 8516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 13.7442
CPU time (s): 13.5209
CPU user time (s): 13.431
CPU system time (s): 0.089986
CPU usage (%): 98.3754
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.431
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8873
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= 1395
involuntary context switches= 2221
runsolver used 0.023996 s user time and 0.049992 s system time
The end
Begin job on node19 on Sun Jan 7 07:42:54 UTC 2007
IDJOB= 203050
IDBENCH= 3905
FILE ID= node19/203050-1168155774
PBS_JOBID= 3478267
Free space on /tmp= 66316 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203050-1168155774/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-203050-1168155774 -o ROOT/results/node19/solver-203050-1168155774 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203050-1168155774/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7838a9623e74161e096b88eddb9e0368
RANDOM SEED= 289517298
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.260
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.260
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: 1312264 kB
Buffers: 72672 kB
Cached: 402172 kB
SwapCached: 10472 kB
Active: 339568 kB
Inactive: 337028 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1312264 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 2128 kB
Writeback: 0 kB
Mapped: 220552 kB
Slab: 51208 kB
Committed_AS: 4746784 kB
PageTables: 2744 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= 66316 MiB
End job on node19 on Sun Jan 7 07:43:08 UTC 2007