0.42
0.42 Abscon 109 (November, 2006)
0.42
0.42 configuration
0.42 name=esac.xml
0.46
0.46 instance
0.46 name=/tmp/evaluation/234049-1168330095/unknown.xml
0.49
0.49 domains being loaded...
0.50
0.50 variables being loaded...
0.54 nbVariables=49 nbDomainTypes=49 minDomainSize=347 maxDomainSize=441
0.54 => wckTime=0.115 cpuTime=0.1 mem=7M879
0.54
0.54 predicates being loaded...
0.54
0.54 constraints being loaded...
13.20 nbConstraints=294 nbConvertedConstraints=294 nbConvertConstraintsChecks=44610301 nbExtensionStructures=294
13.20 nbSharedExtensionStructures=0 nbConflictsStructures=294 nbSharedConflictsStructures=0
13.20 nbSharedBinaryRepresentations=82403 maxDegree=12 maxArity=2
13.20 => wckTime=12.778 cpuTime=12.62 mem=37M151
13.31
13.31 solver IterativeSystematicSolver being built...
13.47 => wckTime=13.05 cpuTime=12.76 mem=27M873
13.55
13.55 preprocessing
13.55 nbConstraintChecks=1121037 nbPropagations=708 nbRevisions=1137 nbUselessRevisions=430 nbSingletonTests=55
13.55 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
13.55 => wckTime=0.069 cpuTime=0.04 mem=27M873
14.01
14.01 search
14.01 run=0 nbConstraintChecks=14089126 nbPropagations=4756 nbRevisions=25322 nbUselessRevisions=13059
14.01 nbAssignments=732 nbFailedAssignments=708 nbBacktracks=10 nbVisitedNodes=1450 nbRestartNogoods=0 mapSize=9
14.01 nbInferences=0 nbTooLargeKeys=0
14.01 => wckTime=0.531 cpuTime=0.48 mem=27M873
14.32
14.32 search
14.32 run=1 nbConstraintChecks=26810967 nbPropagations=12033 nbRevisions=65786 nbUselessRevisions=32515
14.32 nbAssignments=1311 nbFailedAssignments=1214 nbBacktracks=25 nbVisitedNodes=2494 nbRestartNogoods=8 mapSize=20
14.32 nbInferences=0 nbTooLargeKeys=0
14.32 => wckTime=0.844 cpuTime=0.78 mem=27M873
14.52
14.52 search
14.52 run=2 nbConstraintChecks=33342216 nbPropagations=22087 nbRevisions=121046 nbUselessRevisions=60675
14.52 nbAssignments=1610 nbFailedAssignments=1479 nbBacktracks=48 nbVisitedNodes=3067 nbRestartNogoods=11 mapSize=35
14.52 nbInferences=0 nbTooLargeKeys=0
14.52 => wckTime=1.04 cpuTime=0.95 mem=27M873
14.78
14.78 search
14.78 run=3 nbConstraintChecks=44419524 nbPropagations=35190 nbRevisions=196257 nbUselessRevisions=99260
14.78 nbAssignments=1974 nbFailedAssignments=1794 nbBacktracks=81 nbVisitedNodes=3776 nbRestartNogoods=17 mapSize=66
14.78 nbInferences=0 nbTooLargeKeys=0
14.78 => wckTime=1.304 cpuTime=1.21 mem=28M821
16.02
16.02 search
16.02 run=4 nbConstraintChecks=104029578 nbPropagations=64645 nbRevisions=329020 nbUselessRevisions=164182
16.02 nbAssignments=3943 nbFailedAssignments=3422 nbBacktracks=131 nbVisitedNodes=7137 nbRestartNogoods=49
16.02 mapSize=116 nbInferences=0 nbTooLargeKeys=0
16.02 => wckTime=2.54 cpuTime=2.44 mem=28M821
16.50
16.50 search
16.50 run=5 nbConstraintChecks=123677278 nbPropagations=102954 nbRevisions=509790 nbUselessRevisions=256981
16.50 nbAssignments=5228 nbFailedAssignments=4492 nbBacktracks=206 nbVisitedNodes=9418 nbRestartNogoods=131
16.50 mapSize=176 nbInferences=0 nbTooLargeKeys=0
16.50 => wckTime=3.025 cpuTime=2.92 mem=28M821
17.54
17.54 search
17.54 run=6 nbConstraintChecks=164862816 nbPropagations=152831 nbRevisions=765561 nbUselessRevisions=389189
17.54 nbAssignments=6861 nbFailedAssignments=6003 nbBacktracks=319 nbVisitedNodes=12652 nbRestartNogoods=133
17.54 mapSize=279 nbInferences=0 nbTooLargeKeys=0
17.54 => wckTime=4.066 cpuTime=3.95 mem=28M821
19.17
19.17 search
19.17 run=7 nbConstraintChecks=230640099 nbPropagations=226906 nbRevisions=1137161 nbUselessRevisions=584200
19.17 nbAssignments=10482 nbFailedAssignments=8983 nbBacktracks=489 nbVisitedNodes=18914 nbRestartNogoods=186
19.17 mapSize=433 nbInferences=0 nbTooLargeKeys=0
19.17 => wckTime=5.689 cpuTime=5.57 mem=29M769
24.12
24.12 search
24.12 run=8 nbConstraintChecks=429508875 nbPropagations=368561 nbRevisions=1925339 nbUselessRevisions=1013154
24.12 nbAssignments=20490 nbFailedAssignments=18289 nbBacktracks=745 nbVisitedNodes=38032 nbRestartNogoods=235
24.12 mapSize=676 nbInferences=0 nbTooLargeKeys=0
24.12 => wckTime=10.645 cpuTime=10.49 mem=29M769
27.95
27.95 search
27.95 run=9 nbConstraintChecks=576516269 nbPropagations=557196 nbRevisions=3055065 nbUselessRevisions=1638652
27.95 nbAssignments=23682 nbFailedAssignments=20851 nbBacktracks=1129 nbVisitedNodes=43804 nbRestartNogoods=290
27.95 mapSize=1013 nbInferences=0 nbTooLargeKeys=0
27.95 => wckTime=14.469 cpuTime=14.29 mem=30M718
28.28
28.28 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=30M718)
31.27
31.27 search
31.27 run=10 nbConstraintChecks=705582317 nbPropagations=782827 nbRevisions=4433551 nbUselessRevisions=2383082
31.27 nbAssignments=30764 nbFailedAssignments=27328 nbBacktracks=1706 nbVisitedNodes=57688 nbRestartNogoods=303
31.27 => wckTime=17.789 cpuTime=17.59 mem=30M718
39.28
39.28 search
39.28 run=11 nbConstraintChecks=1050516687 nbPropagations=1121630 nbRevisions=6500724 nbUselessRevisions=3510402
39.28 nbAssignments=49206 nbFailedAssignments=44396 nbBacktracks=2570 nbVisitedNodes=93428 nbRestartNogoods=362
39.28 => wckTime=25.8 cpuTime=25.56 mem=30M718
57.77
57.77 search
57.77 run=12 nbConstraintChecks=1804637349 nbPropagations=1668525 nbRevisions=9820293 nbUselessRevisions=5208623
57.77 nbAssignments=85123 nbFailedAssignments=79006 nbBacktracks=3867 nbVisitedNodes=165161 nbRestartNogoods=379
57.77 => wckTime=44.291 cpuTime=43.97 mem=30M718
74.46
74.46 search
74.46 run=13 nbConstraintChecks=2505769748 nbPropagations=2470645 nbRevisions=14900710 nbUselessRevisions=7958983
74.46 nbAssignments=114967 nbFailedAssignments=106891 nbBacktracks=5815 nbVisitedNodes=224549 nbRestartNogoods=424
74.46 => wckTime=60.981 cpuTime=60.55 mem=30M718
96.49
96.49 search
96.49 run=14 nbConstraintChecks=3569391259 nbPropagations=3596639 nbRevisions=21924380 nbUselessRevisions=11757374
96.49 nbAssignments=158624 nbFailedAssignments=146816 nbBacktracks=8734 nbVisitedNodes=309580 nbRestartNogoods=501
96.49 => wckTime=83.008 cpuTime=82.47 mem=30M718
117.36
117.36 search
117.36 run=15 nbConstraintChecks=4473169012 nbPropagations=5034760 nbRevisions=31131518 nbUselessRevisions=16887086
117.36 nbAssignments=187083 nbFailedAssignments=170388 nbBacktracks=13112 nbVisitedNodes=364693 nbRestartNogoods=562
117.36 => wckTime=103.887 cpuTime=103.23 mem=30M718
164.04
164.04 search
164.04 run=16 nbConstraintChecks=6649934765 nbPropagations=7278377 nbRevisions=45207362 nbUselessRevisions=24870483
164.04 nbAssignments=305227 nbFailedAssignments=281757 nbBacktracks=19680 nbVisitedNodes=599465 nbRestartNogoods=594
164.04 => wckTime=150.566 cpuTime=149.65 mem=30M718
214.15
214.15 search
214.15 run=17 nbConstraintChecks=8823365185 nbPropagations=10255980 nbRevisions=64178228 nbUselessRevisions=35628031
214.15 nbAssignments=387047 nbFailedAssignments=353044 nbBacktracks=29532 nbVisitedNodes=758844 nbRestartNogoods=683
214.15 => wckTime=200.673 cpuTime=199.48 mem=30M718
214.18
214.19 search
214.19 run=18 nbConstraintChecks=8824621238 nbPropagations=13234201 nbRevisions=83152893 nbUselessRevisions=46387982
214.19 nbAssignments=387120 nbFailedAssignments=353068 nbBacktracks=29532 nbVisitedNodes=758941 nbRestartNogoods=702
214.19 => wckTime=200.708 cpuTime=199.52 mem=30M718
214.19
214.19 global
214.19 nbConstraintChecks=8825742275 nbPropagations=13234909 nbRevisions=83154030 nbUselessRevisions=46388412
214.19 nbRestartNogoods=702 solvingWckTime=200.709 solvingCpuTime=199.52 expiredTime=no totalExploration=no
214.19 nbFoundSolutions=1 globalCpuTime=212.34
214.19 => wckTime=213.763 cpuTime=212.29 mem=30M718
214.19
214.19 s SATISFIABLE
214.19 v 354 248 350 166 78 313 0 92 298 278 313 346 192 0 155 346 248 98 0 368 78 0 301 214 87 325 432 373 155 239 301 33 350 83 0 395 355 130 189 33 0 298 192 0 286 353 217 69 182
214.19 d NODES 387120
214.19 d CHECKS 8825742275
214.19
214.19 totalWckTime=213.846 totalCpuTime=212.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-234049-1168330095 -o ROOT/results/node29/solver-234049-1168330095 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234049-1168330095/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.23 2.26 2.15 4/94 3544
/proc/meminfo: memFree=597096/2055920 swapFree=4191880/4192956
[pid=3543] ppid=3541 vsize=18540 CPUtime=0
/proc/3543/stat : 3543 (runsolver) D 3541 3543 613 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 181403591 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221780700455 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/3543/statm: 4635 279 244 17 0 2626 0
[startup+0.108987 s]
/proc/loadavg: 2.23 2.26 2.15 4/94 3544
/proc/meminfo: memFree=597096/2055920 swapFree=4191880/4192956
[pid=3543] ppid=3541 vsize=47892 CPUtime=0
/proc/3543/stat : 3543 (java) D 3541 3543 613 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 181403591 49041408 968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/3543/statm: 11973 968 766 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47892
[startup+0.518013 s]
/proc/loadavg: 2.23 2.26 2.15 4/94 3544
/proc/meminfo: memFree=597096/2055920 swapFree=4191880/4192956
[pid=3543] ppid=3541 vsize=915328 CPUtime=0.39
/proc/3543/stat : 3543 (java) R 3541 3543 613 0 -1 0 5992 0 1 0 36 3 0 0 18 0 8 0 181403591 937295872 5731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153584632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3543/statm: 228832 5731 2130 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.34006 s]
/proc/loadavg: 2.23 2.26 2.15 3/101 3551
/proc/meminfo: memFree=577584/2055920 swapFree=4191880/4192956
[pid=3543] ppid=3541 vsize=915460 CPUtime=1.2
/proc/3543/stat : 3543 (java) R 3541 3543 613 0 -1 0 7257 0 1 0 116 4 0 0 25 0 8 0 181403591 937431040 6995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073658195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3543/statm: 228865 6995 2167 14 0 215335 0
[pid=3543/tid=3545] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3545/stat : 3545 (java) S 3541 3543 613 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181403605 937431040 6995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3546] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3546/stat : 3546 (java) S 3541 3543 613 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181403606 937431040 6995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3547] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3547/stat : 3547 (java) S 3541 3543 613 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181403606 937431040 6995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3548] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3548/stat : 3548 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181403609 937431040 6995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3549] ppid=3541 vsize=915460 CPUtime=0.1
/proc/3543/task/3549/stat : 3549 (java) S 3541 3543 613 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 181403609 937431040 6995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3550] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3550/stat : 3550 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181403609 937431040 6995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3551] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3551/stat : 3551 (java) S 3541 3543 613 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181403609 937431040 6995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915460
[startup+2.97716 s]
/proc/loadavg: 2.23 2.26 2.15 3/101 3551
/proc/meminfo: memFree=575152/2055920 swapFree=4191880/4192956
[pid=3543] ppid=3541 vsize=915460 CPUtime=2.83
/proc/3543/stat : 3543 (java) R 3541 3543 613 0 -1 0 8192 0 1 0 279 4 0 0 25 0 8 0 181403591 937431040 7930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3543/statm: 228865 7930 2167 14 0 215335 0
[pid=3543/tid=3545] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3545/stat : 3545 (java) S 3541 3543 613 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181403605 937431040 7930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3546] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3546/stat : 3546 (java) S 3541 3543 613 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181403606 937431040 7930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3547] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3547/stat : 3547 (java) S 3541 3543 613 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181403606 937431040 7930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3548] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3548/stat : 3548 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181403609 937431040 7930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3549] ppid=3541 vsize=915460 CPUtime=0.1
/proc/3543/task/3549/stat : 3549 (java) S 3541 3543 613 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 181403609 937431040 7930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3550] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3550/stat : 3550 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181403609 937431040 7930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3551] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3551/stat : 3551 (java) S 3541 3543 613 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181403609 937431040 7930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 915460
[startup+6.26737 s]
/proc/loadavg: 2.21 2.25 2.14 3/101 3551
/proc/meminfo: memFree=566704/2055920 swapFree=4191880/4192956
[pid=3543] ppid=3541 vsize=915460 CPUtime=6.11
/proc/3543/stat : 3543 (java) R 3541 3543 613 0 -1 0 10008 0 1 0 605 6 0 0 25 0 8 0 181403591 937431040 9746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3543/statm: 228865 9746 2167 14 0 215335 0
[pid=3543/tid=3545] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3545/stat : 3545 (java) S 3541 3543 613 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181403605 937431040 9746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3546] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3546/stat : 3546 (java) S 3541 3543 613 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181403606 937431040 9746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3547] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3547/stat : 3547 (java) S 3541 3543 613 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181403606 937431040 9746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3548] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3548/stat : 3548 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181403609 937431040 9746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3549] ppid=3541 vsize=915460 CPUtime=0.12
/proc/3543/task/3549/stat : 3549 (java) S 3541 3543 613 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 181403609 937431040 9746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3550] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3550/stat : 3550 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181403609 937431040 9746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3551] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3551/stat : 3551 (java) S 3541 3543 613 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181403609 937431040 9746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915460
[startup+12.7498 s]
/proc/loadavg: 2.20 2.25 2.14 3/101 3551
/proc/meminfo: memFree=551472/2055920 swapFree=4191880/4192956
[pid=3543] ppid=3541 vsize=915460 CPUtime=12.56
/proc/3543/stat : 3543 (java) R 3541 3543 613 0 -1 0 13463 0 1 0 1247 9 0 0 25 0 8 0 181403591 937431040 13200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3543/statm: 228865 13200 2168 14 0 215335 0
[pid=3543/tid=3545] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3545/stat : 3545 (java) S 3541 3543 613 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181403605 937431040 13200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3546] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3546/stat : 3546 (java) S 3541 3543 613 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181403606 937431040 13200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3547] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3547/stat : 3547 (java) S 3541 3543 613 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181403606 937431040 13200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3548] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3548/stat : 3548 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181403609 937431040 13200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3549] ppid=3541 vsize=915460 CPUtime=0.13
/proc/3543/task/3549/stat : 3549 (java) S 3541 3543 613 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 181403609 937431040 13200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3550] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3550/stat : 3550 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181403609 937431040 13200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3551] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3551/stat : 3551 (java) S 3541 3543 613 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181403609 937431040 13200 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+25.6356 s]
/proc/loadavg: 2.23 2.25 2.15 3/101 3551
/proc/meminfo: memFree=534256/2055920 swapFree=4191880/4192956
[pid=3543] ppid=3541 vsize=915460 CPUtime=25.39
/proc/3543/stat : 3543 (java) R 3541 3543 613 0 -1 0 17617 0 1 0 2527 12 0 0 25 0 8 0 181403591 937431040 17347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3543/statm: 228865 17347 2542 14 0 215335 0
[pid=3543/tid=3545] ppid=3541 vsize=915460 CPUtime=0.08
/proc/3543/task/3545/stat : 3545 (java) S 3541 3543 613 0 -1 64 3447 0 0 0 7 1 0 0 16 0 8 0 181403605 937431040 17347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3546] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3546/stat : 3546 (java) S 3541 3543 613 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181403606 937431040 17347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3547] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3547/stat : 3547 (java) S 3541 3543 613 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181403606 937431040 17347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3548] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3548/stat : 3548 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181403609 937431040 17347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3549] ppid=3541 vsize=915460 CPUtime=0.27
/proc/3543/task/3549/stat : 3549 (java) S 3541 3543 613 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 181403609 937431040 17347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3550] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3550/stat : 3550 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181403609 937431040 17347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3551] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3551/stat : 3551 (java) S 3541 3543 613 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181403609 937431040 17347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915460
[startup+51.2702 s]
/proc/loadavg: 2.15 2.23 2.14 3/101 3551
/proc/meminfo: memFree=530544/2055920 swapFree=4191880/4192956
[pid=3543] ppid=3541 vsize=915460 CPUtime=50.89
/proc/3543/stat : 3543 (java) R 3541 3543 613 0 -1 0 17621 0 1 0 5077 12 0 0 25 0 8 0 181403591 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817570 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3543/statm: 228865 17350 2542 14 0 215335 0
[pid=3543/tid=3545] ppid=3541 vsize=915460 CPUtime=0.08
/proc/3543/task/3545/stat : 3545 (java) S 3541 3543 613 0 -1 64 3447 0 0 0 7 1 0 0 16 0 8 0 181403605 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3546] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3546/stat : 3546 (java) S 3541 3543 613 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181403606 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3547] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3547/stat : 3547 (java) S 3541 3543 613 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181403606 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3548] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3548/stat : 3548 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3549] ppid=3541 vsize=915460 CPUtime=0.28
/proc/3543/task/3549/stat : 3549 (java) S 3541 3543 613 0 -1 64 405 0 0 0 27 1 0 0 16 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3543/tid=3550] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3550/stat : 3550 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3551] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3551/stat : 3551 (java) S 3541 3543 613 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915460
[startup+102.538 s]
/proc/loadavg: 2.14 2.22 2.14 3/101 3551
/proc/meminfo: memFree=522992/2055920 swapFree=4191880/4192956
[pid=3543] ppid=3541 vsize=915460 CPUtime=101.89
/proc/3543/stat : 3543 (java) R 3541 3543 613 0 -1 0 17621 0 1 0 10176 13 0 0 25 0 8 0 181403591 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3543/statm: 228865 17350 2542 14 0 215335 0
[pid=3543/tid=3545] ppid=3541 vsize=915460 CPUtime=0.08
/proc/3543/task/3545/stat : 3545 (java) S 3541 3543 613 0 -1 64 3447 0 0 0 7 1 0 0 16 0 8 0 181403605 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3546] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3546/stat : 3546 (java) S 3541 3543 613 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181403606 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3547] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3547/stat : 3547 (java) S 3541 3543 613 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181403606 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3548] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3548/stat : 3548 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3549] ppid=3541 vsize=915460 CPUtime=0.28
/proc/3543/task/3549/stat : 3549 (java) S 3541 3543 613 0 -1 64 405 0 0 0 27 1 0 0 16 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3543/tid=3550] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3550/stat : 3550 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3551] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3551/stat : 3551 (java) S 3541 3543 613 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915460
[startup+162.558 s]
/proc/loadavg: 2.45 2.30 2.17 3/101 3551
/proc/meminfo: memFree=514416/2055920 swapFree=4191880/4192956
[pid=3543] ppid=3541 vsize=915460 CPUtime=161.56
/proc/3543/stat : 3543 (java) R 3541 3543 613 0 -1 0 17621 0 1 0 16143 13 0 0 25 0 8 0 181403591 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3543/statm: 228865 17350 2542 14 0 215335 0
[pid=3543/tid=3545] ppid=3541 vsize=915460 CPUtime=0.08
/proc/3543/task/3545/stat : 3545 (java) S 3541 3543 613 0 -1 64 3447 0 0 0 7 1 0 0 16 0 8 0 181403605 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3546] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3546/stat : 3546 (java) S 3541 3543 613 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181403606 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3547] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3547/stat : 3547 (java) S 3541 3543 613 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181403606 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3548] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3548/stat : 3548 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3549] ppid=3541 vsize=915460 CPUtime=0.28
/proc/3543/task/3549/stat : 3549 (java) S 3541 3543 613 0 -1 64 405 0 0 0 27 1 0 0 16 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3543/tid=3550] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3550/stat : 3550 (java) S 3541 3543 613 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3543/tid=3551] ppid=3541 vsize=915460 CPUtime=0
/proc/3543/task/3551/stat : 3551 (java) S 3541 3543 613 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181403609 937431040 17350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 214.241
CPU time (s): 212.948
CPU user time (s): 212.792
CPU system time (s): 0.155976
CPU usage (%): 99.3965
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.792
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17629
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= 5610
involuntary context switches= 9466
runsolver used 0.231964 s user time and 0.732888 s system time
The end
Begin job on node29 on Tue Jan 9 08:08:15 UTC 2007
IDJOB= 234049
IDBENCH= 6658
FILE ID= node29/234049-1168330095
PBS_JOBID= 3503015
Free space on /tmp= 66410 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-100-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234049-1168330095/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-234049-1168330095 -o ROOT/results/node29/solver-234049-1168330095 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234049-1168330095/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= afb5d8334ceaf84164b5722ab3a14fda
RANDOM SEED= 333651203
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.241
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.241
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: 597512 kB
Buffers: 19620 kB
Cached: 612444 kB
SwapCached: 268 kB
Active: 916636 kB
Inactive: 483776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 597512 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 76436 kB
Writeback: 0 kB
Mapped: 794984 kB
Slab: 41120 kB
Committed_AS: 4756084 kB
PageTables: 3896 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= 66381 MiB
End job on node29 on Tue Jan 9 08:11:50 UTC 2007