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/226843-1168276704/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.43 => wckTime=0.109 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.55
0.55 constraints being loaded...
0.64 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.64 => wckTime=0.314 cpuTime=0.25 mem=15M730
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.521 cpuTime=0.38 mem=14M928
0.90
0.90 preprocessing
0.90 nbConstraintChecks=92790 nbPropagations=952 nbRevisions=4040 nbUselessRevisions=2676 nbSingletonTests=50
0.90 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.05 cpuTime=0.03 mem=14M928
0.92
0.92 search
0.92 run=0 nbConstraintChecks=52136 nbPropagations=1721 nbRevisions=8391 nbUselessRevisions=5333 nbAssignments=25
0.92 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.075 cpuTime=0.05 mem=14M928
0.94
0.94 search
0.94 run=1 nbConstraintChecks=136050 nbPropagations=4567 nbRevisions=22944 nbUselessRevisions=14574
0.94 nbAssignments=74 nbFailedAssignments=27 nbBacktracks=26 nbVisitedNodes=114 nbRestartNogoods=4 mapSize=24
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.096 cpuTime=0.07 mem=14M928
0.97
0.97 search
0.97 run=2 nbConstraintChecks=265494 nbPropagations=9154 nbRevisions=47836 nbUselessRevisions=30262
0.97 nbAssignments=146 nbFailedAssignments=62 nbBacktracks=48 nbVisitedNodes=228 nbRestartNogoods=9 mapSize=45
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.122 cpuTime=0.09 mem=14M928
0.99
0.99 search
0.99 run=3 nbConstraintChecks=413977 nbPropagations=15982 nbRevisions=85522 nbUselessRevisions=53759
0.99 nbAssignments=231 nbFailedAssignments=109 nbBacktracks=81 nbVisitedNodes=383 nbRestartNogoods=13 mapSize=74
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.145 cpuTime=0.11 mem=14M928
1.03
1.03 search
1.03 run=4 nbConstraintChecks=669178 nbPropagations=26337 nbRevisions=143575 nbUselessRevisions=89588
1.03 nbAssignments=377 nbFailedAssignments=190 nbBacktracks=133 nbVisitedNodes=637 nbRestartNogoods=22 mapSize=124
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.183 cpuTime=0.14 mem=14M928
1.06
1.06 search
1.06 run=5 nbConstraintChecks=878554 nbPropagations=40447 nbRevisions=222240 nbUselessRevisions=137907
1.06 nbAssignments=534 nbFailedAssignments=264 nbBacktracks=210 nbVisitedNodes=914 nbRestartNogoods=24 mapSize=181
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.218 cpuTime=0.18 mem=14M928
1.12
1.12 search
1.12 run=6 nbConstraintChecks=1312959 nbPropagations=60777 nbRevisions=337669 nbUselessRevisions=209074
1.12 nbAssignments=778 nbFailedAssignments=388 nbBacktracks=325 nbVisitedNodes=1356 nbRestartNogoods=30 mapSize=278
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.277 cpuTime=0.23 mem=14M928
1.22
1.22 search
1.22 run=7 nbConstraintChecks=1902374 nbPropagations=90574 nbRevisions=508227 nbUselessRevisions=314327
1.22 nbAssignments=1165 nbFailedAssignments=599 nbBacktracks=497 nbVisitedNodes=2068 nbRestartNogoods=35
1.22 mapSize=426 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.371 cpuTime=0.32 mem=14M928
1.35
1.35 search
1.35 run=8 nbConstraintChecks=2763778 nbPropagations=133488 nbRevisions=754967 nbUselessRevisions=466044
1.35 nbAssignments=1680 nbFailedAssignments=852 nbBacktracks=753 nbVisitedNodes=2986 nbRestartNogoods=42
1.35 mapSize=640 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.503 cpuTime=0.43 mem=14M928
1.55
1.55 search
1.55 run=9 nbConstraintChecks=4280445 nbPropagations=199142 nbRevisions=1135058 nbUselessRevisions=699568
1.55 nbAssignments=2568 nbFailedAssignments=1329 nbBacktracks=1137 nbVisitedNodes=4587 nbRestartNogoods=54
1.55 mapSize=990 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.702 cpuTime=0.62 mem=14M928
1.57
1.57 INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=14M928)
1.76
1.76 search
1.76 run=10 nbConstraintChecks=5885728 nbPropagations=292338 nbRevisions=1670287 nbUselessRevisions=1027453
1.76 nbAssignments=3687 nbFailedAssignments=1866 nbBacktracks=1713 nbVisitedNodes=6579 nbRestartNogoods=59
1.76 => wckTime=0.918 cpuTime=0.83 mem=14M928
2.18
2.18 search
2.18 run=11 nbConstraintChecks=9501006 nbPropagations=437680 nbRevisions=2516672 nbUselessRevisions=1544981
2.18 nbAssignments=5727 nbFailedAssignments=3036 nbBacktracks=2578 nbVisitedNodes=10412 nbRestartNogoods=68
2.18 => wckTime=1.334 cpuTime=1.24 mem=14M928
2.59
2.59 search
2.59 run=12 nbConstraintChecks=12701732 nbPropagations=639917 nbRevisions=3681908 nbUselessRevisions=2259593
2.59 nbAssignments=8099 nbFailedAssignments=4095 nbBacktracks=3876 nbVisitedNodes=14544 nbRestartNogoods=78
2.59 => wckTime=1.744 cpuTime=1.65 mem=15M904
3.39
3.39 search
3.39 run=13 nbConstraintChecks=19437916 nbPropagations=944469 nbRevisions=5440253 nbUselessRevisions=3335979
3.39 nbAssignments=12005 nbFailedAssignments=6047 nbBacktracks=5822 nbVisitedNodes=21635 nbRestartNogoods=87
3.39 => wckTime=2.547 cpuTime=2.45 mem=15M904
4.41
4.41 search
4.41 run=14 nbConstraintChecks=27505991 nbPropagations=1386751 nbRevisions=7977027 nbUselessRevisions=4887708
4.41 nbAssignments=17590 nbFailedAssignments=8706 nbBacktracks=8742 nbVisitedNodes=31576 nbRestartNogoods=99
4.41 => wckTime=3.565 cpuTime=3.46 mem=15M904
6.54
6.54 search
6.54 run=15 nbConstraintChecks=45895277 nbPropagations=2089973 nbRevisions=12085831 nbUselessRevisions=7404479
6.54 nbAssignments=27557 nbFailedAssignments=14289 nbBacktracks=13121 nbVisitedNodes=50260 nbRestartNogoods=110
6.54 => wckTime=5.693 cpuTime=5.57 mem=15M904
9.12
9.13 search
9.13 run=16 nbConstraintChecks=67420403 nbPropagations=3127507 nbRevisions=18125881 nbUselessRevisions=11101557
9.13 nbAssignments=40783 nbFailedAssignments=20942 nbBacktracks=19689 nbVisitedNodes=74213 nbRestartNogoods=122
9.13 => wckTime=8.279 cpuTime=8.12 mem=15M904
13.16
13.16 search
13.16 run=17 nbConstraintChecks=101311770 nbPropagations=4681219 nbRevisions=27152293 nbUselessRevisions=16624878
13.16 nbAssignments=60698 nbFailedAssignments=30998 nbBacktracks=29545 nbVisitedNodes=110251 nbRestartNogoods=133
13.16 => wckTime=12.316 cpuTime=12.13 mem=15M904
19.42
19.42 search
19.42 run=18 nbConstraintChecks=153527297 nbPropagations=7055127 nbRevisions=40920168 nbUselessRevisions=25047950
19.42 nbAssignments=92105 nbFailedAssignments=47622 nbBacktracks=44324 nbVisitedNodes=168006 nbRestartNogoods=140
19.42 => wckTime=18.569 cpuTime=18.32 mem=15M904
28.32
28.32 search
28.32 run=19 nbConstraintChecks=227709833 nbPropagations=10583520 nbRevisions=61341634 nbUselessRevisions=37532440
28.32 nbAssignments=136410 nbFailedAssignments=69757 nbBacktracks=66492 nbVisitedNodes=248100 nbRestartNogoods=154
28.32 => wckTime=27.476 cpuTime=27.14 mem=15M904
42.09
42.09 search
42.09 run=20 nbConstraintChecks=343021613 nbPropagations=15887654 nbRevisions=92111091 nbUselessRevisions=56354682
42.09 nbAssignments=205570 nbFailedAssignments=105660 nbBacktracks=99747 nbVisitedNodes=374191 nbRestartNogoods=165
42.09 => wckTime=41.244 cpuTime=40.78 mem=15M904
54.31
54.31 search
54.32 run=21 nbConstraintChecks=444609668 nbPropagations=22751004 nbRevisions=131923058 nbUselessRevisions=80690586
54.32 nbAssignments=266419 nbFailedAssignments=135969 nbBacktracks=130288 nbVisitedNodes=483802 nbRestartNogoods=166
54.32 => wckTime=53.469 cpuTime=52.9 mem=15M904
54.32
54.32 global
54.32 nbConstraintChecks=444702458 nbPropagations=22751956 nbRevisions=131927098 nbUselessRevisions=80693262
54.32 nbRestartNogoods=166 solvingWckTime=53.47 solvingCpuTime=52.9 expiredTime=no totalExploration=yes
54.32 nbFoundSolutions=0 globalCpuTime=53.33
54.32 => wckTime=53.996 cpuTime=53.28 mem=15M904
54.32
54.32 s UNSATISFIABLE
54.32 d NODES 266419
54.32 d CHECKS 444702458
54.32
54.32 totalWckTime=54.078 totalCpuTime=53.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-226843-1168276704 -o ROOT/results/node43/solver-226843-1168276704 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226843-1168276704/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.90 1.45 1.45 4/82 17239
/proc/meminfo: memFree=1610056/2055920 swapFree=4192812/4192956
[pid=17238] ppid=17236 vsize=18540 CPUtime=0
/proc/17238/stat : 17238 (runsolver) R 17236 17238 16648 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 176069535 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216849247527 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17238/statm: 4635 279 244 17 0 2626 0
[startup+0.103093 s]
/proc/loadavg: 1.90 1.45 1.45 4/82 17239
/proc/meminfo: memFree=1610056/2055920 swapFree=4192812/4192956
[pid=17238] ppid=17236 vsize=913228 CPUtime=0.08
/proc/17238/stat : 17238 (java) R 17236 17238 16648 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 176069535 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17238/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.519822 s]
/proc/loadavg: 1.90 1.45 1.45 4/82 17239
/proc/meminfo: memFree=1610056/2055920 swapFree=4192812/4192956
[pid=17238] ppid=17236 vsize=915328 CPUtime=0.49
/proc/17238/stat : 17238 (java) R 17236 17238 16648 0 -1 0 7138 0 1 0 44 5 0 0 18 0 8 0 176069535 937295872 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073588676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17238/statm: 228832 6877 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3443 s]
/proc/loadavg: 1.90 1.45 1.45 3/89 17246
/proc/meminfo: memFree=1584592/2055920 swapFree=4192812/4192956
[pid=17238] ppid=17236 vsize=915464 CPUtime=1.31
/proc/17238/stat : 17238 (java) R 17236 17238 16648 0 -1 0 9093 0 1 0 124 7 0 0 24 0 8 0 176069535 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17238/statm: 228866 8831 2524 14 0 215336 0
[pid=17238/tid=17240] ppid=17236 vsize=915464 CPUtime=0.03
/proc/17238/task/17240/stat : 17240 (java) S 17236 17238 16648 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 176069540 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17241] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17241/stat : 17241 (java) S 17236 17238 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176069540 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17242] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17242/stat : 17242 (java) S 17236 17238 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176069540 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17243] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17243/stat : 17243 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176069543 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17244] ppid=17236 vsize=915464 CPUtime=0.2
/proc/17238/task/17244/stat : 17244 (java) S 17236 17238 16648 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 176069543 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17245] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17245/stat : 17245 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176069543 937435136 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17246] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17246/stat : 17246 (java) S 17236 17238 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176069543 937435136 8831 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+2.98257 s]
/proc/loadavg: 1.90 1.45 1.45 3/89 17246
/proc/meminfo: memFree=1584464/2055920 swapFree=4192812/4192956
[pid=17238] ppid=17236 vsize=915464 CPUtime=2.92
/proc/17238/stat : 17238 (java) R 17236 17238 16648 0 -1 0 9102 0 1 0 285 7 0 0 25 0 8 0 176069535 937435136 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17238/statm: 228866 8839 2524 14 0 215336 0
[pid=17238/tid=17240] ppid=17236 vsize=915464 CPUtime=0.03
/proc/17238/task/17240/stat : 17240 (java) S 17236 17238 16648 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 176069540 937435136 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17241] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17241/stat : 17241 (java) S 17236 17238 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176069540 937435136 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17242] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17242/stat : 17242 (java) S 17236 17238 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176069540 937435136 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17243] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17243/stat : 17243 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176069543 937435136 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17244] ppid=17236 vsize=915464 CPUtime=0.22
/proc/17238/task/17244/stat : 17244 (java) S 17236 17238 16648 0 -1 64 379 0 0 0 21 1 0 0 15 0 8 0 176069543 937435136 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17245] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17245/stat : 17245 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176069543 937435136 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17246] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17246/stat : 17246 (java) S 17236 17238 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176069543 937435136 8839 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+6.18261 s]
/proc/loadavg: 1.91 1.46 1.46 3/89 17246
/proc/meminfo: memFree=1584400/2055920 swapFree=4192812/4192956
[pid=17238] ppid=17236 vsize=915464 CPUtime=6.09
/proc/17238/stat : 17238 (java) R 17236 17238 16648 0 -1 0 9104 0 1 0 602 7 0 0 25 0 8 0 176069535 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741321 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17238/statm: 228866 8841 2524 14 0 215336 0
[pid=17238/tid=17240] ppid=17236 vsize=915464 CPUtime=0.03
/proc/17238/task/17240/stat : 17240 (java) S 17236 17238 16648 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17241] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17241/stat : 17241 (java) S 17236 17238 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17242] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17242/stat : 17242 (java) S 17236 17238 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17243] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17243/stat : 17243 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17244] ppid=17236 vsize=915464 CPUtime=0.22
/proc/17238/task/17244/stat : 17244 (java) S 17236 17238 16648 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17245] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17245/stat : 17245 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17246] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17246/stat : 17246 (java) S 17236 17238 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915464
[startup+12.6632 s]
/proc/loadavg: 1.92 1.47 1.46 3/89 17246
/proc/meminfo: memFree=1584408/2055920 swapFree=4192812/4192956
[pid=17238] ppid=17236 vsize=915464 CPUtime=12.52
/proc/17238/stat : 17238 (java) R 17236 17238 16648 0 -1 0 9105 0 1 0 1245 7 0 0 25 0 8 0 176069535 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750413 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17238/statm: 228866 8841 2524 14 0 215336 0
[pid=17238/tid=17240] ppid=17236 vsize=915464 CPUtime=0.03
/proc/17238/task/17240/stat : 17240 (java) S 17236 17238 16648 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17241] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17241/stat : 17241 (java) S 17236 17238 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17242] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17242/stat : 17242 (java) S 17236 17238 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17243] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17243/stat : 17243 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17244] ppid=17236 vsize=915464 CPUtime=0.22
/proc/17238/task/17244/stat : 17244 (java) S 17236 17238 16648 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17245] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17245/stat : 17245 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17246] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17246/stat : 17246 (java) S 17236 17238 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915464
[startup+25.5318 s]
/proc/loadavg: 1.93 1.50 1.47 3/89 17246
/proc/meminfo: memFree=1584472/2055920 swapFree=4192812/4192956
[pid=17238] ppid=17236 vsize=915464 CPUtime=25.27
/proc/17238/stat : 17238 (java) R 17236 17238 16648 0 -1 0 9105 0 1 0 2519 8 0 0 25 0 8 0 176069535 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17238/statm: 228866 8841 2524 14 0 215336 0
[pid=17238/tid=17240] ppid=17236 vsize=915464 CPUtime=0.03
/proc/17238/task/17240/stat : 17240 (java) S 17236 17238 16648 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17241] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17241/stat : 17241 (java) S 17236 17238 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17242] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17242/stat : 17242 (java) S 17236 17238 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17243] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17243/stat : 17243 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17244] ppid=17236 vsize=915464 CPUtime=0.22
/proc/17238/task/17244/stat : 17244 (java) S 17236 17238 16648 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17245] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17245/stat : 17245 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17246] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17246/stat : 17246 (java) S 17236 17238 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915464
[startup+51.1676 s]
/proc/loadavg: 1.96 1.54 1.48 3/89 17246
/proc/meminfo: memFree=1584472/2055920 swapFree=4192812/4192956
[pid=17238] ppid=17236 vsize=915464 CPUtime=50.67
/proc/17238/stat : 17238 (java) R 17236 17238 16648 0 -1 0 9105 0 1 0 5059 8 0 0 25 0 8 0 176069535 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073731558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17238/statm: 228866 8841 2524 14 0 215336 0
[pid=17238/tid=17240] ppid=17236 vsize=915464 CPUtime=0.03
/proc/17238/task/17240/stat : 17240 (java) S 17236 17238 16648 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17241] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17241/stat : 17241 (java) S 17236 17238 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17242] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17242/stat : 17242 (java) S 17236 17238 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176069540 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17243] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17243/stat : 17243 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17244] ppid=17236 vsize=915464 CPUtime=0.22
/proc/17238/task/17244/stat : 17244 (java) S 17236 17238 16648 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17245] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17245/stat : 17245 (java) S 17236 17238 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17238/tid=17246] ppid=17236 vsize=915464 CPUtime=0
/proc/17238/task/17246/stat : 17246 (java) S 17236 17238 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176069543 937435136 8841 18446744073709551615 134512640 134570532 4294956480 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) 915464
Child status: 0
Real time (s): 54.3836
CPU time (s): 53.8168
CPU user time (s): 53.7268
CPU system time (s): 0.089986
CPU usage (%): 98.9578
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.7268
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9112
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= 2139
involuntary context switches= 4360
runsolver used 0.074988 s user time and 0.180972 s system time
The end
Begin job on node43 on Mon Jan 8 17:18:24 UTC 2007
IDJOB= 226843
IDBENCH= 6018
FILE ID= node43/226843-1168276704
PBS_JOBID= 3483324
Free space on /tmp= 66495 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-65_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226843-1168276704/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-226843-1168276704 -o ROOT/results/node43/solver-226843-1168276704 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226843-1168276704/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7ef1b211576735d3286234aa6bdf6c61
RANDOM SEED= 179652117
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.278
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.278
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: 1610472 kB
Buffers: 55772 kB
Cached: 229692 kB
SwapCached: 0 kB
Active: 253920 kB
Inactive: 138264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1610472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 125916 kB
Slab: 38388 kB
Committed_AS: 4751616 kB
PageTables: 2008 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= 66495 MiB
End job on node43 on Mon Jan 8 17:19:19 UTC 2007