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/202638-1168072591/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=340 nbRelationTypes=340 nbExtensionStructures=340 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=340 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2968 maxDegree=23
0.60 maxArity=2
0.60 => wckTime=0.306 cpuTime=0.23 mem=12M803
0.64
0.64 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.493 cpuTime=0.35 mem=13M926
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.0040 cpuTime=0.0 mem=13M926
0.84
0.84 search
0.84 run=0 nbConstraintChecks=31096 nbPropagations=446 nbRevisions=4762 nbUselessRevisions=3849 nbAssignments=21
0.84 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.049 cpuTime=0.03 mem=14M901
0.86
0.86 search
0.86 run=1 nbConstraintChecks=69116 nbPropagations=1457 nbRevisions=16101 nbUselessRevisions=13108 nbAssignments=53
0.86 nbFailedAssignments=15 nbBacktracks=25 nbVisitedNodes=83 nbRestartNogoods=1 mapSize=21 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.069 cpuTime=0.04 mem=14M901
0.88
0.88 search
0.88 run=2 nbConstraintChecks=137530 nbPropagations=3397 nbRevisions=39258 nbUselessRevisions=31922
0.88 nbAssignments=102 nbFailedAssignments=33 nbBacktracks=49 nbVisitedNodes=166 nbRestartNogoods=3 mapSize=43
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.092 cpuTime=0.05 mem=14M901
0.90
0.90 search
0.90 run=3 nbConstraintChecks=224588 nbPropagations=6486 nbRevisions=77070 nbUselessRevisions=62519
0.90 nbAssignments=163 nbFailedAssignments=54 nbBacktracks=83 nbVisitedNodes=267 nbRestartNogoods=6 mapSize=71
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.11 cpuTime=0.08 mem=14M901
0.93
0.93 search
0.93 run=4 nbConstraintChecks=364129 nbPropagations=11418 nbRevisions=140729 nbUselessRevisions=114035
0.93 nbAssignments=263 nbFailedAssignments=97 nbBacktracks=135 nbVisitedNodes=444 nbRestartNogoods=9 mapSize=116
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.138 cpuTime=0.1 mem=14M901
0.97
0.97 search
0.97 run=5 nbConstraintChecks=573968 nbPropagations=19013 nbRevisions=239810 nbUselessRevisions=193421
0.97 nbAssignments=399 nbFailedAssignments=150 nbBacktracks=211 nbVisitedNodes=681 nbRestartNogoods=11 mapSize=182
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.177 cpuTime=0.14 mem=14M901
1.01
1.01 search
1.01 run=6 nbConstraintChecks=820777 nbPropagations=30076 nbRevisions=384566 nbUselessRevisions=309591
1.01 nbAssignments=593 nbFailedAssignments=223 nbBacktracks=324 nbVisitedNodes=1016 nbRestartNogoods=15 mapSize=279
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.224 cpuTime=0.18 mem=14M901
1.09
1.09 search
1.09 run=7 nbConstraintChecks=1251781 nbPropagations=46674 nbRevisions=603520 nbUselessRevisions=484566
1.09 nbAssignments=879 nbFailedAssignments=333 nbBacktracks=494 nbVisitedNodes=1515 nbRestartNogoods=20 mapSize=426
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.298 cpuTime=0.26 mem=14M901
1.20
1.20 search
1.20 run=8 nbConstraintChecks=1845067 nbPropagations=71245 nbRevisions=932367 nbUselessRevisions=747489
1.20 nbAssignments=1316 nbFailedAssignments=507 nbBacktracks=753 nbVisitedNodes=2270 nbRestartNogoods=27
1.20 mapSize=645 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.406 cpuTime=0.36 mem=14M901
1.35
1.35 search
1.35 run=9 nbConstraintChecks=2688300 nbPropagations=107267 nbRevisions=1419018 nbUselessRevisions=1136846
1.35 nbAssignments=1961 nbFailedAssignments=757 nbBacktracks=1140 nbVisitedNodes=3379 nbRestartNogoods=30
1.35 mapSize=974 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.561 cpuTime=0.5 mem=14M901
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=14M901)
1.59
1.59 search
1.59 run=10 nbConstraintChecks=4220817 nbPropagations=162668 nbRevisions=2174062 nbUselessRevisions=1738635
1.59 nbAssignments=2962 nbFailedAssignments=1173 nbBacktracks=1717 nbVisitedNodes=5141 nbRestartNogoods=38
1.59 => wckTime=0.799 cpuTime=0.73 mem=14M901
1.91
1.91 search
1.91 run=11 nbConstraintChecks=6348944 nbPropagations=246602 nbRevisions=3328213 nbUselessRevisions=2661586
1.91 nbAssignments=4496 nbFailedAssignments=1834 nbBacktracks=2584 nbVisitedNodes=7852 nbRestartNogoods=48
1.91 => wckTime=1.117 cpuTime=1.04 mem=14M901
2.33
2.33 search
2.33 run=12 nbConstraintChecks=9256048 nbPropagations=369385 nbRevisions=5016427 nbUselessRevisions=4013332
2.33 nbAssignments=6634 nbFailedAssignments=2670 nbBacktracks=3881 nbVisitedNodes=11571 nbRestartNogoods=55
2.33 => wckTime=1.544 cpuTime=1.47 mem=14M901
3.02
3.02 search
3.03 run=13 nbConstraintChecks=14115557 nbPropagations=553911 nbRevisions=7562875 nbUselessRevisions=6053763
3.03 nbAssignments=9941 nbFailedAssignments=4023 nbBacktracks=5828 nbVisitedNodes=17369 nbRestartNogoods=66
3.03 => wckTime=2.234 cpuTime=2.16 mem=14M901
4.06
4.06 search
4.06 run=14 nbConstraintChecks=21183206 nbPropagations=831310 nbRevisions=11419581 nbUselessRevisions=9149341
4.06 nbAssignments=14929 nbFailedAssignments=6086 nbBacktracks=8748 nbVisitedNodes=26164 nbRestartNogoods=74
4.06 => wckTime=3.27 cpuTime=3.2 mem=14M901
5.53
5.54 search
5.54 run=15 nbConstraintChecks=31292580 nbPropagations=1242790 nbRevisions=17129760 nbUselessRevisions=13734111
5.54 nbAssignments=22184 nbFailedAssignments=8957 nbBacktracks=13126 nbVisitedNodes=38825 nbRestartNogoods=81
5.54 => wckTime=4.745 cpuTime=4.67 mem=14M901
7.80
7.80 search
7.80 run=16 nbConstraintChecks=47064658 nbPropagations=1857917 nbRevisions=25648657 nbUselessRevisions=20563947
7.80 nbAssignments=33162 nbFailedAssignments=13359 nbBacktracks=19695 nbVisitedNodes=57962 nbRestartNogoods=88
7.80 => wckTime=7.014 cpuTime=6.93 mem=14M901
11.09
11.09 search
11.09 run=17 nbConstraintChecks=69278238 nbPropagations=2775303 nbRevisions=38411667 nbUselessRevisions=30827147
11.09 nbAssignments=49676 nbFailedAssignments=20014 nbBacktracks=29547 nbVisitedNodes=86855 nbRestartNogoods=97
11.09 => wckTime=10.296 cpuTime=10.22 mem=14M901
16.31
16.31 search
16.31 run=18 nbConstraintChecks=106556771 nbPropagations=4159757 nbRevisions=57607456 nbUselessRevisions=46214784
16.31 nbAssignments=74431 nbFailedAssignments=29986 nbBacktracks=44326 nbVisitedNodes=130127 nbRestartNogoods=105
16.31 => wckTime=15.521 cpuTime=15.43 mem=14M901
23.75
23.75 search
23.75 run=19 nbConstraintChecks=156581073 nbPropagations=6224156 nbRevisions=86261450 nbUselessRevisions=69235559
23.75 nbAssignments=111616 nbFailedAssignments=44996 nbBacktracks=66495 nbVisitedNodes=194999 nbRestartNogoods=114
23.75 => wckTime=22.962 cpuTime=22.84 mem=14M901
34.82
34.82 search
34.82 run=20 nbConstraintChecks=232832861 nbPropagations=9295473 nbRevisions=128946634 nbUselessRevisions=103534886
34.82 nbAssignments=166725 nbFailedAssignments=66847 nbBacktracks=99748 nbVisitedNodes=290791 nbRestartNogoods=130
34.82 => wckTime=34.032 cpuTime=33.91 mem=14M901
51.91
51.91 search
51.91 run=21 nbConstraintChecks=353313260 nbPropagations=13892809 nbRevisions=192848157 nbUselessRevisions=154808666
51.91 nbAssignments=249297 nbFailedAssignments=99535 nbBacktracks=149627 nbVisitedNodes=434112 nbRestartNogoods=136
51.91 => wckTime=51.125 cpuTime=50.99 mem=14M901
78.43
78.43 search
78.43 run=22 nbConstraintChecks=540119348 nbPropagations=20863669 nbRevisions=289847720 nbUselessRevisions=232594397
78.43 nbAssignments=374486 nbFailedAssignments=149900 nbBacktracks=224445 nbVisitedNodes=653213 nbRestartNogoods=144
78.43 => wckTime=77.642 cpuTime=77.47 mem=14M901
119.05
119.05 search
119.05 run=23 nbConstraintChecks=829456032 nbPropagations=31435426 nbRevisions=437108691 nbUselessRevisions=350528948
119.05 nbAssignments=563427 nbFailedAssignments=226608 nbBacktracks=336673 nbVisitedNodes=984131 nbRestartNogoods=160
119.05 => wckTime=118.255 cpuTime=118.03 mem=14M901
129.26
129.26 search
129.26 run=24 nbConstraintChecks=901722206 nbPropagations=42913672 nbRevisions=597060199 nbUselessRevisions=478621189
129.26 nbAssignments=610489 nbFailedAssignments=245597 nbBacktracks=364747 nbVisitedNodes=1066502 nbRestartNogoods=169
129.26 => wckTime=128.467 cpuTime=128.24 mem=14M901
129.26
129.26 global
129.26 nbConstraintChecks=901722206 nbPropagations=42913712 nbRevisions=597060199 nbUselessRevisions=478621189
129.26 nbRestartNogoods=169 solvingWckTime=128.469 solvingCpuTime=128.24 expiredTime=no totalExploration=yes
129.26 nbFoundSolutions=0 globalCpuTime=128.64
129.26 => wckTime=128.965 cpuTime=128.59 mem=14M901
129.26
129.26 s UNSATISFIABLE
129.26 d NODES 610489
129.26 d CHECKS 901722206
129.26
129.26 totalWckTime=129.042 totalCpuTime=128.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-202638-1168072591 -o ROOT/results/node2/solver-202638-1168072591 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202638-1168072591/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.83 1.92 1.97 4/93 3817
/proc/meminfo: memFree=1055968/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=292 CPUtime=0
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 229 0 0 0 0 0 0 0 18 0 1 0 155654778 299008 35 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10535716 0 0 4096 0 0 0 0 17 0 0 0
/proc/3816/statm: 73 35 27 14 0 5 0
[startup+0.108059 s]
/proc/loadavg: 1.83 1.92 1.97 4/93 3817
/proc/meminfo: memFree=1055968/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=914988 CPUtime=0.09
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 3080 0 1 0 7 2 0 0 22 0 8 0 155654778 936947712 2826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228747 2826 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.519132 s]
/proc/loadavg: 1.83 1.92 1.97 4/93 3817
/proc/meminfo: memFree=1055968/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915328 CPUtime=0.5
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 6985 0 1 0 46 4 0 0 25 0 8 0 155654778 937295872 6724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228832 6724 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34529 s]
/proc/loadavg: 1.83 1.92 1.97 3/100 3824
/proc/meminfo: memFree=1032616/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=1.32
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8645 0 1 0 126 6 0 0 25 0 8 0 155654778 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8383 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.2
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 155654785 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8383 18446744073709551615 134512640 134570532 4294956464 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.98259 s]
/proc/loadavg: 1.85 1.92 1.97 3/100 3824
/proc/meminfo: memFree=1032360/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=2.96
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8668 0 1 0 289 7 0 0 25 0 8 0 155654778 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8405 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8405 18446744073709551615 134512640 134570532 4294956464 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.18418 s]
/proc/loadavg: 1.85 1.92 1.97 3/100 3824
/proc/meminfo: memFree=1032296/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=6.16
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8676 0 1 0 609 7 0 0 25 0 8 0 155654778 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8412 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915456
[startup+12.6634 s]
/proc/loadavg: 1.87 1.92 1.97 3/100 3824
/proc/meminfo: memFree=1032296/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=12.64
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8681 0 1 0 1257 7 0 0 25 0 8 0 155654778 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8417 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915456
[startup+25.5287 s]
/proc/loadavg: 1.89 1.92 1.97 3/100 3824
/proc/meminfo: memFree=1032296/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=25.47
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8686 0 1 0 2540 7 0 0 25 0 8 0 155654778 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820763 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8422 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915456
[startup+51.1615 s]
/proc/loadavg: 1.93 1.93 1.97 3/100 3824
/proc/meminfo: memFree=1032360/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=51.09
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8688 0 1 0 5102 7 0 0 25 0 8 0 155654778 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816149 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8424 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8424 18446744073709551615 134512640 134570532 4294956464 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.421 s]
/proc/loadavg: 1.97 1.94 1.97 3/100 3824
/proc/meminfo: memFree=1032360/2055920 swapFree=4191880/4192956
[pid=3816] ppid=3814 vsize=915456 CPUtime=102.29
/proc/3816/stat : 3816 (java) R 3814 3816 3637 0 -1 0 8693 0 1 0 10222 7 0 0 25 0 8 0 155654778 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3816/statm: 228864 8429 2513 14 0 215334 0
[pid=3816/tid=3818] ppid=3814 vsize=915456 CPUtime=0.03
/proc/3816/task/3818/stat : 3818 (java) S 3814 3816 3637 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155654782 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155654782 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155654782 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155654785 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3822] ppid=3814 vsize=915456 CPUtime=0.21
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3637 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155654785 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3823] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155654785 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3816/tid=3824] ppid=3814 vsize=915456 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155654785 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 129.287
CPU time (s): 129.111
CPU user time (s): 129.027
CPU system time (s): 0.083987
CPU usage (%): 99.8641
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.027
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8789
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= 3756
involuntary context switches= 7372
runsolver used 0.131979 s user time and 0.45593 s system time
The end
Begin job on node2 on Sat Jan 6 08:36:31 UTC 2007
IDJOB= 202638
IDBENCH= 3872
FILE ID= node2/202638-1168072591
PBS_JOBID= 3475753
Free space on /tmp= 66321 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202638-1168072591/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-202638-1168072591 -o ROOT/results/node2/solver-202638-1168072591 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202638-1168072591/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= da7a8729995b8c74ebc13bac43702b0f
RANDOM SEED= 178630253
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.259
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 : 5931.00
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.259
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: 1056448 kB
Buffers: 73588 kB
Cached: 683868 kB
SwapCached: 268 kB
Active: 380656 kB
Inactive: 521384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1056448 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1996 kB
Writeback: 0 kB
Mapped: 172892 kB
Slab: 81724 kB
Committed_AS: 4261176 kB
PageTables: 2592 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= 66321 MiB
End job on node2 on Sat Jan 6 08:38:41 UTC 2007