0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/231996-1168319259/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.65 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=825 maxDegree=24
0.65 maxArity=2
0.65 => wckTime=0.332 cpuTime=0.24 mem=13M778
0.69
0.69 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.537 cpuTime=0.38 mem=15M172
0.91
0.91 preprocessing
0.91 nbConstraintChecks=56130 nbPropagations=676 nbRevisions=6920 nbUselessRevisions=6073 nbSingletonTests=35
0.91 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.91 => wckTime=0.046 cpuTime=0.03 mem=15M172
0.93
0.93 search
0.93 run=0 nbConstraintChecks=38991 nbPropagations=1130 nbRevisions=14497 nbUselessRevisions=12698 nbAssignments=24
0.93 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.07 cpuTime=0.04 mem=15M172
0.95
0.95 search
0.95 run=1 nbConstraintChecks=96251 nbPropagations=2885 nbRevisions=40848 nbUselessRevisions=35666 nbAssignments=63
0.95 nbFailedAssignments=26 nbBacktracks=25 nbVisitedNodes=111 nbRestartNogoods=4 mapSize=24 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.09 cpuTime=0.06 mem=15M172
0.97
0.97 search
0.97 run=2 nbConstraintChecks=183885 nbPropagations=5670 nbRevisions=84041 nbUselessRevisions=73309
0.97 nbAssignments=125 nbFailedAssignments=49 nbBacktracks=47 nbVisitedNodes=202 nbRestartNogoods=8 mapSize=45
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.113 cpuTime=0.08 mem=15M172
1.00
1.00 search
1.00 run=3 nbConstraintChecks=280825 nbPropagations=9501 nbRevisions=147500 nbUselessRevisions=128636
1.00 nbAssignments=192 nbFailedAssignments=78 nbBacktracks=80 nbVisitedNodes=321 nbRestartNogoods=14 mapSize=75
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.137 cpuTime=0.1 mem=15M172
1.03
1.03 search
1.03 run=4 nbConstraintChecks=416048 nbPropagations=14878 nbRevisions=240607 nbUselessRevisions=209773
1.03 nbAssignments=292 nbFailedAssignments=122 nbBacktracks=130 nbVisitedNodes=503 nbRestartNogoods=18 mapSize=124
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.164 cpuTime=0.12 mem=15M172
1.07
1.07 search
1.07 run=5 nbConstraintChecks=632260 nbPropagations=22704 nbRevisions=381856 nbUselessRevisions=332560
1.07 nbAssignments=455 nbFailedAssignments=204 nbBacktracks=206 nbVisitedNodes=809 nbRestartNogoods=21 mapSize=199
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.21 cpuTime=0.17 mem=15M172
1.13
1.13 search
1.13 run=6 nbConstraintChecks=943555 nbPropagations=33916 nbRevisions=591224 nbUselessRevisions=514553
1.13 nbAssignments=673 nbFailedAssignments=302 nbBacktracks=320 nbVisitedNodes=1211 nbRestartNogoods=26 mapSize=311
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.273 cpuTime=0.22 mem=15M172
1.22
1.22 search
1.22 run=7 nbConstraintChecks=1385037 nbPropagations=50269 nbRevisions=904504 nbUselessRevisions=787181
1.22 nbAssignments=1017 nbFailedAssignments=469 nbBacktracks=491 nbVisitedNodes=1852 nbRestartNogoods=31
1.22 mapSize=481 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.356 cpuTime=0.3 mem=15M172
1.36
1.36 search
1.36 run=8 nbConstraintChecks=2121196 nbPropagations=74554 nbRevisions=1379547 nbUselessRevisions=1200268
1.36 nbAssignments=1533 nbFailedAssignments=723 nbBacktracks=749 nbVisitedNodes=2821 nbRestartNogoods=39
1.36 mapSize=736 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.5 cpuTime=0.43 mem=15M172
1.50
1.50 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=15M172)
1.54
1.54 search
1.54 run=9 nbConstraintChecks=3163173 nbPropagations=110243 nbRevisions=2087771 nbUselessRevisions=1816598
1.54 nbAssignments=2289 nbFailedAssignments=1090 nbBacktracks=1133 nbVisitedNodes=4227 nbRestartNogoods=44
1.54 => wckTime=0.678 cpuTime=0.6 mem=15M172
1.79
1.79 search
1.79 run=10 nbConstraintChecks=4682365 nbPropagations=162692 nbRevisions=3137898 nbUselessRevisions=2730766
1.79 nbAssignments=3411 nbFailedAssignments=1631 nbBacktracks=1709 nbVisitedNodes=6303 nbRestartNogoods=52
1.79 => wckTime=0.925 cpuTime=0.84 mem=15M172
2.14
2.14 search
2.14 run=11 nbConstraintChecks=6948589 nbPropagations=240490 nbRevisions=4707078 nbUselessRevisions=4098553
2.14 nbAssignments=5101 nbFailedAssignments=2451 nbBacktracks=2574 nbVisitedNodes=9434 nbRestartNogoods=62
2.14 => wckTime=1.282 cpuTime=1.19 mem=15M172
2.68
2.68 search
2.68 run=12 nbConstraintChecks=10388421 nbPropagations=356596 nbRevisions=7061684 nbUselessRevisions=6151482
2.68 nbAssignments=7618 nbFailedAssignments=3666 nbBacktracks=3871 nbVisitedNodes=14118 nbRestartNogoods=77
2.68 => wckTime=1.824 cpuTime=1.73 mem=15M172
3.52
3.52 search
3.52 run=13 nbConstraintChecks=15790763 nbPropagations=530969 nbRevisions=10624303 nbUselessRevisions=9256387
3.52 nbAssignments=11452 nbFailedAssignments=5549 nbBacktracks=5817 nbVisitedNodes=21261 nbRestartNogoods=88
3.52 => wckTime=2.658 cpuTime=2.56 mem=15M172
4.76
4.76 search
4.76 run=14 nbConstraintChecks=23807752 nbPropagations=792591 nbRevisions=16005730 nbUselessRevisions=13948414
4.77 nbAssignments=17170 nbFailedAssignments=8343 nbBacktracks=8737 nbVisitedNodes=31932 nbRestartNogoods=96
4.77 => wckTime=3.904 cpuTime=3.8 mem=15M172
6.65
6.65 search
6.65 run=15 nbConstraintChecks=36074016 nbPropagations=1185833 nbRevisions=24124532 nbUselessRevisions=21023376
6.65 nbAssignments=25815 nbFailedAssignments=12604 nbBacktracks=13115 nbVisitedNodes=48036 nbRestartNogoods=108
6.65 => wckTime=5.789 cpuTime=5.67 mem=15M172
9.54
9.54 search
9.54 run=16 nbConstraintChecks=55132923 nbPropagations=1779271 nbRevisions=36427994 nbUselessRevisions=31740027
9.54 nbAssignments=38775 nbFailedAssignments=18979 nbBacktracks=19683 nbVisitedNodes=72210 nbRestartNogoods=122
9.54 => wckTime=8.68 cpuTime=8.55 mem=15M172
13.67
13.67 search
13.67 run=17 nbConstraintChecks=81933425 nbPropagations=2662393 nbRevisions=54746002 nbUselessRevisions=47699401
13.67 nbAssignments=57804 nbFailedAssignments=28150 nbBacktracks=29535 nbVisitedNodes=107558 nbRestartNogoods=136
13.67 => wckTime=12.809 cpuTime=12.65 mem=15M172
20.02
20.02 search
20.02 run=18 nbConstraintChecks=123821979 nbPropagations=3991036 nbRevisions=82421663 nbUselessRevisions=71819240
20.02 nbAssignments=86730 nbFailedAssignments=42294 nbBacktracks=44313 nbVisitedNodes=161494 nbRestartNogoods=140
20.02 => wckTime=19.157 cpuTime=18.98 mem=15M172
29.80
29.80 search
29.80 run=19 nbConstraintChecks=188368100 nbPropagations=5998495 nbRevisions=124399733 nbUselessRevisions=108406699
29.80 nbAssignments=130558 nbFailedAssignments=63947 nbBacktracks=66481 nbVisitedNodes=243328 nbRestartNogoods=154
29.80 => wckTime=28.939 cpuTime=28.71 mem=15M172
43.86
43.86 search
43.86 run=20 nbConstraintChecks=279816277 nbPropagations=8997035 nbRevisions=187072787 nbUselessRevisions=163049943
43.86 nbAssignments=195622 nbFailedAssignments=95741 nbBacktracks=99733 nbVisitedNodes=364550 nbRestartNogoods=162
43.86 => wckTime=43.002 cpuTime=42.71 mem=15M172
51.35
51.35 search
51.35 run=21 nbConstraintChecks=327982640 nbPropagations=12520240 nbRevisions=260619360 nbUselessRevisions=227169863
51.35 nbAssignments=230193 nbFailedAssignments=112467 nbBacktracks=117553 nbVisitedNodes=428933 nbRestartNogoods=183
51.35 => wckTime=50.487 cpuTime=50.15 mem=15M172
51.35
51.35 global
51.35 nbConstraintChecks=328038770 nbPropagations=12520916 nbRevisions=260626280 nbUselessRevisions=227175936
51.35 nbRestartNogoods=183 solvingWckTime=50.489 solvingCpuTime=50.15 expiredTime=no totalExploration=no
51.35 nbFoundSolutions=1 globalCpuTime=50.58
51.35 => wckTime=51.029 cpuTime=50.53 mem=15M172
51.35
51.35 s SATISFIABLE
51.35 v 14 18 16 15 13 1 14 19 18 9 10 19 21 0 19 5 4 10 3 4 17 5 2 2 16
51.35 d NODES 230193
51.35 d CHECKS 328038770
51.35
51.35 totalWckTime=51.111 totalCpuTime=50.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-231996-1168319259 -o ROOT/results/node2/solver-231996-1168319259 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231996-1168319259/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.00 1.97 1.84 4/95 609
/proc/meminfo: memFree=1470688/2055920 swapFree=4191880/4192956
[pid=608] ppid=606 vsize=18540 CPUtime=0
/proc/608/stat : 608 (runsolver) R 606 608 29449 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 180321526 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/608/statm: 4635 279 244 17 0 2626 0
[startup+0.103914 s]
/proc/loadavg: 2.00 1.97 1.84 4/95 609
/proc/meminfo: memFree=1470688/2055920 swapFree=4191880/4192956
[pid=608] ppid=606 vsize=914852 CPUtime=0.08
/proc/608/stat : 608 (java) R 606 608 29449 0 -1 0 2925 0 1 0 7 1 0 0 17 0 8 0 180321526 936808448 2671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10976497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/608/statm: 228713 2671 1398 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852
[startup+0.511989 s]
/proc/loadavg: 2.00 1.97 1.84 4/95 609
/proc/meminfo: memFree=1470688/2055920 swapFree=4191880/4192956
[pid=608] ppid=606 vsize=915328 CPUtime=0.48
/proc/608/stat : 608 (java) R 606 608 29449 0 -1 0 6864 0 1 0 44 4 0 0 18 0 8 0 180321526 937295872 6603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/608/statm: 228832 6603 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33314 s]
/proc/loadavg: 2.00 1.97 1.84 3/102 616
/proc/meminfo: memFree=1446440/2055920 swapFree=4191880/4192956
[pid=608] ppid=606 vsize=915456 CPUtime=1.29
/proc/608/stat : 608 (java) R 606 608 29449 0 -1 0 8766 0 1 0 123 6 0 0 24 0 8 0 180321526 937426944 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/608/statm: 228864 8504 2524 14 0 215334 0
[pid=608/tid=610] ppid=606 vsize=915456 CPUtime=0.03
/proc/608/task/610/stat : 610 (java) S 606 608 29449 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 180321530 937426944 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=611] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/611/stat : 611 (java) S 606 608 29449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180321530 937426944 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=612] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/612/stat : 612 (java) S 606 608 29449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180321530 937426944 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=613] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/613/stat : 613 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180321534 937426944 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=614] ppid=606 vsize=915456 CPUtime=0.21
/proc/608/task/614/stat : 614 (java) S 606 608 29449 0 -1 64 376 0 0 0 20 1 0 0 15 0 8 0 180321534 937426944 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=615] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/615/stat : 615 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180321534 937426944 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=616] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/616/stat : 616 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180321534 937426944 8504 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) 915456
[startup+2.98244 s]
/proc/loadavg: 2.00 1.97 1.84 3/102 616
/proc/meminfo: memFree=1446312/2055920 swapFree=4191880/4192956
[pid=608] ppid=606 vsize=915456 CPUtime=2.94
/proc/608/stat : 608 (java) R 606 608 29449 0 -1 0 8782 0 1 0 287 7 0 0 25 0 8 0 180321526 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/608/statm: 228864 8519 2524 14 0 215334 0
[pid=608/tid=610] ppid=606 vsize=915456 CPUtime=0.03
/proc/608/task/610/stat : 610 (java) S 606 608 29449 0 -1 64 321 0 0 0 3 0 0 0 17 0 8 0 180321530 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=611] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/611/stat : 611 (java) S 606 608 29449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180321530 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=612] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/612/stat : 612 (java) S 606 608 29449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180321530 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=613] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/613/stat : 613 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=614] ppid=606 vsize=915456 CPUtime=0.24
/proc/608/task/614/stat : 614 (java) S 606 608 29449 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=615] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/615/stat : 615 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=616] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/616/stat : 616 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.27204 s]
/proc/loadavg: 2.00 1.97 1.84 4/102 616
/proc/meminfo: memFree=1446248/2055920 swapFree=4191880/4192956
[pid=608] ppid=606 vsize=915456 CPUtime=6.21
/proc/608/stat : 608 (java) R 606 608 29449 0 -1 0 8783 0 1 0 614 7 0 0 25 0 8 0 180321526 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/608/statm: 228864 8519 2524 14 0 215334 0
[pid=608/tid=610] ppid=606 vsize=915456 CPUtime=0.03
/proc/608/task/610/stat : 610 (java) S 606 608 29449 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 180321530 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=611] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/611/stat : 611 (java) S 606 608 29449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180321530 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=612] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/612/stat : 612 (java) S 606 608 29449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180321530 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=613] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/613/stat : 613 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=614] ppid=606 vsize=915456 CPUtime=0.24
/proc/608/task/614/stat : 614 (java) S 606 608 29449 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=615] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/615/stat : 615 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=616] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/616/stat : 616 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456
[startup+12.7522 s]
/proc/loadavg: 2.00 1.97 1.84 3/102 616
/proc/meminfo: memFree=1446248/2055920 swapFree=4191880/4192956
[pid=608] ppid=606 vsize=915456 CPUtime=12.66
/proc/608/stat : 608 (java) R 606 608 29449 0 -1 0 8784 0 1 0 1259 7 0 0 25 0 8 0 180321526 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/608/statm: 228864 8519 2524 14 0 215334 0
[pid=608/tid=610] ppid=606 vsize=915456 CPUtime=0.03
/proc/608/task/610/stat : 610 (java) S 606 608 29449 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 180321530 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=611] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/611/stat : 611 (java) S 606 608 29449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180321530 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=612] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/612/stat : 612 (java) S 606 608 29449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180321530 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=613] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/613/stat : 613 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=614] ppid=606 vsize=915456 CPUtime=0.24
/proc/608/task/614/stat : 614 (java) S 606 608 29449 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=615] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/615/stat : 615 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=616] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/616/stat : 616 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180321534 937426944 8519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456
[startup+25.6096 s]
/proc/loadavg: 2.00 1.97 1.84 3/102 616
/proc/meminfo: memFree=1446312/2055920 swapFree=4191880/4192956
[pid=608] ppid=606 vsize=915456 CPUtime=25.45
/proc/608/stat : 608 (java) R 606 608 29449 0 -1 0 8788 0 1 0 2538 7 0 0 25 0 8 0 180321526 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/608/statm: 228864 8523 2524 14 0 215334 0
[pid=608/tid=610] ppid=606 vsize=915456 CPUtime=0.03
/proc/608/task/610/stat : 610 (java) S 606 608 29449 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 180321530 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=611] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/611/stat : 611 (java) S 606 608 29449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180321530 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=612] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/612/stat : 612 (java) S 606 608 29449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180321530 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=613] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/613/stat : 613 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180321534 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=614] ppid=606 vsize=915456 CPUtime=0.24
/proc/608/task/614/stat : 614 (java) S 606 608 29449 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 180321534 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=615] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/615/stat : 615 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180321534 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=616] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/616/stat : 616 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180321534 937426944 8523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915456
[startup+51.2203 s]
/proc/loadavg: 2.00 1.97 1.84 3/102 616
/proc/meminfo: memFree=1446376/2055920 swapFree=4191880/4192956
[pid=608] ppid=606 vsize=915456 CPUtime=50.95
/proc/608/stat : 608 (java) R 606 608 29449 0 -1 0 8792 0 1 0 5087 8 0 0 25 0 8 0 180321526 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/608/statm: 228864 8527 2524 14 0 215334 0
[pid=608/tid=610] ppid=606 vsize=915456 CPUtime=0.03
/proc/608/task/610/stat : 610 (java) S 606 608 29449 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 180321530 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=611] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/611/stat : 611 (java) S 606 608 29449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180321530 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=612] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/612/stat : 612 (java) S 606 608 29449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180321530 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=613] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/613/stat : 613 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180321534 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=614] ppid=606 vsize=915456 CPUtime=0.24
/proc/608/task/614/stat : 614 (java) S 606 608 29449 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 180321534 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=615] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/615/stat : 615 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180321534 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=608/tid=616] ppid=606 vsize=915456 CPUtime=0
/proc/608/task/616/stat : 616 (java) S 606 608 29449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180321534 937426944 8527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 51.3893
CPU time (s): 51.0942
CPU user time (s): 51.0082
CPU system time (s): 0.085986
CPU usage (%): 99.4258
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.0082
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8885
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= 2149
involuntary context switches= 4863
runsolver used 0.078987 s user time and 0.162975 s system time
The end
Begin job on node2 on Tue Jan 9 05:07:39 UTC 2007
IDJOB= 231996
IDBENCH= 6495
FILE ID= node2/231996-1168319259
PBS_JOBID= 3502563
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-53021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231996-1168319259/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-231996-1168319259 -o ROOT/results/node2/solver-231996-1168319259 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231996-1168319259/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ccbc5fe274413461137b9457c39e5a3f
RANDOM SEED= 973436726
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1471168 kB
Buffers: 71988 kB
Cached: 268400 kB
SwapCached: 292 kB
Active: 406064 kB
Inactive: 126276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1471168 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1944 kB
Writeback: 0 kB
Mapped: 219108 kB
Slab: 36732 kB
Committed_AS: 5547732 kB
PageTables: 2744 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= 66531 MiB
End job on node2 on Tue Jan 9 05:08:30 UTC 2007