0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/208587-1168188740/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.68
0.68 constraints being loaded...
0.83 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.83 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.83 => wckTime=0.521 cpuTime=0.47 mem=41M605
0.91
0.91 solver IterativeSystematicSolver being built...
1.08 => wckTime=0.767 cpuTime=0.61 mem=21M21
1.17
1.17 preprocessing
1.17 nbConstraintChecks=23268 nbValidityChecks=37207 nbPropagations=201 nbRevisions=1990 nbUselessRevisions=1673
1.17 nbSingletonTests=29 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.17 => wckTime=0.088 cpuTime=0.05 mem=21M21
1.22
1.22 search
1.22 run=0 nbConstraintChecks=22642 nbValidityChecks=42064 nbPropagations=466 nbRevisions=4809
1.22 nbUselessRevisions=3918 nbAssignments=25 nbFailedAssignments=11 nbBacktracks=11 nbVisitedNodes=45
1.22 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.136 cpuTime=0.09 mem=22M5
1.27
1.27 search
1.27 run=1 nbConstraintChecks=61207 nbValidityChecks=111324 nbPropagations=1321 nbRevisions=14005
1.27 nbUselessRevisions=11293 nbAssignments=62 nbFailedAssignments=27 nbBacktracks=26 nbVisitedNodes=107
1.27 nbRestartNogoods=1 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.192 cpuTime=0.14 mem=22M5
1.40
1.40 search
1.40 run=2 nbConstraintChecks=150519 nbValidityChecks=278125 nbPropagations=3011 nbRevisions=34024
1.40 nbUselessRevisions=27132 nbAssignments=149 nbFailedAssignments=88 nbBacktracks=48 nbVisitedNodes=275
1.40 nbRestartNogoods=5 mapSize=42 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.315 cpuTime=0.26 mem=22M5
1.53
1.53 search
1.53 run=3 nbConstraintChecks=244921 nbValidityChecks=465266 nbPropagations=5852 nbRevisions=67175
1.53 nbUselessRevisions=53244 nbAssignments=260 nbFailedAssignments=149 nbBacktracks=81 nbVisitedNodes=457
1.53 nbRestartNogoods=10 mapSize=72 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.446 cpuTime=0.38 mem=22M5
1.69
1.69 search
1.69 run=4 nbConstraintChecks=366291 nbValidityChecks=699111 nbPropagations=10410 nbRevisions=118898
1.69 nbUselessRevisions=93703 nbAssignments=397 nbFailedAssignments=231 nbBacktracks=131 nbVisitedNodes=710
1.69 nbRestartNogoods=15 mapSize=120 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.604 cpuTime=0.53 mem=22M5
1.88
1.88 search
1.88 run=5 nbConstraintChecks=511518 nbValidityChecks=988752 nbPropagations=17201 nbRevisions=194071
1.88 nbUselessRevisions=152484 nbAssignments=575 nbFailedAssignments=322 nbBacktracks=207 nbVisitedNodes=1021
1.88 nbRestartNogoods=24 mapSize=187 nbInferences=0 nbTooLargeKeys=0
1.88 => wckTime=0.795 cpuTime=0.72 mem=22M5
2.16
2.16 search
2.16 run=6 nbConstraintChecks=750381 nbValidityChecks=1427331 nbPropagations=26347 nbRevisions=296448
2.16 nbUselessRevisions=232589 nbAssignments=810 nbFailedAssignments=439 nbBacktracks=320 nbVisitedNodes=1434
2.16 nbRestartNogoods=31 mapSize=277 nbInferences=0 nbTooLargeKeys=0
2.16 => wckTime=1.078 cpuTime=1.0 mem=22M5
2.75
2.75 search
2.75 run=7 nbConstraintChecks=1220179 nbValidityChecks=2359205 nbPropagations=41229 nbRevisions=465149
2.75 nbUselessRevisions=364111 nbAssignments=1323 nbFailedAssignments=779 nbBacktracks=490 nbVisitedNodes=2407
2.75 nbRestartNogoods=33 mapSize=432 nbInferences=0 nbTooLargeKeys=0
2.75 => wckTime=1.664 cpuTime=1.57 mem=22M5
3.31
3.31 search
3.31 run=8 nbConstraintChecks=1688067 nbValidityChecks=3241134 nbPropagations=61608 nbRevisions=693515
3.31 nbUselessRevisions=541644 nbAssignments=1881 nbFailedAssignments=1076 nbBacktracks=747 nbVisitedNodes=3414
3.31 nbRestartNogoods=48 mapSize=637 nbInferences=0 nbTooLargeKeys=0
3.31 => wckTime=2.231 cpuTime=2.12 mem=22M5
4.10
4.10 search
4.10 run=9 nbConstraintChecks=2353744 nbValidityChecks=4515117 nbPropagations=90060 nbRevisions=1010014
4.10 nbUselessRevisions=787906 nbAssignments=2603 nbFailedAssignments=1391 nbBacktracks=1133 nbVisitedNodes=4655
4.10 nbRestartNogoods=54 mapSize=970 nbInferences=0 nbTooLargeKeys=0
4.10 => wckTime=3.02 cpuTime=2.89 mem=22M5
4.30
4.30 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=22M5)
6.12
6.12 search
6.12 run=10 nbConstraintChecks=4027003 nbValidityChecks=7814453 nbPropagations=141372 nbRevisions=1570347
6.12 nbUselessRevisions=1220971 nbAssignments=4312 nbFailedAssignments=2513 nbBacktracks=1712 nbVisitedNodes=7916
6.12 nbRestartNogoods=69
6.12 => wckTime=5.034 cpuTime=4.87 mem=22M5
8.12
8.12 search
8.12 run=11 nbConstraintChecks=5761782 nbValidityChecks=11187027 nbPropagations=214090 nbRevisions=2366190
8.12 nbUselessRevisions=1835670 nbAssignments=6349 nbFailedAssignments=3681 nbBacktracks=2577 nbVisitedNodes=11661
8.12 nbRestartNogoods=73
8.12 => wckTime=7.041 cpuTime=6.86 mem=22M5
11.37
11.37 search
11.37 run=12 nbConstraintChecks=8675406 nbValidityChecks=16596487 nbPropagations=317034 nbRevisions=3504344
11.37 nbUselessRevisions=2719463 nbAssignments=9246 nbFailedAssignments=5262 nbBacktracks=3877 nbVisitedNodes=16971
11.37 nbRestartNogoods=89
11.37 => wckTime=10.285 cpuTime=10.07 mem=22M5
15.58
15.58 search
15.58 run=13 nbConstraintChecks=12383927 nbValidityChecks=23637963 nbPropagations=466277 nbRevisions=5145497
15.58 nbUselessRevisions=3995853 nbAssignments=13222 nbFailedAssignments=7289 nbBacktracks=5823 nbVisitedNodes=24125
15.58 nbRestartNogoods=99
15.58 => wckTime=14.496 cpuTime=14.25 mem=22M5
23.16
23.16 search
23.16 run=14 nbConstraintChecks=19083489 nbValidityChecks=36323817 nbPropagations=690279 nbRevisions=7621492
23.16 nbUselessRevisions=5922788 nbAssignments=19638 nbFailedAssignments=10768 nbBacktracks=8742 nbVisitedNodes=35867
23.16 nbRestartNogoods=127
23.16 => wckTime=22.075 cpuTime=21.76 mem=22M5
37.30
37.30 search
37.30 run=15 nbConstraintChecks=31490022 nbValidityChecks=59827085 nbPropagations=1057066 nbRevisions=11726148
37.30 nbUselessRevisions=9113726 nbAssignments=31382 nbFailedAssignments=18122 nbBacktracks=13120
37.30 nbVisitedNodes=58382 nbRestartNogoods=143
37.30 => wckTime=36.213 cpuTime=35.77 mem=22M5
53.73
53.73 search
53.73 run=16 nbConstraintChecks=45893872 nbValidityChecks=87699017 nbPropagations=1610026 nbRevisions=17852332
53.73 nbUselessRevisions=13862047 nbAssignments=47129 nbFailedAssignments=27297 nbBacktracks=19688
53.73 nbVisitedNodes=87628 nbRestartNogoods=162
53.73 => wckTime=52.65 cpuTime=52.05 mem=22M5
81.84
81.84 search
81.84 run=17 nbConstraintChecks=70481137 nbValidityChecks=135014258 nbPropagations=2477859 nbRevisions=27414218
81.84 nbUselessRevisions=21269485 nbAssignments=72025 nbFailedAssignments=42338 nbBacktracks=29541
81.84 nbVisitedNodes=134539 nbRestartNogoods=177
81.84 => wckTime=80.762 cpuTime=79.9 mem=22M5
96.70
96.70 search
96.70 run=18 nbConstraintChecks=83358725 nbValidityChecks=159703147 nbPropagations=3504306 nbRevisions=38713548
96.70 nbUselessRevisions=30021835 nbAssignments=84284 nbFailedAssignments=49550 nbBacktracks=34568
96.70 nbVisitedNodes=157534 nbRestartNogoods=193
96.70 => wckTime=95.615 cpuTime=94.62 mem=22M5
96.70
96.70 global
96.70 nbConstraintChecks=83381993 nbValidityChecks=159740354 nbPropagations=3504507 nbRevisions=38715538
96.70 nbUselessRevisions=30023508 nbRestartNogoods=193 solvingWckTime=95.617 solvingCpuTime=94.62 expiredTime=no
96.70 totalExploration=no nbFoundSolutions=1 globalCpuTime=95.27
96.70 => wckTime=96.387 cpuTime=95.23 mem=22M5
96.70
96.70 s SATISFIABLE
96.70 v 3 4 1 1 9 11 15 2 7 15 14 10 18 13 7 18 19 1 15 2
96.70 d NODES 84284
96.70 d CHECKS 83381993
96.70
96.70 totalWckTime=96.469 totalCpuTime=95.27
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-208587-1168188740 -o ROOT/results/node21/solver-208587-1168188740 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208587-1168188740/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.01 2.01 1.94 4/88 19693
/proc/meminfo: memFree=1558544/2055920 swapFree=4156304/4192956
[pid=19692] ppid=19690 vsize=9948 CPUtime=0
/proc/19692/stat : 19692 (java) S 19690 19692 18737 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 167268587 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/19692/statm: 2955 510 421 14 0 1602 0
[startup+0.103584 s]
/proc/loadavg: 2.01 2.01 1.94 4/88 19693
/proc/meminfo: memFree=1558544/2055920 swapFree=4156304/4192956
[pid=19692] ppid=19690 vsize=914988 CPUtime=0.09
/proc/19692/stat : 19692 (java) R 19690 19692 18737 0 -1 0 2994 0 1 0 7 2 0 0 17 0 8 0 167268587 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19692/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511662 s]
/proc/loadavg: 2.01 2.01 1.94 4/88 19693
/proc/meminfo: memFree=1558544/2055920 swapFree=4156304/4192956
[pid=19692] ppid=19690 vsize=915328 CPUtime=0.49
/proc/19692/stat : 19692 (java) R 19690 19692 18737 0 -1 0 7528 0 1 0 45 4 0 0 18 0 8 0 167268587 937295872 7267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073581102 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19692/statm: 228832 7267 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33281 s]
/proc/loadavg: 2.00 2.01 1.94 4/95 19700
/proc/meminfo: memFree=1502232/2055920 swapFree=4156304/4192956
[pid=19692] ppid=19690 vsize=915460 CPUtime=1.3
/proc/19692/stat : 19692 (java) R 19690 19692 18737 0 -1 0 16804 0 1 0 121 9 0 0 24 0 8 0 167268587 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19692/statm: 228865 16542 2527 14 0 215335 0
[pid=19692/tid=19694] ppid=19690 vsize=915460 CPUtime=0.06
/proc/19692/task/19694/stat : 19694 (java) S 19690 19692 18737 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 167268591 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19695] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19695/stat : 19695 (java) S 19690 19692 18737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19696] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19696/stat : 19696 (java) S 19690 19692 18737 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19697] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19697/stat : 19697 (java) S 19690 19692 18737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167268595 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19698] ppid=19690 vsize=915460 CPUtime=0.17
/proc/19692/task/19698/stat : 19698 (java) S 19690 19692 18737 0 -1 64 356 0 0 0 17 0 0 0 15 0 8 0 167268595 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19699] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19699/stat : 19699 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167268595 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19700] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19700/stat : 19700 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167268595 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97913 s]
/proc/loadavg: 2.00 2.01 1.94 3/95 19700
/proc/meminfo: memFree=1502104/2055920 swapFree=4156304/4192956
[pid=19692] ppid=19690 vsize=915460 CPUtime=2.93
/proc/19692/stat : 19692 (java) R 19690 19692 18737 0 -1 0 16821 0 1 0 284 9 0 0 25 0 8 0 167268587 937431040 16557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722821 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19692/statm: 228865 16557 2527 14 0 215335 0
[pid=19692/tid=19694] ppid=19690 vsize=915460 CPUtime=0.06
/proc/19692/task/19694/stat : 19694 (java) S 19690 19692 18737 0 -1 64 1744 0 0 0 6 0 0 0 17 0 8 0 167268591 937431040 16557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19695] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19695/stat : 19695 (java) S 19690 19692 18737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19696] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19696/stat : 19696 (java) S 19690 19692 18737 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19697] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19697/stat : 19697 (java) S 19690 19692 18737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167268595 937431040 16557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19698] ppid=19690 vsize=915460 CPUtime=0.2
/proc/19692/task/19698/stat : 19698 (java) S 19690 19692 18737 0 -1 64 372 0 0 0 20 0 0 0 15 0 8 0 167268595 937431040 16557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19699] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19699/stat : 19699 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167268595 937431040 16557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19700] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19700/stat : 19700 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167268595 937431040 16557 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+6.27375 s]
/proc/loadavg: 2.00 2.01 1.94 3/95 19700
/proc/meminfo: memFree=1501912/2055920 swapFree=4156304/4192956
[pid=19692] ppid=19690 vsize=915460 CPUtime=6.19
/proc/19692/stat : 19692 (java) R 19690 19692 18737 0 -1 0 16834 0 1 0 610 9 0 0 25 0 8 0 167268587 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19692/statm: 228865 16568 2527 14 0 215335 0
[pid=19692/tid=19694] ppid=19690 vsize=915460 CPUtime=0.06
/proc/19692/task/19694/stat : 19694 (java) S 19690 19692 18737 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19695] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19695/stat : 19695 (java) S 19690 19692 18737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19696] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19696/stat : 19696 (java) S 19690 19692 18737 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19697] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19697/stat : 19697 (java) S 19690 19692 18737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19698] ppid=19690 vsize=915460 CPUtime=0.22
/proc/19692/task/19698/stat : 19698 (java) S 19690 19692 18737 0 -1 64 382 0 0 0 22 0 0 0 16 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19699] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19699/stat : 19699 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19700] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19700/stat : 19700 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.76 s]
/proc/loadavg: 2.00 2.01 1.94 3/95 19700
/proc/meminfo: memFree=1501976/2055920 swapFree=4156304/4192956
[pid=19692] ppid=19690 vsize=915460 CPUtime=12.62
/proc/19692/stat : 19692 (java) R 19690 19692 18737 0 -1 0 16835 0 1 0 1253 9 0 0 25 0 8 0 167268587 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19692/statm: 228865 16568 2527 14 0 215335 0
[pid=19692/tid=19694] ppid=19690 vsize=915460 CPUtime=0.06
/proc/19692/task/19694/stat : 19694 (java) S 19690 19692 18737 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19695] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19695/stat : 19695 (java) S 19690 19692 18737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19696] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19696/stat : 19696 (java) S 19690 19692 18737 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19697] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19697/stat : 19697 (java) S 19690 19692 18737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19698] ppid=19690 vsize=915460 CPUtime=0.22
/proc/19692/task/19698/stat : 19698 (java) S 19690 19692 18737 0 -1 64 382 0 0 0 22 0 0 0 16 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19699] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19699/stat : 19699 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19700] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19700/stat : 19700 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+25.6354 s]
/proc/loadavg: 2.00 2.01 1.94 4/95 19700
/proc/meminfo: memFree=1502104/2055920 swapFree=4156304/4192956
[pid=19692] ppid=19690 vsize=915460 CPUtime=25.37
/proc/19692/stat : 19692 (java) R 19690 19692 18737 0 -1 0 16835 0 1 0 2528 9 0 0 25 0 8 0 167268587 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19692/statm: 228865 16568 2527 14 0 215335 0
[pid=19692/tid=19694] ppid=19690 vsize=915460 CPUtime=0.06
/proc/19692/task/19694/stat : 19694 (java) S 19690 19692 18737 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19695] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19695/stat : 19695 (java) S 19690 19692 18737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19696] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19696/stat : 19696 (java) S 19690 19692 18737 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19697] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19697/stat : 19697 (java) S 19690 19692 18737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19698] ppid=19690 vsize=915460 CPUtime=0.22
/proc/19692/task/19698/stat : 19698 (java) S 19690 19692 18737 0 -1 64 382 0 0 0 22 0 0 0 16 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19699] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19699/stat : 19699 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19700] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19700/stat : 19700 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915460
[startup+51.2712 s]
/proc/loadavg: 2.00 2.01 1.94 3/95 19700
/proc/meminfo: memFree=1502104/2055920 swapFree=4156304/4192956
[pid=19692] ppid=19690 vsize=915460 CPUtime=50.77
/proc/19692/stat : 19692 (java) R 19690 19692 18737 0 -1 0 16835 0 1 0 5067 10 0 0 25 0 8 0 167268587 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19692/statm: 228865 16568 2527 14 0 215335 0
[pid=19692/tid=19694] ppid=19690 vsize=915460 CPUtime=0.06
/proc/19692/task/19694/stat : 19694 (java) S 19690 19692 18737 0 -1 64 1744 0 0 0 6 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19695] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19695/stat : 19695 (java) S 19690 19692 18737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19696] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19696/stat : 19696 (java) S 19690 19692 18737 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167268591 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19697] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19697/stat : 19697 (java) S 19690 19692 18737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19698] ppid=19690 vsize=915460 CPUtime=0.22
/proc/19692/task/19698/stat : 19698 (java) S 19690 19692 18737 0 -1 64 382 0 0 0 22 0 0 0 16 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19699] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19699/stat : 19699 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19692/tid=19700] ppid=19690 vsize=915460 CPUtime=0
/proc/19692/task/19700/stat : 19700 (java) S 19690 19692 18737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167268595 937431040 16568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 96.74
CPU time (s): 95.8084
CPU user time (s): 95.6905
CPU system time (s): 0.117982
CPU usage (%): 99.037
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.6905
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16843
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= 3033
involuntary context switches= 5083
runsolver used 0.106983 s user time and 0.336948 s system time
The end
Begin job on node21 on Sun Jan 7 16:52:20 UTC 2007
IDJOB= 208587
IDBENCH= 4413
FILE ID= node21/208587-1168188740
PBS_JOBID= 3479226
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208587-1168188740/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-208587-1168188740 -o ROOT/results/node21/solver-208587-1168188740 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208587-1168188740/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= abce4cd812d977d51ee49779285b02fd
RANDOM SEED= 658209819
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.261
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.261
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: 1559024 kB
Buffers: 74800 kB
Cached: 322932 kB
SwapCached: 3196 kB
Active: 202424 kB
Inactive: 229136 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1559024 kB
SwapTotal: 4192956 kB
SwapFree: 4156304 kB
Dirty: 2944 kB
Writeback: 0 kB
Mapped: 43564 kB
Slab: 50220 kB
Committed_AS: 3341116 kB
PageTables: 2176 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= 66558 MiB
End job on node21 on Sun Jan 7 16:53:57 UTC 2007