0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/217201-1168244597/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=45 nbDomainTypes=1 minDomainSize=21 maxDomainSize=21
0.43 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.56
0.56 constraints being loaded...
0.68 nbConstraints=380 nbRelationTypes=380 nbExtensionStructures=380 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=380 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1916 maxDegree=22
0.68 maxArity=2
0.68 => wckTime=0.352 cpuTime=0.26 mem=14M754
0.72
0.72 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.558 cpuTime=0.39 mem=15M298
0.94
0.94 preprocessing
0.94 nbConstraintChecks=87466 nbPropagations=1026 nbRevisions=8090 nbUselessRevisions=6762 nbSingletonTests=56
0.94 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.055 cpuTime=0.04 mem=15M298
0.97
0.97 search
0.97 run=0 nbConstraintChecks=35583 nbPropagations=1515 nbRevisions=13905 nbUselessRevisions=11616 nbAssignments=25
0.97 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.08 cpuTime=0.05 mem=15M298
0.99
0.99 search
0.99 run=1 nbConstraintChecks=103063 nbPropagations=3909 nbRevisions=37107 nbUselessRevisions=30855
0.99 nbAssignments=70 nbFailedAssignments=15 nbBacktracks=26 nbVisitedNodes=84 nbRestartNogoods=2 mapSize=22
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.102 cpuTime=0.07 mem=15M298
1.01
1.01 search
1.01 run=2 nbConstraintChecks=171178 nbPropagations=7122 nbRevisions=70904 nbUselessRevisions=58650
1.01 nbAssignments=114 nbFailedAssignments=30 nbBacktracks=48 nbVisitedNodes=153 nbRestartNogoods=3 mapSize=39
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.12 cpuTime=0.08 mem=15M298
1.03
1.03 search
1.03 run=3 nbConstraintChecks=303387 nbPropagations=12037 nbRevisions=126718 nbUselessRevisions=104419
1.03 nbAssignments=197 nbFailedAssignments=59 nbBacktracks=82 nbVisitedNodes=276 nbRestartNogoods=8 mapSize=70
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.146 cpuTime=0.11 mem=15M298
1.06
1.06 search
1.06 run=4 nbConstraintChecks=430914 nbPropagations=18683 nbRevisions=205950 nbUselessRevisions=169403
1.06 nbAssignments=290 nbFailedAssignments=91 nbBacktracks=134 nbVisitedNodes=429 nbRestartNogoods=11 mapSize=116
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.174 cpuTime=0.13 mem=15M298
1.10
1.10 search
1.10 run=5 nbConstraintChecks=660327 nbPropagations=28110 nbRevisions=325284 nbUselessRevisions=267165
1.10 nbAssignments=429 nbFailedAssignments=146 nbBacktracks=210 nbVisitedNodes=670 nbRestartNogoods=14 mapSize=184
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.217 cpuTime=0.17 mem=15M298
1.16
1.16 search
1.16 run=6 nbConstraintChecks=956947 nbPropagations=41123 nbRevisions=495587 nbUselessRevisions=405553
1.16 nbAssignments=615 nbFailedAssignments=210 nbBacktracks=325 nbVisitedNodes=978 nbRestartNogoods=18 mapSize=268
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.276 cpuTime=0.22 mem=15M298
1.24
1.24 search
1.24 run=7 nbConstraintChecks=1393460 nbPropagations=59579 nbRevisions=745077 nbUselessRevisions=607680
1.24 nbAssignments=921 nbFailedAssignments=339 nbBacktracks=495 nbVisitedNodes=1501 nbRestartNogoods=20 mapSize=410
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.355 cpuTime=0.3 mem=15M298
1.38
1.38 search
1.38 run=8 nbConstraintChecks=2186361 nbPropagations=87698 nbRevisions=1135785 nbUselessRevisions=924051
1.38 nbAssignments=1400 nbFailedAssignments=556 nbBacktracks=752 nbVisitedNodes=2358 nbRestartNogoods=24
1.38 mapSize=640 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.495 cpuTime=0.43 mem=15M298
1.56
1.56 search
1.56 run=9 nbConstraintChecks=3087906 nbPropagations=127354 nbRevisions=1693726 nbUselessRevisions=1376873
1.56 nbAssignments=2006 nbFailedAssignments=770 nbBacktracks=1138 nbVisitedNodes=3391 nbRestartNogoods=31
1.56 mapSize=963 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.669 cpuTime=0.59 mem=15M298
1.59
1.59 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=15M298)
1.80
1.80 search
1.80 run=10 nbConstraintChecks=4619591 nbPropagations=185345 nbRevisions=2505554 nbUselessRevisions=2032004
1.80 nbAssignments=2974 nbFailedAssignments=1152 nbBacktracks=1718 nbVisitedNodes=5037 nbRestartNogoods=37
1.80 => wckTime=0.912 cpuTime=0.82 mem=15M298
2.11
2.11 search
2.11 run=11 nbConstraintChecks=6648543 nbPropagations=268872 nbRevisions=3678564 nbUselessRevisions=2978209
2.11 nbAssignments=4317 nbFailedAssignments=1620 nbBacktracks=2586 nbVisitedNodes=7292 nbRestartNogoods=45
2.11 => wckTime=1.223 cpuTime=1.13 mem=15M298
2.58
2.58 search
2.58 run=12 nbConstraintChecks=9633441 nbPropagations=392072 nbRevisions=5414286 nbUselessRevisions=4380779
2.58 nbAssignments=6438 nbFailedAssignments=2435 nbBacktracks=3883 nbVisitedNodes=10930 nbRestartNogoods=50
2.58 => wckTime=1.698 cpuTime=1.6 mem=15M298
3.31
3.31 search
3.31 run=13 nbConstraintChecks=14612925 nbPropagations=573947 nbRevisions=7986312 nbUselessRevisions=6452503
3.31 nbAssignments=9569 nbFailedAssignments=3614 nbBacktracks=5832 nbVisitedNodes=16239 nbRestartNogoods=56
3.31 => wckTime=2.424 cpuTime=2.33 mem=15M298
4.40
4.40 search
4.40 run=14 nbConstraintChecks=21711938 nbPropagations=846518 nbRevisions=11854869 nbUselessRevisions=9573960
4.40 nbAssignments=14398 nbFailedAssignments=5513 nbBacktracks=8754 nbVisitedNodes=24546 nbRestartNogoods=60
4.40 => wckTime=3.514 cpuTime=3.41 mem=15M298
6.15
6.15 search
6.15 run=15 nbConstraintChecks=33754498 nbPropagations=1259325 nbRevisions=17720984 nbUselessRevisions=14296466
6.15 nbAssignments=21639 nbFailedAssignments=8368 nbBacktracks=13134 nbVisitedNodes=37060 nbRestartNogoods=72
6.15 => wckTime=5.263 cpuTime=5.13 mem=15M298
8.58
8.58 search
8.58 run=16 nbConstraintChecks=49551854 nbPropagations=1874768 nbRevisions=26490417 nbUselessRevisions=21373540
8.58 nbAssignments=32348 nbFailedAssignments=12496 nbBacktracks=19702 nbVisitedNodes=55395 nbRestartNogoods=79
8.58 => wckTime=7.695 cpuTime=7.54 mem=15M298
12.60
12.60 search
12.60 run=17 nbConstraintChecks=77349166 nbPropagations=2817433 nbRevisions=39953678 nbUselessRevisions=32214772
12.60 nbAssignments=48905 nbFailedAssignments=19196 nbBacktracks=29554 nbVisitedNodes=84126 nbRestartNogoods=93
12.60 => wckTime=11.715 cpuTime=11.53 mem=15M298
18.11
18.11 search
18.11 run=18 nbConstraintChecks=113436665 nbPropagations=4221840 nbRevisions=60030261 nbUselessRevisions=48408584
18.11 nbAssignments=72808 nbFailedAssignments=28313 nbBacktracks=44332 nbVisitedNodes=125186 nbRestartNogoods=97
18.11 => wckTime=17.229 cpuTime=16.99 mem=16M274
26.46
26.46 search
26.46 run=19 nbConstraintChecks=168308222 nbPropagations=6320360 nbRevisions=90013284 nbUselessRevisions=72611584
26.46 nbAssignments=109413 nbFailedAssignments=42724 nbBacktracks=66504 nbVisitedNodes=188182 nbRestartNogoods=111
26.46 => wckTime=25.573 cpuTime=25.26 mem=16M274
39.87
39.87 search
39.87 run=20 nbConstraintChecks=260457417 nbPropagations=9510175 nbRevisions=135643075 nbUselessRevisions=109383898
39.87 nbAssignments=164438 nbFailedAssignments=64488 nbBacktracks=99756 nbVisitedNodes=283519 nbRestartNogoods=118
39.87 => wckTime=38.981 cpuTime=38.54 mem=16M274
58.63
58.63 search
58.63 run=21 nbConstraintChecks=386040446 nbPropagations=14249306 nbRevisions=203418295 nbUselessRevisions=164024400
58.63 nbAssignments=245803 nbFailedAssignments=95947 nbBacktracks=149635 nbVisitedNodes=423146 nbRestartNogoods=134
58.63 => wckTime=57.74 cpuTime=57.14 mem=16M274
87.49
87.49 search
87.49 run=22 nbConstraintChecks=577920046 nbPropagations=21386801 nbRevisions=305856936 nbUselessRevisions=246763943
87.49 nbAssignments=369947 nbFailedAssignments=145265 nbBacktracks=224453 nbVisitedNodes=638111 nbRestartNogoods=141
87.49 => wckTime=86.604 cpuTime=85.75 mem=16M274
108.27
108.27 search
108.27 run=23 nbConstraintChecks=715715531 nbPropagations=30246864 nbRevisions=433166763 nbUselessRevisions=349658249
108.27 nbAssignments=460419 nbFailedAssignments=180502 nbBacktracks=279631 nbVisitedNodes=793768 nbRestartNogoods=161
108.27 => wckTime=107.379 cpuTime=106.34 mem=16M274
108.27
108.27 global
108.27 nbConstraintChecks=715802997 nbPropagations=30247890 nbRevisions=433174853 nbUselessRevisions=349665011
108.27 nbRestartNogoods=161 solvingWckTime=107.381 solvingCpuTime=106.34 expiredTime=no totalExploration=no
108.27 nbFoundSolutions=1 globalCpuTime=106.78
108.27 => wckTime=107.942 cpuTime=106.73 mem=16M274
108.27
108.27 s SATISFIABLE
108.27 v 8 8 2 4 1 13 11 20 14 2 12 11 9 18 1 10 12 3 5 19 5 15 6 0 3 20 1 16 17 10 17 13 14 3 7 9 5 12 8 13 15 11 20 11 12
108.27 d NODES 460419
108.27 d CHECKS 715802997
108.27
108.27 totalWckTime=108.03 totalCpuTime=106.78
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-217201-1168244597 -o ROOT/results/node2/solver-217201-1168244597 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217201-1168244597/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.57 1.33 1.65 2/88 31565
/proc/meminfo: memFree=1837128/2055920 swapFree=4191880/4192956
[pid=31564] ppid=31562 vsize=18540 CPUtime=0
/proc/31564/stat : 31564 (runsolver) R 31562 31564 31497 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 172855380 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31564/statm: 4635 279 244 17 0 2626 0
[startup+0.101864 s]
/proc/loadavg: 1.57 1.33 1.65 2/88 31565
/proc/meminfo: memFree=1837128/2055920 swapFree=4191880/4192956
[pid=31564] ppid=31562 vsize=913228 CPUtime=0.08
/proc/31564/stat : 31564 (java) S 31562 31564 31497 0 -1 0 2903 0 1 0 7 1 0 0 17 0 8 0 172855380 935145472 2649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31564/statm: 228307 2649 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.509941 s]
/proc/loadavg: 1.57 1.33 1.65 2/88 31565
/proc/meminfo: memFree=1837128/2055920 swapFree=4191880/4192956
[pid=31564] ppid=31562 vsize=915328 CPUtime=0.48
/proc/31564/stat : 31564 (java) R 31562 31564 31497 0 -1 0 6732 0 1 0 44 4 0 0 18 0 8 0 172855380 937295872 6471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31564/statm: 228832 6471 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33209 s]
/proc/loadavg: 1.57 1.33 1.65 3/95 31572
/proc/meminfo: memFree=1812048/2055920 swapFree=4191880/4192956
[pid=31564] ppid=31562 vsize=915456 CPUtime=1.29
/proc/31564/stat : 31564 (java) R 31562 31564 31497 0 -1 0 8982 0 1 0 123 6 0 0 24 0 8 0 172855380 937426944 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31564/statm: 228864 8720 2524 14 0 215334 0
[pid=31564/tid=31566] ppid=31562 vsize=915456 CPUtime=0.03
/proc/31564/task/31566/stat : 31566 (java) S 31562 31564 31497 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 172855385 937426944 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31567] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31567/stat : 31567 (java) S 31562 31564 31497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172855385 937426944 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31568] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31568/stat : 31568 (java) S 31562 31564 31497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172855385 937426944 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31569] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31569/stat : 31569 (java) S 31562 31564 31497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172855388 937426944 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31570] ppid=31562 vsize=915456 CPUtime=0.22
/proc/31564/task/31570/stat : 31570 (java) S 31562 31564 31497 0 -1 64 377 0 0 0 21 1 0 0 15 0 8 0 172855388 937426944 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31571] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31571/stat : 31571 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172855388 937426944 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31572] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31572/stat : 31572 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172855389 937426944 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.98039 s]
/proc/loadavg: 1.57 1.33 1.65 3/95 31572
/proc/meminfo: memFree=1811920/2055920 swapFree=4191880/4192956
[pid=31564] ppid=31562 vsize=915456 CPUtime=2.92
/proc/31564/stat : 31564 (java) R 31562 31564 31497 0 -1 0 8998 0 1 0 286 6 0 0 25 0 8 0 172855380 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31564/statm: 228864 8735 2524 14 0 215334 0
[pid=31564/tid=31566] ppid=31562 vsize=915456 CPUtime=0.03
/proc/31564/task/31566/stat : 31566 (java) S 31562 31564 31497 0 -1 64 345 0 0 0 3 0 0 0 17 0 8 0 172855385 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31567] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31567/stat : 31567 (java) S 31562 31564 31497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172855385 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31568] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31568/stat : 31568 (java) S 31562 31564 31497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172855385 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31569] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31569/stat : 31569 (java) S 31562 31564 31497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172855388 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31570] ppid=31562 vsize=915456 CPUtime=0.25
/proc/31564/task/31570/stat : 31570 (java) S 31562 31564 31497 0 -1 64 392 0 0 0 24 1 0 0 15 0 8 0 172855388 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31571] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31571/stat : 31571 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172855388 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31572] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31572/stat : 31572 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172855389 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.26899 s]
/proc/loadavg: 1.61 1.34 1.65 3/95 31572
/proc/meminfo: memFree=1811856/2055920 swapFree=4191880/4192956
[pid=31564] ppid=31562 vsize=915456 CPUtime=6.18
/proc/31564/stat : 31564 (java) R 31562 31564 31497 0 -1 0 8999 0 1 0 612 6 0 0 25 0 8 0 172855380 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31564/statm: 228864 8735 2524 14 0 215334 0
[pid=31564/tid=31566] ppid=31562 vsize=915456 CPUtime=0.03
/proc/31564/task/31566/stat : 31566 (java) S 31562 31564 31497 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 172855385 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31567] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31567/stat : 31567 (java) S 31562 31564 31497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172855385 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31568] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31568/stat : 31568 (java) S 31562 31564 31497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172855385 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31569] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31569/stat : 31569 (java) S 31562 31564 31497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172855388 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31570] ppid=31562 vsize=915456 CPUtime=0.25
/proc/31564/task/31570/stat : 31570 (java) S 31562 31564 31497 0 -1 64 392 0 0 0 24 1 0 0 15 0 8 0 172855388 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31571] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31571/stat : 31571 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172855388 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31572] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31572/stat : 31572 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172855389 937426944 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915456
[startup+12.7522 s]
/proc/loadavg: 1.64 1.36 1.65 3/95 31572
/proc/meminfo: memFree=1811856/2055920 swapFree=4191880/4192956
[pid=31564] ppid=31562 vsize=915456 CPUtime=12.6
/proc/31564/stat : 31564 (java) R 31562 31564 31497 0 -1 0 9001 0 1 0 1254 6 0 0 25 0 8 0 172855380 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31564/statm: 228864 8736 2524 14 0 215334 0
[pid=31564/tid=31566] ppid=31562 vsize=915456 CPUtime=0.03
/proc/31564/task/31566/stat : 31566 (java) S 31562 31564 31497 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31567] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31567/stat : 31567 (java) S 31562 31564 31497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31568] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31568/stat : 31568 (java) S 31562 31564 31497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31569] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31569/stat : 31569 (java) S 31562 31564 31497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31570] ppid=31562 vsize=915456 CPUtime=0.25
/proc/31564/task/31570/stat : 31570 (java) S 31562 31564 31497 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31571] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31571/stat : 31571 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31572] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31572/stat : 31572 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172855389 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915456
[startup+25.6096 s]
/proc/loadavg: 1.80 1.40 1.66 3/95 31572
/proc/meminfo: memFree=1811856/2055920 swapFree=4191880/4192956
[pid=31564] ppid=31562 vsize=915456 CPUtime=25.35
/proc/31564/stat : 31564 (java) R 31562 31564 31497 0 -1 0 9001 0 1 0 2529 6 0 0 25 0 8 0 172855380 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31564/statm: 228864 8736 2524 14 0 215334 0
[pid=31564/tid=31566] ppid=31562 vsize=915456 CPUtime=0.03
/proc/31564/task/31566/stat : 31566 (java) S 31562 31564 31497 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31567] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31567/stat : 31567 (java) S 31562 31564 31497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31568] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31568/stat : 31568 (java) S 31562 31564 31497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31569] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31569/stat : 31569 (java) S 31562 31564 31497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31570] ppid=31562 vsize=915456 CPUtime=0.25
/proc/31564/task/31570/stat : 31570 (java) S 31562 31564 31497 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31571] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31571/stat : 31571 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31572] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31572/stat : 31572 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172855389 937426944 8736 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.2243 s]
/proc/loadavg: 1.87 1.45 1.67 3/95 31572
/proc/meminfo: memFree=1811792/2055920 swapFree=4191880/4192956
[pid=31564] ppid=31562 vsize=915456 CPUtime=50.74
/proc/31564/stat : 31564 (java) R 31562 31564 31497 0 -1 0 9001 0 1 0 5067 7 0 0 25 0 8 0 172855380 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31564/statm: 228864 8736 2524 14 0 215334 0
[pid=31564/tid=31566] ppid=31562 vsize=915456 CPUtime=0.03
/proc/31564/task/31566/stat : 31566 (java) S 31562 31564 31497 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31567] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31567/stat : 31567 (java) S 31562 31564 31497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31568] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31568/stat : 31568 (java) S 31562 31564 31497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31569] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31569/stat : 31569 (java) S 31562 31564 31497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31570] ppid=31562 vsize=915456 CPUtime=0.25
/proc/31564/task/31570/stat : 31570 (java) S 31562 31564 31497 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31571] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31571/stat : 31571 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31572] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31572/stat : 31572 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172855389 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915456
[startup+102.443 s]
/proc/loadavg: 1.94 1.53 1.69 3/95 31572
/proc/meminfo: memFree=1811856/2055920 swapFree=4191880/4192956
[pid=31564] ppid=31562 vsize=915456 CPUtime=101.5
/proc/31564/stat : 31564 (java) R 31562 31564 31497 0 -1 0 9001 0 1 0 10143 7 0 0 25 0 8 0 172855380 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31564/statm: 228864 8736 2524 14 0 215334 0
[pid=31564/tid=31566] ppid=31562 vsize=915456 CPUtime=0.03
/proc/31564/task/31566/stat : 31566 (java) S 31562 31564 31497 0 -1 64 345 0 0 0 3 0 0 0 16 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31567] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31567/stat : 31567 (java) S 31562 31564 31497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31568] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31568/stat : 31568 (java) S 31562 31564 31497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172855385 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31569] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31569/stat : 31569 (java) S 31562 31564 31497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31570] ppid=31562 vsize=915456 CPUtime=0.25
/proc/31564/task/31570/stat : 31570 (java) S 31562 31564 31497 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31571] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31571/stat : 31571 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172855388 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31564/tid=31572] ppid=31562 vsize=915456 CPUtime=0
/proc/31564/task/31572/stat : 31572 (java) S 31562 31564 31497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172855389 937426944 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 108.296
CPU time (s): 107.296
CPU user time (s): 107.21
CPU system time (s): 0.085986
CPU usage (%): 99.0765
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.21
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9010
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= 3326
involuntary context switches= 6648
runsolver used 0.177972 s user time and 0.313952 s system time
The end
Begin job on node2 on Mon Jan 8 08:23:17 UTC 2007
IDJOB= 217201
IDBENCH= 5123
FILE ID= node2/217201-1168244597
PBS_JOBID= 3481610
Free space on /tmp= 66338 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb45-21/frb45-21-2-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217201-1168244597/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-217201-1168244597 -o ROOT/results/node2/solver-217201-1168244597 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217201-1168244597/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ddbfbba4459b91f16b418e879367a5fc
RANDOM SEED= 236747408
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: 1837608 kB
Buffers: 16948 kB
Cached: 89524 kB
SwapCached: 288 kB
Active: 141632 kB
Inactive: 28256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1837608 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2160 kB
Writeback: 0 kB
Mapped: 83232 kB
Slab: 33104 kB
Committed_AS: 4321184 kB
PageTables: 2416 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= 66338 MiB
End job on node2 on Mon Jan 8 08:25:06 UTC 2007