0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.36 name=/tmp/evaluation/213975-1168227720/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.48 nbVariables=634 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.48 => wckTime=0.154 cpuTime=0.12 mem=8M25
0.48
0.48 predicates being loaded...
0.48
0.48 constraints being loaded...
0.91 nbConstraints=1581 nbConvertedConstraints=439 nbConvertConstraintsChecks=56 nbExtensionStructures=2
0.91 nbSharedExtensionStructures=437 nbConflictsStructures=8 nbSharedConflictsStructures=1573
0.91 nbSharedBinaryRepresentations=5 nbEvaluationManagers=6 nbSharedEvaluationManagers=1136 maxDegree=41 maxArity=3
0.91 => wckTime=0.584 cpuTime=0.43 mem=17M793
0.96
0.96 solver IterativeSystematicSolver being built...
1.22 => wckTime=0.895 cpuTime=0.63 mem=24M210
1.39
1.39 preprocessing
1.39 nbConstraintChecks=3627 nbValidityChecks=1868 nbPropagations=2282 nbRevisions=7368 nbUselessRevisions=6496
1.39 nbSingletonTests=804 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.39 => wckTime=0.169 cpuTime=0.12 mem=24M210
1.45
1.45 search
1.45 run=0 nbConstraintChecks=6775 nbValidityChecks=5461 nbPropagations=4556 nbRevisions=17257
1.45 nbUselessRevisions=14097 nbAssignments=42 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=51
1.45 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.224 cpuTime=0.16 mem=24M210
1.47
1.47 search
1.47 run=1 nbConstraintChecks=13079 nbValidityChecks=11304 nbPropagations=11416 nbRevisions=44492
1.47 nbUselessRevisions=35859 nbAssignments=84 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=101
1.47 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.251 cpuTime=0.19 mem=24M210
1.51
1.51 search
1.51 run=2 nbConstraintChecks=24339 nbValidityChecks=21808 nbPropagations=22374 nbRevisions=89566
1.51 nbUselessRevisions=71336 nbAssignments=141 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=172
1.51 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.29 cpuTime=0.22 mem=24M210
1.56
1.56 search
1.56 run=3 nbConstraintChecks=35478 nbValidityChecks=32270 nbPropagations=37413 nbRevisions=152428
1.56 nbUselessRevisions=120491 nbAssignments=208 nbFailedAssignments=22 nbBacktracks=86 nbVisitedNodes=253
1.56 nbRestartNogoods=5 mapSize=36 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.335 cpuTime=0.27 mem=24M210
1.61
1.62 search
1.62 run=4 nbConstraintChecks=49596 nbValidityChecks=45575 nbPropagations=57662 nbRevisions=237726
1.62 nbUselessRevisions=186835 nbAssignments=296 nbFailedAssignments=31 nbBacktracks=136 nbVisitedNodes=359
1.62 nbRestartNogoods=8 mapSize=50 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.392 cpuTime=0.32 mem=24M210
1.69
1.69 search
1.69 run=5 nbConstraintChecks=69335 nbValidityChecks=64152 nbPropagations=85175 nbRevisions=354347
1.69 nbUselessRevisions=277175 nbAssignments=415 nbFailedAssignments=44 nbBacktracks=218 nbVisitedNodes=504
1.69 nbRestartNogoods=12 mapSize=73 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.471 cpuTime=0.4 mem=24M210
1.78
1.78 search
1.78 run=6 nbConstraintChecks=89256 nbValidityChecks=82988 nbPropagations=119900 nbRevisions=502976
1.78 nbUselessRevisions=392192 nbAssignments=568 nbFailedAssignments=60 nbBacktracks=331 nbVisitedNodes=692
1.78 nbRestartNogoods=15 mapSize=105 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.559 cpuTime=0.49 mem=24M210
1.90
1.90 search
1.90 run=7 nbConstraintChecks=108326 nbValidityChecks=100677 nbPropagations=161667 nbRevisions=681936
1.90 nbUselessRevisions=530349 nbAssignments=791 nbFailedAssignments=86 nbBacktracks=502 nbVisitedNodes=967
1.90 nbRestartNogoods=18 mapSize=154 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.675 cpuTime=0.6 mem=24M210
2.08
2.08 search
2.08 run=8 nbConstraintChecks=145230 nbValidityChecks=135643 nbPropagations=216599 nbRevisions=920612
2.08 nbUselessRevisions=714683 nbAssignments=1116 nbFailedAssignments=124 nbBacktracks=773 nbVisitedNodes=1368
2.08 nbRestartNogoods=21 mapSize=229 nbInferences=0 nbTooLargeKeys=0
2.08 => wckTime=0.856 cpuTime=0.78 mem=24M210
2.36
2.36 search
2.36 run=9 nbConstraintChecks=210310 nbValidityChecks=195964 nbPropagations=294778 nbRevisions=1266733
2.36 nbUselessRevisions=982139 nbAssignments=1600 nbFailedAssignments=191 nbBacktracks=1160 nbVisitedNodes=1980
2.36 nbRestartNogoods=22 mapSize=353 nbInferences=0 nbTooLargeKeys=0
2.36 => wckTime=1.138 cpuTime=1.03 mem=24M210
2.76
2.76 search
2.76 run=10 nbConstraintChecks=325454 nbValidityChecks=305393 nbPropagations=415040 nbRevisions=1808660
2.76 nbUselessRevisions=1401236 nbAssignments=2296 nbFailedAssignments=285 nbBacktracks=1736 nbVisitedNodes=2856
2.76 nbRestartNogoods=26 mapSize=529 nbInferences=0 nbTooLargeKeys=0
2.76 => wckTime=1.541 cpuTime=1.42 mem=25M186
3.36
3.36 search
3.36 run=11 nbConstraintChecks=500037 nbValidityChecks=474515 nbPropagations=599414 nbRevisions=2651534
3.36 nbUselessRevisions=2053750 nbAssignments=3375 nbFailedAssignments=423 nbBacktracks=2601 nbVisitedNodes=4180
3.36 nbRestartNogoods=30 mapSize=810 nbInferences=0 nbTooLargeKeys=0
3.36 => wckTime=2.136 cpuTime=2.01 mem=25M186
3.78
3.78 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=25M186)
4.13
4.13 search
4.13 run=12 nbConstraintChecks=741127 nbValidityChecks=706538 nbPropagations=869194 nbRevisions=3903495
4.13 nbUselessRevisions=3024704 nbAssignments=4973 nbFailedAssignments=646 nbBacktracks=3901 nbVisitedNodes=6160
4.13 nbRestartNogoods=35
4.13 => wckTime=2.912 cpuTime=2.78 mem=25M186
5.12
5.12 search
5.12 run=13 nbConstraintChecks=1076642 nbValidityChecks=1055742 nbPropagations=1262029 nbRevisions=5746598
5.12 nbUselessRevisions=4456368 nbAssignments=7225 nbFailedAssignments=919 nbBacktracks=5855 nbVisitedNodes=8981
5.12 nbRestartNogoods=38
5.12 => wckTime=3.901 cpuTime=3.76 mem=25M186
6.60
6.60 search
6.60 run=14 nbConstraintChecks=1552552 nbValidityChecks=1574863 nbPropagations=1836857 nbRevisions=8453319
6.60 nbUselessRevisions=6556592 nbAssignments=10704 nbFailedAssignments=1452 nbBacktracks=8779 nbVisitedNodes=13518
6.60 nbRestartNogoods=42
6.60 => wckTime=5.38 cpuTime=5.22 mem=25M186
8.52
8.52 search
8.52 run=15 nbConstraintChecks=2245351 nbValidityChecks=2204082 nbPropagations=2652433 nbRevisions=12295421
8.52 nbUselessRevisions=9535919 nbAssignments=15809 nbFailedAssignments=2148 nbBacktracks=13161 nbVisitedNodes=20062
8.52 nbRestartNogoods=47
8.52 => wckTime=7.295 cpuTime=7.12 mem=25M186
11.69
11.69 search
11.69 run=16 nbConstraintChecks=3375219 nbValidityChecks=3288267 nbPropagations=3878595 nbRevisions=18128195
11.69 nbUselessRevisions=14068193 nbAssignments=23438 nbFailedAssignments=3171 nbBacktracks=19739
11.69 nbVisitedNodes=29778 nbRestartNogoods=53
11.69 => wckTime=10.47 cpuTime=10.26 mem=25M186
15.76
15.76 search
15.76 run=17 nbConstraintChecks=4718417 nbValidityChecks=4580328 nbPropagations=5577618 nbRevisions=26248001
15.76 nbUselessRevisions=20385463 nbAssignments=34556 nbFailedAssignments=4402 nbBacktracks=29597
15.76 nbVisitedNodes=43390 nbRestartNogoods=60
15.76 => wckTime=14.535 cpuTime=14.29 mem=25M186
21.87
21.87 search
21.87 run=18 nbConstraintChecks=6738386 nbValidityChecks=6534973 nbPropagations=8000223 nbRevisions=37809431
21.87 nbUselessRevisions=29377281 nbAssignments=51293 nbFailedAssignments=6282 nbBacktracks=44376
21.87 nbVisitedNodes=63944 nbRestartNogoods=67
21.87 => wckTime=20.648 cpuTime=20.34 mem=25M186
30.88
30.88 search
30.88 run=19 nbConstraintChecks=9695427 nbValidityChecks=9433657 nbPropagations=11509092 nbRevisions=54490973
30.88 nbUselessRevisions=42344190 nbAssignments=76130 nbFailedAssignments=8923 nbBacktracks=66544
30.88 nbVisitedNodes=93852 nbRestartNogoods=72
30.88 => wckTime=29.655 cpuTime=29.26 mem=25M186
45.06
45.06 search
45.06 run=20 nbConstraintChecks=14477708 nbValidityChecks=14080407 nbPropagations=16772565 nbRevisions=79507888
45.06 nbUselessRevisions=61783996 nbAssignments=113853 nbFailedAssignments=13366 nbBacktracks=99801
45.06 nbVisitedNodes=140299 nbRestartNogoods=77
45.06 => wckTime=43.838 cpuTime=43.33 mem=25M186
52.86
52.86 search
52.86 run=21 nbConstraintChecks=17004455 nbValidityChecks=16521089 nbPropagations=22950114 nbRevisions=108878164
52.86 nbUselessRevisions=84607107 nbAssignments=136256 nbFailedAssignments=15879 nbBacktracks=119057
52.86 nbVisitedNodes=167647 nbRestartNogoods=83
52.86 => wckTime=51.639 cpuTime=51.05 mem=25M186
52.86
52.86 global
52.86 nbConstraintChecks=17008082 nbValidityChecks=16522957 nbPropagations=22952396 nbRevisions=108885532
52.86 nbUselessRevisions=84613603 nbRestartNogoods=83 solvingWckTime=51.64 solvingCpuTime=51.05 expiredTime=no
52.86 totalExploration=no nbFoundSolutions=1 globalCpuTime=51.74
52.86 => wckTime=52.538 cpuTime=51.69 mem=25M186
52.87
52.87 s SATISFIABLE
52.87 v 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 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 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 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1
52.87 d NODES 136256
52.87 d CHECKS 17008082
52.87
52.87 totalWckTime=52.623 totalCpuTime=51.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-213975-1168227720 -o ROOT/results/node7/solver-213975-1168227720 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213975-1168227720/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.95 1.97 1.91 3/88 6837
/proc/meminfo: memFree=1723160/2055920 swapFree=4192812/4192956
[pid=6836] ppid=6834 vsize=18540 CPUtime=0
/proc/6836/stat : 6836 (runsolver) R 6834 6836 6321 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 171167453 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6836/statm: 4635 279 244 17 0 2626 0
[startup+0.101797 s]
/proc/loadavg: 1.95 1.97 1.91 3/88 6837
/proc/meminfo: memFree=1723160/2055920 swapFree=4192812/4192956
[pid=6836] ppid=6834 vsize=913068 CPUtime=0.08
/proc/6836/stat : 6836 (java) S 6834 6836 6321 0 -1 0 2859 0 1 0 7 1 0 0 17 0 8 0 171167453 934981632 2605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6836/statm: 228267 2605 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.509839 s]
/proc/loadavg: 1.95 1.97 1.91 3/88 6837
/proc/meminfo: memFree=1723160/2055920 swapFree=4192812/4192956
[pid=6836] ppid=6834 vsize=915328 CPUtime=0.49
/proc/6836/stat : 6836 (java) S 6834 6836 6321 0 -1 0 6319 0 1 0 45 4 0 0 18 0 8 0 171167453 937295872 6058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6836/statm: 228832 6058 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33193 s]
/proc/loadavg: 1.95 1.97 1.91 4/95 6844
/proc/meminfo: memFree=1695264/2055920 swapFree=4192812/4192956
[pid=6836] ppid=6834 vsize=915764 CPUtime=1.29
/proc/6836/stat : 6836 (java) S 6834 6836 6321 0 -1 0 10932 0 1 0 115 14 0 0 17 0 8 0 171167453 937742336 10670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6836/statm: 228941 10670 2542 14 0 215411 0
[pid=6836/tid=6838] ppid=6834 vsize=915764 CPUtime=0.04
/proc/6836/task/6838/stat : 6838 (java) S 6834 6836 6321 0 -1 64 398 0 0 0 4 0 0 0 17 0 8 0 171167457 937742336 10670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6839] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6839/stat : 6839 (java) S 6834 6836 6321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 10670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6840] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6840/stat : 6840 (java) S 6834 6836 6321 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 10670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6841] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6841/stat : 6841 (java) S 6834 6836 6321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171167461 937742336 10670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6842] ppid=6834 vsize=915764 CPUtime=0.29
/proc/6836/task/6842/stat : 6842 (java) R 6834 6836 6321 0 -1 64 475 0 0 0 28 1 0 0 20 0 8 0 171167461 937742336 10670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153176798 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6843] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6843/stat : 6843 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171167461 937742336 10670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6844] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6844/stat : 6844 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171167461 937742336 10670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915764
[startup+2.9721 s]
/proc/loadavg: 1.95 1.97 1.91 3/95 6844
/proc/meminfo: memFree=1689504/2055920 swapFree=4192812/4192956
[pid=6836] ppid=6834 vsize=915764 CPUtime=2.92
/proc/6836/stat : 6836 (java) R 6834 6836 6321 0 -1 0 11228 0 1 0 277 15 0 0 25 0 8 0 171167453 937742336 10965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074063021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6836/statm: 228941 10965 2543 14 0 215411 0
[pid=6836/tid=6838] ppid=6834 vsize=915764 CPUtime=0.04
/proc/6836/task/6838/stat : 6838 (java) S 6834 6836 6321 0 -1 64 398 0 0 0 4 0 0 0 17 0 8 0 171167457 937742336 10965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6839] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6839/stat : 6839 (java) S 6834 6836 6321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 10965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6840] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6840/stat : 6840 (java) S 6834 6836 6321 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 10965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6841] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6841/stat : 6841 (java) S 6834 6836 6321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171167461 937742336 10965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6842] ppid=6834 vsize=915764 CPUtime=0.35
/proc/6836/task/6842/stat : 6842 (java) S 6834 6836 6321 0 -1 64 506 0 0 0 34 1 0 0 16 0 8 0 171167461 937742336 10965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6843] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6843/stat : 6843 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171167461 937742336 10965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6844] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6844/stat : 6844 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171167461 937742336 10965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915764
[startup+6.18043 s]
/proc/loadavg: 1.95 1.97 1.91 3/95 6844
/proc/meminfo: memFree=1688800/2055920 swapFree=4192812/4192956
[pid=6836] ppid=6834 vsize=915764 CPUtime=6.1
/proc/6836/stat : 6836 (java) R 6834 6836 6321 0 -1 0 11320 0 1 0 595 15 0 0 25 0 8 0 171167453 937742336 11054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074023480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6836/statm: 228941 11054 2543 14 0 215411 0
[pid=6836/tid=6838] ppid=6834 vsize=915764 CPUtime=0.04
/proc/6836/task/6838/stat : 6838 (java) S 6834 6836 6321 0 -1 64 398 0 0 0 4 0 0 0 16 0 8 0 171167457 937742336 11054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6839] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6839/stat : 6839 (java) S 6834 6836 6321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 11054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6840] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6840/stat : 6840 (java) S 6834 6836 6321 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 11054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6841] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6841/stat : 6841 (java) S 6834 6836 6321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171167461 937742336 11054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6842] ppid=6834 vsize=915764 CPUtime=0.35
/proc/6836/task/6842/stat : 6842 (java) S 6834 6836 6321 0 -1 64 507 0 0 0 34 1 0 0 17 0 8 0 171167461 937742336 11054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6843] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6843/stat : 6843 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171167461 937742336 11054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6844] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6844/stat : 6844 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171167461 937742336 11054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915764
[startup+12.6561 s]
/proc/loadavg: 1.96 1.97 1.91 3/95 6844
/proc/meminfo: memFree=1688800/2055920 swapFree=4192812/4192956
[pid=6836] ppid=6834 vsize=915764 CPUtime=12.51
/proc/6836/stat : 6836 (java) R 6834 6836 6321 0 -1 0 11330 0 1 0 1236 15 0 0 25 0 8 0 171167453 937742336 11064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6836/statm: 228941 11064 2543 14 0 215411 0
[pid=6836/tid=6838] ppid=6834 vsize=915764 CPUtime=0.04
/proc/6836/task/6838/stat : 6838 (java) S 6834 6836 6321 0 -1 64 398 0 0 0 4 0 0 0 16 0 8 0 171167457 937742336 11064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6839] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6839/stat : 6839 (java) S 6834 6836 6321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 11064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6840] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6840/stat : 6840 (java) S 6834 6836 6321 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 11064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6841] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6841/stat : 6841 (java) S 6834 6836 6321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171167461 937742336 11064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6842] ppid=6834 vsize=915764 CPUtime=0.35
/proc/6836/task/6842/stat : 6842 (java) S 6834 6836 6321 0 -1 64 509 0 0 0 34 1 0 0 16 0 8 0 171167461 937742336 11064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6843] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6843/stat : 6843 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171167461 937742336 11064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6844] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6844/stat : 6844 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171167461 937742336 11064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915764
[startup+25.5325 s]
/proc/loadavg: 1.97 1.97 1.91 3/95 6844
/proc/meminfo: memFree=1688736/2055920 swapFree=4192812/4192956
[pid=6836] ppid=6834 vsize=915764 CPUtime=25.28
/proc/6836/stat : 6836 (java) R 6834 6836 6321 0 -1 0 11336 0 1 0 2512 16 0 0 25 0 8 0 171167453 937742336 11070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073975689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6836/statm: 228941 11070 2543 14 0 215411 0
[pid=6836/tid=6838] ppid=6834 vsize=915764 CPUtime=0.04
/proc/6836/task/6838/stat : 6838 (java) S 6834 6836 6321 0 -1 64 398 0 0 0 4 0 0 0 16 0 8 0 171167457 937742336 11070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6839] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6839/stat : 6839 (java) S 6834 6836 6321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 11070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6840] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6840/stat : 6840 (java) S 6834 6836 6321 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 11070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6841] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6841/stat : 6841 (java) S 6834 6836 6321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171167461 937742336 11070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6842] ppid=6834 vsize=915764 CPUtime=0.35
/proc/6836/task/6842/stat : 6842 (java) S 6834 6836 6321 0 -1 64 510 0 0 0 34 1 0 0 17 0 8 0 171167461 937742336 11070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6843] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6843/stat : 6843 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171167461 937742336 11070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6844] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6844/stat : 6844 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171167461 937742336 11070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915764
[startup+51.1672 s]
/proc/loadavg: 1.98 1.97 1.91 3/95 6844
/proc/meminfo: memFree=1688736/2055920 swapFree=4192812/4192956
[pid=6836] ppid=6834 vsize=915764 CPUtime=50.67
/proc/6836/stat : 6836 (java) R 6834 6836 6321 0 -1 0 11342 0 1 0 5051 16 0 0 25 0 8 0 171167453 937742336 11076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074048562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6836/statm: 228941 11076 2543 14 0 215411 0
[pid=6836/tid=6838] ppid=6834 vsize=915764 CPUtime=0.04
/proc/6836/task/6838/stat : 6838 (java) S 6834 6836 6321 0 -1 64 398 0 0 0 4 0 0 0 16 0 8 0 171167457 937742336 11076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6839] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6839/stat : 6839 (java) S 6834 6836 6321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 11076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6840] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6840/stat : 6840 (java) S 6834 6836 6321 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171167458 937742336 11076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6841] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6841/stat : 6841 (java) S 6834 6836 6321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171167461 937742336 11076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6842] ppid=6834 vsize=915764 CPUtime=0.35
/proc/6836/task/6842/stat : 6842 (java) S 6834 6836 6321 0 -1 64 510 0 0 0 34 1 0 0 17 0 8 0 171167461 937742336 11076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6843] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6843/stat : 6843 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171167461 937742336 11076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6836/tid=6844] ppid=6834 vsize=915764 CPUtime=0
/proc/6836/task/6844/stat : 6844 (java) S 6834 6836 6321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171167461 937742336 11076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915764
Child status: 0
Real time (s): 52.888
CPU time (s): 52.384
CPU user time (s): 52.2091
CPU system time (s): 0.174973
CPU usage (%): 99.0471
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.2091
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11438
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= 2197
involuntary context switches= 3534
runsolver used 0.050992 s user time and 0.19297 s system time
The end
Begin job on node7 on Mon Jan 8 03:42:00 UTC 2007
IDJOB= 213975
IDBENCH= 4889
FILE ID= node7/213975-1168227720
PBS_JOBID= 3481119
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-1-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213975-1168227720/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-213975-1168227720 -o ROOT/results/node7/solver-213975-1168227720 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213975-1168227720/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 20e7dfa7b6c99f8c72e1c9812650f013
RANDOM SEED= 925550122
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.220
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.220
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: 1723640 kB
Buffers: 50500 kB
Cached: 155200 kB
SwapCached: 0 kB
Active: 162604 kB
Inactive: 117404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1723640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2252 kB
Writeback: 0 kB
Mapped: 94048 kB
Slab: 36908 kB
Committed_AS: 4967248 kB
PageTables: 2400 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= 66557 MiB
End job on node7 on Mon Jan 8 03:42:53 UTC 2007