0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=esac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/228944-1168302391/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.47 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.47 => wckTime=0.096 cpuTime=0.07 mem=6M951
0.47
0.47 relations being loaded...
0.55
0.55 constraints being loaded...
0.65 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1404 maxDegree=18
0.65 maxArity=2
0.65 => wckTime=0.272 cpuTime=0.19 mem=11M827
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.475 cpuTime=0.32 mem=14M826
0.90
0.90 preprocessing
0.90 nbConstraintChecks=54172 nbPropagations=844 nbRevisions=6008 nbUselessRevisions=4805 nbSingletonTests=51
0.90 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.046 cpuTime=0.03 mem=14M826
0.92
0.92 search
0.92 run=0 nbConstraintChecks=29898 nbPropagations=1420 nbRevisions=11572 nbUselessRevisions=9091 nbAssignments=27
0.92 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.068 cpuTime=0.05 mem=14M826
0.94
0.94 search
0.94 run=1 nbConstraintChecks=64374 nbPropagations=3456 nbRevisions=29365 nbUselessRevisions=22993 nbAssignments=58
0.94 nbFailedAssignments=19 nbBacktracks=29 nbVisitedNodes=97 nbRestartNogoods=2 mapSize=27 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.086 cpuTime=0.06 mem=14M826
0.96
0.96 search
0.96 run=2 nbConstraintChecks=110980 nbPropagations=6308 nbRevisions=55561 nbUselessRevisions=43243
0.96 nbAssignments=106 nbFailedAssignments=36 nbBacktracks=51 nbVisitedNodes=174 nbRestartNogoods=3 mapSize=45
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.102 cpuTime=0.07 mem=14M826
0.97
0.97 search
0.97 run=3 nbConstraintChecks=189133 nbPropagations=10519 nbRevisions=94303 nbUselessRevisions=73081
0.97 nbAssignments=188 nbFailedAssignments=56 nbBacktracks=84 nbVisitedNodes=271 nbRestartNogoods=9 mapSize=71
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.118 cpuTime=0.08 mem=14M826
1.00
1.00 search
1.00 run=4 nbConstraintChecks=301506 nbPropagations=16634 nbRevisions=153457 nbUselessRevisions=118447
1.00 nbAssignments=281 nbFailedAssignments=92 nbBacktracks=136 nbVisitedNodes=431 nbRestartNogoods=12 mapSize=117
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.142 cpuTime=0.11 mem=14M826
1.03
1.03 search
1.03 run=5 nbConstraintChecks=432889 nbPropagations=25080 nbRevisions=236905 nbUselessRevisions=182292
1.03 nbAssignments=409 nbFailedAssignments=140 nbBacktracks=211 nbVisitedNodes=646 nbRestartNogoods=17 mapSize=177
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.171 cpuTime=0.13 mem=14M826
1.07
1.07 search
1.07 run=6 nbConstraintChecks=646582 nbPropagations=37154 nbRevisions=359594 nbUselessRevisions=276122
1.07 nbAssignments=615 nbFailedAssignments=227 nbBacktracks=324 nbVisitedNodes=1001 nbRestartNogoods=19 mapSize=270
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.213 cpuTime=0.17 mem=14M826
1.12
1.12 search
1.12 run=7 nbConstraintChecks=921423 nbPropagations=54414 nbRevisions=534047 nbUselessRevisions=409497
1.12 nbAssignments=898 nbFailedAssignments=320 nbBacktracks=494 nbVisitedNodes=1457 nbRestartNogoods=24 mapSize=409
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.266 cpuTime=0.22 mem=14M826
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1352865 nbPropagations=80003 nbRevisions=797543 nbUselessRevisions=611245
1.21 nbAssignments=1339 nbFailedAssignments=498 nbBacktracks=751 nbVisitedNodes=2240 nbRestartNogoods=30
1.21 mapSize=629 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.355 cpuTime=0.31 mem=14M826
1.36
1.36 search
1.36 run=9 nbConstraintChecks=2150425 nbPropagations=119171 nbRevisions=1210738 nbUselessRevisions=927265
1.36 nbAssignments=2042 nbFailedAssignments=810 nbBacktracks=1136 nbVisitedNodes=3495 nbRestartNogoods=35
1.36 mapSize=975 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.505 cpuTime=0.44 mem=14M826
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=14M826)
1.52
1.52 search
1.52 run=10 nbConstraintChecks=3074033 nbPropagations=175389 nbRevisions=1805843 nbUselessRevisions=1383107
1.52 nbAssignments=2970 nbFailedAssignments=1155 nbBacktracks=1714 nbVisitedNodes=5077 nbRestartNogoods=39
1.52 => wckTime=0.668 cpuTime=0.59 mem=14M826
1.75
1.75 search
1.75 run=11 nbConstraintChecks=4454312 nbPropagations=257627 nbRevisions=2679366 nbUselessRevisions=2053310
1.75 nbAssignments=4393 nbFailedAssignments=1707 nbBacktracks=2579 nbVisitedNodes=7522 nbRestartNogoods=45
1.75 => wckTime=0.896 cpuTime=0.82 mem=14M826
2.12
2.12 search
2.12 run=12 nbConstraintChecks=6824975 nbPropagations=381799 nbRevisions=4008792 nbUselessRevisions=3071500
2.12 nbAssignments=6646 nbFailedAssignments=2656 nbBacktracks=3877 nbVisitedNodes=11462 nbRestartNogoods=52
2.12 => wckTime=1.269 cpuTime=1.18 mem=14M826
2.62
2.62 search
2.62 run=13 nbConstraintChecks=9933691 nbPropagations=564227 nbRevisions=5961043 nbUselessRevisions=4570684
2.62 nbAssignments=9823 nbFailedAssignments=3869 nbBacktracks=5823 nbVisitedNodes=16935 nbRestartNogoods=62
2.62 => wckTime=1.766 cpuTime=1.68 mem=14M826
3.34
3.34 search
3.34 run=14 nbConstraintChecks=14359243 nbPropagations=831677 nbRevisions=8805615 nbUselessRevisions=6755302
3.34 nbAssignments=14533 nbFailedAssignments=5654 nbBacktracks=8744 nbVisitedNodes=24998 nbRestartNogoods=71
3.34 => wckTime=2.488 cpuTime=2.39 mem=14M826
4.49
4.49 search
4.49 run=15 nbConstraintChecks=21546696 nbPropagations=1232109 nbRevisions=13076786 nbUselessRevisions=10036343
4.49 nbAssignments=21777 nbFailedAssignments=8514 nbBacktracks=13122 nbVisitedNodes=37575 nbRestartNogoods=83
4.49 => wckTime=3.639 cpuTime=3.53 mem=14M826
6.22
6.22 search
6.22 run=16 nbConstraintChecks=32565420 nbPropagations=1833233 nbRevisions=19505355 nbUselessRevisions=14978478
6.22 nbAssignments=32660 nbFailedAssignments=12821 nbBacktracks=19692 nbVisitedNodes=56520 nbRestartNogoods=99
6.22 => wckTime=5.367 cpuTime=5.25 mem=14M826
8.89
8.89 search
8.89 run=17 nbConstraintChecks=49410055 nbPropagations=2739540 nbRevisions=29197680 nbUselessRevisions=22420641
8.89 nbAssignments=49098 nbFailedAssignments=19386 nbBacktracks=29544 nbVisitedNodes=84995 nbRestartNogoods=114
8.89 => wckTime=8.04 cpuTime=7.91 mem=14M826
12.87
12.87 search
12.87 run=18 nbConstraintChecks=74589992 nbPropagations=4102304 nbRevisions=43789799 nbUselessRevisions=33631207
12.87 nbAssignments=73385 nbFailedAssignments=28887 nbBacktracks=44325 nbVisitedNodes=127126 nbRestartNogoods=134
12.87 => wckTime=12.017 cpuTime=11.88 mem=14M826
18.95
18.95 search
18.95 run=19 nbConstraintChecks=112967220 nbPropagations=6160686 nbRevisions=65872899 nbUselessRevisions=50599587
18.95 nbAssignments=110304 nbFailedAssignments=43623 nbBacktracks=66494 nbVisitedNodes=191351 nbRestartNogoods=146
18.95 => wckTime=18.092 cpuTime=17.91 mem=14M826
28.29
28.29 search
28.29 run=20 nbConstraintChecks=173530045 nbPropagations=9279848 nbRevisions=99492199 nbUselessRevisions=76431308
28.29 nbAssignments=166052 nbFailedAssignments=66110 nbBacktracks=99748 nbVisitedNodes=288646 nbRestartNogoods=156
28.29 => wckTime=27.434 cpuTime=27.2 mem=14M826
30.34
30.34 search
30.34 run=21 nbConstraintChecks=186646809 nbPropagations=12629896 nbRevisions=135627533 nbUselessRevisions=104196726
30.34 nbAssignments=178289 nbFailedAssignments=71081 nbBacktracks=107015 nbVisitedNodes=309924 nbRestartNogoods=167
30.34 => wckTime=29.485 cpuTime=29.24 mem=15M801
30.34
30.34 global
30.34 nbConstraintChecks=186700981 nbPropagations=12630740 nbRevisions=135633541 nbUselessRevisions=104201531
30.34 nbRestartNogoods=167 solvingWckTime=29.486 solvingCpuTime=29.24 expiredTime=no totalExploration=yes
30.34 nbFoundSolutions=0 globalCpuTime=29.63
30.34 => wckTime=29.965 cpuTime=29.57 mem=15M801
30.34
30.34 s UNSATISFIABLE
30.34 d NODES 178289
30.34 d CHECKS 186700981
30.34
30.34 totalWckTime=30.042 totalCpuTime=29.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-228944-1168302391 -o ROOT/results/node16/solver-228944-1168302391 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228944-1168302391/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.92 1.73 1.44 4/98 23879
/proc/meminfo: memFree=1261888/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=172 CPUtime=0
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 178634004 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7205668 0 0 4096 0 0 0 0 17 0 0 0
/proc/23878/statm: 43 24 18 14 0 3 0
[startup+0.106586 s]
/proc/loadavg: 1.92 1.73 1.44 4/98 23879
/proc/meminfo: memFree=1261888/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=907808 CPUtime=0.05
/proc/23878/stat : 23878 (java) D 23876 23878 23321 0 -1 0 2457 0 1 0 4 1 0 0 21 0 4 0 178634004 929595392 2204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 226952 2204 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.514509 s]
/proc/loadavg: 1.92 1.73 1.44 4/98 23879
/proc/meminfo: memFree=1261888/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915328 CPUtime=0.41
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 6258 0 1 0 38 3 0 0 22 0 8 0 178634004 937295872 5997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073564078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228832 5998 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.33636 s]
/proc/loadavg: 1.92 1.73 1.44 3/105 23886
/proc/meminfo: memFree=1238152/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915452 CPUtime=1.23
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 8686 0 1 0 117 6 0 0 25 0 8 0 178634004 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228863 8424 2524 14 0 215333 0
[pid=23878/tid=23880] ppid=23876 vsize=915452 CPUtime=0.03
/proc/23878/task/23880/stat : 23880 (java) S 23876 23878 23321 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178634008 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23881] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23881/stat : 23881 (java) S 23876 23878 23321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178634008 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23882] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23882/stat : 23882 (java) S 23876 23878 23321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178634008 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23883] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23883/stat : 23883 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178634019 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23884] ppid=23876 vsize=915452 CPUtime=0.2
/proc/23878/task/23884/stat : 23884 (java) S 23876 23878 23321 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 178634019 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23885] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23885/stat : 23885 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 178634019 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23886] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23886/stat : 23886 (java) S 23876 23878 23321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178634019 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915452
[startup+2.98705 s]
/proc/loadavg: 1.92 1.73 1.44 3/105 23886
/proc/meminfo: memFree=1237896/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915452 CPUtime=2.88
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 8714 0 1 0 282 6 0 0 25 0 8 0 178634004 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228863 8451 2524 14 0 215333 0
[pid=23878/tid=23880] ppid=23876 vsize=915452 CPUtime=0.03
/proc/23878/task/23880/stat : 23880 (java) S 23876 23878 23321 0 -1 64 242 0 0 0 3 0 0 0 17 0 8 0 178634008 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23881] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23881/stat : 23881 (java) S 23876 23878 23321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178634008 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23882] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23882/stat : 23882 (java) S 23876 23878 23321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178634008 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23883] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23883/stat : 23883 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178634019 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23884] ppid=23876 vsize=915452 CPUtime=0.22
/proc/23878/task/23884/stat : 23884 (java) S 23876 23878 23321 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178634019 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23885] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23885/stat : 23885 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 178634019 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23886] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23886/stat : 23886 (java) S 23876 23878 23321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178634019 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915452
[startup+6.19047 s]
/proc/loadavg: 1.93 1.74 1.44 3/105 23886
/proc/meminfo: memFree=1237768/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915452 CPUtime=6.05
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 8719 0 1 0 599 6 0 0 25 0 8 0 178634004 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808214 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228863 8455 2524 14 0 215333 0
[pid=23878/tid=23880] ppid=23876 vsize=915452 CPUtime=0.03
/proc/23878/task/23880/stat : 23880 (java) S 23876 23878 23321 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178634008 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23881] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23881/stat : 23881 (java) S 23876 23878 23321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178634008 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23882] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23882/stat : 23882 (java) S 23876 23878 23321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178634008 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23883] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23883/stat : 23883 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178634019 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23884] ppid=23876 vsize=915452 CPUtime=0.22
/proc/23878/task/23884/stat : 23884 (java) S 23876 23878 23321 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178634019 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23885] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23885/stat : 23885 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 178634019 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23886] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23886/stat : 23886 (java) S 23876 23878 23321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178634019 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915452
[startup+12.6693 s]
/proc/loadavg: 1.93 1.74 1.44 3/105 23886
/proc/meminfo: memFree=1237768/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915452 CPUtime=12.5
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 8724 0 1 0 1244 6 0 0 25 0 8 0 178634004 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820837 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228863 8460 2524 14 0 215333 0
[pid=23878/tid=23880] ppid=23876 vsize=915452 CPUtime=0.03
/proc/23878/task/23880/stat : 23880 (java) S 23876 23878 23321 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178634008 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23881] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23881/stat : 23881 (java) S 23876 23878 23321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178634008 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23882] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23882/stat : 23882 (java) S 23876 23878 23321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178634008 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23883] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23883/stat : 23883 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178634019 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23884] ppid=23876 vsize=915452 CPUtime=0.22
/proc/23878/task/23884/stat : 23884 (java) S 23876 23878 23321 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178634019 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23885] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23885/stat : 23885 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 178634019 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23886] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23886/stat : 23886 (java) S 23876 23878 23321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178634019 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915452
[startup+25.5289 s]
/proc/loadavg: 1.95 1.75 1.45 3/105 23886
/proc/meminfo: memFree=1237768/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915452 CPUtime=25.28
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 8729 0 1 0 2522 6 0 0 25 0 8 0 178634004 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805389 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228863 8465 2524 14 0 215333 0
[pid=23878/tid=23880] ppid=23876 vsize=915452 CPUtime=0.03
/proc/23878/task/23880/stat : 23880 (java) S 23876 23878 23321 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178634008 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23881] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23881/stat : 23881 (java) S 23876 23878 23321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178634008 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23882] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23882/stat : 23882 (java) S 23876 23878 23321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178634008 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23883] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23883/stat : 23883 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178634019 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23884] ppid=23876 vsize=915452 CPUtime=0.22
/proc/23878/task/23884/stat : 23884 (java) S 23876 23878 23321 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178634019 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23885] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23885/stat : 23885 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 178634019 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23886] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23886/stat : 23886 (java) S 23876 23878 23321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178634019 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 30.3822
CPU time (s): 30.0924
CPU user time (s): 30.0184
CPU system time (s): 0.073988
CPU usage (%): 99.0463
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.0184
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8824
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= 1769
involuntary context switches= 3338
runsolver used 0.047992 s user time and 0.096985 s system time
The end
Begin job on node16 on Tue Jan 9 00:26:32 UTC 2007
IDJOB= 228944
IDBENCH= 6259
FILE ID= node16/228944-1168302391
PBS_JOBID= 3502221
Free space on /tmp= 66519 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228944-1168302391/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-228944-1168302391 -o ROOT/results/node16/solver-228944-1168302391 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228944-1168302391/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= afbb6944669ab2195aba35cdf51b5bb9
RANDOM SEED= 90247906
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.220
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.220
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: 1262368 kB
Buffers: 102776 kB
Cached: 475932 kB
SwapCached: 448 kB
Active: 495204 kB
Inactive: 239220 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1262368 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1888 kB
Writeback: 0 kB
Mapped: 183896 kB
Slab: 43592 kB
Committed_AS: 5793748 kB
PageTables: 2616 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= 66519 MiB
End job on node16 on Tue Jan 9 00:27:02 UTC 2007