0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/202910-1168072752/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.49 constraints being loaded...
0.59 nbConstraints=335 nbRelationTypes=335 nbExtensionStructures=335 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=335 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2896 maxDegree=24
0.59 maxArity=2
0.59 => wckTime=0.298 cpuTime=0.22 mem=12M803
0.63
0.63 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.482 cpuTime=0.34 mem=13M917
0.78
0.78 preprocessing
0.78 nbConstraintChecks=19 nbPropagations=41 nbRevisions=1 nbUselessRevisions=0 nbRemovedValues=1
0.78 detectedInconsistency=no
0.78 => wckTime=0.0050 cpuTime=0.0 mem=13M917
0.83
0.83 search
0.83 run=0 nbConstraintChecks=43034 nbPropagations=645 nbRevisions=7132 nbUselessRevisions=5772 nbAssignments=29
0.83 nbFailedAssignments=11 nbBacktracks=11 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.052 cpuTime=0.03 mem=14M892
0.85
0.85 search
0.85 run=1 nbConstraintChecks=87891 nbPropagations=1907 nbRevisions=21783 nbUselessRevisions=17473 nbAssignments=60
0.85 nbFailedAssignments=21 nbBacktracks=27 nbVisitedNodes=99 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.072 cpuTime=0.04 mem=14M892
0.87
0.87 search
0.87 run=2 nbConstraintChecks=155626 nbPropagations=4111 nbRevisions=48560 nbUselessRevisions=38974
0.87 nbAssignments=106 nbFailedAssignments=39 nbBacktracks=49 nbVisitedNodes=179 nbRestartNogoods=6 mapSize=43
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.095 cpuTime=0.06 mem=14M892
0.89
0.89 search
0.89 run=3 nbConstraintChecks=231978 nbPropagations=7437 nbRevisions=90132 nbUselessRevisions=72338
0.89 nbAssignments=164 nbFailedAssignments=60 nbBacktracks=82 nbVisitedNodes=276 nbRestartNogoods=9 mapSize=70
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.112 cpuTime=0.07 mem=14M892
0.92
0.92 search
0.92 run=4 nbConstraintChecks=383711 nbPropagations=12698 nbRevisions=159145 nbUselessRevisions=127753
0.92 nbAssignments=265 nbFailedAssignments=104 nbBacktracks=135 nbVisitedNodes=451 nbRestartNogoods=10 mapSize=115
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.142 cpuTime=0.1 mem=14M892
0.96
0.96 search
0.96 run=5 nbConstraintChecks=601565 nbPropagations=20739 nbRevisions=266395 nbUselessRevisions=213481
0.96 nbAssignments=406 nbFailedAssignments=164 nbBacktracks=212 nbVisitedNodes=700 nbRestartNogoods=11 mapSize=182
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.183 cpuTime=0.14 mem=14M892
1.00
1.00 search
1.00 run=6 nbConstraintChecks=824886 nbPropagations=32176 nbRevisions=418879 nbUselessRevisions=336014
1.00 nbAssignments=592 nbFailedAssignments=231 nbBacktracks=325 nbVisitedNodes=1020 nbRestartNogoods=15 mapSize=276
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.228 cpuTime=0.18 mem=14M892
1.08
1.08 search
1.08 run=7 nbConstraintChecks=1222049 nbPropagations=49193 nbRevisions=646047 nbUselessRevisions=518572
1.08 nbAssignments=887 nbFailedAssignments=348 nbBacktracks=497 nbVisitedNodes=1535 nbRestartNogoods=18 mapSize=422
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.3 cpuTime=0.25 mem=14M892
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1863980 nbPropagations=74818 nbRevisions=992650 nbUselessRevisions=796676
1.19 nbAssignments=1351 nbFailedAssignments=549 nbBacktracks=753 nbVisitedNodes=2345 nbRestartNogoods=23
1.19 mapSize=642 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.413 cpuTime=0.36 mem=14M892
1.36
1.36 search
1.36 run=9 nbConstraintChecks=2850902 nbPropagations=113226 nbRevisions=1516425 nbUselessRevisions=1216905
1.36 nbAssignments=1999 nbFailedAssignments=807 nbBacktracks=1138 nbVisitedNodes=3483 nbRestartNogoods=28
1.36 mapSize=974 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.582 cpuTime=0.53 mem=14M892
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=14M892)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=4119814 nbPropagations=169912 nbRevisions=2287344 nbUselessRevisions=1835618
1.57 nbAssignments=2968 nbFailedAssignments=1194 nbBacktracks=1715 nbVisitedNodes=5172 nbRestartNogoods=32
1.57 => wckTime=0.79 cpuTime=0.72 mem=14M892
1.86
1.86 search
1.86 run=11 nbConstraintChecks=6055380 nbPropagations=253378 nbRevisions=3431075 nbUselessRevisions=2755209
1.86 nbAssignments=4417 nbFailedAssignments=1773 nbBacktracks=2580 nbVisitedNodes=7685 nbRestartNogoods=37
1.86 => wckTime=1.082 cpuTime=1.01 mem=14M892
2.29
2.29 search
2.29 run=12 nbConstraintChecks=9043149 nbPropagations=377263 nbRevisions=5128922 nbUselessRevisions=4117905
2.29 nbAssignments=6584 nbFailedAssignments=2637 nbBacktracks=3879 nbVisitedNodes=11434 nbRestartNogoods=43
2.29 => wckTime=1.518 cpuTime=1.45 mem=14M892
3.00
3.00 search
3.00 run=13 nbConstraintChecks=13833491 nbPropagations=566198 nbRevisions=7729692 nbUselessRevisions=6206813
3.00 nbAssignments=9992 nbFailedAssignments=4093 nbBacktracks=5826 nbVisitedNodes=17457 nbRestartNogoods=52
3.00 => wckTime=2.219 cpuTime=2.15 mem=14M892
4.03
4.03 search
4.03 run=14 nbConstraintChecks=20773033 nbPropagations=851294 nbRevisions=11673969 nbUselessRevisions=9378315
4.03 nbAssignments=15132 nbFailedAssignments=6307 nbBacktracks=8745 nbVisitedNodes=26512 nbRestartNogoods=59
4.03 => wckTime=3.253 cpuTime=3.18 mem=14M892
5.62
5.62 search
5.62 run=15 nbConstraintChecks=31621800 nbPropagations=1280449 nbRevisions=17691080 nbUselessRevisions=14227488
5.62 nbAssignments=22851 nbFailedAssignments=9642 nbBacktracks=13123 nbVisitedNodes=40136 nbRestartNogoods=67
5.62 => wckTime=4.845 cpuTime=4.78 mem=14M892
8.00
8.00 search
8.00 run=16 nbConstraintChecks=47721483 nbPropagations=1925544 nbRevisions=26723872 nbUselessRevisions=21499767
8.00 nbAssignments=34127 nbFailedAssignments=14342 nbBacktracks=19692 nbVisitedNodes=59944 nbRestartNogoods=72
8.00 => wckTime=7.226 cpuTime=7.14 mem=14M892
11.73
11.73 search
11.73 run=17 nbConstraintChecks=73684962 nbPropagations=2906161 nbRevisions=40472787 nbUselessRevisions=32552847
11.73 nbAssignments=51448 nbFailedAssignments=21806 nbBacktracks=29545 nbVisitedNodes=90611 nbRestartNogoods=83
11.73 => wckTime=10.951 cpuTime=10.85 mem=14M892
17.11
17.11 search
17.11 run=18 nbConstraintChecks=110126331 nbPropagations=4380356 nbRevisions=61332541 nbUselessRevisions=49371392
17.11 nbAssignments=77668 nbFailedAssignments=33240 nbBacktracks=44324 nbVisitedNodes=137229 nbRestartNogoods=95
17.11 => wckTime=16.337 cpuTime=16.23 mem=14M892
25.01
25.01 search
25.01 run=19 nbConstraintChecks=164995481 nbPropagations=6579028 nbRevisions=92319666 nbUselessRevisions=74331009
25.01 nbAssignments=115402 nbFailedAssignments=48798 nbBacktracks=66494 nbVisitedNodes=203438 nbRestartNogoods=104
25.01 => wckTime=24.237 cpuTime=24.13 mem=14M892
36.93
36.93 search
36.93 run=20 nbConstraintChecks=245935607 nbPropagations=9866495 nbRevisions=138736794 nbUselessRevisions=111751083
36.93 nbAssignments=172836 nbFailedAssignments=72973 nbBacktracks=99746 nbVisitedNodes=304299 nbRestartNogoods=120
36.93 => wckTime=36.149 cpuTime=36.03 mem=14M892
54.63
54.64 search
54.64 run=21 nbConstraintChecks=366668817 nbPropagations=14772034 nbRevisions=208172744 nbUselessRevisions=167765066
54.64 nbAssignments=258476 nbFailedAssignments=108727 nbBacktracks=149624 nbVisitedNodes=454759 nbRestartNogoods=131
54.64 => wckTime=53.858 cpuTime=53.72 mem=14M892
81.35
81.35 search
81.35 run=22 nbConstraintChecks=550369562 nbPropagations=22116064 nbRevisions=312367905 nbUselessRevisions=251843005
81.35 nbAssignments=386813 nbFailedAssignments=162241 nbBacktracks=224445 nbVisitedNodes=680269 nbRestartNogoods=145
81.35 => wckTime=80.575 cpuTime=80.42 mem=14M892
119.65
119.65 search
119.65 run=23 nbConstraintChecks=814838293 nbPropagations=32927740 nbRevisions=466504094 nbUselessRevisions=376301319
119.65 nbAssignments=568065 nbFailedAssignments=239474 nbBacktracks=328465 nbVisitedNodes=999935 nbRestartNogoods=147
119.65 => wckTime=118.874 cpuTime=118.68 mem=14M892
119.65
119.65 global
119.65 nbConstraintChecks=814838312 nbPropagations=32927781 nbRevisions=466504095 nbUselessRevisions=376301319
119.65 nbRestartNogoods=147 solvingWckTime=118.875 solvingCpuTime=118.68 expiredTime=no totalExploration=yes
119.65 nbFoundSolutions=0 globalCpuTime=119.07
119.65 => wckTime=119.361 cpuTime=119.02 mem=14M892
119.66
119.66 s UNSATISFIABLE
119.66 d NODES 568065
119.66 d CHECKS 814838312
119.66
119.66 totalWckTime=119.437 totalCpuTime=119.07
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-202910-1168072752 -o ROOT/results/node48/solver-202910-1168072752 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202910-1168072752/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.97 1.79 1.39 4/80 30539
/proc/meminfo: memFree=1520368/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=172 CPUtime=0
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155673932 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3531556 0 0 4096 0 0 0 0 17 0 0 0
/proc/30538/statm: 43 24 18 14 0 3 0
[startup+0.107586 s]
/proc/loadavg: 1.97 1.79 1.39 4/80 30539
/proc/meminfo: memFree=1520368/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=914988 CPUtime=0.09
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 3076 0 1 0 7 2 0 0 22 0 8 0 155673932 936947712 2822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228747 2822 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515618 s]
/proc/loadavg: 1.97 1.79 1.39 4/80 30539
/proc/meminfo: memFree=1520368/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915328 CPUtime=0.49
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 7003 0 1 0 45 4 0 0 25 0 8 0 155673932 937295872 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228832 6742 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3367 s]
/proc/loadavg: 1.97 1.79 1.39 3/87 30546
/proc/meminfo: memFree=1496696/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=1.32
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8641 0 1 0 125 7 0 0 25 0 8 0 155673932 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822980 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8379 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.21
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 383 0 0 0 20 1 0 0 15 0 8 0 155673939 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.98185 s]
/proc/loadavg: 1.98 1.79 1.39 3/87 30546
/proc/meminfo: memFree=1496504/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=2.96
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8666 0 1 0 289 7 0 0 25 0 8 0 155673932 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794538 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8403 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155673939 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915456
[startup+6.18915 s]
/proc/loadavg: 1.98 1.79 1.39 3/87 30546
/proc/meminfo: memFree=1496440/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=6.15
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8675 0 1 0 608 7 0 0 25 0 8 0 155673932 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8411 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 155673939 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915456
[startup+12.6627 s]
/proc/loadavg: 1.98 1.80 1.40 3/87 30546
/proc/meminfo: memFree=1496440/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=12.61
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8679 0 1 0 1254 7 0 0 25 0 8 0 155673932 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8415 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 155673939 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456
[startup+25.5259 s]
/proc/loadavg: 1.98 1.80 1.40 3/87 30546
/proc/meminfo: memFree=1496376/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=25.46
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8685 0 1 0 2539 7 0 0 25 0 8 0 155673932 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8421 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155673939 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915456
[startup+51.1553 s]
/proc/loadavg: 1.99 1.82 1.42 3/87 30546
/proc/meminfo: memFree=1496440/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=51.09
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8688 0 1 0 5101 8 0 0 25 0 8 0 155673932 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8424 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155673939 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915456
[startup+102.401 s]
/proc/loadavg: 1.99 1.84 1.45 3/87 30546
/proc/meminfo: memFree=1496440/2055920 swapFree=4192812/4192956
[pid=30538] ppid=30536 vsize=915456 CPUtime=102.27
/proc/30538/stat : 30538 (java) R 30536 30538 30226 0 -1 0 8693 0 1 0 10219 8 0 0 25 0 8 0 155673932 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795432 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30538/statm: 228864 8429 2513 14 0 215334 0
[pid=30538/tid=30540] ppid=30536 vsize=915456 CPUtime=0.02
/proc/30538/task/30540/stat : 30540 (java) S 30536 30538 30226 0 -1 64 286 0 0 0 2 0 0 0 16 0 8 0 155673935 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30541/stat : 30541 (java) S 30536 30538 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673936 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30542/stat : 30542 (java) S 30536 30538 30226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673936 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30543/stat : 30543 (java) S 30536 30538 30226 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673939 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=915456 CPUtime=0.22
/proc/30538/task/30544/stat : 30544 (java) S 30536 30538 30226 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155673939 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30545/stat : 30545 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673939 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=915456 CPUtime=0
/proc/30538/task/30546/stat : 30546 (java) S 30536 30538 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673939 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 119.717
CPU time (s): 119.529
CPU user time (s): 119.438
CPU system time (s): 0.090986
CPU usage (%): 99.8428
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.438
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8786
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= 3578
involuntary context switches= 4053
runsolver used 0.124981 s user time and 0.414936 s system time
The end
Begin job on node48 on Sat Jan 6 08:39:12 UTC 2007
IDJOB= 202910
IDBENCH= 3898
FILE ID= node48/202910-1168072752
PBS_JOBID= 3475974
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202910-1168072752/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-202910-1168072752 -o ROOT/results/node48/solver-202910-1168072752 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202910-1168072752/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e2b7ad46236bd859e96b130995e62355
RANDOM SEED= 163003836
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.218
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.218
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: 1520848 kB
Buffers: 28532 kB
Cached: 273592 kB
SwapCached: 0 kB
Active: 204072 kB
Inactive: 257868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1520848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1944 kB
Writeback: 0 kB
Mapped: 180120 kB
Slab: 58256 kB
Committed_AS: 3887488 kB
PageTables: 2056 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= 66555 MiB
End job on node48 on Sat Jan 6 08:41:12 UTC 2007