0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/208666-1168074802/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.44 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.44 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.44
0.44 relations being loaded...
0.71
0.72 constraints being loaded...
0.87 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.87 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.87 => wckTime=0.521 cpuTime=0.47 mem=44M564
0.95
0.95 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.756 cpuTime=0.6 mem=21M668
1.11
1.11 preprocessing
1.11 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.11 detectedInconsistency=no
1.11 => wckTime=0.0020 cpuTime=0.0 mem=21M668
1.22
1.22 search
1.22 run=0 nbConstraintChecks=32767 nbValidityChecks=56804 nbPropagations=364 nbRevisions=3863
1.22 nbUselessRevisions=2985 nbAssignments=29 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=51
1.22 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.11 cpuTime=0.07 mem=21M668
1.28
1.28 search
1.28 run=1 nbConstraintChecks=69208 nbValidityChecks=130507 nbPropagations=1223 nbRevisions=13710
1.28 nbUselessRevisions=10754 nbAssignments=72 nbFailedAssignments=38 nbBacktracks=25 nbVisitedNodes=130
1.28 nbRestartNogoods=4 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.169 cpuTime=0.13 mem=21M668
1.37
1.37 search
1.37 run=2 nbConstraintChecks=131561 nbValidityChecks=255004 nbPropagations=2876 nbRevisions=33372
1.37 nbUselessRevisions=26205 nbAssignments=139 nbFailedAssignments=79 nbBacktracks=47 nbVisitedNodes=257
1.37 nbRestartNogoods=8 mapSize=47 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.265 cpuTime=0.21 mem=21M668
1.50
1.51 search
1.51 run=3 nbConstraintChecks=229871 nbValidityChecks=459606 nbPropagations=5636 nbRevisions=67105
1.51 nbUselessRevisions=52653 nbAssignments=254 nbFailedAssignments=156 nbBacktracks=80 nbVisitedNodes=472
1.51 nbRestartNogoods=13 mapSize=77 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.396 cpuTime=0.34 mem=21M668
1.69
1.69 search
1.69 run=4 nbConstraintChecks=372696 nbValidityChecks=749504 nbPropagations=10356 nbRevisions=123565
1.69 nbUselessRevisions=96695 nbAssignments=407 nbFailedAssignments=255 nbBacktracks=130 nbVisitedNodes=765
1.69 nbRestartNogoods=19 mapSize=125 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.581 cpuTime=0.52 mem=21M668
1.93
1.93 search
1.93 run=5 nbConstraintChecks=559408 nbValidityChecks=1128890 nbPropagations=17614 nbRevisions=211733
1.93 nbUselessRevisions=165599 nbAssignments=609 nbFailedAssignments=378 nbBacktracks=205 nbVisitedNodes=1146
1.93 nbRestartNogoods=25 mapSize=196 nbInferences=0 nbTooLargeKeys=0
1.93 => wckTime=0.818 cpuTime=0.75 mem=21M668
2.26
2.26 search
2.26 run=6 nbConstraintChecks=827415 nbValidityChecks=1670046 nbPropagations=28502 nbRevisions=343554
2.26 nbUselessRevisions=269243 nbAssignments=919 nbFailedAssignments=571 nbBacktracks=318 nbVisitedNodes=1733
2.26 nbRestartNogoods=32 mapSize=301 nbInferences=0 nbTooLargeKeys=0
2.26 => wckTime=1.155 cpuTime=1.08 mem=21M668
2.70
2.70 search
2.70 run=7 nbConstraintChecks=1166568 nbValidityChecks=2379915 nbPropagations=44489 nbRevisions=535040
2.70 nbUselessRevisions=419947 nbAssignments=1366 nbFailedAssignments=843 nbBacktracks=488 nbVisitedNodes=2580
2.70 nbRestartNogoods=41 mapSize=469 nbInferences=0 nbTooLargeKeys=0
2.70 => wckTime=1.59 cpuTime=1.51 mem=21M668
3.46
3.46 search
3.46 run=8 nbConstraintChecks=1767638 nbValidityChecks=3624378 nbPropagations=68904 nbRevisions=827699
3.46 nbUselessRevisions=649652 nbAssignments=2050 nbFailedAssignments=1266 nbBacktracks=744 nbVisitedNodes=3875
3.46 nbRestartNogoods=49 mapSize=720 nbInferences=0 nbTooLargeKeys=0
3.46 => wckTime=2.349 cpuTime=2.25 mem=21M668
4.46
4.46 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=22M635)
4.69
4.69 search
4.69 run=9 nbConstraintChecks=2794066 nbValidityChecks=5682084 nbPropagations=106416 nbRevisions=1272010
4.69 nbUselessRevisions=996278 nbAssignments=3097 nbFailedAssignments=1925 nbBacktracks=1128 nbVisitedNodes=5876
4.69 nbRestartNogoods=55
4.69 => wckTime=3.579 cpuTime=3.48 mem=22M635
6.32
6.32 search
6.32 run=10 nbConstraintChecks=4148438 nbValidityChecks=8476769 nbPropagations=162872 nbRevisions=1948837
6.32 nbUselessRevisions=1526217 nbAssignments=4653 nbFailedAssignments=2901 nbBacktracks=1704 nbVisitedNodes=8826
6.32 nbRestartNogoods=61
6.32 => wckTime=5.209 cpuTime=5.1 mem=22M635
8.79
8.79 search
8.79 run=11 nbConstraintChecks=6173165 nbValidityChecks=12543712 nbPropagations=246943 nbRevisions=2933933
8.79 nbUselessRevisions=2293482 nbAssignments=6947 nbFailedAssignments=4326 nbBacktracks=2568 nbVisitedNodes=13193
8.79 nbRestartNogoods=69
8.79 => wckTime=7.681 cpuTime=7.54 mem=22M635
12.20
12.20 search
12.20 run=12 nbConstraintChecks=9014549 nbValidityChecks=18398128 nbPropagations=371100 nbRevisions=4408459
12.20 nbUselessRevisions=3445903 nbAssignments=10169 nbFailedAssignments=6246 nbBacktracks=3866 nbVisitedNodes=19283
12.20 nbRestartNogoods=78
12.20 => wckTime=11.09 cpuTime=10.95 mem=22M635
17.09
17.09 search
17.09 run=13 nbConstraintChecks=13132822 nbValidityChecks=26942710 nbPropagations=553810 nbRevisions=6600026
17.09 nbUselessRevisions=5163884 nbAssignments=14970 nbFailedAssignments=9097 nbBacktracks=5813 nbVisitedNodes=28329
17.09 nbRestartNogoods=102
17.09 => wckTime=15.984 cpuTime=15.85 mem=22M635
18.51
18.51 search
18.51 run=14 nbConstraintChecks=14315346 nbValidityChecks=29485189 nbPropagations=754112 nbRevisions=9000272
18.51 nbUselessRevisions=7045350 nbAssignments=16684 nbFailedAssignments=10270 nbBacktracks=6334 nbVisitedNodes=31624
18.51 nbRestartNogoods=116
18.51 => wckTime=17.402 cpuTime=17.26 mem=22M635
18.51
18.51 global
18.51 nbConstraintChecks=14315346 nbValidityChecks=29485189 nbPropagations=754132 nbRevisions=9000272
18.51 nbUselessRevisions=7045350 nbRestartNogoods=116 solvingWckTime=17.403 solvingCpuTime=17.26 expiredTime=no
18.51 totalExploration=no nbFoundSolutions=1 globalCpuTime=17.92
18.51 => wckTime=18.162 cpuTime=17.86 mem=22M635
18.51
18.51 s SATISFIABLE
18.51 v 7 7 16 9 15 19 2 18 10 1 5 9 11 1 16 10 1 8 9 8
18.51 d NODES 16684
18.51 d CHECKS 14315346
18.52
18.52 totalWckTime=18.24 totalCpuTime=17.93
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-208666-1168074802 -o ROOT/results/node1/solver-208666-1168074802 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208666-1168074802/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.92 1.95 1.91 4/93 16710
/proc/meminfo: memFree=1112616/2055920 swapFree=4165584/4192956
[pid=16709] ppid=16707 vsize=292 CPUtime=0
/proc/16709/stat : 16709 (java) R 16707 16709 16530 0 -1 0 224 0 0 0 0 0 0 0 18 0 1 0 155876307 299008 31 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 5833735 0 0 4096 0 0 0 0 17 0 0 0
/proc/16709/statm: 73 35 27 14 0 5 0
[startup+0.10744 s]
/proc/loadavg: 1.92 1.95 1.91 4/93 16710
/proc/meminfo: memFree=1112616/2055920 swapFree=4165584/4192956
[pid=16709] ppid=16707 vsize=907676 CPUtime=0.03
/proc/16709/stat : 16709 (java) R 16707 16709 16530 0 -1 0 2357 0 1 0 3 0 0 0 20 0 4 0 155876307 929460224 2104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/16709/statm: 226919 2107 1179 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.515489 s]
/proc/loadavg: 1.92 1.95 1.91 4/93 16710
/proc/meminfo: memFree=1112616/2055920 swapFree=4165584/4192956
[pid=16709] ppid=16707 vsize=915328 CPUtime=0.43
/proc/16709/stat : 16709 (java) R 16707 16709 16530 0 -1 0 7083 0 1 0 40 3 0 0 25 0 8 0 155876307 937295872 6822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16709/statm: 228832 6823 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33658 s]
/proc/loadavg: 1.92 1.95 1.91 3/100 16717
/proc/meminfo: memFree=1052784/2055920 swapFree=4165584/4192956
[pid=16709] ppid=16707 vsize=915460 CPUtime=1.26
/proc/16709/stat : 16709 (java) R 16707 16709 16530 0 -1 0 17663 0 1 0 117 9 0 0 25 0 8 0 155876307 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609069 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16709/statm: 228865 17400 2517 14 0 215335 0
[pid=16709/tid=16711] ppid=16707 vsize=915460 CPUtime=0.06
/proc/16709/task/16711/stat : 16711 (java) S 16707 16709 16530 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 155876316 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16712] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16712/stat : 16712 (java) S 16707 16709 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876316 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16713] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16713/stat : 16713 (java) S 16707 16709 16530 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876316 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16714] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16714/stat : 16714 (java) S 16707 16709 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155876320 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16715] ppid=16707 vsize=915460 CPUtime=0.16
/proc/16709/task/16715/stat : 16715 (java) S 16707 16709 16530 0 -1 64 355 0 0 0 16 0 0 0 15 0 8 0 155876320 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16716] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16716/stat : 16716 (java) S 16707 16709 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155876320 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16717] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16717/stat : 16717 (java) S 16707 16709 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876320 937431040 17400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915460
[startup+2.97778 s]
/proc/loadavg: 1.93 1.95 1.91 3/100 16717
/proc/meminfo: memFree=1052592/2055920 swapFree=4165584/4192956
[pid=16709] ppid=16707 vsize=915460 CPUtime=2.9
/proc/16709/stat : 16709 (java) R 16707 16709 16530 0 -1 0 17683 0 1 0 280 10 0 0 25 0 8 0 155876307 937431040 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727860 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16709/statm: 228865 17419 2517 14 0 215335 0
[pid=16709/tid=16711] ppid=16707 vsize=915460 CPUtime=0.06
/proc/16709/task/16711/stat : 16711 (java) S 16707 16709 16530 0 -1 64 1888 0 0 0 6 0 0 0 17 0 8 0 155876316 937431040 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16712] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16712/stat : 16712 (java) S 16707 16709 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876316 937431040 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16713] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16713/stat : 16713 (java) S 16707 16709 16530 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876316 937431040 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16714] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16714/stat : 16714 (java) S 16707 16709 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155876320 937431040 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16715] ppid=16707 vsize=915460 CPUtime=0.2
/proc/16709/task/16715/stat : 16715 (java) S 16707 16709 16530 0 -1 64 374 0 0 0 19 1 0 0 16 0 8 0 155876320 937431040 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16716] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16716/stat : 16716 (java) S 16707 16709 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155876320 937431040 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16717] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16717/stat : 16717 (java) S 16707 16709 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876320 937431040 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915460
[startup+6.18615 s]
/proc/loadavg: 1.93 1.95 1.91 3/100 16717
/proc/meminfo: memFree=1052464/2055920 swapFree=4165584/4192956
[pid=16709] ppid=16707 vsize=915460 CPUtime=6.1
/proc/16709/stat : 16709 (java) R 16707 16709 16530 0 -1 0 17693 0 1 0 600 10 0 0 25 0 8 0 155876307 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732593 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16709/statm: 228865 17427 2517 14 0 215335 0
[pid=16709/tid=16711] ppid=16707 vsize=915460 CPUtime=0.06
/proc/16709/task/16711/stat : 16711 (java) S 16707 16709 16530 0 -1 64 1888 0 0 0 6 0 0 0 17 0 8 0 155876316 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16712] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16712/stat : 16712 (java) S 16707 16709 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876316 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16713] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16713/stat : 16713 (java) S 16707 16709 16530 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876316 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16714] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16714/stat : 16714 (java) S 16707 16709 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155876320 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16715] ppid=16707 vsize=915460 CPUtime=0.21
/proc/16709/task/16715/stat : 16715 (java) S 16707 16709 16530 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 155876320 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16716] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16716/stat : 16716 (java) S 16707 16709 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155876320 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16717] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16717/stat : 16717 (java) S 16707 16709 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876320 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915460
[startup+12.6619 s]
/proc/loadavg: 2.01 1.97 1.91 4/100 16717
/proc/meminfo: memFree=1052464/2055920 swapFree=4165584/4192956
[pid=16709] ppid=16707 vsize=915460 CPUtime=12.54
/proc/16709/stat : 16709 (java) R 16707 16709 16530 0 -1 0 17694 0 1 0 1244 10 0 0 25 0 8 0 155876307 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16709/statm: 228865 17427 2517 14 0 215335 0
[pid=16709/tid=16711] ppid=16707 vsize=915460 CPUtime=0.06
/proc/16709/task/16711/stat : 16711 (java) S 16707 16709 16530 0 -1 64 1888 0 0 0 6 0 0 0 16 0 8 0 155876316 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16712] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16712/stat : 16712 (java) S 16707 16709 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876316 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16713] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16713/stat : 16713 (java) S 16707 16709 16530 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876316 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16714] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16714/stat : 16714 (java) S 16707 16709 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155876320 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16715] ppid=16707 vsize=915460 CPUtime=0.21
/proc/16709/task/16715/stat : 16715 (java) S 16707 16709 16530 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 155876320 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16716] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16716/stat : 16716 (java) S 16707 16709 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155876320 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16709/tid=16717] ppid=16707 vsize=915460 CPUtime=0
/proc/16709/task/16717/stat : 16717 (java) S 16707 16709 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876320 937431040 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 18.5577
CPU time (s): 18.4212
CPU user time (s): 18.3022
CPU system time (s): 0.118981
CPU usage (%): 99.2642
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.3022
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17701
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= 1496
involuntary context switches= 2085
runsolver used 0.024996 s user time and 0.067989 s system time
The end
Begin job on node1 on Sat Jan 6 09:13:24 UTC 2007
IDJOB= 208666
IDBENCH= 4420
FILE ID= node1/208666-1168074802
PBS_JOBID= 3475782
Free space on /tmp= 66295 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208666-1168074802/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-208666-1168074802 -o ROOT/results/node1/solver-208666-1168074802 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208666-1168074802/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9aaeaecec66b29c7811ac135389ddd6e
RANDOM SEED= 468413115
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1113032 kB
Buffers: 69656 kB
Cached: 616784 kB
SwapCached: 3692 kB
Active: 491112 kB
Inactive: 354296 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1113032 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 3100 kB
Writeback: 0 kB
Mapped: 178896 kB
Slab: 81892 kB
Committed_AS: 4941228 kB
PageTables: 2616 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= 66295 MiB
End job on node1 on Sat Jan 6 09:13:44 UTC 2007