0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/221681-1168080072/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.63 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=864 maxDegree=23
0.63 maxArity=2
0.63 => wckTime=0.317 cpuTime=0.24 mem=13M794
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.523 cpuTime=0.38 mem=14M41
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.0040 cpuTime=0.0 mem=14M41
0.90
0.90 search
0.90 run=0 nbConstraintChecks=33269 nbPropagations=420 nbRevisions=6711 nbUselessRevisions=5749 nbAssignments=25
0.90 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.054 cpuTime=0.03 mem=15M65
0.91
0.91 search
0.91 run=1 nbConstraintChecks=73664 nbPropagations=1342 nbRevisions=22169 nbUselessRevisions=19054 nbAssignments=57
0.91 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=103 nbRestartNogoods=1 mapSize=25 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.072 cpuTime=0.04 mem=15M65
0.94
0.94 search
0.94 run=2 nbConstraintChecks=135157 nbPropagations=3034 nbRevisions=51419 nbUselessRevisions=44348
0.94 nbAssignments=107 nbFailedAssignments=47 nbBacktracks=47 nbVisitedNodes=191 nbRestartNogoods=3 mapSize=47
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.099 cpuTime=0.06 mem=15M65
0.97
0.97 search
0.97 run=3 nbConstraintChecks=233578 nbPropagations=5882 nbRevisions=102366 nbUselessRevisions=88395
0.97 nbAssignments=179 nbFailedAssignments=81 nbBacktracks=80 nbVisitedNodes=324 nbRestartNogoods=5 mapSize=80
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.127 cpuTime=0.08 mem=15M65
1.00
1.00 search
1.00 run=4 nbConstraintChecks=367312 nbPropagations=10281 nbRevisions=182364 nbUselessRevisions=157646
1.00 nbAssignments=285 nbFailedAssignments=132 nbBacktracks=131 nbVisitedNodes=516 nbRestartNogoods=10 mapSize=130
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.156 cpuTime=0.11 mem=15M65
1.05
1.05 search
1.05 run=5 nbConstraintChecks=587777 nbPropagations=17163 nbRevisions=311291 nbUselessRevisions=269266
1.05 nbAssignments=449 nbFailedAssignments=216 nbBacktracks=207 nbVisitedNodes=818 nbRestartNogoods=12 mapSize=205
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.206 cpuTime=0.16 mem=15M65
1.11
1.11 search
1.11 run=6 nbConstraintChecks=867837 nbPropagations=27364 nbRevisions=503719 nbUselessRevisions=435974
1.11 nbAssignments=671 nbFailedAssignments=319 nbBacktracks=321 nbVisitedNodes=1224 nbRestartNogoods=15 mapSize=315
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.273 cpuTime=0.22 mem=15M65
1.22
1.22 search
1.22 run=7 nbConstraintChecks=1370157 nbPropagations=42991 nbRevisions=804123 nbUselessRevisions=696009
1.22 nbAssignments=1026 nbFailedAssignments=499 nbBacktracks=491 nbVisitedNodes=1887 nbRestartNogoods=22
1.22 mapSize=484 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.375 cpuTime=0.31 mem=15M65
1.36
1.36 search
1.36 run=8 nbConstraintChecks=2010229 nbPropagations=66251 nbRevisions=1252869 nbUselessRevisions=1084445
1.36 nbAssignments=1548 nbFailedAssignments=761 nbBacktracks=748 nbVisitedNodes=2857 nbRestartNogoods=29
1.36 mapSize=733 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.519 cpuTime=0.43 mem=15M65
1.50
1.50 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M65)
1.54
1.54 search
1.54 run=9 nbConstraintChecks=2996596 nbPropagations=100822 nbRevisions=1922343 nbUselessRevisions=1664219
1.54 nbAssignments=2293 nbFailedAssignments=1117 nbBacktracks=1132 nbVisitedNodes=4231 nbRestartNogoods=32
1.54 => wckTime=0.697 cpuTime=0.61 mem=15M65
1.80
1.80 search
1.80 run=10 nbConstraintChecks=4543834 nbPropagations=152956 nbRevisions=2937524 nbUselessRevisions=2543418
1.80 nbAssignments=3451 nbFailedAssignments=1693 nbBacktracks=1709 nbVisitedNodes=6399 nbRestartNogoods=45
1.80 => wckTime=0.957 cpuTime=0.86 mem=15M65
2.13
2.13 search
2.13 run=11 nbConstraintChecks=6693906 nbPropagations=230572 nbRevisions=4445931 nbUselessRevisions=3849340
2.13 nbAssignments=5200 nbFailedAssignments=2573 nbBacktracks=2573 nbVisitedNodes=9658 nbRestartNogoods=55
2.13 => wckTime=1.286 cpuTime=1.18 mem=15M65
2.61
2.61 search
2.61 run=12 nbConstraintChecks=10219919 nbPropagations=347353 nbRevisions=6738391 nbUselessRevisions=5834594
2.61 nbAssignments=7774 nbFailedAssignments=3845 nbBacktracks=3870 nbVisitedNodes=14466 nbRestartNogoods=60
2.61 => wckTime=1.773 cpuTime=1.67 mem=15M65
3.35
3.35 search
3.35 run=13 nbConstraintChecks=15473701 nbPropagations=523156 nbRevisions=10212178 nbUselessRevisions=8842759
3.35 nbAssignments=11727 nbFailedAssignments=5846 nbBacktracks=5817 nbVisitedNodes=21856 nbRestartNogoods=76
3.35 => wckTime=2.507 cpuTime=2.4 mem=15M65
4.47
4.47 search
4.47 run=14 nbConstraintChecks=23419624 nbPropagations=788406 nbRevisions=15475539 nbUselessRevisions=13403152
4.47 nbAssignments=17622 nbFailedAssignments=8817 nbBacktracks=8737 nbVisitedNodes=32930 nbRestartNogoods=90
4.47 => wckTime=3.625 cpuTime=3.52 mem=15M65
6.15
6.15 search
6.15 run=15 nbConstraintChecks=35516146 nbPropagations=1186708 nbRevisions=23432534 nbUselessRevisions=20300597
6.15 nbAssignments=26413 nbFailedAssignments=13225 nbBacktracks=13115 nbVisitedNodes=49376 nbRestartNogoods=105
6.15 => wckTime=5.31 cpuTime=5.2 mem=15M65
8.69
8.69 search
8.69 run=16 nbConstraintChecks=53856740 nbPropagations=1785784 nbRevisions=35450368 nbUselessRevisions=30720538
8.69 nbAssignments=39551 nbFailedAssignments=19791 nbBacktracks=19683 nbVisitedNodes=73970 nbRestartNogoods=115
8.69 => wckTime=7.85 cpuTime=7.74 mem=15M65
12.47
12.47 search
12.47 run=17 nbConstraintChecks=80887602 nbPropagations=2684971 nbRevisions=53503372 nbUselessRevisions=46375898
12.47 nbAssignments=59224 nbFailedAssignments=29607 nbBacktracks=29535 nbVisitedNodes=110872 nbRestartNogoods=128
12.47 => wckTime=11.63 cpuTime=11.51 mem=15M65
18.00
18.00 search
18.00 run=18 nbConstraintChecks=120458326 nbPropagations=4028215 nbRevisions=80462027 nbUselessRevisions=69759829
18.00 nbAssignments=88537 nbFailedAssignments=44136 nbBacktracks=44313 nbVisitedNodes=165787 nbRestartNogoods=143
18.00 => wckTime=17.159 cpuTime=17.04 mem=15M65
26.37
26.37 search
26.37 run=19 nbConstraintChecks=180507046 nbPropagations=6039056 nbRevisions=120899103 nbUselessRevisions=104847385
26.37 nbAssignments=132480 nbFailedAssignments=65905 nbBacktracks=66483 nbVisitedNodes=248048 nbRestartNogoods=159
26.37 => wckTime=25.533 cpuTime=25.39 mem=15M65
39.20
39.20 search
39.20 run=20 nbConstraintChecks=273359978 nbPropagations=9067548 nbRevisions=181992566 nbUselessRevisions=157866842
39.20 nbAssignments=199340 nbFailedAssignments=99507 nbBacktracks=99737 nbVisitedNodes=373309 nbRestartNogoods=184
39.20 => wckTime=38.362 cpuTime=38.21 mem=15M65
57.80
57.80 search
57.80 run=21 nbConstraintChecks=406987618 nbPropagations=13579683 nbRevisions=272917464 nbUselessRevisions=236785516
57.80 nbAssignments=297970 nbFailedAssignments=148254 nbBacktracks=149615 nbVisitedNodes=557323 nbRestartNogoods=208
57.80 => wckTime=56.963 cpuTime=56.81 mem=15M65
86.59
86.59 search
86.59 run=22 nbConstraintChecks=615787665 nbPropagations=20374868 nbRevisions=410167475 nbUselessRevisions=355918742
86.59 nbAssignments=447658 nbFailedAssignments=223120 nbBacktracks=224433 nbVisitedNodes=837496 nbRestartNogoods=224
86.59 => wckTime=85.753 cpuTime=85.57 mem=15M65
129.73
129.73 search
129.73 run=23 nbConstraintChecks=928774138 nbPropagations=30586922 nbRevisions=616906560 nbUselessRevisions=535403911
129.73 nbAssignments=671387 nbFailedAssignments=334617 nbBacktracks=336660 nbVisitedNodes=1255872 nbRestartNogoods=236
129.73 => wckTime=128.888 cpuTime=128.66 mem=15M65
195.44
195.44 search
195.44 run=24 nbConstraintChecks=1409141558 nbPropagations=45972653 nbRevisions=929648928 nbUselessRevisions=806982096
195.44 nbAssignments=1008212 nbFailedAssignments=503097 nbBacktracks=505001 nbVisitedNodes=1886102
195.44 nbRestartNogoods=244
195.44 => wckTime=194.598 cpuTime=194.31 mem=15M65
219.05
219.05 search
219.05 run=25 nbConstraintChecks=1582522674 nbPropagations=63206878 nbRevisions=1280664529
219.05 nbUselessRevisions=1111844660 nbAssignments=1127737 nbFailedAssignments=563048 nbBacktracks=564576
219.05 nbVisitedNodes=2110047 nbRestartNogoods=259
219.05 => wckTime=218.207 cpuTime=217.89 mem=15M65
219.05
219.05 global
219.05 nbConstraintChecks=1582522674 nbPropagations=63206902 nbRevisions=1280664529 nbUselessRevisions=1111844660
219.05 nbRestartNogoods=259 solvingWckTime=218.208 solvingCpuTime=217.89 expiredTime=no totalExploration=yes
219.05 nbFoundSolutions=0 globalCpuTime=218.32
219.05 => wckTime=218.734 cpuTime=218.27 mem=15M65
219.05
219.05 s UNSATISFIABLE
219.05 d NODES 1127737
219.05 d CHECKS 1582522674
219.05
219.05 totalWckTime=218.817 totalCpuTime=218.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-221681-1168080072 -o ROOT/results/node56/solver-221681-1168080072 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221681-1168080072/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.71 0.70 0.86 4/80 6486
/proc/meminfo: memFree=1568176/2055920 swapFree=4184772/4192956
[pid=6485] ppid=6483 vsize=18540 CPUtime=0
/proc/6485/stat : 6485 (runsolver) R 6483 6485 6257 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156405376 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 253307186471 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6485/statm: 4635 279 244 17 0 2626 0
[startup+0.108778 s]
/proc/loadavg: 0.71 0.70 0.86 4/80 6486
/proc/meminfo: memFree=1568176/2055920 swapFree=4184772/4192956
[pid=6485] ppid=6483 vsize=914988 CPUtime=0.09
/proc/6485/stat : 6485 (java) R 6483 6485 6257 0 -1 0 3018 0 1 0 8 1 0 0 18 0 8 0 156405376 936947712 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155608207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6485/statm: 228747 2764 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516817 s]
/proc/loadavg: 0.71 0.70 0.86 4/80 6486
/proc/meminfo: memFree=1568176/2055920 swapFree=4184772/4192956
[pid=6485] ppid=6483 vsize=915328 CPUtime=0.49
/proc/6485/stat : 6485 (java) R 6483 6485 6257 0 -1 0 6980 0 1 0 45 4 0 0 18 0 8 0 156405376 937295872 6719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073328002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6485/statm: 228832 6719 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3379 s]
/proc/loadavg: 0.71 0.70 0.86 4/87 6493
/proc/meminfo: memFree=1510648/2055920 swapFree=4184772/4192956
[pid=6485] ppid=6483 vsize=915452 CPUtime=1.31
/proc/6485/stat : 6485 (java) R 6483 6485 6257 0 -1 0 8602 0 1 0 124 7 0 0 19 0 8 0 156405376 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6485/statm: 228863 8340 2513 14 0 215333 0
[pid=6485/tid=6487] ppid=6483 vsize=915452 CPUtime=0.03
/proc/6485/task/6487/stat : 6487 (java) S 6483 6485 6257 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405380 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6488] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6488/stat : 6488 (java) S 6483 6485 6257 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6489] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6489/stat : 6489 (java) S 6483 6485 6257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6490] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6490/stat : 6490 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405384 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6491] ppid=6483 vsize=915452 CPUtime=0.2
/proc/6485/task/6491/stat : 6491 (java) S 6483 6485 6257 0 -1 64 375 0 0 0 19 1 0 0 17 0 8 0 156405384 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6492] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6492/stat : 6492 (java) S 6483 6485 6257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156405384 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6493] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6493/stat : 6493 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156405384 937422848 8340 18446744073709551615 134512640 134570532 4294956480 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) 915452
[startup+2.97505 s]
/proc/loadavg: 0.90 0.73 0.87 2/75 6501
/proc/meminfo: memFree=1626008/2055920 swapFree=4184772/4192956
[pid=6485] ppid=6483 vsize=915452 CPUtime=2.94
/proc/6485/stat : 6485 (java) R 6483 6485 6257 0 -1 0 8638 0 1 0 287 7 0 0 18 0 8 0 156405376 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6485/statm: 228863 8375 2513 14 0 215333 0
[pid=6485/tid=6487] ppid=6483 vsize=915452 CPUtime=0.03
/proc/6485/task/6487/stat : 6487 (java) S 6483 6485 6257 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405380 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6488] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6488/stat : 6488 (java) S 6483 6485 6257 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6489] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6489/stat : 6489 (java) S 6483 6485 6257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6490] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6490/stat : 6490 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405384 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6491] ppid=6483 vsize=915452 CPUtime=0.24
/proc/6485/task/6491/stat : 6491 (java) S 6483 6485 6257 0 -1 64 388 0 0 0 22 2 0 0 16 0 8 0 156405384 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6492] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6492/stat : 6492 (java) S 6483 6485 6257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156405384 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6493] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6493/stat : 6493 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156405384 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.26637 s]
/proc/loadavg: 0.90 0.73 0.87 2/75 6504
/proc/meminfo: memFree=1628888/2055920 swapFree=4184772/4192956
[pid=6485] ppid=6483 vsize=915452 CPUtime=6.23
/proc/6485/stat : 6485 (java) R 6483 6485 6257 0 -1 0 8646 0 1 0 616 7 0 0 25 0 8 0 156405376 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6485/statm: 228863 8382 2513 14 0 215333 0
[pid=6485/tid=6487] ppid=6483 vsize=915452 CPUtime=0.03
/proc/6485/task/6487/stat : 6487 (java) S 6483 6485 6257 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405380 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6488] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6488/stat : 6488 (java) S 6483 6485 6257 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6489] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6489/stat : 6489 (java) S 6483 6485 6257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6490] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6490/stat : 6490 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405384 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6491] ppid=6483 vsize=915452 CPUtime=0.24
/proc/6485/task/6491/stat : 6491 (java) S 6483 6485 6257 0 -1 64 388 0 0 0 22 2 0 0 16 0 8 0 156405384 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6492] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6492/stat : 6492 (java) S 6483 6485 6257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156405384 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6493] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6493/stat : 6493 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156405384 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915452
[startup+12.739 s]
/proc/loadavg: 0.99 0.76 0.88 3/87 6549
/proc/meminfo: memFree=1602552/2055920 swapFree=4184772/4192956
[pid=6485] ppid=6483 vsize=915452 CPUtime=12.69
/proc/6485/stat : 6485 (java) R 6483 6485 6257 0 -1 0 8654 0 1 0 1262 7 0 0 25 0 8 0 156405376 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6485/statm: 228863 8389 2513 14 0 215333 0
[pid=6485/tid=6487] ppid=6483 vsize=915452 CPUtime=0.03
/proc/6485/task/6487/stat : 6487 (java) S 6483 6485 6257 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405380 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6485/tid=6488] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6488/stat : 6488 (java) S 6483 6485 6257 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6489] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6489/stat : 6489 (java) S 6483 6485 6257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6490] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6490/stat : 6490 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405384 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6491] ppid=6483 vsize=915452 CPUtime=0.24
/proc/6485/task/6491/stat : 6491 (java) S 6483 6485 6257 0 -1 64 390 0 0 0 22 2 0 0 16 0 8 0 156405384 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6485/tid=6492] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6492/stat : 6492 (java) S 6483 6485 6257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156405384 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6493] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6493/stat : 6493 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156405384 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915452
[startup+25.6053 s]
/proc/loadavg: 1.15 0.80 0.89 3/87 6549
/proc/meminfo: memFree=1602496/2055920 swapFree=4184772/4192956
[pid=6485] ppid=6483 vsize=915452 CPUtime=25.54
/proc/6485/stat : 6485 (java) R 6483 6485 6257 0 -1 0 8656 0 1 0 2546 8 0 0 25 0 8 0 156405376 937422848 8391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811673 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6485/statm: 228863 8391 2513 14 0 215333 0
[pid=6485/tid=6487] ppid=6483 vsize=915452 CPUtime=0.03
/proc/6485/task/6487/stat : 6487 (java) S 6483 6485 6257 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405380 937422848 8391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6485/tid=6488] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6488/stat : 6488 (java) S 6483 6485 6257 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6489] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6489/stat : 6489 (java) S 6483 6485 6257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6490] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6490/stat : 6490 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405384 937422848 8391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6491] ppid=6483 vsize=915452 CPUtime=0.24
/proc/6485/task/6491/stat : 6491 (java) S 6483 6485 6257 0 -1 64 390 0 0 0 22 2 0 0 16 0 8 0 156405384 937422848 8391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6485/tid=6492] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6492/stat : 6492 (java) S 6483 6485 6257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156405384 937422848 8391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6493] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6493/stat : 6493 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156405384 937422848 8391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915452
[startup+51.2058 s]
/proc/loadavg: 1.44 0.89 0.92 3/87 6549
/proc/meminfo: memFree=1602560/2055920 swapFree=4184772/4192956
[pid=6485] ppid=6483 vsize=915452 CPUtime=51.12
/proc/6485/stat : 6485 (java) R 6483 6485 6257 0 -1 0 8662 0 1 0 5104 8 0 0 25 0 8 0 156405376 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6485/statm: 228863 8397 2513 14 0 215333 0
[pid=6485/tid=6487] ppid=6483 vsize=915452 CPUtime=0.03
/proc/6485/task/6487/stat : 6487 (java) S 6483 6485 6257 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405380 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6485/tid=6488] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6488/stat : 6488 (java) S 6483 6485 6257 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6489] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6489/stat : 6489 (java) S 6483 6485 6257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6490] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6490/stat : 6490 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405384 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6491] ppid=6483 vsize=915452 CPUtime=0.24
/proc/6485/task/6491/stat : 6491 (java) S 6483 6485 6257 0 -1 64 390 0 0 0 22 2 0 0 16 0 8 0 156405384 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6485/tid=6492] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6492/stat : 6492 (java) S 6483 6485 6257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156405384 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6493] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6493/stat : 6493 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156405384 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915452
[startup+102.503 s]
/proc/loadavg: 1.77 1.08 0.98 3/87 6549
/proc/meminfo: memFree=1602560/2055920 swapFree=4184772/4192956
[pid=6485] ppid=6483 vsize=915452 CPUtime=102.37
/proc/6485/stat : 6485 (java) R 6483 6485 6257 0 -1 0 8667 0 1 0 10229 8 0 0 25 0 8 0 156405376 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813752 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6485/statm: 228863 8402 2513 14 0 215333 0
[pid=6485/tid=6487] ppid=6483 vsize=915452 CPUtime=0.03
/proc/6485/task/6487/stat : 6487 (java) S 6483 6485 6257 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405380 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6485/tid=6488] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6488/stat : 6488 (java) S 6483 6485 6257 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6489] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6489/stat : 6489 (java) S 6483 6485 6257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6490] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6490/stat : 6490 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405384 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6491] ppid=6483 vsize=915452 CPUtime=0.24
/proc/6485/task/6491/stat : 6491 (java) S 6483 6485 6257 0 -1 64 390 0 0 0 22 2 0 0 16 0 8 0 156405384 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6485/tid=6492] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6492/stat : 6492 (java) S 6483 6485 6257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156405384 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6493] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6493/stat : 6493 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156405384 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915452
[startup+162.54 s]
/proc/loadavg: 1.91 1.24 1.04 3/87 6549
/proc/meminfo: memFree=1602496/2055920 swapFree=4184772/4192956
[pid=6485] ppid=6483 vsize=915452 CPUtime=162.34
/proc/6485/stat : 6485 (java) R 6483 6485 6257 0 -1 0 8669 0 1 0 16226 8 0 0 25 0 8 0 156405376 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6485/statm: 228863 8404 2513 14 0 215333 0
[pid=6485/tid=6487] ppid=6483 vsize=915452 CPUtime=0.03
/proc/6485/task/6487/stat : 6487 (java) S 6483 6485 6257 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405380 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6485/tid=6488] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6488/stat : 6488 (java) S 6483 6485 6257 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6489] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6489/stat : 6489 (java) S 6483 6485 6257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405381 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6490] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6490/stat : 6490 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405384 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6491] ppid=6483 vsize=915452 CPUtime=0.24
/proc/6485/task/6491/stat : 6491 (java) S 6483 6485 6257 0 -1 64 390 0 0 0 22 2 0 0 16 0 8 0 156405384 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6485/tid=6492] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6492/stat : 6492 (java) S 6483 6485 6257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156405384 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6485/tid=6493] ppid=6483 vsize=915452 CPUtime=0
/proc/6485/task/6493/stat : 6493 (java) S 6483 6485 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156405384 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 219.091
CPU time (s): 218.831
CPU user time (s): 218.738
CPU system time (s): 0.092985
CPU usage (%): 99.8812
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 218.738
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8763
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= 5243
involuntary context switches= 2342
runsolver used 0.32495 s user time and 0.580911 s system time
The end
Begin job on node56 on Sat Jan 6 10:41:12 UTC 2007
IDJOB= 221681
IDBENCH= 5463
FILE ID= node56/221681-1168080072
PBS_JOBID= 3476155
Free space on /tmp= 66518 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-51021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221681-1168080072/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-221681-1168080072 -o ROOT/results/node56/solver-221681-1168080072 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221681-1168080072/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e8a60eefe387b2ae6ebd087b125352fe
RANDOM SEED= 874381384
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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
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: 1568656 kB
Buffers: 29636 kB
Cached: 294704 kB
SwapCached: 2060 kB
Active: 144876 kB
Inactive: 274852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1568656 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 5188 kB
Writeback: 0 kB
Mapped: 111564 kB
Slab: 52716 kB
Committed_AS: 3521208 kB
PageTables: 2060 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= 66519 MiB
End job on node56 on Sat Jan 6 10:44:51 UTC 2007