0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/280739-1169307562/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=7 minDomainSize=1 maxDomainSize=10
0.43 => wckTime=0.115 cpuTime=0.08 mem=6M910
0.43
0.43 relations being loaded...
0.45
0.45 constraints being loaded...
0.60 nbConstraints=526 nbRelationTypes=95 nbSingletonDomainVariables=1 nbExtensionStructures=271
0.60 nbSharedExtensionStructures=255 nbConflictsStructures=271 nbSharedConflictsStructures=255
0.60 nbSharedBinaryRepresentations=3243 maxDegree=144 maxArity=2
0.60 => wckTime=0.283 cpuTime=0.19 mem=9M901
0.64
0.64 solver LocalSearchSolver being built...
0.68 => wckTime=0.37 cpuTime=0.24 mem=5M747
0.69
0.69 s SATISFIABLE
0.69 o 471
0.69 c 55
0.69 o 479
0.69 c 47
0.69 o 486
0.69 c 40
0.69 o 490
0.69 c 36
0.69 o 494
0.69 c 32
0.69 o 495
0.69 c 31
0.69 o 499
0.69 c 27
0.70 o 503
0.70 c 23
0.70 o 506
0.70 c 20
0.70 o 509
0.70 c 17
0.70 o 512
0.70 c 14
0.70 o 514
0.70 c 12
0.70 o 516
0.70 c 10
0.70 o 518
0.70 c 8
0.70 o 519
0.70 c 7
0.70 o 521
0.70 c 5
0.71 o 522
0.71 c 4
0.72 o 523
0.72 c 3
2.87
2.87 search
2.87 run=0 nbConstraintChecks=12566138 nbAssignments=10000
2.87 => wckTime=2.189 cpuTime=2.15 mem=5M747
5.08
5.08 search
5.08 run=1 nbConstraintChecks=26171950 nbAssignments=20000
5.08 => wckTime=4.395 cpuTime=4.33 mem=5M747
7.15
7.15 search
7.15 run=2 nbConstraintChecks=38682300 nbAssignments=30000
7.15 => wckTime=6.467 cpuTime=6.39 mem=5M747
9.35
9.35 search
9.35 run=3 nbConstraintChecks=52261308 nbAssignments=40000
9.35 => wckTime=8.662 cpuTime=8.57 mem=5M747
11.41
11.41 search
11.41 run=4 nbConstraintChecks=64611918 nbAssignments=50000
11.41 => wckTime=10.728 cpuTime=10.61 mem=5M747
13.68
13.68 search
13.68 run=5 nbConstraintChecks=78618326 nbAssignments=60000
13.68 => wckTime=12.997 cpuTime=12.86 mem=5M747
15.76
15.76 search
15.77 run=6 nbConstraintChecks=91133560 nbAssignments=70000
15.77 => wckTime=15.082 cpuTime=14.93 mem=5M747
18.02
18.02 search
18.02 run=7 nbConstraintChecks=105011871 nbAssignments=80000
18.02 => wckTime=17.336 cpuTime=17.16 mem=5M747
20.12
20.12 search
20.12 run=8 nbConstraintChecks=117646318 nbAssignments=90000
20.12 => wckTime=19.439 cpuTime=19.25 mem=5M747
22.34
22.34 search
22.34 run=9 nbConstraintChecks=131347471 nbAssignments=100000
22.34 => wckTime=21.653 cpuTime=21.44 mem=5M747
24.39
24.39 search
24.39 run=10 nbConstraintChecks=143706662 nbAssignments=110000
24.39 => wckTime=23.707 cpuTime=23.48 mem=5M747
26.62
26.62 search
26.62 run=11 nbConstraintChecks=157551167 nbAssignments=120000
26.62 => wckTime=25.938 cpuTime=25.69 mem=5M747
28.69
28.69 search
28.69 run=12 nbConstraintChecks=170061220 nbAssignments=130000
28.69 => wckTime=28.01 cpuTime=27.75 mem=5M747
30.94
30.94 search
30.94 run=13 nbConstraintChecks=183917665 nbAssignments=140000
30.94 => wckTime=30.254 cpuTime=29.97 mem=5M747
30.99
30.99 search
30.99 run=14 nbConstraintChecks=184180900 nbAssignments=140381
30.99 => wckTime=30.308 cpuTime=30.03 mem=5M747
30.99
30.99 global
30.99 nbConstraintChecks=184180900 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.99 solvingWckTime=30.307 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.99 globalCpuTime=30.31
30.99 => wckTime=30.678 cpuTime=30.26 mem=5M747
30.99
30.99 solver IterativeSystematicSolver being built...
31.13 => wckTime=30.811 cpuTime=30.37 mem=16M720
31.14
31.14 preprocessing
31.14 nbConstraintChecks=280 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.14 detectedInconsistency=no
31.14 => wckTime=0.0080 cpuTime=0.01 mem=16M720
31.21
31.21 search
31.21 run=0 nbConstraintChecks=96954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44
31.21 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=58 nbRestartNogoods=0
31.21 => wckTime=0.081 cpuTime=0.06 mem=16M720
31.27
31.27 search
31.27 run=1 nbConstraintChecks=209329 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94
31.27 nbFailedAssignments=15 nbBacktracks=25 nbVisitedNodes=124 nbRestartNogoods=3
31.27 => wckTime=0.144 cpuTime=0.11 mem=16M720
31.33
31.33 search
31.33 run=2 nbConstraintChecks=344182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=152
31.33 nbFailedAssignments=26 nbBacktracks=47 nbVisitedNodes=203 nbRestartNogoods=6
31.33 => wckTime=0.203 cpuTime=0.16 mem=16M720
31.40
31.40 search
31.40 run=3 nbConstraintChecks=510048 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=234
31.40 nbFailedAssignments=38 nbBacktracks=84 nbVisitedNodes=321 nbRestartNogoods=9
31.40 => wckTime=0.271 cpuTime=0.23 mem=16M720
31.46
31.46 search
31.46 run=4 nbConstraintChecks=654510 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=327
31.46 nbFailedAssignments=47 nbBacktracks=137 nbVisitedNodes=462 nbRestartNogoods=13
31.46 => wckTime=0.333 cpuTime=0.29 mem=16M720
31.53
31.53 search
31.53 run=5 nbConstraintChecks=837391 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=448
31.53 nbFailedAssignments=59 nbBacktracks=216 nbVisitedNodes=649 nbRestartNogoods=16
31.53 => wckTime=0.406 cpuTime=0.36 mem=16M720
31.64
31.64 search
31.64 run=6 nbConstraintChecks=1104693 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=618
31.64 nbFailedAssignments=81 nbBacktracks=333 nbVisitedNodes=930 nbRestartNogoods=20
31.64 => wckTime=0.514 cpuTime=0.47 mem=16M720
31.87
31.87 search
31.87 run=7 nbConstraintChecks=1564792 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=817
31.87 nbFailedAssignments=139 nbBacktracks=475 nbVisitedNodes=1281 nbRestartNogoods=25
31.87 => wckTime=0.74 cpuTime=0.68 mem=16M720
31.87
31.87 global
31.87 nbConstraintChecks=1565072 nbRestartNogoods=25 solvingWckTime=0.741 solvingCpuTime=0.69 expiredTime=no
31.87 totalExploration=yes nbFoundSolutions=0 globalCpuTime=31.11
31.87 => wckTime=31.554 cpuTime=31.06 mem=16M720
31.87
31.87 s OPTIMUM FOUND
31.87 v 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 -1
31.87
31.87 totalWckTime=31.632 totalCpuTime=31.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-280739-1169307562 -o ROOT/results/node2/solver-280739-1169307562 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280739-1169307562/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.81 1.97 1.98 4/87 27038
/proc/meminfo: memFree=689664/2055920 swapFree=4180552/4192956
[pid=27037] ppid=27035 vsize=18540 CPUtime=0
/proc/27037/stat : 27037 (runsolver) R 27035 27037 26873 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279151861 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27037/statm: 4635 279 244 17 0 2626 0
[startup+0.107968 s]
/proc/loadavg: 1.81 1.97 1.98 4/87 27038
/proc/meminfo: memFree=689664/2055920 swapFree=4180552/4192956
[pid=27037] ppid=27035 vsize=914988 CPUtime=0.08
/proc/27037/stat : 27037 (java) R 27035 27037 26873 0 -1 0 2988 0 1 0 6 2 0 0 17 0 8 0 279151861 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27037/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516039 s]
/proc/loadavg: 1.81 1.97 1.98 4/87 27038
/proc/meminfo: memFree=689664/2055920 swapFree=4180552/4192956
[pid=27037] ppid=27035 vsize=915332 CPUtime=0.48
/proc/27037/stat : 27037 (java) R 27035 27037 26873 0 -1 0 6289 0 1 0 44 4 0 0 18 0 8 0 279151861 937299968 6028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27037/statm: 228833 6028 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33919 s]
/proc/loadavg: 1.81 1.97 1.98 3/94 27045
/proc/meminfo: memFree=670600/2055920 swapFree=4180552/4192956
[pid=27037] ppid=27035 vsize=915464 CPUtime=1.3
/proc/27037/stat : 27037 (java) R 27035 27037 26873 0 -1 0 7428 0 1 0 112 18 0 0 24 0 8 0 279151861 937435136 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732430 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27037/statm: 228866 7166 2476 14 0 215336 0
[pid=27037/tid=27039] ppid=27035 vsize=915464 CPUtime=0.03
/proc/27037/task/27039/stat : 27039 (java) S 27035 27037 26873 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 279151865 937435136 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27040] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27040/stat : 27040 (java) S 27035 27037 26873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279151865 937435136 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27041] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27041/stat : 27041 (java) S 27035 27037 26873 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279151866 937435136 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27042] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27042/stat : 27042 (java) S 27035 27037 26873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279151869 937435136 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27043] ppid=27035 vsize=915464 CPUtime=0.14
/proc/27037/task/27043/stat : 27043 (java) S 27035 27037 26873 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 279151869 937435136 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27044] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27044/stat : 27044 (java) S 27035 27037 26873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279151869 937435136 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27045] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27045/stat : 27045 (java) S 27035 27037 26873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279151869 937435136 7166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.99149 s]
/proc/loadavg: 1.81 1.97 1.98 3/94 27045
/proc/meminfo: memFree=670536/2055920 swapFree=4180552/4192956
[pid=27037] ppid=27035 vsize=915464 CPUtime=2.93
/proc/27037/stat : 27037 (java) R 27035 27037 26873 0 -1 0 7431 0 1 0 245 48 0 0 25 0 8 0 279151861 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27037/statm: 228866 7168 2476 14 0 215336 0
[pid=27037/tid=27039] ppid=27035 vsize=915464 CPUtime=0.03
/proc/27037/task/27039/stat : 27039 (java) S 27035 27037 26873 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 279151865 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27040] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27040/stat : 27040 (java) S 27035 27037 26873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279151865 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27041] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27041/stat : 27041 (java) S 27035 27037 26873 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279151866 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27042] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27042/stat : 27042 (java) S 27035 27037 26873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27043] ppid=27035 vsize=915464 CPUtime=0.14
/proc/27037/task/27043/stat : 27043 (java) S 27035 27037 26873 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27044] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27044/stat : 27044 (java) S 27035 27037 26873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27045] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27045/stat : 27045 (java) S 27035 27037 26873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279151869 937435136 7168 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) 915464
[startup+6.27309 s]
/proc/loadavg: 1.82 1.97 1.98 3/94 27045
/proc/meminfo: memFree=670536/2055920 swapFree=4180552/4192956
[pid=27037] ppid=27035 vsize=915464 CPUtime=6.19
/proc/27037/stat : 27037 (java) R 27035 27037 26873 0 -1 0 7431 0 1 0 512 107 0 0 25 0 8 0 279151861 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27037/statm: 228866 7168 2476 14 0 215336 0
[pid=27037/tid=27039] ppid=27035 vsize=915464 CPUtime=0.03
/proc/27037/task/27039/stat : 27039 (java) S 27035 27037 26873 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 279151865 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27040] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27040/stat : 27040 (java) S 27035 27037 26873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279151865 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27041] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27041/stat : 27041 (java) S 27035 27037 26873 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279151866 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27042] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27042/stat : 27042 (java) S 27035 27037 26873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27043] ppid=27035 vsize=915464 CPUtime=0.14
/proc/27037/task/27043/stat : 27043 (java) S 27035 27037 26873 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27044] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27044/stat : 27044 (java) S 27035 27037 26873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27045] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27045/stat : 27045 (java) S 27035 27037 26873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7632 s]
/proc/loadavg: 1.83 1.97 1.98 4/94 27045
/proc/meminfo: memFree=670536/2055920 swapFree=4180552/4192956
[pid=27037] ppid=27035 vsize=915464 CPUtime=12.62
/proc/27037/stat : 27037 (java) R 27035 27037 26873 0 -1 0 7431 0 1 0 1032 230 0 0 25 0 8 0 279151861 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27037/statm: 228866 7168 2476 14 0 215336 0
[pid=27037/tid=27039] ppid=27035 vsize=915464 CPUtime=0.03
/proc/27037/task/27039/stat : 27039 (java) S 27035 27037 26873 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 279151865 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27040] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27040/stat : 27040 (java) S 27035 27037 26873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279151865 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27041] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27041/stat : 27041 (java) S 27035 27037 26873 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279151866 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27042] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27042/stat : 27042 (java) S 27035 27037 26873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27043] ppid=27035 vsize=915464 CPUtime=0.14
/proc/27037/task/27043/stat : 27043 (java) S 27035 27037 26873 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27044] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27044/stat : 27044 (java) S 27035 27037 26873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27045] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27045/stat : 27045 (java) S 27035 27037 26873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
[startup+25.6077 s]
/proc/loadavg: 1.87 1.97 1.98 3/94 27045
/proc/meminfo: memFree=670664/2055920 swapFree=4180552/4192956
[pid=27037] ppid=27035 vsize=915464 CPUtime=25.35
/proc/27037/stat : 27037 (java) R 27035 27037 26873 0 -1 0 7431 0 1 0 2075 460 0 0 25 0 8 0 279151861 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27037/statm: 228866 7168 2476 14 0 215336 0
[pid=27037/tid=27039] ppid=27035 vsize=915464 CPUtime=0.03
/proc/27037/task/27039/stat : 27039 (java) S 27035 27037 26873 0 -1 64 217 0 0 0 3 0 0 0 16 0 8 0 279151865 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27040] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27040/stat : 27040 (java) S 27035 27037 26873 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279151865 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27041] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27041/stat : 27041 (java) S 27035 27037 26873 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279151866 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27042] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27042/stat : 27042 (java) S 27035 27037 26873 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27043] ppid=27035 vsize=915464 CPUtime=0.14
/proc/27037/task/27043/stat : 27043 (java) S 27035 27037 26873 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27044] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27044/stat : 27044 (java) S 27035 27037 26873 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279151869 937435136 7168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27037/tid=27045] ppid=27035 vsize=915464 CPUtime=0
/proc/27037/task/27045/stat : 27045 (java) S 27035 27037 26873 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279151869 937435136 7168 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) 915464
Child status: 0
Real time (s): 31.8992
CPU time (s): 31.5852
CPU user time (s): 25.9571
CPU system time (s): 5.62814
CPU usage (%): 99.0155
Max. virtual memory (cumulated for all children) (KiB): 915980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.9571
system time used= 5.62814
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9186
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= 1713
involuntary context switches= 2578
runsolver used 0.038994 s user time and 0.119981 s system time
The end
Begin job on node2 on Sat Jan 20 15:39:22 UTC 2007
IDJOB= 280739
IDBENCH= 11930
IDSOLVER= 69
FILE ID= node2/280739-1169307562
PBS_JOBID= 3609942
Free space on /tmp= 66046 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/planning/mprime03ac_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280739-1169307562/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-280739-1169307562 -o ROOT/results/node2/solver-280739-1169307562 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280739-1169307562/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7dba53adfc9212d0847f5337f5f1e049
RANDOM SEED= 95171185
TIME LIMIT= 2400 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: 690144 kB
Buffers: 49356 kB
Cached: 1174344 kB
SwapCached: 572 kB
Active: 215200 kB
Inactive: 1064552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 690144 kB
SwapTotal: 4192956 kB
SwapFree: 4180552 kB
Dirty: 2064 kB
Writeback: 0 kB
Mapped: 69608 kB
Slab: 70704 kB
Committed_AS: 7788688 kB
PageTables: 2420 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= 66046 MiB
End job on node2 on Sat Jan 20 15:39:54 UTC 2007