0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/229104-1168303611/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.40 => wckTime=0.101 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1304 maxDegree=18
0.57 maxArity=2
0.57 => wckTime=0.274 cpuTime=0.19 mem=11M893
0.61
0.61 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.468 cpuTime=0.32 mem=14M827
0.81
0.81 preprocessing
0.81 nbConstraintChecks=55185 nbPropagations=806 nbRevisions=6075 nbUselessRevisions=4940 nbSingletonTests=52
0.81 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.81 => wckTime=0.046 cpuTime=0.02 mem=14M827
0.83
0.83 search
0.83 run=0 nbConstraintChecks=24195 nbPropagations=1233 nbRevisions=10202 nbUselessRevisions=8133 nbAssignments=23
0.83 nbFailedAssignments=5 nbBacktracks=14 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.066 cpuTime=0.04 mem=14M827
0.85
0.85 search
0.85 run=1 nbConstraintChecks=57875 nbPropagations=3005 nbRevisions=26039 nbUselessRevisions=20703 nbAssignments=56
0.85 nbFailedAssignments=15 nbBacktracks=33 nbVisitedNodes=90 nbRestartNogoods=2 mapSize=26 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.085 cpuTime=0.05 mem=14M827
0.86
0.86 search
0.86 run=2 nbConstraintChecks=103967 nbPropagations=5567 nbRevisions=50035 nbUselessRevisions=39648
0.86 nbAssignments=100 nbFailedAssignments=29 nbBacktracks=56 nbVisitedNodes=162 nbRestartNogoods=3 mapSize=44
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.099 cpuTime=0.06 mem=14M827
0.88
0.88 search
0.88 run=3 nbConstraintChecks=163164 nbPropagations=9117 nbRevisions=83865 nbUselessRevisions=66094
0.88 nbAssignments=155 nbFailedAssignments=46 nbBacktracks=90 nbVisitedNodes=251 nbRestartNogoods=8 mapSize=68
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.112 cpuTime=0.07 mem=14M827
0.90
0.90 search
0.90 run=4 nbConstraintChecks=279693 nbPropagations=14642 nbRevisions=139852 nbUselessRevisions=109740
0.90 nbAssignments=257 nbFailedAssignments=92 nbBacktracks=142 nbVisitedNodes=435 nbRestartNogoods=13 mapSize=115
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.137 cpuTime=0.1 mem=14M827
0.93
0.93 search
0.93 run=5 nbConstraintChecks=412198 nbPropagations=22434 nbRevisions=219446 nbUselessRevisions=171277
0.93 nbAssignments=378 nbFailedAssignments=135 nbBacktracks=218 nbVisitedNodes=641 nbRestartNogoods=15 mapSize=175
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.167 cpuTime=0.13 mem=14M827
0.97
0.98 search
0.98 run=6 nbConstraintChecks=644936 nbPropagations=34013 nbRevisions=340890 nbUselessRevisions=265019
0.98 nbAssignments=577 nbFailedAssignments=217 nbBacktracks=332 nbVisitedNodes=991 nbRestartNogoods=16 mapSize=275
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.21 cpuTime=0.17 mem=14M827
1.03
1.03 search
1.03 run=7 nbConstraintChecks=955402 nbPropagations=50920 nbRevisions=520098 nbUselessRevisions=403218
1.03 nbAssignments=870 nbFailedAssignments=333 nbBacktracks=503 nbVisitedNodes=1494 nbRestartNogoods=19 mapSize=415
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.268 cpuTime=0.23 mem=14M827
1.13
1.13 search
1.13 run=8 nbConstraintChecks=1468353 nbPropagations=76096 nbRevisions=788233 nbUselessRevisions=608798
1.13 nbAssignments=1315 nbFailedAssignments=517 nbBacktracks=759 nbVisitedNodes=2266 nbRestartNogoods=26
1.13 mapSize=636 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.362 cpuTime=0.32 mem=14M827
1.28
1.28 search
1.28 run=9 nbConstraintChecks=2281709 nbPropagations=114820 nbRevisions=1209357 nbUselessRevisions=932349
1.28 nbAssignments=2028 nbFailedAssignments=840 nbBacktracks=1143 nbVisitedNodes=3531 nbRestartNogoods=34
1.28 mapSize=982 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.518 cpuTime=0.45 mem=14M827
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=14M827)
1.47
1.47 search
1.47 run=10 nbConstraintChecks=3381357 nbPropagations=171736 nbRevisions=1826817 nbUselessRevisions=1405183
1.47 nbAssignments=2980 nbFailedAssignments=1210 nbBacktracks=1720 nbVisitedNodes=5198 nbRestartNogoods=37
1.47 => wckTime=0.7 cpuTime=0.62 mem=14M827
1.72
1.72 search
1.72 run=11 nbConstraintChecks=5096376 nbPropagations=256358 nbRevisions=2744565 nbUselessRevisions=2104031
1.72 nbAssignments=4445 nbFailedAssignments=1806 nbBacktracks=2584 nbVisitedNodes=7760 nbRestartNogoods=45
1.72 => wckTime=0.958 cpuTime=0.88 mem=14M827
2.12
2.12 search
2.12 run=12 nbConstraintChecks=7781971 nbPropagations=385281 nbRevisions=4151288 nbUselessRevisions=3176961
2.12 nbAssignments=6668 nbFailedAssignments=2726 nbBacktracks=3883 nbVisitedNodes=11725 nbRestartNogoods=54
2.12 => wckTime=1.353 cpuTime=1.27 mem=14M827
2.68
2.68 search
2.68 run=13 nbConstraintChecks=11555301 nbPropagations=577582 nbRevisions=6246171 nbUselessRevisions=4776820
2.68 nbAssignments=9958 nbFailedAssignments=4064 nbBacktracks=5830 nbVisitedNodes=17490 nbRestartNogoods=59
2.68 => wckTime=1.916 cpuTime=1.83 mem=14M827
3.53
3.53 search
3.53 run=14 nbConstraintChecks=17268520 nbPropagations=864458 nbRevisions=9375594 nbUselessRevisions=7166542
3.53 nbAssignments=14896 nbFailedAssignments=6075 nbBacktracks=8749 nbVisitedNodes=26144 nbRestartNogoods=66
3.53 => wckTime=2.765 cpuTime=2.67 mem=14M827
4.80
4.80 search
4.80 run=15 nbConstraintChecks=25963251 nbPropagations=1293309 nbRevisions=14066211 nbUselessRevisions=10747774
4.80 nbAssignments=22344 nbFailedAssignments=9138 nbBacktracks=13130 nbVisitedNodes=39285 nbRestartNogoods=81
4.80 => wckTime=4.038 cpuTime=3.94 mem=14M827
6.68
6.68 search
6.68 run=16 nbConstraintChecks=38803890 nbPropagations=1933004 nbRevisions=21047637 nbUselessRevisions=16075179
6.68 nbAssignments=33348 nbFailedAssignments=13569 nbBacktracks=19698 nbVisitedNodes=58580 nbRestartNogoods=93
6.68 => wckTime=5.919 cpuTime=5.81 mem=14M827
9.63
9.63 search
9.63 run=17 nbConstraintChecks=58987311 nbPropagations=2898835 nbRevisions=31681362 nbUselessRevisions=24204609
9.63 nbAssignments=50177 nbFailedAssignments=20544 nbBacktracks=29550 nbVisitedNodes=88354 nbRestartNogoods=101
9.63 => wckTime=8.863 cpuTime=8.74 mem=14M827
13.02
13.02 search
13.02 run=18 nbConstraintChecks=82206852 nbPropagations=4238801 nbRevisions=46510692 nbUselessRevisions=35552030
13.02 nbAssignments=69222 nbFailedAssignments=28732 nbBacktracks=40408 nbVisitedNodes=122189 nbRestartNogoods=103
13.02 => wckTime=12.259 cpuTime=12.12 mem=14M827
13.03
13.03 global
13.03 nbConstraintChecks=82262037 nbPropagations=4239607 nbRevisions=46516767 nbUselessRevisions=35556970
13.03 nbRestartNogoods=103 solvingWckTime=12.26 solvingCpuTime=12.12 expiredTime=no totalExploration=yes
13.03 nbFoundSolutions=0 globalCpuTime=12.5
13.03 => wckTime=12.731 cpuTime=12.45 mem=14M827
13.03
13.03 s UNSATISFIABLE
13.03 d NODES 69222
13.03 d CHECKS 82262037
13.03
13.03 totalWckTime=12.807 totalCpuTime=12.5
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-229104-1168303611 -o ROOT/results/node4/solver-229104-1168303611 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229104-1168303611/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: 0.86 0.97 1.07 5/87 6479
/proc/meminfo: memFree=1320344/2055920 swapFree=4182144/4192956
[pid=6478] ppid=6471 vsize=1452 CPUtime=0
/proc/6478/stat : 6478 (java) R 6471 6478 6328 0 -1 0 90 0 0 0 0 0 0 0 19 0 1 0 178756664 1486848 62 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4160632085 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 363 69 52 14 0 8 0
[startup+0.108688 s]
/proc/loadavg: 0.86 0.97 1.07 5/87 6479
/proc/meminfo: memFree=1320344/2055920 swapFree=4182144/4192956
[pid=6478] ppid=6471 vsize=914988 CPUtime=0.08
/proc/6478/stat : 6478 (java) R 6471 6478 6328 0 -1 0 3073 0 1 0 7 1 0 0 25 0 8 0 178756664 936947712 2819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6478/statm: 228747 2819 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.520727 s]
/proc/loadavg: 0.86 0.97 1.07 5/87 6479
/proc/meminfo: memFree=1320344/2055920 swapFree=4182144/4192956
[pid=6478] ppid=6471 vsize=915328 CPUtime=0.49
/proc/6478/stat : 6478 (java) R 6471 6478 6328 0 -1 0 6918 0 1 0 45 4 0 0 25 0 8 0 178756664 937295872 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6478/statm: 228832 6657 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34881 s]
/proc/loadavg: 0.95 0.98 1.07 3/101 6493
/proc/meminfo: memFree=1288232/2055920 swapFree=4182144/4192956
[pid=6478] ppid=6471 vsize=915452 CPUtime=1.31
/proc/6478/stat : 6478 (java) R 6471 6478 6328 0 -1 0 8696 0 1 0 125 6 0 0 25 0 8 0 178756664 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6478/statm: 228863 8434 2524 14 0 215333 0
[pid=6478/tid=6483] ppid=6471 vsize=915452 CPUtime=0.03
/proc/6478/task/6483/stat : 6483 (java) S 6471 6478 6328 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178756668 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6484] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6484/stat : 6484 (java) S 6471 6478 6328 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178756669 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6485] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6485/stat : 6485 (java) S 6471 6478 6328 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178756669 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6490] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6490/stat : 6490 (java) S 6471 6478 6328 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 178756672 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6491] ppid=6471 vsize=915452 CPUtime=0.22
/proc/6478/task/6491/stat : 6491 (java) S 6471 6478 6328 0 -1 64 385 0 0 0 21 1 0 0 15 0 8 0 178756672 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6492] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6492/stat : 6492 (java) S 6471 6478 6328 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 178756672 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6493] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6493/stat : 6493 (java) S 6471 6478 6328 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178756672 937422848 8434 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) 915452
[startup+2.98595 s]
/proc/loadavg: 0.95 0.98 1.07 3/101 6493
/proc/meminfo: memFree=1287976/2055920 swapFree=4182144/4192956
[pid=6478] ppid=6471 vsize=915452 CPUtime=2.94
/proc/6478/stat : 6478 (java) R 6471 6478 6328 0 -1 0 8712 0 1 0 288 6 0 0 25 0 8 0 178756664 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6478/statm: 228863 8449 2524 14 0 215333 0
[pid=6478/tid=6483] ppid=6471 vsize=915452 CPUtime=0.03
/proc/6478/task/6483/stat : 6483 (java) S 6471 6478 6328 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178756668 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6484] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6484/stat : 6484 (java) S 6471 6478 6328 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178756669 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6485] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6485/stat : 6485 (java) S 6471 6478 6328 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178756669 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6490] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6490/stat : 6490 (java) S 6471 6478 6328 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 178756672 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6491] ppid=6471 vsize=915452 CPUtime=0.23
/proc/6478/task/6491/stat : 6491 (java) S 6471 6478 6328 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 178756672 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6492] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6492/stat : 6492 (java) S 6471 6478 6328 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 178756672 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6493] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6493/stat : 6493 (java) S 6471 6478 6328 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178756672 937422848 8449 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) 915452
[startup+6.26527 s]
/proc/loadavg: 1.03 1.00 1.08 3/101 6493
/proc/meminfo: memFree=1287920/2055920 swapFree=4182144/4192956
[pid=6478] ppid=6471 vsize=915452 CPUtime=6.21
/proc/6478/stat : 6478 (java) R 6471 6478 6328 0 -1 0 8718 0 1 0 615 6 0 0 25 0 8 0 178756664 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6478/statm: 228863 8454 2524 14 0 215333 0
[pid=6478/tid=6483] ppid=6471 vsize=915452 CPUtime=0.03
/proc/6478/task/6483/stat : 6483 (java) S 6471 6478 6328 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178756668 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6484] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6484/stat : 6484 (java) S 6471 6478 6328 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178756669 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6485] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6485/stat : 6485 (java) S 6471 6478 6328 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178756669 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6490] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6490/stat : 6490 (java) S 6471 6478 6328 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 178756672 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6491] ppid=6471 vsize=915452 CPUtime=0.23
/proc/6478/task/6491/stat : 6491 (java) S 6471 6478 6328 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 178756672 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6492] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6492/stat : 6492 (java) S 6471 6478 6328 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 178756672 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6493] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6493/stat : 6493 (java) S 6471 6478 6328 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178756672 937422848 8454 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) 915452
[startup+12.7499 s]
/proc/loadavg: 1.11 1.02 1.08 3/101 6493
/proc/meminfo: memFree=1287920/2055920 swapFree=4182144/4192956
[pid=6478] ppid=6471 vsize=915452 CPUtime=12.66
/proc/6478/stat : 6478 (java) R 6471 6478 6328 0 -1 0 8723 0 1 0 1260 6 0 0 25 0 8 0 178756664 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6478/statm: 228863 8459 2524 14 0 215333 0
[pid=6478/tid=6483] ppid=6471 vsize=915452 CPUtime=0.03
/proc/6478/task/6483/stat : 6483 (java) S 6471 6478 6328 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178756668 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6484] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6484/stat : 6484 (java) S 6471 6478 6328 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178756669 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6485] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6485/stat : 6485 (java) S 6471 6478 6328 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178756669 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6490] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6490/stat : 6490 (java) S 6471 6478 6328 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 178756672 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6491] ppid=6471 vsize=915452 CPUtime=0.23
/proc/6478/task/6491/stat : 6491 (java) S 6471 6478 6328 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 178756672 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6492] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6492/stat : 6492 (java) S 6471 6478 6328 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 178756672 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6478/tid=6493] ppid=6471 vsize=915452 CPUtime=0
/proc/6478/task/6493/stat : 6493 (java) S 6471 6478 6328 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178756672 937422848 8459 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) 915452
Child status: 0
Real time (s): 13.0642
CPU time (s): 12.962
CPU user time (s): 12.89
CPU system time (s): 0.071989
CPU usage (%): 99.2176
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.89
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8815
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= 1373
involuntary context switches= 1807
runsolver used 0.022996 s user time and 0.041993 s system time
The end
Begin job on node4 on Tue Jan 9 00:46:51 UTC 2007
IDJOB= 229104
IDBENCH= 6278
FILE ID= node4/229104-1168303611
PBS_JOBID= 3502249
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229104-1168303611/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-229104-1168303611 -o ROOT/results/node4/solver-229104-1168303611 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229104-1168303611/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2304a437f976a87177b662aafeab0674
RANDOM SEED= 177991281
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.223
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.223
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: 1321752 kB
Buffers: 96000 kB
Cached: 534052 kB
SwapCached: 2552 kB
Active: 387516 kB
Inactive: 284512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1321752 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 2592 kB
Writeback: 0 kB
Mapped: 51480 kB
Slab: 47028 kB
Committed_AS: 5211204 kB
PageTables: 2292 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= 66314 MiB
End job on node4 on Tue Jan 9 00:47:04 UTC 2007