0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/215094-1168077819/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.45 nbVariables=498 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.14 cpuTime=0.12 mem=7M50
0.45
0.45 predicates being loaded...
0.46
0.46 constraints being loaded...
1.09 nbConstraints=2431 nbConvertedConstraints=2169 nbConvertConstraintsChecks=16 nbExtensionStructures=2
1.09 nbSharedExtensionStructures=2167 nbConflictsStructures=3 nbSharedConflictsStructures=2185
1.09 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
1.09 nbSharedEvaluationManagers=260 maxDegree=52 maxArity=32
1.09 => wckTime=0.784 cpuTime=0.63 mem=45M82
1.17
1.17 solver IterativeSystematicSolver being built...
1.41 => wckTime=1.101 cpuTime=0.82 mem=33M124
1.43
1.43 preprocessing
1.43 nbConstraintChecks=0 nbPropagations=498 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.43 detectedInconsistency=no
1.43 => wckTime=0.021 cpuTime=0.01 mem=34M97
1.67
1.67 search
1.67 run=0 nbConstraintChecks=23995 nbValidityChecks=89725 nbPropagations=1301 nbRevisions=55790
1.67 nbUselessRevisions=55001 nbAssignments=150 nbFailedAssignments=1 nbBacktracks=15 nbVisitedNodes=158
1.67 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.259 cpuTime=0.22 mem=35M71
1.86
1.86 search
1.86 run=1 nbConstraintChecks=59852 nbValidityChecks=192640 nbPropagations=4168 nbRevisions=181016
1.86 nbUselessRevisions=177789 nbAssignments=326 nbFailedAssignments=3 nbBacktracks=43 nbVisitedNodes=347
1.86 nbRestartNogoods=1 mapSize=18 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.447 cpuTime=0.4 mem=35M71
2.03
2.03 search
2.03 run=2 nbConstraintChecks=91594 nbValidityChecks=293828 nbPropagations=8347 nbRevisions=372150
2.03 nbUselessRevisions=365189 nbAssignments=502 nbFailedAssignments=6 nbBacktracks=66 nbVisitedNodes=533
2.03 nbRestartNogoods=2 mapSize=27 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=0.617 cpuTime=0.56 mem=35M71
2.28
2.28 search
2.28 run=3 nbConstraintChecks=155158 nbValidityChecks=404361 nbPropagations=15200 nbRevisions=651374
2.28 nbUselessRevisions=637714 nbAssignments=663 nbFailedAssignments=9 nbBacktracks=106 nbVisitedNodes=715
2.28 nbRestartNogoods=3 mapSize=47 nbInferences=0 nbTooLargeKeys=0
2.28 => wckTime=0.867 cpuTime=0.8 mem=35M71
2.83
2.83 search
2.83 run=4 nbConstraintChecks=325240 nbValidityChecks=593652 nbPropagations=28952 nbRevisions=1111764
2.83 nbUselessRevisions=1083021 nbAssignments=836 nbFailedAssignments=19 nbBacktracks=162 nbVisitedNodes=945
2.83 nbRestartNogoods=4 mapSize=103 nbInferences=0 nbTooLargeKeys=0
2.83 => wckTime=1.414 cpuTime=1.35 mem=35M71
3.00
3.00 search
3.00 run=5 nbConstraintChecks=361969 nbValidityChecks=659093 nbPropagations=44687 nbRevisions=1622153
3.00 nbUselessRevisions=1576437 nbAssignments=989 nbFailedAssignments=27 nbBacktracks=240 nbVisitedNodes=1108
3.00 nbRestartNogoods=5 mapSize=119 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=1.585 cpuTime=1.51 mem=35M71
3.54
3.54 search
3.54 run=6 nbConstraintChecks=520340 nbValidityChecks=900955 nbPropagations=67876 nbRevisions=2355377
3.54 nbUselessRevisions=2284228 nbAssignments=1334 nbFailedAssignments=52 nbBacktracks=495 nbVisitedNodes=1511
3.54 nbRestartNogoods=7 mapSize=189 nbInferences=0 nbTooLargeKeys=0
3.54 => wckTime=2.134 cpuTime=2.05 mem=35M71
4.35
4.35 search
4.35 run=7 nbConstraintChecks=743474 nbValidityChecks=1222507 nbPropagations=100281 nbRevisions=3376720
4.35 nbUselessRevisions=3268744 nbAssignments=1609 nbFailedAssignments=70 nbBacktracks=665 nbVisitedNodes=1873
4.35 nbRestartNogoods=9 mapSize=275 nbInferences=0 nbTooLargeKeys=0
4.35 => wckTime=2.937 cpuTime=2.84 mem=36M43
6.44
6.44 search
6.44 run=8 nbConstraintChecks=1306272 nbValidityChecks=1892497 nbPropagations=153182 nbRevisions=5010019
6.44 nbUselessRevisions=4839605 nbAssignments=2012 nbFailedAssignments=102 nbBacktracks=957 nbVisitedNodes=2498
6.44 nbRestartNogoods=11 mapSize=497 nbInferences=0 nbTooLargeKeys=0
6.44 => wckTime=5.032 cpuTime=4.91 mem=36M43
8.33
8.33 search
8.33 run=9 nbConstraintChecks=1837344 nbValidityChecks=2537381 nbPropagations=227055 nbRevisions=7246314
8.33 nbUselessRevisions=6987704 nbAssignments=2526 nbFailedAssignments=138 nbBacktracks=1344 nbVisitedNodes=3197
8.33 nbRestartNogoods=13 mapSize=679 nbInferences=0 nbTooLargeKeys=0
8.33 => wckTime=6.922 cpuTime=6.78 mem=36M43
11.15
11.15 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=36M43)
12.74
12.74 search
12.74 run=10 nbConstraintChecks=3351115 nbValidityChecks=3805274 nbPropagations=360057 nbRevisions=10858093
12.74 nbUselessRevisions=10438558 nbAssignments=3259 nbFailedAssignments=196 nbBacktracks=1953 nbVisitedNodes=4492
12.74 nbRestartNogoods=16
12.74 => wckTime=11.333 cpuTime=11.14 mem=36M43
18.78
18.78 search
18.78 run=11 nbConstraintChecks=5444159 nbValidityChecks=5400136 nbPropagations=579992 nbRevisions=16303948
18.78 nbUselessRevisions=15620760 nbAssignments=4314 nbFailedAssignments=288 nbBacktracks=2847 nbVisitedNodes=6338
18.78 nbRestartNogoods=17
18.78 => wckTime=17.367 cpuTime=17.11 mem=36M43
23.73
23.73 search
23.73 run=12 nbConstraintChecks=7262066 nbValidityChecks=6627724 nbPropagations=880768 nbRevisions=23285417
23.73 nbUselessRevisions=22246477 nbAssignments=5929 nbFailedAssignments=507 nbBacktracks=4147 nbVisitedNodes=8772
23.73 nbRestartNogoods=19
23.73 => wckTime=22.315 cpuTime=22.02 mem=36M43
26.49
26.49 search
26.49 run=13 nbConstraintChecks=8345605 nbValidityChecks=7423482 nbPropagations=1245454 nbRevisions=31326064
26.49 nbUselessRevisions=29864269 nbAssignments=8172 nbFailedAssignments=715 nbBacktracks=6095 nbVisitedNodes=11390
26.49 nbRestartNogoods=22
26.49 => wckTime=25.082 cpuTime=24.76 mem=36M43
29.58
29.58 search
29.58 run=14 nbConstraintChecks=9526253 nbValidityChecks=8272265 nbPropagations=1683989 nbRevisions=40503509
29.58 nbUselessRevisions=38543978 nbAssignments=11475 nbFailedAssignments=1004 nbBacktracks=9017 nbVisitedNodes=15045
29.58 nbRestartNogoods=25
29.58 => wckTime=28.166 cpuTime=27.81 mem=36M43
35.99
35.99 search
35.99 run=15 nbConstraintChecks=11447392 nbValidityChecks=10285931 nbPropagations=2217944 nbRevisions=51810419
35.99 nbUselessRevisions=49250181 nbAssignments=14856 nbFailedAssignments=1285 nbBacktracks=11619
35.99 nbVisitedNodes=19129 nbRestartNogoods=31
35.99 => wckTime=34.578 cpuTime=34.16 mem=36M43
35.99
35.99 global
35.99 nbConstraintChecks=11447392 nbValidityChecks=10285931 nbPropagations=2218442 nbRevisions=51810419
35.99 nbUselessRevisions=49250181 nbRestartNogoods=31 solvingWckTime=34.579 solvingCpuTime=34.16 expiredTime=no
35.99 totalExploration=no nbFoundSolutions=1 globalCpuTime=35.02
35.99 => wckTime=35.683 cpuTime=34.98 mem=36M43
35.99
35.99 s SATISFIABLE
35.99 v 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0
35.99 d NODES 14856
35.99 d CHECKS 11447392
35.99
35.99 totalWckTime=35.763 totalCpuTime=35.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-215094-1168077819 -o ROOT/results/node18/solver-215094-1168077819 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215094-1168077819/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.80 1.90 1.91 4/93 22560
/proc/meminfo: memFree=927952/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=906644 CPUtime=0.02
/proc/22559/stat : 22559 (java) S 22557 22559 22228 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 156176630 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 226661 1818 1036 14 0 214244 0
[pid=22559/tid=22561] ppid=22557 vsize=906644 CPUtime=0
/proc/22559/task/22561/stat : 22561 (java) R 22557 22559 22228 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156176633 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104672 s]
/proc/loadavg: 1.80 1.90 1.91 4/93 22560
/proc/meminfo: memFree=927952/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=914988 CPUtime=0.08
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 3019 0 1 0 7 1 0 0 20 0 8 0 156176630 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153581899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228747 2765 1435 14 0 215242 0
[pid=22559/tid=22561] ppid=22557 vsize=914988 CPUtime=0
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156176633 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516724 s]
/proc/loadavg: 1.80 1.90 1.91 4/93 22560
/proc/meminfo: memFree=927952/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915328 CPUtime=0.5
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 6845 0 1 0 46 4 0 0 22 0 8 0 156176630 937295872 6584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228832 6584 2144 14 0 215302 0
[pid=22559/tid=22561] ppid=22557 vsize=915328 CPUtime=0
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156176633 937295872 6584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34079 s]
/proc/loadavg: 1.80 1.90 1.91 4/100 22567
/proc/meminfo: memFree=874520/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915760 CPUtime=1.31
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 16808 0 1 0 112 19 0 0 25 0 8 0 156176630 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8320796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228940 16545 2510 14 0 215410 0
[pid=22559/tid=22561] ppid=22557 vsize=915760 CPUtime=0.06
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 693 0 0 0 6 0 0 0 17 0 8 0 156176633 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22562] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22562/stat : 22562 (java) S 22557 22559 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22563] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22563/stat : 22563 (java) S 22557 22559 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22564] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22564/stat : 22564 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156176638 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22565] ppid=22557 vsize=915760 CPUtime=0.23
/proc/22559/task/22565/stat : 22565 (java) S 22557 22559 22228 0 -1 64 455 0 0 0 22 1 0 0 16 0 8 0 156176638 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22566] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22566/stat : 22566 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156176638 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22567] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22567/stat : 22567 (java) S 22557 22559 22228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156176638 937738240 16545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915760
[startup+2.97795 s]
/proc/loadavg: 1.82 1.90 1.91 3/100 22567
/proc/meminfo: memFree=871256/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915760 CPUtime=2.93
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 16896 0 1 0 273 20 0 0 25 0 8 0 156176630 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074030038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228940 16631 2533 14 0 215410 0
[pid=22559/tid=22561] ppid=22557 vsize=915760 CPUtime=0.06
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 694 0 0 0 6 0 0 0 17 0 8 0 156176633 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22562] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22562/stat : 22562 (java) S 22557 22559 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22563] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22563/stat : 22563 (java) S 22557 22559 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22564] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22564/stat : 22564 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156176638 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22565] ppid=22557 vsize=915760 CPUtime=0.31
/proc/22559/task/22565/stat : 22565 (java) S 22557 22559 22228 0 -1 64 493 0 0 0 29 2 0 0 15 0 8 0 156176638 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22566] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22566/stat : 22566 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156176638 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22567] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22567/stat : 22567 (java) S 22557 22559 22228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156176638 937738240 16631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915760
[startup+6.26927 s]
/proc/loadavg: 1.82 1.90 1.91 3/100 22567
/proc/meminfo: memFree=871256/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915760 CPUtime=6.2
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 16906 0 1 0 599 21 0 0 25 0 8 0 156176630 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074035764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228940 16639 2533 14 0 215410 0
[pid=22559/tid=22561] ppid=22557 vsize=915760 CPUtime=0.06
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 694 0 0 0 6 0 0 0 16 0 8 0 156176633 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22562] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22562/stat : 22562 (java) S 22557 22559 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22563] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22563/stat : 22563 (java) S 22557 22559 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22564] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22564/stat : 22564 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156176638 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22565] ppid=22557 vsize=915760 CPUtime=0.33
/proc/22559/task/22565/stat : 22565 (java) S 22557 22559 22228 0 -1 64 502 0 0 0 31 2 0 0 15 0 8 0 156176638 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22566] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22566/stat : 22566 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156176638 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22567] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22567/stat : 22567 (java) S 22557 22559 22228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156176638 937738240 16639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915760
[startup+12.7529 s]
/proc/loadavg: 1.85 1.90 1.91 3/100 22567
/proc/meminfo: memFree=871320/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915760 CPUtime=12.62
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 16914 0 1 0 1241 21 0 0 25 0 8 0 156176630 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074046757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228940 16644 2533 14 0 215410 0
[pid=22559/tid=22561] ppid=22557 vsize=915760 CPUtime=0.06
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 694 0 0 0 6 0 0 0 16 0 8 0 156176633 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22562] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22562/stat : 22562 (java) S 22557 22559 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22563] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22563/stat : 22563 (java) S 22557 22559 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22564] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22564/stat : 22564 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156176638 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22565] ppid=22557 vsize=915760 CPUtime=0.34
/proc/22559/task/22565/stat : 22565 (java) S 22557 22559 22228 0 -1 64 507 0 0 0 32 2 0 0 17 0 8 0 156176638 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22566] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22566/stat : 22566 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156176638 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22567] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22567/stat : 22567 (java) S 22557 22559 22228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156176638 937738240 16644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915760
[startup+25.6331 s]
/proc/loadavg: 1.87 1.90 1.91 3/100 22567
/proc/meminfo: memFree=871320/2055920 swapFree=4192812/4192956
[pid=22559] ppid=22557 vsize=915760 CPUtime=25.38
/proc/22559/stat : 22559 (java) R 22557 22559 22228 0 -1 0 16916 0 1 0 2517 21 0 0 25 0 8 0 156176630 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074035665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22559/statm: 228940 16645 2533 14 0 215410 0
[pid=22559/tid=22561] ppid=22557 vsize=915760 CPUtime=0.06
/proc/22559/task/22561/stat : 22561 (java) S 22557 22559 22228 0 -1 64 694 0 0 0 6 0 0 0 16 0 8 0 156176633 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22562] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22562/stat : 22562 (java) S 22557 22559 22228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22563] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22563/stat : 22563 (java) S 22557 22559 22228 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156176634 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22564] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22564/stat : 22564 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156176638 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22565] ppid=22557 vsize=915760 CPUtime=0.34
/proc/22559/task/22565/stat : 22565 (java) S 22557 22559 22228 0 -1 64 508 0 0 0 32 2 0 0 16 0 8 0 156176638 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22566] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22566/stat : 22566 (java) S 22557 22559 22228 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156176638 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22559/tid=22567] ppid=22557 vsize=915760 CPUtime=0
/proc/22559/task/22567/stat : 22567 (java) S 22557 22559 22228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156176638 937738240 16645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915760
Child status: 0
Real time (s): 36.0262
CPU time (s): 35.6686
CPU user time (s): 35.4406
CPU system time (s): 0.227965
CPU usage (%): 99.0073
Max. virtual memory (cumulated for all children) (KiB): 915760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.4406
system time used= 0.227965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16925
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= 2244
involuntary context switches= 3207
runsolver used 0.047992 s user time and 0.12698 s system time
The end
Begin job on node18 on Sat Jan 6 10:03:39 UTC 2007
IDJOB= 215094
IDBENCH= 4975
FILE ID= node18/215094-1168077819
PBS_JOBID= 3475822
Free space on /tmp= 66283 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32c2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215094-1168077819/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-215094-1168077819 -o ROOT/results/node18/solver-215094-1168077819 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215094-1168077819/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bc0c64bf742e7f793e769b75938abe34
RANDOM SEED= 931943395
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.231
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.231
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: 928432 kB
Buffers: 69584 kB
Cached: 692696 kB
SwapCached: 0 kB
Active: 633532 kB
Inactive: 394648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 928432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2228 kB
Writeback: 0 kB
Mapped: 294892 kB
Slab: 83656 kB
Committed_AS: 4798768 kB
PageTables: 2520 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= 66283 MiB
End job on node18 on Sat Jan 6 10:04:16 UTC 2007