0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/218865-1168253508/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.50 nbVariables=625 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.50 => wckTime=0.174 cpuTime=0.12 mem=8M25
0.50
0.50 predicates being loaded...
0.50
0.50 constraints being loaded...
15.81 nbConstraints=90000 nbConflictsStructures=1 nbSharedConflictsStructures=89999 nbSharedBinaryRepresentations=0
15.81 nbEvaluationManagers=1 nbSharedEvaluationManagers=89999 maxDegree=576 maxArity=4
15.81 => wckTime=15.491 cpuTime=13.13 mem=355M493
16.71
16.71 solver IterativeSystematicSolver being built...
19.21 => wckTime=18.885 cpuTime=14.9 mem=381M183
28.69
28.69 preprocessing
28.69 nbConstraintChecks=5461 nbValidityChecks=7477 nbPropagations=1613 nbRevisions=12265 nbUselessRevisions=11628
28.69 nbSingletonTests=663 nbEffectiveSingletonTests=0 nbESACBranches=13 nbRemovedValues=0 detectedInconsistency=no
28.69 => wckTime=9.469 cpuTime=9.34 mem=392M292
28.91
28.91 search
28.91 run=0 nbConstraintChecks=1193 nbValidityChecks=779 nbPropagations=1685 nbRevisions=13388
28.91 nbUselessRevisions=12539 nbAssignments=57 nbFailedAssignments=4 nbBacktracks=11 nbVisitedNodes=66
28.91 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
28.91 => wckTime=9.696 cpuTime=9.55 mem=392M292
29.02
29.02 search
29.02 run=1 nbConstraintChecks=3861 nbValidityChecks=2958 nbPropagations=3463 nbRevisions=28837
29.02 nbUselessRevisions=27025 nbAssignments=133 nbFailedAssignments=10 nbBacktracks=34 nbVisitedNodes=152
29.02 nbRestartNogoods=1 mapSize=15 nbInferences=0 nbTooLargeKeys=0
29.02 => wckTime=9.804 cpuTime=9.66 mem=392M292
29.08
29.08 search
29.08 run=2 nbConstraintChecks=4369 nbValidityChecks=3655 nbPropagations=5310 nbRevisions=44771
29.08 nbUselessRevisions=41926 nbAssignments=184 nbFailedAssignments=16 nbBacktracks=60 nbVisitedNodes=200
29.08 nbRestartNogoods=3 mapSize=24 nbInferences=0 nbTooLargeKeys=0
29.08 => wckTime=9.873 cpuTime=9.73 mem=393M301
29.17
29.17 search
29.17 run=3 nbConstraintChecks=4926 nbValidityChecks=4394 nbPropagations=7258 nbRevisions=61201
29.17 nbUselessRevisions=57212 nbAssignments=240 nbFailedAssignments=29 nbBacktracks=94 nbVisitedNodes=277
29.17 nbRestartNogoods=4 mapSize=43 nbInferences=0 nbTooLargeKeys=0
29.17 => wckTime=9.96 cpuTime=9.81 mem=393M301
29.26
29.26 search
29.26 run=4 nbConstraintChecks=5621 nbValidityChecks=5491 nbPropagations=9292 nbRevisions=78396
29.26 nbUselessRevisions=73165 nbAssignments=305 nbFailedAssignments=36 nbBacktracks=146 nbVisitedNodes=355
29.26 nbRestartNogoods=6 mapSize=55 nbInferences=0 nbTooLargeKeys=0
29.26 => wckTime=10.048 cpuTime=9.9 mem=393M301
29.43
29.43 search
29.43 run=5 nbConstraintChecks=7143 nbValidityChecks=7829 nbPropagations=11512 nbRevisions=97151
29.43 nbUselessRevisions=90467 nbAssignments=410 nbFailedAssignments=49 nbBacktracks=229 nbVisitedNodes=489
29.43 nbRestartNogoods=7 mapSize=80 nbInferences=0 nbTooLargeKeys=0
29.43 => wckTime=10.222 cpuTime=10.07 mem=393M301
29.69
29.69 search
29.69 run=6 nbConstraintChecks=9166 nbValidityChecks=11020 nbPropagations=14025 nbRevisions=118088
29.69 nbUselessRevisions=109622 nbAssignments=570 nbFailedAssignments=72 nbBacktracks=345 nbVisitedNodes=677
29.69 nbRestartNogoods=11 mapSize=119 nbInferences=0 nbTooLargeKeys=0
29.69 => wckTime=10.48 cpuTime=10.32 mem=393M301
30.11
30.11 search
30.11 run=7 nbConstraintChecks=13453 nbValidityChecks=17495 nbPropagations=17010 nbRevisions=143248
30.11 nbUselessRevisions=132446 nbAssignments=790 nbFailedAssignments=107 nbBacktracks=521 nbVisitedNodes=962
30.11 nbRestartNogoods=13 mapSize=181 nbInferences=0 nbTooLargeKeys=0
30.11 => wckTime=10.894 cpuTime=10.73 mem=393M301
30.73
30.73 search
30.73 run=8 nbConstraintChecks=19745 nbValidityChecks=27323 nbPropagations=20717 nbRevisions=174768
30.73 nbUselessRevisions=160802 nbAssignments=1103 nbFailedAssignments=155 nbBacktracks=782 nbVisitedNodes=1371
30.73 nbRestartNogoods=16 mapSize=274 nbInferences=0 nbTooLargeKeys=0
30.73 => wckTime=11.517 cpuTime=11.34 mem=393M301
31.64
31.64 search
31.64 run=9 nbConstraintChecks=29151 nbValidityChecks=41853 nbPropagations=25518 nbRevisions=215847
31.64 nbUselessRevisions=197402 nbAssignments=1574 nbFailedAssignments=231 nbBacktracks=1166 nbVisitedNodes=2002
31.64 nbRestartNogoods=19 mapSize=428 nbInferences=0 nbTooLargeKeys=0
31.64 => wckTime=12.425 cpuTime=12.22 mem=393M301
33.13
33.13 search
33.13 run=10 nbConstraintChecks=43998 nbValidityChecks=66147 nbPropagations=32134 nbRevisions=272724
33.13 nbUselessRevisions=247636 nbAssignments=2301 nbFailedAssignments=363 nbBacktracks=1754 nbVisitedNodes=2976
33.13 nbRestartNogoods=25 mapSize=671 nbInferences=0 nbTooLargeKeys=0
33.13 => wckTime=13.919 cpuTime=13.68 mem=393M301
35.34
35.34 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=393M301)
35.38
35.38 search
35.38 run=11 nbConstraintChecks=65841 nbValidityChecks=100038 nbPropagations=41312 nbRevisions=351435
35.38 nbUselessRevisions=316650 nbAssignments=3349 nbFailedAssignments=530 nbBacktracks=2622 nbVisitedNodes=4370
35.38 nbRestartNogoods=29
35.38 => wckTime=16.169 cpuTime=15.91 mem=393M301
36.11
36.11 search
36.11 run=12 nbConstraintChecks=73179 nbValidityChecks=111182 nbPropagations=51334 nbRevisions=437197
36.11 nbUselessRevisions=391673 nbAssignments=3696 nbFailedAssignments=587 nbBacktracks=2913 nbVisitedNodes=4840
36.11 nbRestartNogoods=32
36.11 => wckTime=16.897 cpuTime=16.63 mem=393M301
36.11
36.11 global
36.11 nbConstraintChecks=78640 nbValidityChecks=118659 nbPropagations=52947 nbRevisions=449462
36.11 nbUselessRevisions=403301 nbRestartNogoods=32 solvingWckTime=16.899 solvingCpuTime=16.63 expiredTime=no
36.11 totalExploration=yes nbFoundSolutions=0 globalCpuTime=31.57
36.11 => wckTime=35.788 cpuTime=31.53 mem=393M301
36.11
36.11 s UNSATISFIABLE
36.11 d NODES 3696
36.11 d CHECKS 78640
36.11
36.11 totalWckTime=35.87 totalCpuTime=31.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-218865-1168253508 -o ROOT/results/node61/solver-218865-1168253508 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218865-1168253508/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.35 1.08 1.13 4/81 32397
/proc/meminfo: memFree=1749040/2055920 swapFree=4192812/4192956
[pid=32396] ppid=32394 vsize=906644 CPUtime=0.02
/proc/32396/stat : 32396 (java) S 32394 32396 32127 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 173748722 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/32396/statm: 226661 1818 1036 14 0 214244 0
[pid=32396/tid=32398] ppid=32394 vsize=906644 CPUtime=0
/proc/32396/task/32398/stat : 32398 (java) R 32394 32396 32127 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 173748725 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.105838 s]
/proc/loadavg: 1.35 1.08 1.13 4/81 32397
/proc/meminfo: memFree=1749040/2055920 swapFree=4192812/4192956
[pid=32396] ppid=32394 vsize=914988 CPUtime=0.09
/proc/32396/stat : 32396 (java) R 32394 32396 32127 0 -1 0 3028 0 1 0 8 1 0 0 17 0 8 0 173748722 936947712 2774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153860739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32396/statm: 228747 2774 1439 14 0 215242 0
[pid=32396/tid=32398] ppid=32394 vsize=914988 CPUtime=0
/proc/32396/task/32398/stat : 32398 (java) S 32394 32396 32127 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 173748725 936947712 2774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513907 s]
/proc/loadavg: 1.35 1.08 1.13 4/81 32397
/proc/meminfo: memFree=1749040/2055920 swapFree=4192812/4192956
[pid=32396] ppid=32394 vsize=915328 CPUtime=0.46
/proc/32396/stat : 32396 (java) R 32394 32396 32127 0 -1 0 6299 0 8 0 43 3 0 0 18 0 8 0 173748722 937295872 6045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32396/statm: 228832 6045 2144 14 0 215302 0
[pid=32396/tid=32398] ppid=32394 vsize=915328 CPUtime=0
/proc/32396/task/32398/stat : 32398 (java) S 32394 32396 32127 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 173748725 937295872 6045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.34105 s]
/proc/loadavg: 1.40 1.10 1.14 4/88 32404
/proc/meminfo: memFree=1685240/2055920 swapFree=4192812/4192956
[pid=32396] ppid=32394 vsize=915628 CPUtime=1.28
/proc/32396/stat : 32396 (java) R 32394 32396 32127 0 -1 0 18393 0 8 0 119 9 0 0 25 0 8 0 173748722 937603072 18136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073587892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32396/statm: 228907 18136 2157 14 0 215377 0
[pid=32396/tid=32398] ppid=32394 vsize=915628 CPUtime=0.06
/proc/32396/task/32398/stat : 32398 (java) S 32394 32396 32127 0 -1 64 1883 0 0 0 6 0 0 0 16 0 8 0 173748725 937603072 18136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32399] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32399/stat : 32399 (java) S 32394 32396 32127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173748726 937603072 18136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32400] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32400/stat : 32400 (java) S 32394 32396 32127 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173748726 937603072 18136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32401] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32401/stat : 32401 (java) S 32394 32396 32127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173748729 937603072 18136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32402] ppid=32394 vsize=915628 CPUtime=0.14
/proc/32396/task/32402/stat : 32402 (java) S 32394 32396 32127 0 -1 64 397 0 0 0 14 0 0 0 16 0 8 0 173748729 937603072 18136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32403] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32403/stat : 32403 (java) S 32394 32396 32127 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173748729 937603072 18136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32404] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32404/stat : 32404 (java) S 32394 32396 32127 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173748729 937603072 18136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915628
[startup+2.98335 s]
/proc/loadavg: 1.40 1.10 1.14 3/88 32404
/proc/meminfo: memFree=1674936/2055920 swapFree=4192812/4192956
[pid=32396] ppid=32394 vsize=915628 CPUtime=2.91
/proc/32396/stat : 32396 (java) R 32394 32396 32127 0 -1 0 21428 0 8 0 280 11 0 0 25 0 8 0 173748722 937603072 21162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32396/statm: 228907 21162 2157 14 0 215377 0
[pid=32396/tid=32398] ppid=32394 vsize=915628 CPUtime=0.28
/proc/32396/task/32398/stat : 32398 (java) R 32394 32396 32127 0 -1 64 4906 0 0 0 27 1 0 0 16 0 8 0 173748725 937603072 21162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152891584 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32399] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32399/stat : 32399 (java) S 32394 32396 32127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173748726 937603072 21162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32400] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32400/stat : 32400 (java) S 32394 32396 32127 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173748726 937603072 21162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32401] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32401/stat : 32401 (java) S 32394 32396 32127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173748729 937603072 21162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32402] ppid=32394 vsize=915628 CPUtime=0.14
/proc/32396/task/32402/stat : 32402 (java) S 32394 32396 32127 0 -1 64 400 0 0 0 14 0 0 0 16 0 8 0 173748729 937603072 21162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32403] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32403/stat : 32403 (java) S 32394 32396 32127 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173748729 937603072 21162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32404] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32404/stat : 32404 (java) S 32394 32396 32127 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173748729 937603072 21162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915628
[startup+6.28092 s]
/proc/loadavg: 1.53 1.13 1.15 3/88 32404
/proc/meminfo: memFree=1650936/2055920 swapFree=4192812/4192956
[pid=32396] ppid=32394 vsize=915628 CPUtime=6.17
/proc/32396/stat : 32396 (java) R 32394 32396 32127 0 -1 0 27423 0 8 0 602 15 0 0 25 0 8 0 173748722 937603072 27140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073536880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32396/statm: 228907 27140 2157 14 0 215377 0
[pid=32396/tid=32398] ppid=32394 vsize=915628 CPUtime=0.76
/proc/32396/task/32398/stat : 32398 (java) S 32394 32396 32127 0 -1 64 10883 0 0 0 72 4 0 0 16 0 8 0 173748725 937603072 27140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32399] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32399/stat : 32399 (java) S 32394 32396 32127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173748726 937603072 27140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32400] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32400/stat : 32400 (java) S 32394 32396 32127 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173748726 937603072 27140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32401] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32401/stat : 32401 (java) S 32394 32396 32127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173748729 937603072 27140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32402] ppid=32394 vsize=915628 CPUtime=0.14
/proc/32396/task/32402/stat : 32402 (java) S 32394 32396 32127 0 -1 64 401 0 0 0 14 0 0 0 16 0 8 0 173748729 937603072 27140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32403] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32403/stat : 32403 (java) S 32394 32396 32127 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173748729 937603072 27140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32404] ppid=32394 vsize=915628 CPUtime=0
/proc/32396/task/32404/stat : 32404 (java) S 32394 32396 32127 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173748729 937603072 27140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915628
[startup+12.7651 s]
/proc/loadavg: 1.65 1.16 1.16 3/88 32404
/proc/meminfo: memFree=1477112/2055920 swapFree=4192812/4192956
[pid=32396] ppid=32394 vsize=915632 CPUtime=12.59
/proc/32396/stat : 32396 (java) R 32394 32396 32127 0 -1 0 75964 0 8 0 963 296 0 0 25 0 8 0 173748722 937607168 75672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32396/statm: 228908 75672 2177 14 0 215378 0
[pid=32396/tid=32398] ppid=32394 vsize=915632 CPUtime=1.67
/proc/32396/task/32398/stat : 32398 (java) S 32394 32396 32127 0 -1 64 59351 0 0 0 144 23 0 0 17 0 8 0 173748725 937607168 75672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32399] ppid=32394 vsize=915632 CPUtime=0
/proc/32396/task/32399/stat : 32399 (java) S 32394 32396 32127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173748726 937607168 75672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32400] ppid=32394 vsize=915632 CPUtime=0
/proc/32396/task/32400/stat : 32400 (java) S 32394 32396 32127 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173748726 937607168 75672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32401] ppid=32394 vsize=915632 CPUtime=0
/proc/32396/task/32401/stat : 32401 (java) S 32394 32396 32127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173748729 937607168 75672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32402] ppid=32394 vsize=915632 CPUtime=0.18
/proc/32396/task/32402/stat : 32402 (java) S 32394 32396 32127 0 -1 64 426 0 0 0 18 0 0 0 17 0 8 0 173748729 937607168 75672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32403] ppid=32394 vsize=915632 CPUtime=0
/proc/32396/task/32403/stat : 32403 (java) S 32394 32396 32127 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173748729 937607168 75672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32404] ppid=32394 vsize=915632 CPUtime=0
/proc/32396/task/32404/stat : 32404 (java) S 32394 32396 32127 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173748729 937607168 75672 18446744073709551615 134512640 134570532 4294956480 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) 915632
[startup+25.6363 s]
/proc/loadavg: 1.78 1.20 1.17 3/88 32404
/proc/meminfo: memFree=1304696/2055920 swapFree=4192812/4192956
[pid=32396] ppid=32394 vsize=915872 CPUtime=25.34
/proc/32396/stat : 32396 (java) R 32394 32396 32127 0 -1 0 112375 0 8 0 2110 424 0 0 25 0 8 0 173748722 937852928 111913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074085945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32396/statm: 228968 111913 2545 14 0 215438 0
[pid=32396/tid=32398] ppid=32394 vsize=915872 CPUtime=3.54
/proc/32396/task/32398/stat : 32398 (java) S 32394 32396 32127 0 -1 64 95168 0 0 0 317 37 0 0 16 0 8 0 173748725 937852928 111913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32399] ppid=32394 vsize=915872 CPUtime=0
/proc/32396/task/32399/stat : 32399 (java) S 32394 32396 32127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173748726 937852928 111913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32400] ppid=32394 vsize=915872 CPUtime=0
/proc/32396/task/32400/stat : 32400 (java) S 32394 32396 32127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173748726 937852928 111913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32401] ppid=32394 vsize=915872 CPUtime=0
/proc/32396/task/32401/stat : 32401 (java) S 32394 32396 32127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173748729 937852928 111913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32402] ppid=32394 vsize=915872 CPUtime=0.3
/proc/32396/task/32402/stat : 32402 (java) S 32394 32396 32127 0 -1 64 544 0 0 0 29 1 0 0 15 0 8 0 173748729 937852928 111913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32403] ppid=32394 vsize=915872 CPUtime=0
/proc/32396/task/32403/stat : 32403 (java) S 32394 32396 32127 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173748729 937852928 111913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32404] ppid=32394 vsize=915872 CPUtime=0
/proc/32396/task/32404/stat : 32404 (java) S 32394 32396 32127 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173748729 937852928 111913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915872
Child status: 0
Real time (s): 36.2093
CPU time (s): 35.8026
CPU user time (s): 31.4782
CPU system time (s): 4.32434
CPU usage (%): 98.8766
Max. virtual memory (cumulated for all children) (KiB): 916132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.4782
system time used= 4.32434
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112427
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2688
involuntary context switches= 4265
runsolver used 0.048992 s user time and 0.119981 s system time
The end
Begin job on node61 on Mon Jan 8 10:51:49 UTC 2007
IDJOB= 218865
IDBENCH= 5262
FILE ID= node61/218865-1168253508
PBS_JOBID= 3482025
Free space on /tmp= 66487 MiB
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-25-25-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218865-1168253508/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-218865-1168253508 -o ROOT/results/node61/solver-218865-1168253508 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218865-1168253508/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1e33651b78b554bdc5ee856706c28b13
RANDOM SEED= 482662075
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1749456 kB
Buffers: 31748 kB
Cached: 123836 kB
SwapCached: 0 kB
Active: 194468 kB
Inactive: 55764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1749456 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 36808 kB
Writeback: 0 kB
Mapped: 113776 kB
Slab: 41476 kB
Committed_AS: 4576644 kB
PageTables: 1996 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= 66487 MiB
End job on node61 on Mon Jan 8 10:52:25 UTC 2007