0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/208255-1168074660/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.40 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.60 nbConstraints=338 nbRelationTypes=338 nbExtensionStructures=338 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=338 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3052 maxDegree=23
0.60 maxArity=2
0.60 => wckTime=0.302 cpuTime=0.22 mem=12M803
0.64
0.64 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.488 cpuTime=0.35 mem=13M920
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0050 cpuTime=0.01 mem=13M920
0.84
0.84 search
0.84 run=0 nbConstraintChecks=26046 nbPropagations=424 nbRevisions=4632 nbUselessRevisions=3842 nbAssignments=25
0.84 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.049 cpuTime=0.03 mem=14M895
0.86
0.86 search
0.86 run=1 nbConstraintChecks=67939 nbPropagations=1428 nbRevisions=16213 nbUselessRevisions=13265 nbAssignments=56
0.86 nbFailedAssignments=16 nbBacktracks=26 nbVisitedNodes=86 nbRestartNogoods=2 mapSize=19 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.069 cpuTime=0.04 mem=14M895
0.88
0.89 search
0.89 run=2 nbConstraintChecks=133978 nbPropagations=3407 nbRevisions=40543 nbUselessRevisions=33005
0.89 nbAssignments=108 nbFailedAssignments=36 nbBacktracks=48 nbVisitedNodes=174 nbRestartNogoods=5 mapSize=37
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.093 cpuTime=0.06 mem=14M895
0.90
0.90 search
0.90 run=3 nbConstraintChecks=207392 nbPropagations=6408 nbRevisions=78165 nbUselessRevisions=63570
0.90 nbAssignments=163 nbFailedAssignments=53 nbBacktracks=81 nbVisitedNodes=264 nbRestartNogoods=13 mapSize=63
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.109 cpuTime=0.07 mem=14M895
0.93
0.93 search
0.93 run=4 nbConstraintChecks=337065 nbPropagations=11131 nbRevisions=139580 nbUselessRevisions=113036
0.93 nbAssignments=250 nbFailedAssignments=85 nbBacktracks=131 nbVisitedNodes=417 nbRestartNogoods=16 mapSize=105
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.136 cpuTime=0.1 mem=14M895
0.97
0.97 search
0.97 run=5 nbConstraintChecks=534532 nbPropagations=18492 nbRevisions=239637 nbUselessRevisions=193926
0.97 nbAssignments=399 nbFailedAssignments=152 nbBacktracks=208 nbVisitedNodes=679 nbRestartNogoods=20 mapSize=174
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.177 cpuTime=0.13 mem=14M895
1.02
1.03 search
1.03 run=6 nbConstraintChecks=797464 nbPropagations=29520 nbRevisions=390909 nbUselessRevisions=316454
1.03 nbAssignments=599 nbFailedAssignments=231 nbBacktracks=321 nbVisitedNodes=1024 nbRestartNogoods=24 mapSize=270
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.233 cpuTime=0.18 mem=14M895
1.11
1.11 search
1.11 run=7 nbConstraintChecks=1251975 nbPropagations=46546 nbRevisions=626595 nbUselessRevisions=507103
1.11 nbAssignments=912 nbFailedAssignments=368 nbBacktracks=492 nbVisitedNodes=1583 nbRestartNogoods=29 mapSize=422
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.315 cpuTime=0.26 mem=14M895
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1886816 nbPropagations=72134 nbRevisions=984637 nbUselessRevisions=796761
1.22 nbAssignments=1361 nbFailedAssignments=555 nbBacktracks=748 nbVisitedNodes=2366 nbRestartNogoods=35
1.22 mapSize=641 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.431 cpuTime=0.37 mem=14M895
1.40
1.40 search
1.40 run=9 nbConstraintChecks=2862543 nbPropagations=110769 nbRevisions=1533352 nbUselessRevisions=1240661
1.40 nbAssignments=2063 nbFailedAssignments=866 nbBacktracks=1133 nbVisitedNodes=3622 nbRestartNogoods=40
1.40 mapSize=976 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.606 cpuTime=0.54 mem=14M895
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=14M895)
1.62
1.62 search
1.62 run=10 nbConstraintChecks=4211365 nbPropagations=168491 nbRevisions=2354567 nbUselessRevisions=1905744
1.62 nbAssignments=3076 nbFailedAssignments=1295 nbBacktracks=1709 nbVisitedNodes=5416 nbRestartNogoods=49
1.62 => wckTime=0.832 cpuTime=0.75 mem=14M895
1.95
1.95 search
1.95 run=11 nbConstraintChecks=6478800 nbPropagations=255642 nbRevisions=3594384 nbUselessRevisions=2908141
1.95 nbAssignments=4591 nbFailedAssignments=1941 nbBacktracks=2573 nbVisitedNodes=8103 nbRestartNogoods=56
1.95 => wckTime=1.162 cpuTime=1.08 mem=14M895
2.42
2.42 search
2.42 run=12 nbConstraintChecks=9478938 nbPropagations=384667 nbRevisions=5435949 nbUselessRevisions=4399808
2.42 nbAssignments=6824 nbFailedAssignments=2870 nbBacktracks=3871 nbVisitedNodes=12029 nbRestartNogoods=59
2.42 => wckTime=1.625 cpuTime=1.54 mem=14M895
3.16
3.16 search
3.16 run=13 nbConstraintChecks=14496275 nbPropagations=580259 nbRevisions=8252960 nbUselessRevisions=6684363
3.16 nbAssignments=10307 nbFailedAssignments=4401 nbBacktracks=5819 nbVisitedNodes=18220 nbRestartNogoods=69
3.16 => wckTime=2.365 cpuTime=2.28 mem=14M895
4.25
4.25 search
4.25 run=14 nbConstraintChecks=21815286 nbPropagations=875024 nbRevisions=12485121 nbUselessRevisions=10113569
4.25 nbAssignments=15526 nbFailedAssignments=6693 nbBacktracks=8739 nbVisitedNodes=27530 nbRestartNogoods=79
4.25 => wckTime=3.458 cpuTime=3.36 mem=14M895
5.84
5.84 search
5.84 run=15 nbConstraintChecks=32464622 nbPropagations=1312864 nbRevisions=18771780 nbUselessRevisions=15206780
5.84 nbAssignments=23129 nbFailedAssignments=9913 nbBacktracks=13117 nbVisitedNodes=40859 nbRestartNogoods=87
5.84 => wckTime=5.052 cpuTime=4.94 mem=14M895
8.34
8.34 search
8.34 run=16 nbConstraintChecks=49407541 nbPropagations=1974792 nbRevisions=28284137 nbUselessRevisions=22903586
8.34 nbAssignments=35006 nbFailedAssignments=15215 nbBacktracks=19685 nbVisitedNodes=62005 nbRestartNogoods=98
8.34 => wckTime=7.553 cpuTime=7.43 mem=14M895
11.88
11.88 search
11.88 run=17 nbConstraintChecks=72973303 nbPropagations=2960880 nbRevisions=42485671 nbUselessRevisions=34417428
11.88 nbAssignments=52318 nbFailedAssignments=22668 nbBacktracks=29537 nbVisitedNodes=92549 nbRestartNogoods=108
11.88 => wckTime=11.085 cpuTime=10.95 mem=14M895
17.37
17.37 search
17.37 run=18 nbConstraintChecks=110535120 nbPropagations=4444386 nbRevisions=63799623 nbUselessRevisions=51672562
17.37 nbAssignments=78296 nbFailedAssignments=33985 nbBacktracks=44158 nbVisitedNodes=138640 nbRestartNogoods=123
17.37 => wckTime=16.575 cpuTime=16.41 mem=14M895
17.37
17.37 global
17.37 nbConstraintChecks=110535120 nbPropagations=4444426 nbRevisions=63799623 nbUselessRevisions=51672562
17.37 nbRestartNogoods=123 solvingWckTime=16.576 solvingCpuTime=16.41 expiredTime=no totalExploration=no
17.37 nbFoundSolutions=1 globalCpuTime=16.81
17.37 => wckTime=17.067 cpuTime=16.76 mem=14M895
17.37
17.37 s SATISFIABLE
17.37 v 1 0 6 11 11 11 13 13 18 14 17 5 15 0 16 4 5 15 12 2 17 3 0 2 1 1 12 15 9 9 4 14 13 12 11 6 8 5 8 2
17.37 d NODES 78296
17.37 d CHECKS 110535120
17.37
17.37 totalWckTime=17.143 totalCpuTime=16.81
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-208255-1168074660 -o ROOT/results/node72/solver-208255-1168074660 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208255-1168074660/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.02 1.22 1.51 4/93 324
/proc/meminfo: memFree=1457568/2055920 swapFree=4192812/4192956
[pid=323] ppid=321 vsize=168 CPUtime=0
/proc/323/stat : 323 (java) R 321 323 32675 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 155874880 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2536228 0 0 4096 0 0 0 0 17 0 0 0
/proc/323/statm: 42 23 18 14 0 2 0
[startup+0.106936 s]
/proc/loadavg: 1.02 1.22 1.51 4/93 324
/proc/meminfo: memFree=1457568/2055920 swapFree=4192812/4192956
[pid=323] ppid=321 vsize=914988 CPUtime=0.08
/proc/323/stat : 323 (java) R 321 323 32675 0 -1 0 2998 0 1 0 7 1 0 0 20 0 8 0 155874880 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/323/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514972 s]
/proc/loadavg: 1.02 1.22 1.51 4/93 324
/proc/meminfo: memFree=1457568/2055920 swapFree=4192812/4192956
[pid=323] ppid=321 vsize=915328 CPUtime=0.49
/proc/323/stat : 323 (java) R 321 323 32675 0 -1 0 6934 0 1 0 45 4 0 0 22 0 8 0 155874880 937295872 6673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/323/statm: 228832 6673 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33804 s]
/proc/loadavg: 1.02 1.22 1.51 3/100 331
/proc/meminfo: memFree=1415592/2055920 swapFree=4192812/4192956
[pid=323] ppid=321 vsize=915456 CPUtime=1.31
/proc/323/stat : 323 (java) R 321 323 32675 0 -1 0 8639 0 1 0 125 6 0 0 25 0 8 0 155874880 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795479 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/323/statm: 228864 8377 2513 14 0 215334 0
[pid=323/tid=325] ppid=321 vsize=915456 CPUtime=0.03
/proc/323/task/325/stat : 325 (java) S 321 323 32675 0 -1 64 287 0 0 0 3 0 0 0 17 0 8 0 155874884 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=326] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/326/stat : 326 (java) S 321 323 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874885 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=327] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/327/stat : 327 (java) S 321 323 32675 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155874885 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=328] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/328/stat : 328 (java) S 321 323 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155874888 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=323/tid=329] ppid=321 vsize=915456 CPUtime=0.21
/proc/323/task/329/stat : 329 (java) S 321 323 32675 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 155874888 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=330] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/330/stat : 330 (java) S 321 323 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155874888 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=323/tid=331] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/331/stat : 331 (java) S 321 323 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155874888 937426944 8377 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) 915456
[startup+2.99119 s]
/proc/loadavg: 1.02 1.22 1.51 3/100 331
/proc/meminfo: memFree=1415080/2055920 swapFree=4192812/4192956
[pid=323] ppid=321 vsize=915456 CPUtime=2.96
/proc/323/stat : 323 (java) R 321 323 32675 0 -1 0 8668 0 1 0 290 6 0 0 25 0 8 0 155874880 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/323/statm: 228864 8405 2513 14 0 215334 0
[pid=323/tid=325] ppid=321 vsize=915456 CPUtime=0.03
/proc/323/task/325/stat : 325 (java) S 321 323 32675 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155874884 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=326] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/326/stat : 326 (java) S 321 323 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874885 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=327] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/327/stat : 327 (java) S 321 323 32675 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155874885 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=328] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/328/stat : 328 (java) S 321 323 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155874888 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=323/tid=329] ppid=321 vsize=915456 CPUtime=0.22
/proc/323/task/329/stat : 329 (java) S 321 323 32675 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155874888 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=330] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/330/stat : 330 (java) S 321 323 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155874888 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=323/tid=331] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/331/stat : 331 (java) S 321 323 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155874888 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915456
[startup+6.28749 s]
/proc/loadavg: 1.17 1.25 1.52 4/100 331
/proc/meminfo: memFree=1414960/2055920 swapFree=4192812/4192956
[pid=323] ppid=321 vsize=915456 CPUtime=6.23
/proc/323/stat : 323 (java) R 321 323 32675 0 -1 0 8676 0 1 0 617 6 0 0 25 0 8 0 155874880 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817968 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/323/statm: 228864 8412 2513 14 0 215334 0
[pid=323/tid=325] ppid=321 vsize=915456 CPUtime=0.03
/proc/323/task/325/stat : 325 (java) S 321 323 32675 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155874884 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=326] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/326/stat : 326 (java) S 321 323 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874885 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=327] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/327/stat : 327 (java) S 321 323 32675 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155874885 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=328] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/328/stat : 328 (java) S 321 323 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155874888 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=323/tid=329] ppid=321 vsize=915456 CPUtime=0.22
/proc/323/task/329/stat : 329 (java) S 321 323 32675 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 155874888 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=330] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/330/stat : 330 (java) S 321 323 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155874888 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=323/tid=331] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/331/stat : 331 (java) S 321 323 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155874888 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915456
[startup+12.7701 s]
/proc/loadavg: 1.24 1.26 1.52 3/100 331
/proc/meminfo: memFree=1414968/2055920 swapFree=4192812/4192956
[pid=323] ppid=321 vsize=915456 CPUtime=12.69
/proc/323/stat : 323 (java) R 321 323 32675 0 -1 0 8681 0 1 0 1263 6 0 0 25 0 8 0 155874880 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/323/statm: 228864 8417 2513 14 0 215334 0
[pid=323/tid=325] ppid=321 vsize=915456 CPUtime=0.03
/proc/323/task/325/stat : 325 (java) S 321 323 32675 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155874884 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=326] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/326/stat : 326 (java) S 321 323 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874885 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=327] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/327/stat : 327 (java) S 321 323 32675 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155874885 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=328] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/328/stat : 328 (java) S 321 323 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155874888 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=323/tid=329] ppid=321 vsize=915456 CPUtime=0.22
/proc/323/task/329/stat : 329 (java) S 321 323 32675 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 155874888 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=323/tid=330] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/330/stat : 330 (java) S 321 323 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155874888 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=323/tid=331] ppid=321 vsize=915456 CPUtime=0
/proc/323/task/331/stat : 331 (java) S 321 323 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155874888 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 17.3862
CPU time (s): 17.2764
CPU user time (s): 17.2084
CPU system time (s): 0.067989
CPU usage (%): 99.3682
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2084
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8774
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= 1457
involuntary context switches= 1970
runsolver used 0.027995 s user time and 0.065989 s system time
The end
Begin job on node72 on Sat Jan 6 09:11:01 UTC 2007
IDJOB= 208255
IDBENCH= 4363
FILE ID= node72/208255-1168074660
PBS_JOBID= 3476025
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208255-1168074660/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-208255-1168074660 -o ROOT/results/node72/solver-208255-1168074660 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208255-1168074660/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fc31e74b7cf40a63c543bd632342ca6b
RANDOM SEED= 9341315
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: 1459880 kB
Buffers: 40640 kB
Cached: 431144 kB
SwapCached: 0 kB
Active: 147124 kB
Inactive: 376464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1459880 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4024 kB
Writeback: 0 kB
Mapped: 75608 kB
Slab: 57288 kB
Committed_AS: 3386676 kB
PageTables: 2264 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= 66549 MiB
End job on node72 on Sat Jan 6 09:11:18 UTC 2007