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/206943-1168179594/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=61 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.40 => wckTime=0.103 cpuTime=0.08 mem=7M931
0.40
0.40 relations being loaded...
0.45
0.45 constraints being loaded...
0.59 nbConstraints=230 nbRelationTypes=23 nbSingletonDomainVariables=2 nbExtensionStructures=24
0.59 nbSharedExtensionStructures=206 nbConflictsStructures=24 nbSharedConflictsStructures=206
0.59 nbSharedBinaryRepresentations=20301 maxDegree=20 maxArity=3
0.59 => wckTime=0.285 cpuTime=0.21 mem=15M521
0.63
0.63 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.492 cpuTime=0.35 mem=18M31
1.35
1.35 preprocessing
1.35 nbConstraintChecks=976114 nbValidityChecks=1013980 nbPropagations=6460 nbRevisions=14724
1.35 nbUselessRevisions=5939 nbSingletonTests=152 nbEffectiveSingletonTests=17 nbESACBranches=18
1.35 nbRemovedValues=21292 detectedInconsistency=no
1.35 => wckTime=0.549 cpuTime=0.5 mem=18M31
1.40
1.40 search
1.40 run=0 nbConstraintChecks=65513 nbValidityChecks=64255 nbPropagations=7815 nbRevisions=17989
1.40 nbUselessRevisions=7481 nbAssignments=26 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=42
1.40 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.603 cpuTime=0.55 mem=19M23
1.49
1.49 search
1.49 run=1 nbConstraintChecks=220685 nbValidityChecks=229639 nbPropagations=18306 nbRevisions=41816
1.49 nbUselessRevisions=17485 nbAssignments=67 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=94
1.49 nbRestartNogoods=7 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.695 cpuTime=0.63 mem=19M23
1.58
1.58 search
1.58 run=2 nbConstraintChecks=373112 nbValidityChecks=388645 nbPropagations=32349 nbRevisions=74509
1.58 nbUselessRevisions=31876 nbAssignments=127 nbFailedAssignments=49 nbBacktracks=51 nbVisitedNodes=200
1.58 nbRestartNogoods=10 mapSize=43 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.782 cpuTime=0.71 mem=19M23
1.75
1.75 search
1.75 run=3 nbConstraintChecks=686108 nbValidityChecks=744909 nbPropagations=51643 nbRevisions=117906
1.75 nbUselessRevisions=50534 nbAssignments=220 nbFailedAssignments=80 nbBacktracks=85 nbVisitedNodes=325
1.75 nbRestartNogoods=17 mapSize=63 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.952 cpuTime=0.88 mem=19M23
2.09
2.09 search
2.09 run=4 nbConstraintChecks=1336675 nbValidityChecks=1492499 nbPropagations=81183 nbRevisions=183615
2.09 nbUselessRevisions=78902 nbAssignments=416 nbFailedAssignments=127 nbBacktracks=135 nbVisitedNodes=502
2.09 nbRestartNogoods=30 mapSize=95 nbInferences=0 nbTooLargeKeys=0
2.09 => wckTime=1.292 cpuTime=1.22 mem=19M23
2.37
2.37 search
2.37 run=5 nbConstraintChecks=1826762 nbValidityChecks=2026193 nbPropagations=120557 nbRevisions=271382
2.37 nbUselessRevisions=117048 nbAssignments=592 nbFailedAssignments=194 nbBacktracks=211 nbVisitedNodes=754
2.37 nbRestartNogoods=42 mapSize=144 nbInferences=0 nbTooLargeKeys=0
2.37 => wckTime=1.573 cpuTime=1.49 mem=19M998
2.65
2.65 search
2.65 run=6 nbConstraintChecks=2313822 nbValidityChecks=2539157 nbPropagations=172172 nbRevisions=388857
2.65 nbUselessRevisions=169276 nbAssignments=807 nbFailedAssignments=282 nbBacktracks=325 nbVisitedNodes=1105
2.65 nbRestartNogoods=49 mapSize=217 nbInferences=0 nbTooLargeKeys=0
2.65 => wckTime=1.849 cpuTime=1.76 mem=19M998
3.13
3.13 search
3.13 run=7 nbConstraintChecks=3183413 nbValidityChecks=3446245 nbPropagations=242321 nbRevisions=550844
3.13 nbUselessRevisions=242425 nbAssignments=1138 nbFailedAssignments=416 nbBacktracks=497 nbVisitedNodes=1633
3.13 nbRestartNogoods=60 mapSize=318 nbInferences=0 nbTooLargeKeys=0
3.13 => wckTime=2.328 cpuTime=2.24 mem=20M973
3.87
3.87 search
3.87 run=8 nbConstraintChecks=4455658 nbValidityChecks=4828617 nbPropagations=342627 nbRevisions=783554
3.87 nbUselessRevisions=347674 nbAssignments=1655 nbFailedAssignments=646 nbBacktracks=753 nbVisitedNodes=2486
3.87 nbRestartNogoods=76 mapSize=471 nbInferences=0 nbTooLargeKeys=0
3.87 => wckTime=3.073 cpuTime=2.96 mem=20M973
4.59
4.59 search
4.59 run=9 nbConstraintChecks=5654548 nbValidityChecks=6132766 nbPropagations=475040 nbRevisions=1093335
4.59 nbUselessRevisions=488832 nbAssignments=2325 nbFailedAssignments=906 nbBacktracks=1142 nbVisitedNodes=3589
4.59 nbRestartNogoods=85 mapSize=701 nbInferences=0 nbTooLargeKeys=0
4.59 => wckTime=3.792 cpuTime=3.65 mem=22M923
5.86
5.86 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=23M899)
6.04
6.04 search
6.04 run=10 nbConstraintChecks=8258595 nbValidityChecks=8965152 nbPropagations=667720 nbRevisions=1546381
6.04 nbUselessRevisions=697225 nbAssignments=3453 nbFailedAssignments=1322 nbBacktracks=1721 nbVisitedNodes=5303
6.04 nbRestartNogoods=106
6.04 => wckTime=5.24 cpuTime=5.09 mem=23M899
8.60
8.60 search
8.60 run=11 nbConstraintChecks=13089232 nbValidityChecks=14055498 nbPropagations=975761 nbRevisions=2276687
8.60 nbUselessRevisions=1033748 nbAssignments=5180 nbFailedAssignments=2168 nbBacktracks=2586 nbVisitedNodes=8364
8.60 nbRestartNogoods=120
8.60 => wckTime=7.802 cpuTime=7.63 mem=23M899
11.00
11.00 search
11.00 run=12 nbConstraintChecks=17577970 nbValidityChecks=18709590 nbPropagations=1410446 nbRevisions=3326846
11.00 nbUselessRevisions=1527781 nbAssignments=7487 nbFailedAssignments=3164 nbBacktracks=3883 nbVisitedNodes=12370
11.00 nbRestartNogoods=126
11.00 => wckTime=10.2 cpuTime=10.01 mem=23M899
14.24
14.24 search
14.24 run=13 nbConstraintChecks=23432233 nbValidityChecks=25102340 nbPropagations=2013810 nbRevisions=4784923
14.24 nbUselessRevisions=2215594 nbAssignments=10852 nbFailedAssignments=4539 nbBacktracks=5829 nbVisitedNodes=18019
14.24 nbRestartNogoods=140
14.24 => wckTime=13.442 cpuTime=13.23 mem=23M899
20.13
20.13 search
20.13 run=14 nbConstraintChecks=34315590 nbValidityChecks=36726796 nbPropagations=2914531 nbRevisions=6958555
20.13 nbUselessRevisions=3242299 nbAssignments=15801 nbFailedAssignments=6559 nbBacktracks=8749 nbVisitedNodes=26633
20.13 nbRestartNogoods=143
20.13 => wckTime=19.328 cpuTime=19.07 mem=23M899
28.33
28.33 search
28.33 run=15 nbConstraintChecks=49431544 nbValidityChecks=52888715 nbPropagations=4225558 nbRevisions=10133988
28.33 nbUselessRevisions=4748637 nbAssignments=23002 nbFailedAssignments=9371 nbBacktracks=13128 nbVisitedNodes=38967
28.33 nbRestartNogoods=149
28.33 => wckTime=27.531 cpuTime=27.19 mem=23M899
42.16
42.16 search
42.16 run=16 nbConstraintChecks=74796829 nbValidityChecks=80523295 nbPropagations=6188896 nbRevisions=14848265
42.16 nbUselessRevisions=6961942 nbAssignments=34019 nbFailedAssignments=13787 nbBacktracks=19698
42.17 nbVisitedNodes=58069 nbRestartNogoods=155
42.17 => wckTime=41.367 cpuTime=40.89 mem=23M899
42.98
42.98 search
42.98 run=17 nbConstraintChecks=76320054 nbValidityChecks=82167979 nbPropagations=8185010 nbRevisions=19639517
42.98 nbUselessRevisions=9210770 nbAssignments=34647 nbFailedAssignments=14018 nbBacktracks=20010
42.98 nbVisitedNodes=59078 nbRestartNogoods=171
42.98 => wckTime=42.186 cpuTime=41.7 mem=23M899
42.99
42.99 global
42.99 nbConstraintChecks=77296168 nbValidityChecks=83181959 nbPropagations=8191470 nbRevisions=19654241
42.99 nbUselessRevisions=9216709 nbRestartNogoods=171 solvingWckTime=42.187 solvingCpuTime=41.7 expiredTime=no
42.99 totalExploration=no nbFoundSolutions=1 globalCpuTime=42.1
42.99 => wckTime=42.685 cpuTime=42.05 mem=23M899
42.99
42.99 s SATISFIABLE
42.99 v 20 18 6 11 16 2 8 26 17 6 10 3 4 4 19 1 12 13 18 2 3 3 2 0 5 23 15 11 1 7 13 8 7 0 11 4 14 29 9 8 29 31 57 63 66 70 71 84 86 89 89 112 123 130 138 138 142 171 179 179 0
42.99 d NODES 34647
42.99 d CHECKS 77296168
42.99
42.99 totalWckTime=42.761 totalCpuTime=42.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-206943-1168179594 -o ROOT/results/node10/solver-206943-1168179594 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206943-1168179594/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.94 1.99 1.99 4/86 3372
/proc/meminfo: memFree=1741080/2055920 swapFree=4178216/4192956
[pid=3371] ppid=3369 vsize=18540 CPUtime=0
/proc/3371/stat : 3371 (runsolver) R 3369 3371 2123 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 166354591 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/3371/statm: 4635 279 244 17 0 2626 0
[startup+0.108502 s]
/proc/loadavg: 1.94 1.99 1.99 4/86 3372
/proc/meminfo: memFree=1741080/2055920 swapFree=4178216/4192956
[pid=3371] ppid=3369 vsize=914988 CPUtime=0.08
/proc/3371/stat : 3371 (java) R 3369 3371 2123 0 -1 0 3024 0 1 0 7 1 0 0 24 0 8 0 166354591 936947712 2770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153788507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228747 2770 1436 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.520576 s]
/proc/loadavg: 1.94 1.99 1.99 4/86 3372
/proc/meminfo: memFree=1741080/2055920 swapFree=4178216/4192956
[pid=3371] ppid=3369 vsize=915328 CPUtime=0.49
/proc/3371/stat : 3371 (java) R 3369 3371 2123 0 -1 0 7379 0 1 0 45 4 0 0 25 0 8 0 166354591 937295872 7118 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072935165 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228832 7118 2148 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34167 s]
/proc/loadavg: 1.94 1.99 1.99 3/93 3379
/proc/meminfo: memFree=1713696/2055920 swapFree=4178216/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=1.3
/proc/3371/stat : 3371 (java) R 3369 3371 2123 0 -1 0 9583 0 1 0 124 6 0 0 25 0 8 0 166354591 937414656 9321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073771467 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 9321 2527 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2123 0 -1 64 775 0 0 0 3 0 0 0 16 0 8 0 166354595 937414656 9321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166354596 937414656 9321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166354596 937414656 9321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2123 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 166354599 937414656 9321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.17
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2123 0 -1 64 365 0 0 0 16 1 0 0 15 0 8 0 166354599 937414656 9321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2123 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166354599 937414656 9321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166354599 937414656 9321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.97889 s]
/proc/loadavg: 1.94 1.99 1.99 3/93 3379
/proc/meminfo: memFree=1712992/2055920 swapFree=4178216/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=2.92
/proc/3371/stat : 3371 (java) R 3369 3371 2123 0 -1 0 9958 0 1 0 286 6 0 0 25 0 8 0 166354591 937414656 9694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073627582 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 9694 2528 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2123 0 -1 64 775 0 0 0 3 0 0 0 17 0 8 0 166354595 937414656 9694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166354596 937414656 9694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166354596 937414656 9694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2123 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 166354599 937414656 9694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.19
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2123 0 -1 64 376 0 0 0 18 1 0 0 15 0 8 0 166354599 937414656 9694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2123 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166354599 937414656 9694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166354599 937414656 9694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444
[startup+6.26633 s]
/proc/loadavg: 1.94 1.99 1.99 3/93 3379
/proc/meminfo: memFree=1708704/2055920 swapFree=4178216/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=6.18
/proc/3371/stat : 3371 (java) R 3369 3371 2123 0 -1 0 10914 0 1 0 611 7 0 0 25 0 8 0 166354591 937414656 10647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 10647 2528 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2123 0 -1 64 775 0 0 0 3 0 0 0 17 0 8 0 166354595 937414656 10647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166354596 937414656 10647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166354596 937414656 10647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2123 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 166354599 937414656 10647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.23
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2123 0 -1 64 393 0 0 0 21 2 0 0 16 0 8 0 166354599 937414656 10647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2123 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166354599 937414656 10647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166354599 937414656 10647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915444
[startup+12.6872 s]
/proc/loadavg: 1.95 1.99 1.99 3/93 3379
/proc/meminfo: memFree=1708384/2055920 swapFree=4178216/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=12.55
/proc/3371/stat : 3371 (java) R 3369 3371 2123 0 -1 0 10922 0 1 0 1248 7 0 0 25 0 8 0 166354591 937414656 10653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876438 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 10653 2528 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2123 0 -1 64 775 0 0 0 3 0 0 0 16 0 8 0 166354595 937414656 10653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166354596 937414656 10653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166354596 937414656 10653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2123 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 166354599 937414656 10653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.24
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2123 0 -1 64 395 0 0 0 22 2 0 0 15 0 8 0 166354599 937414656 10653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2123 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166354599 937414656 10653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166354599 937414656 10653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915444
[startup+25.5489 s]
/proc/loadavg: 1.96 1.99 1.99 3/93 3379
/proc/meminfo: memFree=1708448/2055920 swapFree=4178216/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=25.3
/proc/3371/stat : 3371 (java) R 3369 3371 2123 0 -1 0 10928 0 1 0 2523 7 0 0 25 0 8 0 166354591 937414656 10659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073765008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 10659 2528 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2123 0 -1 64 775 0 0 0 3 0 0 0 16 0 8 0 166354595 937414656 10659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166354596 937414656 10659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166354596 937414656 10659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2123 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 166354599 937414656 10659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.24
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2123 0 -1 64 395 0 0 0 22 2 0 0 15 0 8 0 166354599 937414656 10659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2123 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 166354599 937414656 10659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166354599 937414656 10659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 43.0342
CPU time (s): 42.5975
CPU user time (s): 42.5065
CPU system time (s): 0.090986
CPU usage (%): 98.9852
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.5065
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11027
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= 2127
involuntary context switches= 3830
runsolver used 0.048992 s user time and 0.134979 s system time
The end
Begin job on node10 on Sun Jan 7 14:19:55 UTC 2007
IDJOB= 206943
IDBENCH= 4247
FILE ID= node10/206943-1168179594
PBS_JOBID= 3478855
Free space on /tmp= 66367 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-20/tsp-20-142_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206943-1168179594/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-206943-1168179594 -o ROOT/results/node10/solver-206943-1168179594 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206943-1168179594/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 144010786dd3cca51eaddf77d449271f
RANDOM SEED= 728571271
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.232
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.232
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: 1741752 kB
Buffers: 23312 kB
Cached: 176244 kB
SwapCached: 2064 kB
Active: 131024 kB
Inactive: 120384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1741752 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 1916 kB
Writeback: 0 kB
Mapped: 64880 kB
Slab: 47724 kB
Committed_AS: 4115852 kB
PageTables: 2204 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= 66367 MiB
End job on node10 on Sun Jan 7 14:20:38 UTC 2007