0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/221718-1168261381/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.44 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.44 => wckTime=0.138 cpuTime=0.08 mem=6M951
0.44
0.44 relations being loaded...
0.53
0.53 constraints being loaded...
0.64 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=861 maxDegree=23
0.64 maxArity=2
0.64 => wckTime=0.343 cpuTime=0.22 mem=13M794
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.535 cpuTime=0.34 mem=15M99
0.88
0.88 preprocessing
0.88 nbConstraintChecks=49268 nbPropagations=647 nbRevisions=6317 nbUselessRevisions=5534 nbSingletonTests=34
0.88 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.88 => wckTime=0.041 cpuTime=0.02 mem=15M99
0.90
0.90 search
0.90 run=0 nbConstraintChecks=39897 nbPropagations=1141 nbRevisions=14649 nbUselessRevisions=12799 nbAssignments=30
0.90 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.065 cpuTime=0.04 mem=15M99
0.92
0.92 search
0.92 run=1 nbConstraintChecks=91013 nbPropagations=2899 nbRevisions=40002 nbUselessRevisions=34920 nbAssignments=66
0.92 nbFailedAssignments=29 nbBacktracks=26 nbVisitedNodes=119 nbRestartNogoods=4 mapSize=26 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.081 cpuTime=0.05 mem=15M99
0.94
0.94 search
0.94 run=2 nbConstraintChecks=145719 nbPropagations=5341 nbRevisions=77300 nbUselessRevisions=67323
0.94 nbAssignments=115 nbFailedAssignments=51 nbBacktracks=48 nbVisitedNodes=207 nbRestartNogoods=7 mapSize=47
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.098 cpuTime=0.07 mem=15M99
0.96
0.96 search
0.96 run=3 nbConstraintChecks=240577 nbPropagations=8902 nbRevisions=135197 nbUselessRevisions=117543
0.96 nbAssignments=187 nbFailedAssignments=85 nbBacktracks=82 nbVisitedNodes=339 nbRestartNogoods=10 mapSize=81
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.121 cpuTime=0.09 mem=15M99
0.99
0.99 search
0.99 run=4 nbConstraintChecks=375017 nbPropagations=14021 nbRevisions=222416 nbUselessRevisions=193066
0.99 nbAssignments=293 nbFailedAssignments=136 nbBacktracks=132 nbVisitedNodes=531 nbRestartNogoods=13 mapSize=128
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.147 cpuTime=0.11 mem=15M99
1.03
1.03 search
1.03 run=5 nbConstraintChecks=565931 nbPropagations=21442 nbRevisions=352760 nbUselessRevisions=305813
1.03 nbAssignments=446 nbFailedAssignments=207 nbBacktracks=208 nbVisitedNodes=814 nbRestartNogoods=15 mapSize=203
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.187 cpuTime=0.15 mem=15M99
1.08
1.08 search
1.08 run=6 nbConstraintChecks=866205 nbPropagations=32296 nbRevisions=550087 nbUselessRevisions=476897
1.08 nbAssignments=677 nbFailedAssignments=318 nbBacktracks=323 nbVisitedNodes=1239 nbRestartNogoods=23 mapSize=313
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.242 cpuTime=0.2 mem=15M99
1.17
1.17 search
1.17 run=7 nbConstraintChecks=1351712 nbPropagations=48597 nbRevisions=855979 nbUselessRevisions=742177
1.17 nbAssignments=1024 nbFailedAssignments=489 nbBacktracks=495 nbVisitedNodes=1891 nbRestartNogoods=27
1.17 mapSize=482 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.328 cpuTime=0.29 mem=15M99
1.30
1.30 search
1.30 run=8 nbConstraintChecks=2058460 nbPropagations=72691 nbRevisions=1316759 nbUselessRevisions=1141079
1.30 nbAssignments=1552 nbFailedAssignments=756 nbBacktracks=751 nbVisitedNodes=2879 nbRestartNogoods=34
1.30 mapSize=733 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.465 cpuTime=0.41 mem=15M99
1.42
1.42 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=15M99)
1.46
1.46 search
1.46 run=9 nbConstraintChecks=3003365 nbPropagations=107686 nbRevisions=1991684 nbUselessRevisions=1725873
1.46 nbAssignments=2307 nbFailedAssignments=1121 nbBacktracks=1136 nbVisitedNodes=4273 nbRestartNogoods=42
1.46 => wckTime=0.616 cpuTime=0.55 mem=15M99
1.68
1.68 search
1.68 run=10 nbConstraintChecks=4475930 nbPropagations=159874 nbRevisions=3004922 nbUselessRevisions=2603892
1.68 nbAssignments=3451 nbFailedAssignments=1683 nbBacktracks=1712 nbVisitedNodes=6415 nbRestartNogoods=47
1.68 => wckTime=0.845 cpuTime=0.78 mem=15M99
2.01
2.01 search
2.01 run=11 nbConstraintChecks=6752155 nbPropagations=238142 nbRevisions=4535215 nbUselessRevisions=3930032
2.01 nbAssignments=5207 nbFailedAssignments=2571 nbBacktracks=2577 nbVisitedNodes=9693 nbRestartNogoods=57
2.01 => wckTime=1.174 cpuTime=1.1 mem=15M99
2.51
2.51 search
2.51 run=12 nbConstraintChecks=10017272 nbPropagations=354068 nbRevisions=6806413 nbUselessRevisions=5899419
2.51 nbAssignments=7707 nbFailedAssignments=3770 nbBacktracks=3874 nbVisitedNodes=14360 nbRestartNogoods=67
2.51 => wckTime=1.667 cpuTime=1.59 mem=15M99
3.29
3.29 search
3.29 run=13 nbConstraintChecks=15137393 nbPropagations=527689 nbRevisions=10225310 nbUselessRevisions=8864097
3.29 nbAssignments=11543 nbFailedAssignments=5654 nbBacktracks=5821 nbVisitedNodes=21523 nbRestartNogoods=81
3.29 => wckTime=2.451 cpuTime=2.38 mem=15M99
4.47
4.47 search
4.47 run=14 nbConstraintChecks=22824854 nbPropagations=788520 nbRevisions=15387285 nbUselessRevisions=13342163
4.47 nbAssignments=17352 nbFailedAssignments=8539 nbBacktracks=8740 nbVisitedNodes=32393 nbRestartNogoods=93
4.47 => wckTime=3.632 cpuTime=3.56 mem=15M99
6.28
6.28 search
6.28 run=15 nbConstraintChecks=34856850 nbPropagations=1182719 nbRevisions=23216679 nbUselessRevisions=20132923
6.28 nbAssignments=26108 nbFailedAssignments=12911 nbBacktracks=13119 nbVisitedNodes=48795 nbRestartNogoods=102
6.28 => wckTime=5.446 cpuTime=5.37 mem=15M99
8.97
8.97 search
8.97 run=16 nbConstraintChecks=52578075 nbPropagations=1773879 nbRevisions=35001533 nbUselessRevisions=30357290
8.97 nbAssignments=39141 nbFailedAssignments=19361 nbBacktracks=19687 nbVisitedNodes=73150 nbRestartNogoods=117
8.97 => wckTime=8.136 cpuTime=8.06 mem=15M99
12.98
12.98 search
12.98 run=17 nbConstraintChecks=78817797 nbPropagations=2659527 nbRevisions=52713129 nbUselessRevisions=45730760
12.98 nbAssignments=58611 nbFailedAssignments=28974 nbBacktracks=29540 nbVisitedNodes=109540 nbRestartNogoods=134
12.98 => wckTime=12.139 cpuTime=12.06 mem=15M99
18.68
18.68 search
18.68 run=18 nbConstraintChecks=115993251 nbPropagations=3972723 nbRevisions=78865991 nbUselessRevisions=68432857
18.68 nbAssignments=87245 nbFailedAssignments=42825 nbBacktracks=44318 nbVisitedNodes=162860 nbRestartNogoods=152
18.68 => wckTime=17.843 cpuTime=17.77 mem=15M99
27.44
27.44 search
27.44 run=19 nbConstraintChecks=173195748 nbPropagations=5935022 nbRevisions=117928948 nbUselessRevisions=102344354
27.44 nbAssignments=130631 nbFailedAssignments=64037 nbBacktracks=66486 nbVisitedNodes=243739 nbRestartNogoods=163
27.44 => wckTime=26.604 cpuTime=26.53 mem=15M99
41.04
41.04 search
41.04 run=20 nbConstraintChecks=263375837 nbPropagations=8898113 nbRevisions=177149035 nbUselessRevisions=153752379
41.04 nbAssignments=196643 nbFailedAssignments=96793 nbBacktracks=99738 nbVisitedNodes=367222 nbRestartNogoods=179
41.04 => wckTime=40.197 cpuTime=40.11 mem=15M99
61.54
61.54 search
61.54 run=21 nbConstraintChecks=399759065 nbPropagations=13363645 nbRevisions=266758978 nbUselessRevisions=231555611
61.54 nbAssignments=295600 nbFailedAssignments=145867 nbBacktracks=149617 nbVisitedNodes=552251 nbRestartNogoods=201
61.54 => wckTime=60.704 cpuTime=60.62 mem=15M99
92.50
92.50 search
92.50 run=22 nbConstraintChecks=606011035 nbPropagations=20090510 nbRevisions=402197899 nbUselessRevisions=349163781
92.50 nbAssignments=444027 nbFailedAssignments=219471 nbBacktracks=224436 nbVisitedNodes=829798 nbRestartNogoods=213
92.50 => wckTime=91.663 cpuTime=91.56 mem=15M99
138.83
138.83 search
138.83 run=23 nbConstraintChecks=915014424 nbPropagations=30203321 nbRevisions=606473677 nbUselessRevisions=526590664
138.83 nbAssignments=666038 nbFailedAssignments=329251 nbBacktracks=336664 nbVisitedNodes=1244957 nbRestartNogoods=236
138.83 => wckTime=137.993 cpuTime=137.88 mem=15M99
209.68
209.68 search
209.68 run=24 nbConstraintChecks=1391184998 nbPropagations=45459266 nbRevisions=915961262 nbUselessRevisions=795439534
209.68 nbAssignments=1000478 nbFailedAssignments=495345 nbBacktracks=505005 nbVisitedNodes=1870734
209.68 nbRestartNogoods=258
209.68 => wckTime=208.846 cpuTime=208.72 mem=15M99
213.18
213.18 search
213.18 run=25 nbConstraintChecks=1414617074 nbPropagations=60967883 nbRevisions=1230648612
213.18 nbUselessRevisions=1068809492 nbAssignments=1016839 nbFailedAssignments=503484 nbBacktracks=513203
213.18 nbVisitedNodes=1901377 nbRestartNogoods=270
213.18 => wckTime=212.337 cpuTime=212.21 mem=15M99
213.18
213.18 global
213.18 nbConstraintChecks=1414666342 nbPropagations=60968530 nbRevisions=1230654929 nbUselessRevisions=1068815026
213.18 nbRestartNogoods=270 solvingWckTime=212.338 solvingCpuTime=212.21 expiredTime=no totalExploration=no
213.18 nbFoundSolutions=1 globalCpuTime=212.6
213.18 => wckTime=212.876 cpuTime=212.56 mem=15M99
213.18
213.18 s SATISFIABLE
213.18 v 4 4 21 13 5 7 19 6 14 0 0 1 15 23 8 22 2 0 20 10 16 6 19 16
213.18 d NODES 1016839
213.18 d CHECKS 1414666342
213.18
213.18 totalWckTime=212.953 totalCpuTime=212.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-221718-1168261381 -o ROOT/results/node41/solver-221718-1168261381 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221718-1168261381/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: 0.95 1.48 1.72 3/65 1868
/proc/meminfo: memFree=1815856/2055920 swapFree=4191892/4192956
[pid=1867] ppid=1865 vsize=18540 CPUtime=0
/proc/1867/stat : 1867 (runsolver) R 1865 1867 552 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174537418 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1867/statm: 4635 279 244 17 0 2626 0
[startup+0.10432 s]
/proc/loadavg: 0.95 1.48 1.72 3/65 1868
/proc/meminfo: memFree=1815856/2055920 swapFree=4191892/4192956
[pid=1867] ppid=1865 vsize=914988 CPUtime=0.08
/proc/1867/stat : 1867 (java) S 1865 1867 552 0 -1 0 2998 0 1 0 7 1 0 0 23 0 8 0 174537418 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1867/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512351 s]
/proc/loadavg: 0.95 1.48 1.72 3/65 1868
/proc/meminfo: memFree=1815856/2055920 swapFree=4191892/4192956
[pid=1867] ppid=1865 vsize=915328 CPUtime=0.44
/proc/1867/stat : 1867 (java) R 1865 1867 552 0 -1 0 6648 0 1 0 41 3 0 0 16 0 8 0 174537418 937295872 6387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1867/statm: 228832 6389 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33342 s]
/proc/loadavg: 0.95 1.48 1.72 2/72 1876
/proc/meminfo: memFree=1791928/2055920 swapFree=4191892/4192956
[pid=1867] ppid=1865 vsize=915452 CPUtime=1.26
/proc/1867/stat : 1867 (java) R 1865 1867 552 0 -1 0 8721 0 1 0 122 4 0 0 16 0 8 0 174537418 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1867/statm: 228863 8459 2524 14 0 215333 0
[pid=1867/tid=1869] ppid=1865 vsize=915452 CPUtime=0.03
/proc/1867/task/1869/stat : 1869 (java) S 1865 1867 552 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174537422 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1870] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1870/stat : 1870 (java) S 1865 1867 552 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1871] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1871/stat : 1871 (java) S 1865 1867 552 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1873] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1873/stat : 1873 (java) S 1865 1867 552 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174537426 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1874] ppid=1865 vsize=915452 CPUtime=0.19
/proc/1867/task/1874/stat : 1874 (java) S 1865 1867 552 0 -1 64 384 0 0 0 19 0 0 0 16 0 8 0 174537426 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1875] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1875/stat : 1875 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174537426 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1876] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1876/stat : 1876 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174537426 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915452
[startup+2.97456 s]
/proc/loadavg: 0.95 1.48 1.72 2/72 1876
/proc/meminfo: memFree=1791672/2055920 swapFree=4191892/4192956
[pid=1867] ppid=1865 vsize=915452 CPUtime=2.9
/proc/1867/stat : 1867 (java) R 1865 1867 552 0 -1 0 8747 0 1 0 286 4 0 0 18 0 8 0 174537418 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863574 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1867/statm: 228863 8484 2524 14 0 215333 0
[pid=1867/tid=1869] ppid=1865 vsize=915452 CPUtime=0.03
/proc/1867/task/1869/stat : 1869 (java) S 1865 1867 552 0 -1 64 305 0 0 0 3 0 0 0 17 0 8 0 174537422 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1870] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1870/stat : 1870 (java) S 1865 1867 552 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1871] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1871/stat : 1871 (java) S 1865 1867 552 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1873] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1873/stat : 1873 (java) S 1865 1867 552 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174537426 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1874] ppid=1865 vsize=915452 CPUtime=0.21
/proc/1867/task/1874/stat : 1874 (java) S 1865 1867 552 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 174537426 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1875] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1875/stat : 1875 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174537426 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1876] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1876/stat : 1876 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174537426 937422848 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915452
[startup+6.17484 s]
/proc/loadavg: 0.95 1.47 1.71 2/72 1876
/proc/meminfo: memFree=1791544/2055920 swapFree=4191892/4192956
[pid=1867] ppid=1865 vsize=915452 CPUtime=6.1
/proc/1867/stat : 1867 (java) R 1865 1867 552 0 -1 0 8752 0 1 0 606 4 0 0 25 0 8 0 174537418 937422848 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1867/statm: 228863 8488 2524 14 0 215333 0
[pid=1867/tid=1869] ppid=1865 vsize=915452 CPUtime=0.03
/proc/1867/task/1869/stat : 1869 (java) S 1865 1867 552 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174537422 937422848 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1870] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1870/stat : 1870 (java) S 1865 1867 552 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1871] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1871/stat : 1871 (java) S 1865 1867 552 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1873] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1873/stat : 1873 (java) S 1865 1867 552 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174537426 937422848 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1874] ppid=1865 vsize=915452 CPUtime=0.21
/proc/1867/task/1874/stat : 1874 (java) S 1865 1867 552 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 174537426 937422848 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1875] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1875/stat : 1875 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174537426 937422848 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1876] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1876/stat : 1876 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174537426 937422848 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915452
[startup+12.6384 s]
/proc/loadavg: 0.95 1.46 1.71 2/72 1876
/proc/meminfo: memFree=1791552/2055920 swapFree=4191892/4192956
[pid=1867] ppid=1865 vsize=915452 CPUtime=12.56
/proc/1867/stat : 1867 (java) R 1865 1867 552 0 -1 0 8758 0 1 0 1252 4 0 0 25 0 8 0 174537418 937422848 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1867/statm: 228863 8493 2524 14 0 215333 0
[pid=1867/tid=1869] ppid=1865 vsize=915452 CPUtime=0.03
/proc/1867/task/1869/stat : 1869 (java) S 1865 1867 552 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174537422 937422848 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1870] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1870/stat : 1870 (java) S 1865 1867 552 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1871] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1871/stat : 1871 (java) S 1865 1867 552 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1873] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1873/stat : 1873 (java) S 1865 1867 552 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174537426 937422848 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1874] ppid=1865 vsize=915452 CPUtime=0.21
/proc/1867/task/1874/stat : 1874 (java) S 1865 1867 552 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 174537426 937422848 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1875] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1875/stat : 1875 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174537426 937422848 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1876] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1876/stat : 1876 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174537426 937422848 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915452
[startup+25.4765 s]
/proc/loadavg: 0.96 1.44 1.70 2/72 1876
/proc/meminfo: memFree=1791616/2055920 swapFree=4191892/4192956
[pid=1867] ppid=1865 vsize=915452 CPUtime=25.4
/proc/1867/stat : 1867 (java) R 1865 1867 552 0 -1 0 8763 0 1 0 2535 5 0 0 25 0 8 0 174537418 937422848 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1867/statm: 228863 8498 2524 14 0 215333 0
[pid=1867/tid=1869] ppid=1865 vsize=915452 CPUtime=0.03
/proc/1867/task/1869/stat : 1869 (java) S 1865 1867 552 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174537422 937422848 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1870] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1870/stat : 1870 (java) S 1865 1867 552 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1871] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1871/stat : 1871 (java) S 1865 1867 552 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1873] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1873/stat : 1873 (java) S 1865 1867 552 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174537426 937422848 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1874] ppid=1865 vsize=915452 CPUtime=0.21
/proc/1867/task/1874/stat : 1874 (java) S 1865 1867 552 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 174537426 937422848 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1875] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1875/stat : 1875 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174537426 937422848 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1876] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1876/stat : 1876 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174537426 937422848 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915452
[startup+51.1548 s]
/proc/loadavg: 0.98 1.40 1.68 2/72 1876
/proc/meminfo: memFree=1791616/2055920 swapFree=4191892/4192956
[pid=1867] ppid=1865 vsize=915452 CPUtime=51.07
/proc/1867/stat : 1867 (java) R 1865 1867 552 0 -1 0 8768 0 1 0 5102 5 0 0 25 0 8 0 174537418 937422848 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1867/statm: 228863 8503 2524 14 0 215333 0
[pid=1867/tid=1869] ppid=1865 vsize=915452 CPUtime=0.03
/proc/1867/task/1869/stat : 1869 (java) S 1865 1867 552 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174537422 937422848 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1870] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1870/stat : 1870 (java) S 1865 1867 552 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1871] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1871/stat : 1871 (java) S 1865 1867 552 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1873] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1873/stat : 1873 (java) S 1865 1867 552 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174537426 937422848 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1874] ppid=1865 vsize=915452 CPUtime=0.21
/proc/1867/task/1874/stat : 1874 (java) S 1865 1867 552 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 174537426 937422848 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1875] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1875/stat : 1875 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174537426 937422848 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1876] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1876/stat : 1876 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174537426 937422848 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 915452
[startup+102.405 s]
/proc/loadavg: 0.99 1.34 1.64 2/72 1876
/proc/meminfo: memFree=1791616/2055920 swapFree=4191892/4192956
[pid=1867] ppid=1865 vsize=915452 CPUtime=102.3
/proc/1867/stat : 1867 (java) R 1865 1867 552 0 -1 0 8773 0 1 0 10225 5 0 0 25 0 8 0 174537418 937422848 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1867/statm: 228863 8508 2524 14 0 215333 0
[pid=1867/tid=1869] ppid=1865 vsize=915452 CPUtime=0.03
/proc/1867/task/1869/stat : 1869 (java) S 1865 1867 552 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174537422 937422848 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1870] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1870/stat : 1870 (java) S 1865 1867 552 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1871] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1871/stat : 1871 (java) S 1865 1867 552 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1873] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1873/stat : 1873 (java) S 1865 1867 552 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174537426 937422848 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1874] ppid=1865 vsize=915452 CPUtime=0.21
/proc/1867/task/1874/stat : 1874 (java) S 1865 1867 552 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 174537426 937422848 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1875] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1875/stat : 1875 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174537426 937422848 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1876] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1876/stat : 1876 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174537426 937422848 8508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 915452
[startup+162.489 s]
/proc/loadavg: 0.99 1.27 1.60 3/72 1876
/proc/meminfo: memFree=1791616/2055920 swapFree=4191892/4192956
[pid=1867] ppid=1865 vsize=915452 CPUtime=162.37
/proc/1867/stat : 1867 (java) R 1865 1867 552 0 -1 0 8776 0 1 0 16232 5 0 0 25 0 8 0 174537418 937422848 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1867/statm: 228863 8511 2524 14 0 215333 0
[pid=1867/tid=1869] ppid=1865 vsize=915452 CPUtime=0.03
/proc/1867/task/1869/stat : 1869 (java) S 1865 1867 552 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174537422 937422848 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1870] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1870/stat : 1870 (java) S 1865 1867 552 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1871] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1871/stat : 1871 (java) S 1865 1867 552 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174537423 937422848 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1873] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1873/stat : 1873 (java) S 1865 1867 552 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174537426 937422848 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1874] ppid=1865 vsize=915452 CPUtime=0.21
/proc/1867/task/1874/stat : 1874 (java) S 1865 1867 552 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 174537426 937422848 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1867/tid=1875] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1875/stat : 1875 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174537426 937422848 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1867/tid=1876] ppid=1865 vsize=915452 CPUtime=0
/proc/1867/task/1876/stat : 1876 (java) S 1865 1867 552 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174537426 937422848 8511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.37
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 213.235
CPU time (s): 213.073
CPU user time (s): 213.01
CPU system time (s): 0.06299
CPU usage (%): 99.9237
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 213.01
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8873
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= 5173
involuntary context switches= 696
runsolver used 0.271958 s user time and 0.489925 s system time
The end
Begin job on node41 on Mon Jan 8 13:03:01 UTC 2007
IDJOB= 221718
IDBENCH= 5465
FILE ID= node41/221718-1168261381
PBS_JOBID= 3482620
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-48021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221718-1168261381/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-221718-1168261381 -o ROOT/results/node41/solver-221718-1168261381 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221718-1168261381/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 23b670d8c9599bc75edae4d191ae20d2
RANDOM SEED= 352324574
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.234
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.234
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: 1816336 kB
Buffers: 46572 kB
Cached: 125480 kB
SwapCached: 396 kB
Active: 99768 kB
Inactive: 87104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1816336 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 23656 kB
Slab: 38756 kB
Committed_AS: 3439656 kB
PageTables: 1476 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= 66561 MiB
End job on node41 on Mon Jan 8 13:06:35 UTC 2007