0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/202808-1168072723/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.43 => wckTime=0.103 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.65 nbConstraints=342 nbRelationTypes=342 nbExtensionStructures=342 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=342 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2949 maxDegree=24
0.65 maxArity=2
0.65 => wckTime=0.328 cpuTime=0.23 mem=12M803
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.533 cpuTime=0.37 mem=13M930
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0050 cpuTime=0.0 mem=13M930
0.92
0.92 search
0.92 run=0 nbConstraintChecks=42459 nbPropagations=626 nbRevisions=7219 nbUselessRevisions=5761 nbAssignments=29
0.92 nbFailedAssignments=10 nbBacktracks=12 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.058 cpuTime=0.03 mem=14M905
0.94
0.94 search
0.94 run=1 nbConstraintChecks=78889 nbPropagations=1761 nbRevisions=20535 nbUselessRevisions=16506 nbAssignments=57
0.94 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=93 nbRestartNogoods=5 mapSize=22 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.077 cpuTime=0.04 mem=14M905
0.96
0.96 search
0.96 run=2 nbConstraintChecks=139361 nbPropagations=3743 nbRevisions=44666 nbUselessRevisions=36060
0.96 nbAssignments=103 nbFailedAssignments=30 nbBacktracks=50 nbVisitedNodes=165 nbRestartNogoods=6 mapSize=39
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.101 cpuTime=0.06 mem=14M905
0.98
0.98 search
0.98 run=3 nbConstraintChecks=224342 nbPropagations=6913 nbRevisions=83654 nbUselessRevisions=67488
0.98 nbAssignments=165 nbFailedAssignments=51 nbBacktracks=84 nbVisitedNodes=266 nbRestartNogoods=10 mapSize=66
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.119 cpuTime=0.07 mem=14M905
1.00
1.00 search
1.00 run=4 nbConstraintChecks=340749 nbPropagations=11797 nbRevisions=146871 nbUselessRevisions=118890
1.00 nbAssignments=265 nbFailedAssignments=95 nbBacktracks=135 nbVisitedNodes=442 nbRestartNogoods=14 mapSize=113
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.146 cpuTime=0.1 mem=14M905
1.05
1.05 search
1.05 run=5 nbConstraintChecks=517949 nbPropagations=19118 nbRevisions=242047 nbUselessRevisions=196001
1.05 nbAssignments=399 nbFailedAssignments=147 nbBacktracks=211 nbVisitedNodes=669 nbRestartNogoods=15 mapSize=179
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.186 cpuTime=0.13 mem=14M905
1.10
1.10 search
1.10 run=6 nbConstraintChecks=824465 nbPropagations=30633 nbRevisions=396705 nbUselessRevisions=321308
1.10 nbAssignments=622 nbFailedAssignments=249 nbBacktracks=325 nbVisitedNodes=1066 nbRestartNogoods=20 mapSize=282
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.247 cpuTime=0.19 mem=14M905
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1254161 nbPropagations=47877 nbRevisions=632734 nbUselessRevisions=512450
1.19 nbAssignments=931 nbFailedAssignments=381 nbBacktracks=496 nbVisitedNodes=1609 nbRestartNogoods=24 mapSize=435
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.333 cpuTime=0.27 mem=14M905
1.32
1.32 search
1.32 run=8 nbConstraintChecks=1920408 nbPropagations=73674 nbRevisions=992989 nbUselessRevisions=804566
1.32 nbAssignments=1396 nbFailedAssignments=584 nbBacktracks=753 nbVisitedNodes=2433 nbRestartNogoods=33
1.32 mapSize=662 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.462 cpuTime=0.4 mem=14M905
1.48
1.48 search
1.48 run=9 nbConstraintChecks=2694721 nbPropagations=110436 nbRevisions=1507371 nbUselessRevisions=1221087
1.48 nbAssignments=2036 nbFailedAssignments=832 nbBacktracks=1137 nbVisitedNodes=3533 nbRestartNogoods=40
1.48 mapSize=968 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.621 cpuTime=0.54 mem=14M905
1.51
1.51 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=14M905)
1.70
1.70 search
1.70 run=10 nbConstraintChecks=3906534 nbPropagations=164240 nbRevisions=2259337 nbUselessRevisions=1829884
1.70 nbAssignments=2987 nbFailedAssignments=1198 nbBacktracks=1716 nbVisitedNodes=5183 nbRestartNogoods=47
1.70 => wckTime=0.841 cpuTime=0.75 mem=14M905
2.02
2.02 search
2.02 run=11 nbConstraintChecks=5874738 nbPropagations=244859 nbRevisions=3385252 nbUselessRevisions=2740103
2.02 nbAssignments=4495 nbFailedAssignments=1834 nbBacktracks=2582 nbVisitedNodes=7831 nbRestartNogoods=52
2.02 => wckTime=1.167 cpuTime=1.07 mem=14M905
2.50
2.50 search
2.50 run=12 nbConstraintChecks=8817783 nbPropagations=364790 nbRevisions=5055765 nbUselessRevisions=4088659
2.50 nbAssignments=6671 nbFailedAssignments=2706 nbBacktracks=3879 nbVisitedNodes=11593 nbRestartNogoods=59
2.50 => wckTime=1.639 cpuTime=1.54 mem=14M905
3.22
3.22 search
3.22 run=13 nbConstraintChecks=13179275 nbPropagations=546141 nbRevisions=7583834 nbUselessRevisions=6131913
3.22 nbAssignments=10035 nbFailedAssignments=4115 nbBacktracks=5825 nbVisitedNodes=17497 nbRestartNogoods=69
3.22 => wckTime=2.362 cpuTime=2.25 mem=14M905
4.27
4.27 search
4.27 run=14 nbConstraintChecks=19790342 nbPropagations=815449 nbRevisions=11333836 nbUselessRevisions=9159809
4.27 nbAssignments=14909 nbFailedAssignments=6062 nbBacktracks=8745 nbVisitedNodes=25927 nbRestartNogoods=82
4.27 => wckTime=3.417 cpuTime=3.3 mem=14M905
5.95
5.95 search
5.96 run=15 nbConstraintChecks=29900038 nbPropagations=1225648 nbRevisions=17133776 nbUselessRevisions=13861607
5.96 nbAssignments=22618 nbFailedAssignments=9386 nbBacktracks=13124 nbVisitedNodes=39697 nbRestartNogoods=96
5.96 => wckTime=5.097 cpuTime=4.96 mem=14M905
8.19
8.19 search
8.19 run=16 nbConstraintChecks=44107171 nbPropagations=1823866 nbRevisions=25511424 nbUselessRevisions=20628429
8.19 nbAssignments=33160 nbFailedAssignments=13354 nbBacktracks=19692 nbVisitedNodes=57692 nbRestartNogoods=107
8.19 => wckTime=7.332 cpuTime=7.17 mem=14M905
11.71
11.71 search
11.71 run=17 nbConstraintChecks=65959524 nbPropagations=2722232 nbRevisions=38111697 nbUselessRevisions=30818330
11.71 nbAssignments=49747 nbFailedAssignments=20085 nbBacktracks=29544 nbVisitedNodes=86573 nbRestartNogoods=119
11.71 => wckTime=10.854 cpuTime=10.66 mem=14M905
17.25
17.25 search
17.25 run=18 nbConstraintChecks=100686392 nbPropagations=4083946 nbRevisions=57305298 nbUselessRevisions=46348491
17.25 nbAssignments=74637 nbFailedAssignments=30189 nbBacktracks=44326 nbVisitedNodes=130278 nbRestartNogoods=133
17.25 => wckTime=16.394 cpuTime=16.15 mem=14M905
25.55
25.55 search
25.55 run=19 nbConstraintChecks=152101940 nbPropagations=6138068 nbRevisions=86369313 nbUselessRevisions=69883247
25.55 nbAssignments=112035 nbFailedAssignments=45411 nbBacktracks=66494 nbVisitedNodes=195889 nbRestartNogoods=141
25.55 => wckTime=24.695 cpuTime=24.38 mem=14M905
37.07
37.07 search
37.07 run=20 nbConstraintChecks=223121607 nbPropagations=9171225 nbRevisions=129079820 nbUselessRevisions=104447318
37.07 nbAssignments=166906 nbFailedAssignments=67025 nbBacktracks=99747 nbVisitedNodes=290884 nbRestartNogoods=156
37.07 => wckTime=36.213 cpuTime=35.79 mem=14M905
55.96
55.96 search
55.96 run=21 nbConstraintChecks=341989284 nbPropagations=13785144 nbRevisions=194192955 nbUselessRevisions=157154173
55.96 nbAssignments=251786 nbFailedAssignments=102020 nbBacktracks=149627 nbVisitedNodes=440002 nbRestartNogoods=169
55.96 => wckTime=55.1 cpuTime=54.51 mem=14M905
82.53
82.53 search
82.53 run=22 nbConstraintChecks=508561435 nbPropagations=20629438 nbRevisions=290173839 nbUselessRevisions=234701829
82.53 nbAssignments=374959 nbFailedAssignments=150370 nbBacktracks=224446 nbVisitedNodes=653018 nbRestartNogoods=186
82.53 => wckTime=81.673 cpuTime=80.83 mem=14M905
124.07
124.07 search
124.07 run=23 nbConstraintChecks=770341656 nbPropagations=30941037 nbRevisions=434993517 nbUselessRevisions=351720381
124.07 nbAssignments=563033 nbFailedAssignments=226211 nbBacktracks=336675 nbVisitedNodes=981327 nbRestartNogoods=201
124.07 => wckTime=123.216 cpuTime=121.99 mem=14M905
187.10
187.10 search
187.10 run=24 nbConstraintChecks=1171412538 nbPropagations=46469716 nbRevisions=653583875 nbUselessRevisions=528235192
187.10 nbAssignments=843556 nbFailedAssignments=338388 nbBacktracks=505017 nbVisitedNodes=1469264 nbRestartNogoods=212
187.10 => wckTime=186.24 cpuTime=184.44 mem=14M905
195.47
195.47 search
195.47 run=25 nbConstraintChecks=1225260478 nbPropagations=62691007 nbRevisions=881993669 nbUselessRevisions=712668169
195.47 nbAssignments=880664 nbFailedAssignments=353083 nbBacktracks=527431 nbVisitedNodes=1533688 nbRestartNogoods=225
195.47 => wckTime=194.609 cpuTime=192.73 mem=14M905
195.47
195.47 global
195.47 nbConstraintChecks=1225260478 nbPropagations=62691047 nbRevisions=881993669 nbUselessRevisions=712668169
195.47 nbRestartNogoods=225 solvingWckTime=194.61 solvingCpuTime=192.73 expiredTime=no totalExploration=yes
195.47 nbFoundSolutions=0 globalCpuTime=193.16
195.47 => wckTime=195.147 cpuTime=193.1 mem=14M905
195.47
195.47 s UNSATISFIABLE
195.47 d NODES 880664
195.47 d CHECKS 1225260478
195.47
195.47 totalWckTime=195.23 totalCpuTime=193.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-202808-1168072723 -o ROOT/results/node2/solver-202808-1168072723 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202808-1168072723/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.90 1.93 1.96 4/93 3873
/proc/meminfo: memFree=1055968/2055920 swapFree=4191880/4192956
[pid=3872] ppid=3870 vsize=18540 CPUtime=0
/proc/3872/stat : 3872 (runsolver) R 3870 3872 3637 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155667974 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3872/statm: 4635 279 244 17 0 2626 0
[startup+0.103927 s]
/proc/loadavg: 1.90 1.93 1.96 4/93 3873
/proc/meminfo: memFree=1055968/2055920 swapFree=4191880/4192956
[pid=3872] ppid=3870 vsize=913236 CPUtime=0.08
/proc/3872/stat : 3872 (java) R 3870 3872 3637 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 155667974 935153664 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3872/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.515005 s]
/proc/loadavg: 1.90 1.93 1.96 4/93 3873
/proc/meminfo: memFree=1055968/2055920 swapFree=4191880/4192956
[pid=3872] ppid=3870 vsize=915328 CPUtime=0.48
/proc/3872/stat : 3872 (java) R 3870 3872 3637 0 -1 0 6744 0 1 0 44 4 0 0 18 0 8 0 155667974 937295872 6483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3872/statm: 228832 6483 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34115 s]
/proc/loadavg: 1.90 1.93 1.96 3/100 3880
/proc/meminfo: memFree=1032424/2055920 swapFree=4191880/4192956
[pid=3872] ppid=3870 vsize=915456 CPUtime=1.31
/proc/3872/stat : 3872 (java) R 3870 3872 3637 0 -1 0 8627 0 1 0 124 7 0 0 24 0 8 0 155667974 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3872/statm: 228864 8365 2513 14 0 215334 0
[pid=3872/tid=3874] ppid=3870 vsize=915456 CPUtime=0.03
/proc/3872/task/3874/stat : 3874 (java) S 3870 3872 3637 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155667978 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3875] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3875/stat : 3875 (java) S 3870 3872 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155667979 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3876] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3876/stat : 3876 (java) S 3870 3872 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155667979 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3877] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3877/stat : 3877 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155667982 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3878] ppid=3870 vsize=915456 CPUtime=0.21
/proc/3872/task/3878/stat : 3878 (java) S 3870 3872 3637 0 -1 64 377 0 0 0 20 1 0 0 15 0 8 0 155667982 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3879] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3879/stat : 3879 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155667982 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3880] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3880/stat : 3880 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155667982 937426944 8365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.97845 s]
/proc/loadavg: 1.90 1.93 1.96 3/100 3880
/proc/meminfo: memFree=1032104/2055920 swapFree=4191880/4192956
[pid=3872] ppid=3870 vsize=915456 CPUtime=2.93
/proc/3872/stat : 3872 (java) R 3870 3872 3637 0 -1 0 8669 0 1 0 286 7 0 0 25 0 8 0 155667974 937426944 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3872/statm: 228864 8406 2513 14 0 215334 0
[pid=3872/tid=3874] ppid=3870 vsize=915456 CPUtime=0.03
/proc/3872/task/3874/stat : 3874 (java) S 3870 3872 3637 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 155667978 937426944 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3875] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3875/stat : 3875 (java) S 3870 3872 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155667979 937426944 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3876] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3876/stat : 3876 (java) S 3870 3872 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155667979 937426944 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3877] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3877/stat : 3877 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155667982 937426944 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3878] ppid=3870 vsize=915456 CPUtime=0.24
/proc/3872/task/3878/stat : 3878 (java) S 3870 3872 3637 0 -1 64 391 0 0 0 23 1 0 0 15 0 8 0 155667982 937426944 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3879] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3879/stat : 3879 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155667982 937426944 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3880] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3880/stat : 3880 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155667982 937426944 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.27606 s]
/proc/loadavg: 1.91 1.93 1.96 3/100 3880
/proc/meminfo: memFree=1032040/2055920 swapFree=4191880/4192956
[pid=3872] ppid=3870 vsize=915456 CPUtime=6.2
/proc/3872/stat : 3872 (java) R 3870 3872 3637 0 -1 0 8677 0 1 0 613 7 0 0 25 0 8 0 155667974 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3872/statm: 228864 8413 2513 14 0 215334 0
[pid=3872/tid=3874] ppid=3870 vsize=915456 CPUtime=0.03
/proc/3872/task/3874/stat : 3874 (java) S 3870 3872 3637 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155667978 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3875] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3875/stat : 3875 (java) S 3870 3872 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155667979 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3876] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3876/stat : 3876 (java) S 3870 3872 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155667979 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3877] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3877/stat : 3877 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155667982 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3878] ppid=3870 vsize=915456 CPUtime=0.24
/proc/3872/task/3878/stat : 3878 (java) S 3870 3872 3637 0 -1 64 391 0 0 0 23 1 0 0 15 0 8 0 155667982 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3879] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3879/stat : 3879 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155667982 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3880] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3880/stat : 3880 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155667982 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7512 s]
/proc/loadavg: 1.92 1.93 1.96 3/100 3880
/proc/meminfo: memFree=1031976/2055920 swapFree=4191880/4192956
[pid=3872] ppid=3870 vsize=915456 CPUtime=12.61
/proc/3872/stat : 3872 (java) R 3870 3872 3637 0 -1 0 8683 0 1 0 1254 7 0 0 25 0 8 0 155667974 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3872/statm: 228864 8418 2513 14 0 215334 0
[pid=3872/tid=3874] ppid=3870 vsize=915456 CPUtime=0.03
/proc/3872/task/3874/stat : 3874 (java) S 3870 3872 3637 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155667978 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3875] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3875/stat : 3875 (java) S 3870 3872 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155667979 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3876] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3876/stat : 3876 (java) S 3870 3872 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155667979 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3877] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3877/stat : 3877 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155667982 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3878] ppid=3870 vsize=915456 CPUtime=0.24
/proc/3872/task/3878/stat : 3878 (java) S 3870 3872 3637 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155667982 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3879] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3879/stat : 3879 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155667982 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3880] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3880/stat : 3880 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155667982 937426944 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456
[startup+25.6046 s]
/proc/loadavg: 1.93 1.93 1.96 3/100 3880
/proc/meminfo: memFree=1031976/2055920 swapFree=4191880/4192956
[pid=3872] ppid=3870 vsize=915456 CPUtime=25.35
/proc/3872/stat : 3872 (java) R 3870 3872 3637 0 -1 0 8689 0 1 0 2528 7 0 0 25 0 8 0 155667974 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3872/statm: 228864 8424 2513 14 0 215334 0
[pid=3872/tid=3874] ppid=3870 vsize=915456 CPUtime=0.03
/proc/3872/task/3874/stat : 3874 (java) S 3870 3872 3637 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155667978 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3875] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3875/stat : 3875 (java) S 3870 3872 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155667979 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3876] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3876/stat : 3876 (java) S 3870 3872 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155667979 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3877] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3877/stat : 3877 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155667982 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3878] ppid=3870 vsize=915456 CPUtime=0.24
/proc/3872/task/3878/stat : 3878 (java) S 3870 3872 3637 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155667982 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3879] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3879/stat : 3879 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155667982 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3880] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3880/stat : 3880 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155667982 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915456
[startup+51.2143 s]
/proc/loadavg: 1.95 1.94 1.96 4/100 3880
/proc/meminfo: memFree=1031976/2055920 swapFree=4191880/4192956
[pid=3872] ppid=3870 vsize=915456 CPUtime=50.71
/proc/3872/stat : 3872 (java) R 3870 3872 3637 0 -1 0 8692 0 1 0 5064 7 0 0 25 0 8 0 155667974 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3872/statm: 228864 8427 2513 14 0 215334 0
[pid=3872/tid=3874] ppid=3870 vsize=915456 CPUtime=0.03
/proc/3872/task/3874/stat : 3874 (java) S 3870 3872 3637 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155667978 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3875] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3875/stat : 3875 (java) S 3870 3872 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155667979 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3876] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3876/stat : 3876 (java) S 3870 3872 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155667979 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3877] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3877/stat : 3877 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155667982 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3878] ppid=3870 vsize=915456 CPUtime=0.24
/proc/3872/task/3878/stat : 3878 (java) S 3870 3872 3637 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155667982 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3879] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3879/stat : 3879 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155667982 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3880] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3880/stat : 3880 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155667982 937426944 8427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915456
[startup+102.428 s]
/proc/loadavg: 1.98 1.94 1.96 3/100 3880
/proc/meminfo: memFree=1031976/2055920 swapFree=4191880/4192956
[pid=3872] ppid=3870 vsize=915456 CPUtime=101.47
/proc/3872/stat : 3872 (java) R 3870 3872 3637 0 -1 0 8697 0 1 0 10139 8 0 0 25 0 8 0 155667974 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3872/statm: 228864 8432 2513 14 0 215334 0
[pid=3872/tid=3874] ppid=3870 vsize=915456 CPUtime=0.03
/proc/3872/task/3874/stat : 3874 (java) S 3870 3872 3637 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155667978 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3875] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3875/stat : 3875 (java) S 3870 3872 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155667979 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3876] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3876/stat : 3876 (java) S 3870 3872 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155667979 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3877] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3877/stat : 3877 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155667982 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3878] ppid=3870 vsize=915456 CPUtime=0.24
/proc/3872/task/3878/stat : 3878 (java) S 3870 3872 3637 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155667982 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3879] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3879/stat : 3879 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155667982 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3880] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3880/stat : 3880 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155667982 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915456
[startup+162.476 s]
/proc/loadavg: 2.04 1.97 1.97 3/100 3880
/proc/meminfo: memFree=1031976/2055920 swapFree=4191880/4192956
[pid=3872] ppid=3870 vsize=915456 CPUtime=160.96
/proc/3872/stat : 3872 (java) R 3870 3872 3637 0 -1 0 8699 0 1 0 16087 9 0 0 25 0 8 0 155667974 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3872/statm: 228864 8434 2513 14 0 215334 0
[pid=3872/tid=3874] ppid=3870 vsize=915456 CPUtime=0.03
/proc/3872/task/3874/stat : 3874 (java) S 3870 3872 3637 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155667978 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3875] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3875/stat : 3875 (java) S 3870 3872 3637 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155667979 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3876] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3876/stat : 3876 (java) S 3870 3872 3637 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155667979 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3877] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3877/stat : 3877 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155667982 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3878] ppid=3870 vsize=915456 CPUtime=0.24
/proc/3872/task/3878/stat : 3878 (java) S 3870 3872 3637 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155667982 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3879] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3879/stat : 3879 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155667982 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3872/tid=3880] ppid=3870 vsize=915456 CPUtime=0
/proc/3872/task/3880/stat : 3880 (java) S 3870 3872 3637 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155667982 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.96
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 195.502
CPU time (s): 193.667
CPU user time (s): 193.567
CPU system time (s): 0.099984
CPU usage (%): 99.0614
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 193.567
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8793
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= 5062
involuntary context switches= 13068
runsolver used 0.229965 s user time and 0.643902 s system time
The end
Begin job on node2 on Sat Jan 6 08:38:43 UTC 2007
IDJOB= 202808
IDBENCH= 3884
FILE ID= node2/202808-1168072723
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-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202808-1168072723/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-202808-1168072723 -o ROOT/results/node2/solver-202808-1168072723 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202808-1168072723/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b25f747c4dbc5143264a82cc3adcd3fc
RANDOM SEED= 596970299
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: 73600 kB
Cached: 684128 kB
SwapCached: 268 kB
Active: 380848 kB
Inactive: 521500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1056448 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 172944 kB
Slab: 81616 kB
Committed_AS: 4263560 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:41:59 UTC 2007